armchair_progamer@programming.devM · 9 months agoMarch 2024 monthly "What are you working on?" threadplus-squarepinmessage-squaremessage-square4fedilinkarrow-up114arrow-down10
arrow-up114arrow-down1message-squareMarch 2024 monthly "What are you working on?" threadplus-squarepinarmchair_progamer@programming.devM · 9 months agomessage-square4fedilink
armchair_progamer@programming.devM · edit-24 months agoGLisp: Graphical Lisp (interactive)plus-squareglisp.appexternal-linkmessage-square0fedilinkarrow-up111arrow-down11
arrow-up110arrow-down1external-linkGLisp: Graphical Lisp (interactive)plus-squareglisp.apparmchair_progamer@programming.devM · edit-24 months agomessage-square0fedilink
armchair_progamer@programming.devM · 4 months agoAbstract interpretation in the Toy Optimizerplus-squarebernsteinbear.comexternal-linkmessage-square0fedilinkarrow-up16arrow-down10
arrow-up16arrow-down1external-linkAbstract interpretation in the Toy Optimizerplus-squarebernsteinbear.comarmchair_progamer@programming.devM · 4 months agomessage-square0fedilink
armchair_progamer@programming.devM · 4 months agoThe algebra (and calculus!) of algebraic data typesplus-squarecodewords.recurse.comexternal-linkmessage-square0fedilinkarrow-up18arrow-down10
arrow-up18arrow-down1external-linkThe algebra (and calculus!) of algebraic data typesplus-squarecodewords.recurse.comarmchair_progamer@programming.devM · 4 months agomessage-square0fedilink
armchair_progamer@programming.devM · edit-24 months agoModal Effect Types (paper)plus-squarearxiv.orgexternal-linkmessage-square0fedilinkarrow-up15arrow-down10
arrow-up15arrow-down1external-linkModal Effect Types (paper)plus-squarearxiv.orgarmchair_progamer@programming.devM · edit-24 months agomessage-square0fedilink
armchair_progamer@programming.devM · 4 months agoIELR(1) parser generator insightsplus-squarebranchtaken.comexternal-linkmessage-square1fedilinkarrow-up15arrow-down10
arrow-up15arrow-down1external-linkIELR(1) parser generator insightsplus-squarebranchtaken.comarmchair_progamer@programming.devM · 4 months agomessage-square1fedilink
armchair_progamer@programming.devM · 4 months agoBio: A Lisp dialect written in Zigplus-squaregithub.comexternal-linkmessage-square0fedilinkarrow-up120arrow-down11
arrow-up119arrow-down1external-linkBio: A Lisp dialect written in Zigplus-squaregithub.comarmchair_progamer@programming.devM · 4 months agomessage-square0fedilink
armchair_progamer@programming.devM · 4 months agoWe need visual programming. No, not like that.plus-squareblog.sbensu.comexternal-linkmessage-square8fedilinkarrow-up135arrow-down15
arrow-up130arrow-down1external-linkWe need visual programming. No, not like that.plus-squareblog.sbensu.comarmchair_progamer@programming.devM · 4 months agomessage-square8fedilink
armchair_progamer@programming.devM · edit-24 months agomazeppa: An IR and supercompiler for functional languagesplus-squaregithub.comexternal-linkmessage-square0fedilinkarrow-up116arrow-down10
arrow-up116arrow-down1external-linkmazeppa: An IR and supercompiler for functional languagesplus-squaregithub.comarmchair_progamer@programming.devM · edit-24 months agomessage-square0fedilink
armchair_progamer@programming.devM · edit-24 months agoEsolang Park - online interpreter and debugger for esoteric programming languagesplus-squareesolangpark.vercel.appexternal-linkmessage-square0fedilinkarrow-up110arrow-down10
arrow-up110arrow-down1external-linkEsolang Park - online interpreter and debugger for esoteric programming languagesplus-squareesolangpark.vercel.apparmchair_progamer@programming.devM · edit-24 months agomessage-square0fedilink
armchair_progamer@programming.devM · 4 months agoToit - a language for microcontrollers with live reloadingplus-squaretoitlang.orgexternal-linkmessage-square0fedilinkarrow-up18arrow-down10
arrow-up18arrow-down1external-linkToit - a language for microcontrollers with live reloadingplus-squaretoitlang.orgarmchair_progamer@programming.devM · 4 months agomessage-square0fedilink
armchair_progamer@programming.devM · 4 months agoSome tricks from the Scrapscript compilerplus-squarebernsteinbear.comexternal-linkmessage-square0fedilinkarrow-up14arrow-down10
arrow-up14arrow-down1external-linkSome tricks from the Scrapscript compilerplus-squarebernsteinbear.comarmchair_progamer@programming.devM · 4 months agomessage-square0fedilink
armchair_progamer@programming.devM · 5 months agoSolving a math problem with planner programmingplus-squarebuttondown.emailexternal-linkmessage-square1fedilinkarrow-up19arrow-down10
arrow-up19arrow-down1external-linkSolving a math problem with planner programmingplus-squarebuttondown.emailarmchair_progamer@programming.devM · 5 months agomessage-square1fedilink
armchair_progamer@programming.devM · 5 months agoScoped Propagatorsplus-squarewww.orionreed.comexternal-linkmessage-square0fedilinkarrow-up15arrow-down10
arrow-up15arrow-down1external-linkScoped Propagatorsplus-squarewww.orionreed.comarmchair_progamer@programming.devM · 5 months agomessage-square0fedilink
SuperFola@programming.devEnglish · 5 months agoAn online playground for ArkScriptplus-squareplayground.arkscript-lang.devexternal-linkmessage-square0fedilinkarrow-up17arrow-down10
arrow-up17arrow-down1external-linkAn online playground for ArkScriptplus-squareplayground.arkscript-lang.devSuperFola@programming.devEnglish · 5 months agomessage-square0fedilink
armchair_progamer@programming.devM · 5 months agoExploring biphasic (multi-stage) programmingplus-squarerybicki.ioexternal-linkmessage-square2fedilinkarrow-up17arrow-down10
arrow-up17arrow-down1external-linkExploring biphasic (multi-stage) programmingplus-squarerybicki.ioarmchair_progamer@programming.devM · 5 months agomessage-square2fedilink
coderinsan@programming.dev · 5 months agoCodeintegrity-ai/mutahunter: Open Source Language Agnostic LLM-based mutation testing toolplus-squaregithub.comexternal-linkmessage-square0fedilinkarrow-up19arrow-down12
arrow-up17arrow-down1external-linkCodeintegrity-ai/mutahunter: Open Source Language Agnostic LLM-based mutation testing toolplus-squaregithub.comcoderinsan@programming.dev · 5 months agomessage-square0fedilink
armchair_progamer@programming.devM · 5 months agoAssociated Effects: Flexible Abstractions for Effectful Programming (paper)plus-squaredl.acm.orgexternal-linkmessage-square0fedilinkarrow-up110arrow-down10
arrow-up110arrow-down1external-linkAssociated Effects: Flexible Abstractions for Effectful Programming (paper)plus-squaredl.acm.orgarmchair_progamer@programming.devM · 5 months agomessage-square0fedilink
armchair_progamer@programming.devM · 5 months agoInternational Conference on Functional Programming 2024 Accepted Papersplus-squareicfp24.sigplan.orgexternal-linkmessage-square0fedilinkarrow-up112arrow-down12
arrow-up110arrow-down1external-linkInternational Conference on Functional Programming 2024 Accepted Papersplus-squareicfp24.sigplan.orgarmchair_progamer@programming.devM · 5 months agomessage-square0fedilink
armchair_progamer@programming.devM · 5 months agoDeriving Dependently-Typed OOP from First Principles (paper)plus-squarearxiv.orgexternal-linkmessage-square0fedilinkarrow-up18arrow-down10
arrow-up18arrow-down1external-linkDeriving Dependently-Typed OOP from First Principles (paper)plus-squarearxiv.orgarmchair_progamer@programming.devM · 5 months agomessage-square0fedilink