armchair_progamer@programming.devM · edit-25 days agoA Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code (paper)plus-squarecodex.topexternal-linkmessage-square0fedilinkarrow-up19arrow-down10
arrow-up19arrow-down1external-linkA Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code (paper)plus-squarecodex.toparmchair_progamer@programming.devM · edit-25 days agomessage-square0fedilink
armchair_progamer@programming.devM · edit-26 days agoNotes on the Crystal programming languageplus-squarewiki.alopex.liexternal-linkmessage-square0fedilinkarrow-up119arrow-down11
arrow-up118arrow-down1external-linkNotes on the Crystal programming languageplus-squarewiki.alopex.liarmchair_progamer@programming.devM · edit-26 days agomessage-square0fedilink
armchair_progamer@programming.devM · 7 days agoTotal Denotational Semantics (blog)plus-squarefixpt.deexternal-linkmessage-square7fedilinkarrow-up18arrow-down10
arrow-up18arrow-down1external-linkTotal Denotational Semantics (blog)plus-squarefixpt.dearmchair_progamer@programming.devM · 7 days agomessage-square7fedilink
armchair_progamer@programming.devM · 6 days agoControl structures (free online course, slides)plus-squarexavierleroy.orgexternal-linkmessage-square0fedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkControl structures (free online course, slides)plus-squarexavierleroy.orgarmchair_progamer@programming.devM · 6 days agomessage-square0fedilink
SuperFola@programming.devEnglish · 7 days agoArkscript September update - macros and toolingplus-squarelexp.ltexternal-linkmessage-square0fedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkArkscript September update - macros and toolingplus-squarelexp.ltSuperFola@programming.devEnglish · 7 days agomessage-square0fedilink
armchair_progamer@programming.devM · 7 days agoLightweight region memory management in a two-stage languageplus-squaregist.github.comexternal-linkmessage-square0fedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkLightweight region memory management in a two-stage languageplus-squaregist.github.comarmchair_progamer@programming.devM · 7 days agomessage-square0fedilink
SuperFola@programming.devEnglish · 10 days agoComparing ArkScript and Python async/awaitplus-squarelexp.ltexternal-linkmessage-square0fedilinkarrow-up14arrow-down10
arrow-up14arrow-down1external-linkComparing ArkScript and Python async/awaitplus-squarelexp.ltSuperFola@programming.devEnglish · 10 days agomessage-square0fedilink
armchair_progamer@programming.devM · 11 days agoAn expression parser (small DSL) written in Cplus-squaregithub.comexternal-linkmessage-square0fedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkAn expression parser (small DSL) written in Cplus-squaregithub.comarmchair_progamer@programming.devM · 11 days agomessage-square0fedilink
armchair_progamer@programming.devM · edit-213 days agoHy: A LISP dialect embedded in Pythonplus-squarehylang.orgexternal-linkmessage-square0fedilinkarrow-up110arrow-down10
arrow-up110arrow-down1external-linkHy: A LISP dialect embedded in Pythonplus-squarehylang.orgarmchair_progamer@programming.devM · edit-213 days agomessage-square0fedilink
armchair_progamer@programming.devM · 17 days agoTiny Great Languages: Languages in under 75 lines of code (blog series + GitHub)plus-squarezserge.comexternal-linkmessage-square1fedilinkarrow-up111arrow-down10
arrow-up111arrow-down1external-linkTiny Great Languages: Languages in under 75 lines of code (blog series + GitHub)plus-squarezserge.comarmchair_progamer@programming.devM · 17 days agomessage-square1fedilink
armchair_progamer@programming.devM · edit-217 days agoDune Shell: bash + lispplus-squareadam-mcdaniel.github.ioexternal-linkmessage-square11fedilinkarrow-up127arrow-down10
arrow-up127arrow-down1external-linkDune Shell: bash + lispplus-squareadam-mcdaniel.github.ioarmchair_progamer@programming.devM · edit-217 days agomessage-square11fedilink
armchair_progamer@programming.devM · 26 days agoFennel: a Lua-like LISPplus-squarefennel-lang.orgexternal-linkmessage-square1fedilinkarrow-up19arrow-down11
arrow-up18arrow-down1external-linkFennel: a Lua-like LISPplus-squarefennel-lang.orgarmchair_progamer@programming.devM · 26 days agomessage-square1fedilink
armchair_progamer@programming.devM · 26 days agoSnapshottable Stores (paper)plus-squaredl.acm.orgexternal-linkmessage-square0fedilinkarrow-up13arrow-down11
arrow-up12arrow-down1external-linkSnapshottable Stores (paper)plus-squaredl.acm.orgarmchair_progamer@programming.devM · 26 days agomessage-square0fedilink
armchair_progamer@programming.devM · edit-226 days agoRɐbbit: Reactive Data Board & Visual Flow Platform (node-based VPE)plus-squaregithub.comexternal-linkmessage-square0fedilinkarrow-up19arrow-down11
arrow-up18arrow-down1external-linkRɐbbit: Reactive Data Board & Visual Flow Platform (node-based VPE)plus-squaregithub.comarmchair_progamer@programming.devM · edit-226 days agomessage-square0fedilink
armchair_progamer@programming.devM · 2 months agoFiredancer: DSL for defining bullet-hell patterns (demo)plus-squarefiredancer-lang.comexternal-linkmessage-square1fedilinkarrow-up115arrow-down11
arrow-up114arrow-down1external-linkFiredancer: DSL for defining bullet-hell patterns (demo)plus-squarefiredancer-lang.comarmchair_progamer@programming.devM · 2 months agomessage-square1fedilink
armchair_progamer@programming.devM · edit-22 months agoSoundly Handling Linearity (blog post + paper)plus-squareblog.sigplan.orgexternal-linkmessage-square0fedilinkarrow-up15arrow-down10
arrow-up15arrow-down1external-linkSoundly Handling Linearity (blog post + paper)plus-squareblog.sigplan.orgarmchair_progamer@programming.devM · edit-22 months agomessage-square0fedilink
armchair_progamer@programming.devM · edit-22 months agoSyndicated Actorsplus-squaresyndicate-lang.orgexternal-linkmessage-square0fedilinkarrow-up15arrow-down10
arrow-up15arrow-down1external-linkSyndicated Actorsplus-squaresyndicate-lang.orgarmchair_progamer@programming.devM · edit-22 months agomessage-square0fedilink
armchair_progamer@programming.devM · edit-22 months agoYou should make a new programming languageplus-squarentietz.comexternal-linkmessage-square10fedilinkarrow-up131arrow-down10
arrow-up131arrow-down1external-linkYou should make a new programming languageplus-squarentietz.comarmchair_progamer@programming.devM · edit-22 months agomessage-square10fedilink
armchair_progamer@programming.devM · 2 months agoFirst impressions of Gleam: lots of joys and some rough edgesplus-squarewww.ntietz.comexternal-linkmessage-square2fedilinkarrow-up121arrow-down11
arrow-up120arrow-down1external-linkFirst impressions of Gleam: lots of joys and some rough edgesplus-squarewww.ntietz.comarmchair_progamer@programming.devM · 2 months agomessage-square2fedilink
armchair_progamer@programming.devM · edit-22 months agoZyme: an evolvable language for genetic programmingplus-squarezyme.devexternal-linkmessage-square0fedilinkarrow-up123arrow-down10
arrow-up123arrow-down1external-linkZyme: an evolvable language for genetic programmingplus-squarezyme.devarmchair_progamer@programming.devM · edit-22 months agomessage-square0fedilink