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 · 3 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 · 3 days agomessage-square0fedilink
armchair_progamer@programming.devM · 3 days agoA reckless introduction to Hindley-Milner type inferenceplus-squarereasonableapproximation.netexternal-linkmessage-square0fedilinkarrow-up14arrow-down10
arrow-up14arrow-down1external-linkA reckless introduction to Hindley-Milner type inferenceplus-squarereasonableapproximation.netarmchair_progamer@programming.devM · 3 days agomessage-square0fedilink
armchair_progamer@programming.devM · 5 days agoWriting an IR from Scratch and survive to write a post (long)plus-squarefarena.inexternal-linkmessage-square0fedilinkarrow-up110arrow-down10
arrow-up110arrow-down1external-linkWriting an IR from Scratch and survive to write a post (long)plus-squarefarena.inarmchair_progamer@programming.devM · 5 days agomessage-square0fedilink
armchair_progamer@programming.devM · 6 days agoThe Pre-Scheme Restorationplus-squareprescheme.orgexternal-linkmessage-square0fedilinkarrow-up115arrow-down10
arrow-up115arrow-down1external-linkThe Pre-Scheme Restorationplus-squareprescheme.orgarmchair_progamer@programming.devM · 6 days agomessage-square0fedilink
armchair_progamer@programming.devM · 7 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 · 7 days agomessage-square1fedilink
armchair_progamer@programming.devM · 7 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 · 7 days agomessage-square0fedilink
armchair_progamer@programming.devM · 8 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 · 8 days agomessage-square0fedilink
armchair_progamer@programming.devM · 9 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 · 9 days agomessage-square0fedilink
wargreymon@sh.itjust.works · 10 days agoWhy python while Julia is so much better?plus-squaremessage-squaremessage-square16fedilinkarrow-up16arrow-down130
arrow-up1-24arrow-down1message-squareWhy python while Julia is so much better?plus-squarewargreymon@sh.itjust.works · 10 days agomessage-square16fedilink
armchair_progamer@programming.devM · edit-210 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-210 days agomessage-square0fedilink
armchair_progamer@programming.devM · edit-210 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-210 days agomessage-square0fedilink
armchair_progamer@programming.devM · 11 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 · 11 days agomessage-square0fedilink
armchair_progamer@programming.devM · 12 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 · 12 days agomessage-square0fedilink
armchair_progamer@programming.devM · edit-213 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-213 days agomessage-square0fedilink
armchair_progamer@programming.devM · 16 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 · 16 days agomessage-square1fedilink
armchair_progamer@programming.devM · edit-218 days agoForsp: A Forth+Lisp Hybrid Lambda Calculus Languageplus-squarexorvoid.comexternal-linkmessage-square0fedilinkarrow-up112arrow-down10
arrow-up112arrow-down1external-linkForsp: A Forth+Lisp Hybrid Lambda Calculus Languageplus-squarexorvoid.comarmchair_progamer@programming.devM · edit-218 days agomessage-square0fedilink
armchair_progamer@programming.devM · 18 days agoHow we test(ed) the Futhark compilerplus-squarefuthark-lang.orgexternal-linkmessage-square0fedilinkarrow-up16arrow-down10
arrow-up16arrow-down1external-linkHow we test(ed) the Futhark compilerplus-squarefuthark-lang.orgarmchair_progamer@programming.devM · 18 days agomessage-square0fedilink
armchair_progamer@programming.devM · 18 days agoTypeLoom: Gradual Typing with the LSPplus-squaregithub.comexternal-linkmessage-square0fedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkTypeLoom: Gradual Typing with the LSPplus-squaregithub.comarmchair_progamer@programming.devM · 18 days agomessage-square0fedilink
armchair_progamer@programming.devM · 19 days agoMegaLibm: A DSL for Implementing Math Functionsplus-squareblog.sigplan.orgexternal-linkmessage-square0fedilinkarrow-up14arrow-down10
arrow-up14arrow-down1external-linkMegaLibm: A DSL for Implementing Math Functionsplus-squareblog.sigplan.orgarmchair_progamer@programming.devM · 19 days agomessage-square0fedilink