armchair_progamer@programming.devM · 4 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 · 4 months agomessage-square4fedilink
armchair_progamer@programming.devM · 2 days agoDeriving Dependently-Typed OOP from First Principles (paper)plus-squarearxiv.orgexternal-linkmessage-square0fedilinkarrow-up16arrow-down10
arrow-up16arrow-down1external-linkDeriving Dependently-Typed OOP from First Principles (paper)plus-squarearxiv.orgarmchair_progamer@programming.devM · 2 days agomessage-square0fedilink
armchair_progamer@programming.devM · 2 days agoA reckless introduction to Hindley-Milner type inferenceplus-squarereasonableapproximation.netexternal-linkmessage-square0fedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkA reckless introduction to Hindley-Milner type inferenceplus-squarereasonableapproximation.netarmchair_progamer@programming.devM · 2 days agomessage-square0fedilink
armchair_progamer@programming.devM · 4 days agoWriting an IR from Scratch and survive to write a post (long)plus-squarefarena.inexternal-linkmessage-square0fedilinkarrow-up111arrow-down10
arrow-up111arrow-down1external-linkWriting an IR from Scratch and survive to write a post (long)plus-squarefarena.inarmchair_progamer@programming.devM · 4 days agomessage-square0fedilink
armchair_progamer@programming.devM · 5 days agoThe Pre-Scheme Restorationplus-squareprescheme.orgexternal-linkmessage-square0fedilinkarrow-up114arrow-down10
arrow-up114arrow-down1external-linkThe Pre-Scheme Restorationplus-squareprescheme.orgarmchair_progamer@programming.devM · 5 days agomessage-square0fedilink
armchair_progamer@programming.devM · 6 days agoLady Deirdre: Unified compiler frameworkplus-squarelady-deirdre.lakhin.comexternal-linkmessage-square1fedilinkarrow-up17arrow-down10
arrow-up17arrow-down1external-linkLady Deirdre: Unified compiler frameworkplus-squarelady-deirdre.lakhin.comarmchair_progamer@programming.devM · 6 days agomessage-square1fedilink
armchair_progamer@programming.devM · 6 days agoPLDI (Programming Language Design and Implementation) 2024 Proceedingsplus-squaredl.acm.orgexternal-linkmessage-square0fedilinkarrow-up15arrow-down10
arrow-up15arrow-down1external-linkPLDI (Programming Language Design and Implementation) 2024 Proceedingsplus-squaredl.acm.orgarmchair_progamer@programming.devM · 6 days agomessage-square0fedilink
armchair_progamer@programming.devM · 7 days agoStaged compilation with dependent types (GitHub)plus-squaregithub.comexternal-linkmessage-square0fedilinkarrow-up19arrow-down10
arrow-up19arrow-down1external-linkStaged compilation with dependent types (GitHub)plus-squaregithub.comarmchair_progamer@programming.devM · 7 days agomessage-square0fedilink
armchair_progamer@programming.devM · 8 days agoF - A tiny functional concatenative languageplus-squarewww.nsl.comexternal-linkmessage-square0fedilinkarrow-up15arrow-down10
arrow-up15arrow-down1external-linkF - A tiny functional concatenative languageplus-squarewww.nsl.comarmchair_progamer@programming.devM · 8 days agomessage-square0fedilink
wargreymon@sh.itjust.works · 9 days agoWhy python while Julia is so much better?plus-squaremessage-squaremessage-square16fedilinkarrow-up16arrow-down129
arrow-up1-23arrow-down1message-squareWhy python while Julia is so much better?plus-squarewargreymon@sh.itjust.works · 9 days agomessage-square16fedilink
armchair_progamer@programming.devM · edit-29 days agoThe design decisions and evolution of a method definition - Ruby case studyplus-squarezverok.spaceexternal-linkmessage-square0fedilinkarrow-up111arrow-down11
arrow-up110arrow-down1external-linkThe design decisions and evolution of a method definition - Ruby case studyplus-squarezverok.spacearmchair_progamer@programming.devM · edit-29 days agomessage-square0fedilink
armchair_progamer@programming.devM · edit-29 days agoAUTOMAP: How to do NumPy-style broadcasting in Futhark (but better)plus-squarefuthark-lang.orgexternal-linkmessage-square0fedilinkarrow-up19arrow-down10
arrow-up19arrow-down1external-linkAUTOMAP: How to do NumPy-style broadcasting in Futhark (but better)plus-squarefuthark-lang.orgarmchair_progamer@programming.devM · edit-29 days agomessage-square0fedilink
armchair_progamer@programming.devM · 10 days agoCrossing the Impossible FFI Boundary, and My Gradual Descent Into Madness (Vale)plus-squareverdagon.devexternal-linkmessage-square0fedilinkarrow-up14arrow-down10
arrow-up14arrow-down1external-linkCrossing the Impossible FFI Boundary, and My Gradual Descent Into Madness (Vale)plus-squareverdagon.devarmchair_progamer@programming.devM · 10 days agomessage-square0fedilink
armchair_progamer@programming.devM · 11 days agovvvv - visual live-progamming for .NETplus-squarevisualprogramming.netexternal-linkmessage-square0fedilinkarrow-up16arrow-down13
arrow-up13arrow-down1external-linkvvvv - visual live-progamming for .NETplus-squarevisualprogramming.netarmchair_progamer@programming.devM · 11 days agomessage-square0fedilink
armchair_progamer@programming.devM · edit-212 days agoOPLSS 2024 Lectures (videos + notes)plus-squarewww.cs.uoregon.eduexternal-linkmessage-square0fedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkOPLSS 2024 Lectures (videos + notes)plus-squarewww.cs.uoregon.eduarmchair_progamer@programming.devM · edit-212 days agomessage-square0fedilink
armchair_progamer@programming.devM · 15 days agoThe Swift compiler is slow due to how types are inferredplus-squaredanielchasehooper.comexternal-linkmessage-square1fedilinkarrow-up113arrow-down11
arrow-up112arrow-down1external-linkThe Swift compiler is slow due to how types are inferredplus-squaredanielchasehooper.comarmchair_progamer@programming.devM · 15 days agomessage-square1fedilink
armchair_progamer@programming.devM · edit-216 days agoForsp: A Forth+Lisp Hybrid Lambda Calculus Languageplus-squarexorvoid.comexternal-linkmessage-square0fedilinkarrow-up113arrow-down10
arrow-up113arrow-down1external-linkForsp: A Forth+Lisp Hybrid Lambda Calculus Languageplus-squarexorvoid.comarmchair_progamer@programming.devM · edit-216 days agomessage-square0fedilink
armchair_progamer@programming.devM · 17 days agoHow we test(ed) the Futhark compilerplus-squarefuthark-lang.orgexternal-linkmessage-square0fedilinkarrow-up17arrow-down10
arrow-up17arrow-down1external-linkHow we test(ed) the Futhark compilerplus-squarefuthark-lang.orgarmchair_progamer@programming.devM · 17 days agomessage-square0fedilink
armchair_progamer@programming.devM · 17 days agoTypeLoom: Gradual Typing with the LSPplus-squaregithub.comexternal-linkmessage-square0fedilinkarrow-up14arrow-down10
arrow-up14arrow-down1external-linkTypeLoom: Gradual Typing with the LSPplus-squaregithub.comarmchair_progamer@programming.devM · 17 days agomessage-square0fedilink
armchair_progamer@programming.devM · 17 days agoMegaLibm: A DSL for Implementing Math Functionsplus-squareblog.sigplan.orgexternal-linkmessage-square0fedilinkarrow-up15arrow-down10
arrow-up15arrow-down1external-linkMegaLibm: A DSL for Implementing Math Functionsplus-squareblog.sigplan.orgarmchair_progamer@programming.devM · 17 days agomessage-square0fedilink