armchair_progamer@programming.devM · 1 year agoLaziness in Haskell (video + commentary)plus-squarewww.youtube.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkLaziness in Haskell (video + commentary)plus-squarewww.youtube.comarmchair_progamer@programming.devM · 1 year agomessage-square0fedilink
armchair_progamer@programming.devM · 1 year agoSeptember 2023 monthly "What are you working on?" threadplus-squaremessage-squaremessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1message-squareSeptember 2023 monthly "What are you working on?" threadplus-squarearmchair_progamer@programming.devM · 1 year agomessage-square0fedilink
armchair_progamer@programming.devM · 1 year agoAd-hoc polymorphism erodes type-safetyplus-squarecs-syd.euexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkAd-hoc polymorphism erodes type-safetyplus-squarecs-syd.euarmchair_progamer@programming.devM · 1 year agomessage-square0fedilink
armchair_progamer@programming.devM · 1 year agoTypes versus sets (and what about categories?)plus-squarelawrencecpaulson.github.ioexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkTypes versus sets (and what about categories?)plus-squarelawrencecpaulson.github.ioarmchair_progamer@programming.devM · 1 year agomessage-square0fedilink
armchair_progamer@programming.devM · 1 year agoCompile-time and short-circuit evaluationplus-squarec3.handmade.networkexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkCompile-time and short-circuit evaluationplus-squarec3.handmade.networkarmchair_progamer@programming.devM · 1 year agomessage-square0fedilink
TheCee@programming.devEnglish · 1 year agoIntro To The Staged Functional Programming In Spiralplus-squarewww.youtube.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkIntro To The Staged Functional Programming In Spiralplus-squarewww.youtube.comTheCee@programming.devEnglish · 1 year agomessage-square0fedilink
armchair_progamer@programming.devM · 1 year agoVim Creator Bram Moolenaar’s Forgotten Programming Language, Zimbuplus-squarethenewstack.ioexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkVim Creator Bram Moolenaar’s Forgotten Programming Language, Zimbuplus-squarethenewstack.ioarmchair_progamer@programming.devM · 1 year agomessage-square0fedilink
armchair_progamer@programming.devM · 1 year agoType Checking with Eqlog (5-Part Series)plus-squarewww.mbid.meexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkType Checking with Eqlog (5-Part Series)plus-squarewww.mbid.mearmchair_progamer@programming.devM · 1 year agomessage-square0fedilink
armchair_progamer@programming.devM · 1 year agoVisionScript: A high-level programming language for computer vision (DSL)plus-squarevisionscript.devexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkVisionScript: A high-level programming language for computer vision (DSL)plus-squarevisionscript.devarmchair_progamer@programming.devM · 1 year agomessage-square0fedilink
TheCee@programming.devEnglish · 1 year agoQuestion - Could an embedded scripting interpreter at the same time be a language server?plus-squareceesstuff.github.ioexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkQuestion - Could an embedded scripting interpreter at the same time be a language server?plus-squareceesstuff.github.ioTheCee@programming.devEnglish · 1 year agomessage-square0fedilink
TheCee@programming.devEnglish · 1 year agoBeyond LSP: Getting Your Language into Theia and VS Codeplus-squarewww.youtube.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkBeyond LSP: Getting Your Language into Theia and VS Codeplus-squarewww.youtube.comTheCee@programming.devEnglish · 1 year agomessage-square0fedilink
TheCee@programming.devEnglish · 1 year agoContinuing WebAssembly with Effect Handlersarxiv.orgexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkContinuing WebAssembly with Effect Handlersarxiv.orgTheCee@programming.devEnglish · 1 year agomessage-square0fedilink
TheCee@programming.devEnglish · 1 year agoTypeScript is Surprisingly OK for Compilersplus-squarematklad.github.ioexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkTypeScript is Surprisingly OK for Compilersplus-squarematklad.github.ioTheCee@programming.devEnglish · 1 year agomessage-square0fedilink
armchair_progamer@programming.devM · edit-21 year agoMLIR (Multi-Level IR) For Beginnersplus-squaregithub.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkMLIR (Multi-Level IR) For Beginnersplus-squaregithub.comarmchair_progamer@programming.devM · edit-21 year agomessage-square0fedilink
swordsmanluke@programming.dev · 1 year agoAdvice for writing my own compiler?plus-squaremessage-squaremessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1message-squareAdvice for writing my own compiler?plus-squareswordsmanluke@programming.dev · 1 year agomessage-square0fedilink
TheCee@programming.devEnglish · 1 year agoAST vs Bytecode: Interpreters in the Age of Meta-compilationstefan-marr.deexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkAST vs Bytecode: Interpreters in the Age of Meta-compilationstefan-marr.deTheCee@programming.devEnglish · 1 year agomessage-square0fedilink
armchair_progamer@programming.devM · edit-21 year agoI built a garbage collector for a language that doesn’t need one (Rust)plus-squareclaytonwramsey.github.ioexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkI built a garbage collector for a language that doesn’t need one (Rust)plus-squareclaytonwramsey.github.ioarmchair_progamer@programming.devM · edit-21 year agomessage-square0fedilink
TheCee@programming.devEnglish · 1 year agoTypes and the Zig Programming Languageplus-squarematklad.github.ioexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkTypes and the Zig Programming Languageplus-squarematklad.github.ioTheCee@programming.devEnglish · 1 year agomessage-square0fedilink
armchair_progamer@programming.devM · 1 year agoExpr (tiny embedded language in Go)plus-squareexpr.medv.ioexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkExpr (tiny embedded language in Go)plus-squareexpr.medv.ioarmchair_progamer@programming.devM · 1 year agomessage-square0fedilink
Crazazy [hey hi! :D]@feddit.nl · 1 year agoWhy Static Languages Suffer From Complexity (and type-safe printf implementation without macros)plus-squarehirrolot.github.ioexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkWhy Static Languages Suffer From Complexity (and type-safe printf implementation without macros)plus-squarehirrolot.github.ioCrazazy [hey hi! :D]@feddit.nl · 1 year agomessage-square0fedilink