armchair_progamer@programming.dev to Formal Methods@programming.dev · 1 month agoLinearizability! Refinement! Prophecy! (proving code correctness)plus-squaresurfingcomplexity.blogexternal-linkmessage-square0fedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkLinearizability! Refinement! Prophecy! (proving code correctness)plus-squaresurfingcomplexity.blogarmchair_progamer@programming.dev to Formal Methods@programming.dev · 1 month agomessage-square0fedilink
minus-squarearmchair_progamer@programming.devtoProgrammer Humor@programming.dev•to stop the confusionlinkfedilinkarrow-up3arrow-down1·edit-21 month agoBrand X linkfedilink
armchair_progamer@programming.dev to Programmer Humor@programming.dev · edit-23 months ago“C has known memory footguns. C++, due to its complexity, has footnukes.” - Hacker News commentprogramming.devimagemessage-square10fedilinkarrow-up139arrow-down11
arrow-up138arrow-down1image“C has known memory footguns. C++, due to its complexity, has footnukes.” - Hacker News commentprogramming.devarmchair_progamer@programming.dev to Programmer Humor@programming.dev · edit-23 months agomessage-square10fedilink
armchair_progamer@programming.dev to Rust@programming.dev · 3 months agograydon/rust-prehistory: historical archive of rust pre-publication developmentplus-squaregithub.comexternal-linkmessage-square0fedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkgraydon/rust-prehistory: historical archive of rust pre-publication developmentplus-squaregithub.comarmchair_progamer@programming.dev to Rust@programming.dev · 3 months agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 3 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 · 3 months agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · edit-23 months agoSoundly Handling Linearity (blog post + paper)plus-squareblog.sigplan.orgexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-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-up11arrow-down10
arrow-up11arrow-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-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkYou should make a new programming languageplus-squarentietz.comarmchair_progamer@programming.devM to Programming Languages@programming.dev · edit-23 months agomessage-square0fedilink
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-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-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-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · edit-23 months agoZyme: an evolvable language for genetic programmingplus-squarezyme.devexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-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-up11arrow-down10
arrow-up11arrow-down1external-linkGeometry Bugs and Geometry Typesplus-squarewww.cs.cornell.eduarmchair_progamer@programming.devM to Programming Languages@programming.dev · 3 months agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 3 months agoInterval Parsing Grammars for File Format Parsing (paper)plus-squaredl.acm.orgexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkInterval Parsing Grammars for File Format Parsing (paper)plus-squaredl.acm.orgarmchair_progamer@programming.devM to Programming Languages@programming.dev · 3 months agomessage-square0fedilink
armchair_progamer@programming.dev to Formal Methods@programming.dev · edit-23 months agoThe Hitchhiker’s Guide to Logical Verification (book)plus-squarebrowncs1951x.github.ioexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkThe Hitchhiker’s Guide to Logical Verification (book)plus-squarebrowncs1951x.github.ioarmchair_progamer@programming.dev to Formal Methods@programming.dev · edit-23 months agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 4 months agoBril: An Intermediate Language for Teaching Compilersplus-squarewww.cs.cornell.eduexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkBril: An Intermediate Language for Teaching Compilersplus-squarewww.cs.cornell.eduarmchair_progamer@programming.devM to Programming Languages@programming.dev · 4 months agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · edit-24 months agoGLisp: Graphical Lisp (interactive)plus-squareglisp.appexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkGLisp: Graphical Lisp (interactive)plus-squareglisp.apparmchair_progamer@programming.devM to Programming Languages@programming.dev · edit-24 months agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 4 months agoAbstract interpretation in the Toy Optimizerplus-squarebernsteinbear.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkAbstract interpretation in the Toy Optimizerplus-squarebernsteinbear.comarmchair_progamer@programming.devM to Programming Languages@programming.dev · 4 months agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 4 months agoThe algebra (and calculus!) of algebraic data typesplus-squarecodewords.recurse.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkThe algebra (and calculus!) of algebraic data typesplus-squarecodewords.recurse.comarmchair_progamer@programming.devM to Programming Languages@programming.dev · 4 months agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · edit-24 months agoModal Effect Types (paper)plus-squarearxiv.orgexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkModal Effect Types (paper)plus-squarearxiv.orgarmchair_progamer@programming.devM to Programming Languages@programming.dev · edit-24 months agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 4 months agoIELR(1) parser generator insightsplus-squarebranchtaken.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkIELR(1) parser generator insightsplus-squarebranchtaken.comarmchair_progamer@programming.devM to Programming Languages@programming.dev · 4 months agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 4 months agoBio: A Lisp dialect written in Zigplus-squaregithub.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkBio: A Lisp dialect written in Zigplus-squaregithub.comarmchair_progamer@programming.devM to Programming Languages@programming.dev · 4 months agomessage-square0fedilink
armchair_progamer@programming.devM to Programming Languages@programming.dev · 4 months agoWe need visual programming. No, not like that.plus-squareblog.sbensu.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkWe need visual programming. No, not like that.plus-squareblog.sbensu.comarmchair_progamer@programming.devM to Programming Languages@programming.dev · 4 months agomessage-square0fedilink
Brand X