Lemmit.Online bot@lemmit.onlineMBEnglish · 2 days agoAn Imperative Language for Verified Exact Real-Number Computationplus-squarearxiv.orgexternal-linkmessage-square0fedilinkarrow-up10arrow-down10
arrow-up10arrow-down1external-linkAn Imperative Language for Verified Exact Real-Number Computationplus-squarearxiv.orgLemmit.Online bot@lemmit.onlineMBEnglish · 2 days agomessage-square0fedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 1 month agoIs there such a thing as a state-machine focused language? Details in bodyplus-squareold.reddit.comexternal-linkmessage-square0fedilinkarrow-up10arrow-down10
arrow-up10arrow-down1external-linkIs there such a thing as a state-machine focused language? Details in bodyplus-squareold.reddit.comLemmit.Online bot@lemmit.onlineMBEnglish · 1 month agomessage-square0fedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 1 month agoInko 0.16.0 released, including support for TLS sockets, automatically installing dependencies, and more!plus-squareinko-lang.orgexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkInko 0.16.0 released, including support for TLS sockets, automatically installing dependencies, and more!plus-squareinko-lang.orgLemmit.Online bot@lemmit.onlineMBEnglish · 1 month agomessage-square0fedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 1 month agoDo new languages come in waves, or is it a steady stream?plus-squareold.reddit.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkDo new languages come in waves, or is it a steady stream?plus-squareold.reddit.comLemmit.Online bot@lemmit.onlineMBEnglish · 1 month agomessage-square0fedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 1 month agoHas anybody come up with a numeric type that can represent things like semver?plus-squareold.reddit.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkHas anybody come up with a numeric type that can represent things like semver?plus-squareold.reddit.comLemmit.Online bot@lemmit.onlineMBEnglish · 1 month agomessage-square0fedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 1 month agoMy attempt to articulate SQL's flawsplus-squarekyelabs.substack.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkMy attempt to articulate SQL's flawsplus-squarekyelabs.substack.comLemmit.Online bot@lemmit.onlineMBEnglish · 1 month agomessage-square0fedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 1 month agoSatisfiability Modulo Theories: A Beginner’s Tutorialplus-squarecvc5.github.ioexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkSatisfiability Modulo Theories: A Beginner’s Tutorialplus-squarecvc5.github.ioLemmit.Online bot@lemmit.onlineMBEnglish · 1 month agomessage-square0fedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 1 month agoTFL - A Tiny, Functional Language using the CLRplus-squaregithub.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkTFL - A Tiny, Functional Language using the CLRplus-squaregithub.comLemmit.Online bot@lemmit.onlineMBEnglish · 1 month agomessage-square0fedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 1 month agoWhat is the state of the compile-to-JS language ecosystem?plus-squareold.reddit.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkWhat is the state of the compile-to-JS language ecosystem?plus-squareold.reddit.comLemmit.Online bot@lemmit.onlineMBEnglish · 1 month agomessage-square0fedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 1 month agoSoundly Handling Linearityplus-squareblog.sigplan.orgexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkSoundly Handling Linearityplus-squareblog.sigplan.orgLemmit.Online bot@lemmit.onlineMBEnglish · 1 month agomessage-square0fedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 1 month agoQuestions about Semicolon-less Languagesplus-squareold.reddit.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkQuestions about Semicolon-less Languagesplus-squareold.reddit.comLemmit.Online bot@lemmit.onlineMBEnglish · 1 month agomessage-square0fedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 1 month agoFast Arithmetic with Tagged Integers - A Plea for Hardware Supportplus-squarewww.microsoft.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkFast Arithmetic with Tagged Integers - A Plea for Hardware Supportplus-squarewww.microsoft.comLemmit.Online bot@lemmit.onlineMBEnglish · 1 month agomessage-square0fedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 1 month agoCompiler backends?plus-squareold.reddit.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkCompiler backends?plus-squareold.reddit.comLemmit.Online bot@lemmit.onlineMBEnglish · 1 month agomessage-square0fedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 1 month agoWriting a compiler with zero experience for language I don't have the source code for.plus-squareold.reddit.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkWriting a compiler with zero experience for language I don't have the source code for.plus-squareold.reddit.comLemmit.Online bot@lemmit.onlineMBEnglish · 1 month agomessage-square0fedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 1 month agoTips on writing a code formatter?plus-squareold.reddit.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkTips on writing a code formatter?plus-squareold.reddit.comLemmit.Online bot@lemmit.onlineMBEnglish · 1 month agomessage-square0fedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 1 month agoHalf-open intervals - but the other way round?plus-squareold.reddit.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkHalf-open intervals - but the other way round?plus-squareold.reddit.comLemmit.Online bot@lemmit.onlineMBEnglish · 1 month agomessage-square0fedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 1 month agoGeometry Bugs and Geometry Typesplus-squarewww.cs.cornell.eduexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkGeometry Bugs and Geometry Typesplus-squarewww.cs.cornell.eduLemmit.Online bot@lemmit.onlineMBEnglish · 1 month agomessage-square0fedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 2 months agoAny ongoing efforts to bring ML dialects to embedded programming?plus-squareold.reddit.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkAny ongoing efforts to bring ML dialects to embedded programming?plus-squareold.reddit.comLemmit.Online bot@lemmit.onlineMBEnglish · 2 months agomessage-square0fedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 2 months agoA good name for 64-bit floats? (I dislike "double")plus-squareold.reddit.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkA good name for 64-bit floats? (I dislike "double")plus-squareold.reddit.comLemmit.Online bot@lemmit.onlineMBEnglish · 2 months agomessage-square0fedilink
Lemmit.Online bot@lemmit.onlineMBEnglish · 2 months agoWhat are good examples of macro systems in non-S-expressions languages?plus-squareold.reddit.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkWhat are good examples of macro systems in non-S-expressions languages?plus-squareold.reddit.comLemmit.Online bot@lemmit.onlineMBEnglish · 2 months agomessage-square0fedilink