armchair_progamer@programming.devM to Programming Languages@programming.dev · edit-26 days agoAn epic treatise on error models for systems programming languagesplus-squaretypesanitizer.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkAn epic treatise on error models for systems programming languagesplus-squaretypesanitizer.comarmchair_progamer@programming.devM to Programming Languages@programming.dev · edit-26 days agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 19 days agoNeut Programming Languageplus-squarevekatze.github.ioexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkNeut Programming Languageplus-squarevekatze.github.ioarmchair_progamer@programming.devM to Programming Languages@programming.dev · 19 days agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 19 days agoSo you're writing a programming language [Reddit longpost]plus-squareold.reddit.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkSo you're writing a programming language [Reddit longpost]plus-squareold.reddit.comarmchair_progamer@programming.devM to Programming Languages@programming.dev · 19 days agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 19 days agoThe Vine Programming Languageplus-squarevine.devexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkThe Vine Programming Languageplus-squarevine.devarmchair_progamer@programming.devM to Programming Languages@programming.dev · 19 days agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 2 months agoSo you're writing a programming language [Reddit]plus-squarewww.reddit.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkSo you're writing a programming language [Reddit]plus-squarewww.reddit.comarmchair_progamer@programming.devM to Programming Languages@programming.dev · 2 months agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · edit-22 months agoFlattening ASTs (and Other Compiler Data Structures) [May 2023]plus-squarewww.cs.cornell.eduexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkFlattening ASTs (and Other Compiler Data Structures) [May 2023]plus-squarewww.cs.cornell.eduarmchair_progamer@programming.devM to Programming Languages@programming.dev · edit-22 months agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · edit-25 months agoA Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code (paper)plus-squarecodex.topexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkA Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code (paper)plus-squarecodex.toparmchair_progamer@programming.devM to Programming Languages@programming.dev · edit-25 months agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · edit-26 months agoNotes on the Crystal programming languageplus-squarewiki.alopex.liexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkNotes on the Crystal programming languageplus-squarewiki.alopex.liarmchair_progamer@programming.devM to Programming Languages@programming.dev · edit-26 months agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 6 months agoControl structures (free online course, slides)plus-squarexavierleroy.orgexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkControl structures (free online course, slides)plus-squarexavierleroy.orgarmchair_progamer@programming.devM to Programming Languages@programming.dev · 6 months agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 6 months agoTotal Denotational Semantics (blog)plus-squarefixpt.deexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkTotal Denotational Semantics (blog)plus-squarefixpt.dearmchair_progamer@programming.devM to Programming Languages@programming.dev · 6 months agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 6 months agoLightweight region memory management in a two-stage languageplus-squaregist.github.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkLightweight region memory management in a two-stage languageplus-squaregist.github.comarmchair_progamer@programming.devM to Programming Languages@programming.dev · 6 months agomessage-square0fedilink
armchair_progamer@programming.dev to Formal Methods@programming.dev · 6 months agoLinearizability! Refinement! Prophecy! (proving code correctness)plus-squaresurfingcomplexity.blogexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkLinearizability! Refinement! Prophecy! (proving code correctness)plus-squaresurfingcomplexity.blogarmchair_progamer@programming.dev to Formal Methods@programming.dev · 6 months agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 6 months agoAn expression parser (small DSL) written in Cplus-squaregithub.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkAn expression parser (small DSL) written in Cplus-squaregithub.comarmchair_progamer@programming.devM to Programming Languages@programming.dev · 6 months agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · edit-26 months agoHy: A LISP dialect embedded in Pythonplus-squarehylang.orgexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkHy: A LISP dialect embedded in Pythonplus-squarehylang.orgarmchair_progamer@programming.devM to Programming Languages@programming.dev · edit-26 months agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 6 months agoTiny Great Languages: Languages in under 75 lines of code (blog series + GitHub)plus-squarezserge.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkTiny Great Languages: Languages in under 75 lines of code (blog series + GitHub)plus-squarezserge.comarmchair_progamer@programming.devM to Programming Languages@programming.dev · 6 months agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · edit-26 months agoDune Shell: bash + lispplus-squareadam-mcdaniel.github.ioexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkDune Shell: bash + lispplus-squareadam-mcdaniel.github.ioarmchair_progamer@programming.devM to Programming Languages@programming.dev · edit-26 months agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 6 months agoFennel: a Lua-like LISPplus-squarefennel-lang.orgexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkFennel: a Lua-like LISPplus-squarefennel-lang.orgarmchair_progamer@programming.devM to Programming Languages@programming.dev · 6 months agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 6 months agoSnapshottable Stores (paper)plus-squaredl.acm.orgexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkSnapshottable Stores (paper)plus-squaredl.acm.orgarmchair_progamer@programming.devM to Programming Languages@programming.dev · 6 months agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · edit-26 months agoRɐbbit: Reactive Data Board & Visual Flow Platform (node-based VPE)plus-squaregithub.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkRɐbbit: Reactive Data Board & Visual Flow Platform (node-based VPE)plus-squaregithub.comarmchair_progamer@programming.devM to Programming Languages@programming.dev · edit-26 months agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 7 months agoFiredancer: DSL for defining bullet-hell patterns (demo)plus-squarefiredancer-lang.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkFiredancer: DSL for defining bullet-hell patterns (demo)plus-squarefiredancer-lang.comarmchair_progamer@programming.devM to Programming Languages@programming.dev · 7 months agomessage-square0fedilink
