Lemmit.Online bot@lemmit.onlineMBEnglish · 3 hours agoA Mathematical Model of Package Management Systems [abstract + link to PDF, 33pp]plus-squarearxiv.orgexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkA Mathematical Model of Package Management Systems [abstract + link to PDF, 33pp]plus-squarearxiv.orgLemmit.Online bot@lemmit.onlineMBEnglish · 3 hours agomessage-square0fedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 3 hours agojank development update - Moving to LLVM IRplus-squarejank-lang.orgexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkjank development update - Moving to LLVM IRplus-squarejank-lang.orgLemmit.Online bot@lemmit.onlineMBEnglish · 3 hours agomessage-square0fedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 15 hours agoCompiling Lisp to Bytecode and Running Itplus-squarehealeycodes.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkCompiling Lisp to Bytecode and Running Itplus-squarehealeycodes.comLemmit.Online bot@lemmit.onlineMBEnglish · 15 hours agomessage-square0fedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 1 day agoCan we have C/Zig/Odin like language without global/static variables?plus-squareold.reddit.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkCan we have C/Zig/Odin like language without global/static variables?plus-squareold.reddit.comLemmit.Online bot@lemmit.onlineMBEnglish · 1 day agomessage-square0fedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 1 day agoNecessity of Generics “Aha! Moment”plus-squareitnext.ioexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkNecessity of Generics “Aha! Moment”plus-squareitnext.ioLemmit.Online bot@lemmit.onlineMBEnglish · 1 day agomessage-square0fedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 2 days agoDamas-Hindley-Milner inference two waysplus-squarebernsteinbear.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkDamas-Hindley-Milner inference two waysplus-squarebernsteinbear.comLemmit.Online bot@lemmit.onlineMBEnglish · 2 days agomessage-square0fedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 2 days agoAn Introduction to Tarjan’s Path Expressions Algorithmplus-squarerolph-recto.github.ioexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkAn Introduction to Tarjan’s Path Expressions Algorithmplus-squarerolph-recto.github.ioLemmit.Online bot@lemmit.onlineMBEnglish · 2 days agomessage-square0fedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 2 days agoMemory Safety without Lifetime Parametersplus-squaresafecpp.orgexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkMemory Safety without Lifetime Parametersplus-squaresafecpp.orgLemmit.Online bot@lemmit.onlineMBEnglish · 2 days agomessage-square0fedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 3 days agoFeedback request for dissertation/thesisplus-squareold.reddit.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkFeedback request for dissertation/thesisplus-squareold.reddit.comLemmit.Online bot@lemmit.onlineMBEnglish · 3 days agomessage-square0fedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 4 days agoYou Could Have Invented NbEplus-squareehatti.github.ioexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkYou Could Have Invented NbEplus-squareehatti.github.ioLemmit.Online bot@lemmit.onlineMBEnglish · 4 days agomessage-square0fedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 5 days agoExpression-level "do-notation": keep it for monads or allow arbitrary functions?plus-squareold.reddit.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkExpression-level "do-notation": keep it for monads or allow arbitrary functions?plus-squareold.reddit.comLemmit.Online bot@lemmit.onlineMBEnglish · 5 days agomessage-square0fedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 5 days agoMojo's Chris Lattner on Making Programming Languages Evolveplus-squarethenewstack.ioexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkMojo's Chris Lattner on Making Programming Languages Evolveplus-squarethenewstack.ioLemmit.Online bot@lemmit.onlineMBEnglish · 5 days agomessage-square0fedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 5 days agoSprig 🌿 A language built on top of NodeJSplus-squareold.reddit.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkSprig 🌿 A language built on top of NodeJSplus-squareold.reddit.comLemmit.Online bot@lemmit.onlineMBEnglish · 5 days agomessage-square0fedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 5 days agoA Case for First-Class Environmentsplus-squaredl.acm.orgexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkA Case for First-Class Environmentsplus-squaredl.acm.orgLemmit.Online bot@lemmit.onlineMBEnglish · 5 days agomessage-square0fedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 5 days agoCan Logic Programming Be Liberated from Predicates and Backtracking?plus-squarewww-ps.informatik.uni-kiel.deexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkCan Logic Programming Be Liberated from Predicates and Backtracking?plus-squarewww-ps.informatik.uni-kiel.deLemmit.Online bot@lemmit.onlineMBEnglish · 5 days agomessage-square0fedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 6 days agoI "wrote" my first interpreter. (outside of Brainfuck)plus-squareold.reddit.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkI "wrote" my first interpreter. (outside of Brainfuck)plus-squareold.reddit.comLemmit.Online bot@lemmit.onlineMBEnglish · 6 days agomessage-square0fedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 6 days agoThe Ultimate Conditional Syntaxplus-squaredl.acm.orgexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkThe Ultimate Conditional Syntaxplus-squaredl.acm.orgLemmit.Online bot@lemmit.onlineMBEnglish · 6 days agomessage-square0fedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 8 days agoDesign: String Interpolation vs printf() with Format Strings (which is better/cleaner?)plus-squareold.reddit.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkDesign: String Interpolation vs printf() with Format Strings (which is better/cleaner?)plus-squareold.reddit.comLemmit.Online bot@lemmit.onlineMBEnglish · 8 days agomessage-square0fedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 8 days agoBreakable blocksplus-squareold.reddit.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkBreakable blocksplus-squareold.reddit.comLemmit.Online bot@lemmit.onlineMBEnglish · 8 days agomessage-square0fedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 9 days agoI made practical session types based on linear logic in Rust — 'par'plus-squareold.reddit.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkI made practical session types based on linear logic in Rust — 'par'plus-squareold.reddit.comLemmit.Online bot@lemmit.onlineMBEnglish · 9 days agomessage-square0fedilink