armchair_progamer@programming.devM to Programming Languages@programming.dev · 2 years agoAn epic treatise on error models for systems programming languagesplus-squaretypesanitizer.comexternal-linkmessage-square0linkfedilinkarrow-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 · 2 years agomessage-square0linkfedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 2 years agoNeut Programming Languageplus-squarevekatze.github.ioexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkNeut Programming Languageplus-squarevekatze.github.ioarmchair_progamer@programming.devM to Programming Languages@programming.dev · 2 years agomessage-square0linkfedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 2 years agoSo you're writing a programming language [Reddit longpost]plus-squareold.reddit.comexternal-linkmessage-square0linkfedilinkarrow-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 · 2 years agomessage-square0linkfedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 2 years agoThe Vine Programming Languageplus-squarevine.devexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkThe Vine Programming Languageplus-squarevine.devarmchair_progamer@programming.devM to Programming Languages@programming.dev · 2 years agomessage-square0linkfedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 2 years agoSo you're writing a programming language [Reddit]plus-squarewww.reddit.comexternal-linkmessage-square0linkfedilinkarrow-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 years agomessage-square0linkfedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 2 years agoFlattening ASTs (and Other Compiler Data Structures) [May 2023]plus-squarewww.cs.cornell.eduexternal-linkmessage-square0linkfedilinkarrow-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 · 2 years agomessage-square0linkfedilink
minus-squarearmchair_progamer@programming.devtoLemmy Shitpost@lemmy.world•And I will have my vengeance, in this file host or the next.linkfedilinkarrow-up27·2 years agoHello Gladiator (2000) REMASTERED EXTENDED 1080p BluRay 10bit HEVC 6CH 4.3GB - MkvCage. linkfedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 2 years agoA Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code (paper)plus-squarecodex.topexternal-linkmessage-square0linkfedilinkarrow-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 · 2 years agomessage-square0linkfedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 2 years agoNotes on the Crystal programming languageplus-squarewiki.alopex.liexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkNotes on the Crystal programming languageplus-squarewiki.alopex.liarmchair_progamer@programming.devM to Programming Languages@programming.dev · 2 years agomessage-square0linkfedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 2 years agoControl structures (free online course, slides)plus-squarexavierleroy.orgexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkControl structures (free online course, slides)plus-squarexavierleroy.orgarmchair_progamer@programming.devM to Programming Languages@programming.dev · 2 years agomessage-square0linkfedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 2 years agoTotal Denotational Semantics (blog)plus-squarefixpt.deexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkTotal Denotational Semantics (blog)plus-squarefixpt.dearmchair_progamer@programming.devM to Programming Languages@programming.dev · 2 years agomessage-square0linkfedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 2 years agoLightweight region memory management in a two-stage languageplus-squaregist.github.comexternal-linkmessage-square0linkfedilinkarrow-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 · 2 years agomessage-square0linkfedilink
armchair_progamer@programming.dev to Formal Methods@programming.dev · 2 years agoLinearizability! Refinement! Prophecy! (proving code correctness)plus-squaresurfingcomplexity.blogexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkLinearizability! Refinement! Prophecy! (proving code correctness)plus-squaresurfingcomplexity.blogarmchair_progamer@programming.dev to Formal Methods@programming.dev · 2 years agomessage-square0linkfedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 2 years agoAn expression parser (small DSL) written in Cplus-squaregithub.comexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkAn expression parser (small DSL) written in Cplus-squaregithub.comarmchair_progamer@programming.devM to Programming Languages@programming.dev · 2 years agomessage-square0linkfedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · edit-22 years agoHy: A LISP dialect embedded in Pythonplus-squarehylang.orgexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkHy: A LISP dialect embedded in Pythonplus-squarehylang.orgarmchair_progamer@programming.devM to Programming Languages@programming.dev · edit-22 years agomessage-square0linkfedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 2 years agoTiny Great Languages: Languages in under 75 lines of code (blog series + GitHub)plus-squarezserge.comexternal-linkmessage-square0linkfedilinkarrow-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 · 2 years agomessage-square0linkfedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 2 years agoDune Shell: bash + lispplus-squareadam-mcdaniel.github.ioexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkDune Shell: bash + lispplus-squareadam-mcdaniel.github.ioarmchair_progamer@programming.devM to Programming Languages@programming.dev · 2 years agomessage-square0linkfedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 2 years agoFennel: a Lua-like LISPplus-squarefennel-lang.orgexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkFennel: a Lua-like LISPplus-squarefennel-lang.orgarmchair_progamer@programming.devM to Programming Languages@programming.dev · 2 years agomessage-square0linkfedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 2 years agoSnapshottable Stores (paper)plus-squaredl.acm.orgexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkSnapshottable Stores (paper)plus-squaredl.acm.orgarmchair_progamer@programming.devM to Programming Languages@programming.dev · 2 years agomessage-square0linkfedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 2 years agoRɐbbit: Reactive Data Board & Visual Flow Platform (node-based VPE)plus-squaregithub.comexternal-linkmessage-square0linkfedilinkarrow-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 · 2 years agomessage-square0linkfedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 2 years agoFiredancer: DSL for defining bullet-hell patterns (demo)plus-squarefiredancer-lang.comexternal-linkmessage-square0linkfedilinkarrow-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 · 2 years agomessage-square0linkfedilink
Hello Gladiator (2000) REMASTERED EXTENDED 1080p BluRay 10bit HEVC 6CH 4.3GB - MkvCage.