Lemmit.Online bot@lemmit.onlineMBEnglish · 2 years agoInterview with Fernando Borretti about Austral - a systems programming language with linear typesplus-squareblog.lambdaclass.comexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkInterview with Fernando Borretti about Austral - a systems programming language with linear typesplus-squareblog.lambdaclass.comLemmit.Online bot@lemmit.onlineMBEnglish · 2 years agomessage-square0linkfedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 2 years agoOwnership you can count onplus-squaremuxup.comexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkOwnership you can count onplus-squaremuxup.comLemmit.Online bot@lemmit.onlineMBEnglish · 2 years agomessage-square0linkfedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 2 years agoRust's Struct Initializer Syntax Was a Mistakeplus-squaresoc.meexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkRust's Struct Initializer Syntax Was a Mistakeplus-squaresoc.meLemmit.Online bot@lemmit.onlineMBEnglish · 2 years agomessage-square0linkfedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 2 years agocsv++ - CSV as a programming languageplus-squaremessage-squaremessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1message-squarecsv++ - CSV as a programming languageplus-squareLemmit.Online bot@lemmit.onlineMBEnglish · 2 years agomessage-square0linkfedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 2 years agoSecurity and Crashing with Modal Logicplus-squaremessage-squaremessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1message-squareSecurity and Crashing with Modal Logicplus-squareLemmit.Online bot@lemmit.onlineMBEnglish · 2 years agomessage-square0linkfedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 2 years ago🌱The Sage Programming Language🌿plus-squaregithub.comexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-link🌱The Sage Programming Language🌿plus-squaregithub.comLemmit.Online bot@lemmit.onlineMBEnglish · 2 years agomessage-square0linkfedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 2 years agoDeclarative vs Imperativeplus-squaremessage-squaremessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1message-squareDeclarative vs Imperativeplus-squareLemmit.Online bot@lemmit.onlineMBEnglish · 2 years agomessage-square0linkfedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 2 years agoGleam v0.33 – Exhaustive Gleamplus-squaregleam.runexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkGleam v0.33 – Exhaustive Gleamplus-squaregleam.runLemmit.Online bot@lemmit.onlineMBEnglish · 2 years agomessage-square0linkfedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 2 years agoInterface Dispatch in C++, Java, C#, Go, and Rustplus-squarelukasatkinson.deexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkInterface Dispatch in C++, Java, C#, Go, and Rustplus-squarelukasatkinson.deLemmit.Online bot@lemmit.onlineMBEnglish · 2 years agomessage-square0linkfedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 2 years agoLectures on compiler design from scratch to advanced concepts like Polyhedral optimizations, compiler verification from Prof. Sorav Bansal, IIT Delhiplus-squarewww.youtube.comexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkLectures on compiler design from scratch to advanced concepts like Polyhedral optimizations, compiler verification from Prof. Sorav Bansal, IIT Delhiplus-squarewww.youtube.comLemmit.Online bot@lemmit.onlineMBEnglish · 2 years agomessage-square0linkfedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 2 years agoWhat is some good writing on OOP design / meta-object protocols?plus-squaremessage-squaremessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1message-squareWhat is some good writing on OOP design / meta-object protocols?plus-squareLemmit.Online bot@lemmit.onlineMBEnglish · 2 years agomessage-square0linkfedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 2 years agoQuint: An executable specification language with delightful tooling based on the temporal logic of actions (TLA)plus-squaregithub.comexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkQuint: An executable specification language with delightful tooling based on the temporal logic of actions (TLA)plus-squaregithub.comLemmit.Online bot@lemmit.onlineMBEnglish · 2 years agomessage-square0linkfedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 2 years agoWhat languages support multiple simultaneous in-flight exceptions other than Python 3.11+?plus-squaremessage-squaremessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1message-squareWhat languages support multiple simultaneous in-flight exceptions other than Python 3.11+?plus-squareLemmit.Online bot@lemmit.onlineMBEnglish · 2 years agomessage-square0linkfedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 2 years ago3-lisp: an infinite tower of meta-circular interpreters.plus-squarewww.cofault.comexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-link3-lisp: an infinite tower of meta-circular interpreters.plus-squarewww.cofault.comLemmit.Online bot@lemmit.onlineMBEnglish · 2 years agomessage-square0linkfedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 2 years agoHow to make red wiggly lines in VSCode?plus-squaremessage-squaremessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1message-squareHow to make red wiggly lines in VSCode?plus-squareLemmit.Online bot@lemmit.onlineMBEnglish · 2 years agomessage-square0linkfedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 2 years agoAST that is Type Safe in the Host Languageplus-squaremessage-squaremessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1message-squareAST that is Type Safe in the Host Languageplus-squareLemmit.Online bot@lemmit.onlineMBEnglish · 2 years agomessage-square0linkfedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 2 years agoHow do you come up with rules for your personal language?plus-squaremessage-squaremessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1message-squareHow do you come up with rules for your personal language?plus-squareLemmit.Online bot@lemmit.onlineMBEnglish · 2 years agomessage-square0linkfedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 2 years agoCyber v0.3 – Novel JIT compiler, Embed API, optional static typing and WASIplus-squarecyberscript.devexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkCyber v0.3 – Novel JIT compiler, Embed API, optional static typing and WASIplus-squarecyberscript.devLemmit.Online bot@lemmit.onlineMBEnglish · 2 years agomessage-square0linkfedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 2 years agoOk, how do I actually write a parser by hand?plus-squaremessage-squaremessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1message-squareOk, how do I actually write a parser by hand?plus-squareLemmit.Online bot@lemmit.onlineMBEnglish · 2 years agomessage-square0linkfedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 2 years agoWhat if an SQL Statement Returned a Database?plus-squarearxiv.orgexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkWhat if an SQL Statement Returned a Database?plus-squarearxiv.orgLemmit.Online bot@lemmit.onlineMBEnglish · 2 years agomessage-square0linkfedilink
