armchair_progamer@programming.devM to Programming Languages@programming.dev · edit-22 months agoA Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code (paper)plus-squarecodex.topexternal-linkmessage-square0fedilinkarrow-up110arrow-down10
arrow-up110arrow-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-22 months agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · edit-22 months 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 to Programming Languages@programming.dev · edit-22 months agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 2 months 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 to Programming Languages@programming.dev · 2 months agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 2 months agoTotal Denotational Semantics (blog)plus-squarefixpt.deexternal-linkmessage-square7fedilinkarrow-up18arrow-down10
arrow-up18arrow-down1external-linkTotal Denotational Semantics (blog)plus-squarefixpt.dearmchair_progamer@programming.devM to Programming Languages@programming.dev · 2 months agomessage-square7fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 2 months 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 to Programming Languages@programming.dev · 2 months agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 2 months 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 to Programming Languages@programming.dev · 2 months agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · edit-22 months 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 to Programming Languages@programming.dev · edit-22 months agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 2 months 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 to Programming Languages@programming.dev · 2 months agomessage-square1fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · edit-22 months 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 to Programming Languages@programming.dev · edit-22 months agomessage-square11fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 2 months agoFennel: a Lua-like LISPplus-squarefennel-lang.orgexternal-linkmessage-square1fedilinkarrow-up110arrow-down11
arrow-up19arrow-down1external-linkFennel: a Lua-like LISPplus-squarefennel-lang.orgarmchair_progamer@programming.devM to Programming Languages@programming.dev · 2 months agomessage-square1fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 2 months agoSnapshottable Stores (paper)plus-squaredl.acm.orgexternal-linkmessage-square0fedilinkarrow-up13arrow-down11
arrow-up12arrow-down1external-linkSnapshottable Stores (paper)plus-squaredl.acm.orgarmchair_progamer@programming.devM to Programming Languages@programming.dev · 2 months agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · edit-22 months 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 to Programming Languages@programming.dev · edit-22 months agomessage-square0fedilink
armchair_progamer@programming.dev to Rust@programming.dev · 3 months agograydon/rust-prehistory: historical archive of rust pre-publication developmentplus-squaregithub.comexternal-linkmessage-square1fedilinkarrow-up148arrow-down10
arrow-up148arrow-down1external-linkgraydon/rust-prehistory: historical archive of rust pre-publication developmentplus-squaregithub.comarmchair_progamer@programming.dev to Rust@programming.dev · 3 months agomessage-square1fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 3 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 to Programming Languages@programming.dev · 3 months agomessage-square1fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · edit-23 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 to Programming Languages@programming.dev · edit-23 months agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · edit-23 months agoSyndicated Actorsplus-squaresyndicate-lang.orgexternal-linkmessage-square0fedilinkarrow-up15arrow-down10
arrow-up15arrow-down1external-linkSyndicated Actorsplus-squaresyndicate-lang.orgarmchair_progamer@programming.devM to Programming Languages@programming.dev · edit-23 months agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · edit-23 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 to Programming Languages@programming.dev · edit-23 months agomessage-square10fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 3 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 to Programming Languages@programming.dev · 3 months agomessage-square2fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · edit-23 months agoZyme: an evolvable language for genetic programmingplus-squarezyme.devexternal-linkmessage-square0fedilinkarrow-up124arrow-down10
arrow-up124arrow-down1external-linkZyme: an evolvable language for genetic programmingplus-squarezyme.devarmchair_progamer@programming.devM to Programming Languages@programming.dev · edit-23 months agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 3 months agoGeometry Bugs and Geometry Typesplus-squarewww.cs.cornell.eduexternal-linkmessage-square0fedilinkarrow-up18arrow-down10
arrow-up18arrow-down1external-linkGeometry Bugs and Geometry Typesplus-squarewww.cs.cornell.eduarmchair_progamer@programming.devM to Programming Languages@programming.dev · 3 months agomessage-square0fedilink
