armchair_progamer@programming.devM · 4 months agoMarch 2024 monthly "What are you working on?" threadplus-squarepinmessage-squaremessage-square2fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1message-squareMarch 2024 monthly "What are you working on?" threadplus-squarepinarmchair_progamer@programming.devM · 4 months agomessage-square2fedilink
armchair_progamer@programming.devM · 3 days agoExploring biphasic (multi-stage) programmingplus-squarerybicki.ioexternal-linkmessage-square1fedilinkarrow-up10arrow-down10
arrow-up10arrow-down1external-linkExploring biphasic (multi-stage) programmingplus-squarerybicki.ioarmchair_progamer@programming.devM · 3 days agomessage-square1fedilink
SuperFola@programming.devEnglish · 3 days agoAn online playground for ArkScriptplus-squareplayground.arkscript-lang.devexternal-linkmessage-square0fedilinkarrow-up10arrow-down10
arrow-up10arrow-down1external-linkAn online playground for ArkScriptplus-squareplayground.arkscript-lang.devSuperFola@programming.devEnglish · 3 days agomessage-square0fedilink
armchair_progamer@programming.devM · 6 days agoAssociated Effects: Flexible Abstractions for Effectful Programming (paper)plus-squaredl.acm.orgexternal-linkmessage-square0fedilinkarrow-up10arrow-down10
arrow-up10arrow-down1external-linkAssociated Effects: Flexible Abstractions for Effectful Programming (paper)plus-squaredl.acm.orgarmchair_progamer@programming.devM · 6 days agomessage-square0fedilink
armchair_progamer@programming.devM · 8 days agoInternational Conference on Functional Programming 2024 Accepted Papersplus-squareicfp24.sigplan.orgexternal-linkmessage-square0fedilinkarrow-up10arrow-down10
arrow-up10arrow-down1external-linkInternational Conference on Functional Programming 2024 Accepted Papersplus-squareicfp24.sigplan.orgarmchair_progamer@programming.devM · 8 days agomessage-square0fedilink
armchair_progamer@programming.devM · 11 days agoDeriving Dependently-Typed OOP from First Principles (paper)plus-squarearxiv.orgexternal-linkmessage-square0fedilinkarrow-up10arrow-down10
arrow-up10arrow-down1external-linkDeriving Dependently-Typed OOP from First Principles (paper)plus-squarearxiv.orgarmchair_progamer@programming.devM · 11 days agomessage-square0fedilink
armchair_progamer@programming.devM · 11 days agoA reckless introduction to Hindley-Milner type inferenceplus-squarereasonableapproximation.netexternal-linkmessage-square0fedilinkarrow-up10arrow-down10
arrow-up10arrow-down1external-linkA reckless introduction to Hindley-Milner type inferenceplus-squarereasonableapproximation.netarmchair_progamer@programming.devM · 11 days agomessage-square0fedilink
armchair_progamer@programming.devM · 13 days agoWriting an IR from Scratch and survive to write a post (long)plus-squarefarena.inexternal-linkmessage-square0fedilinkarrow-up10arrow-down10
arrow-up10arrow-down1external-linkWriting an IR from Scratch and survive to write a post (long)plus-squarefarena.inarmchair_progamer@programming.devM · 13 days agomessage-square0fedilink
armchair_progamer@programming.devM · 14 days agoThe Pre-Scheme Restorationplus-squareprescheme.orgexternal-linkmessage-square0fedilinkarrow-up10arrow-down10
arrow-up10arrow-down1external-linkThe Pre-Scheme Restorationplus-squareprescheme.orgarmchair_progamer@programming.devM · 14 days agomessage-square0fedilink
armchair_progamer@programming.devM · 15 days agoLady Deirdre: Unified compiler frameworkplus-squarelady-deirdre.lakhin.comexternal-linkmessage-square1fedilinkarrow-up10arrow-down10
arrow-up10arrow-down1external-linkLady Deirdre: Unified compiler frameworkplus-squarelady-deirdre.lakhin.comarmchair_progamer@programming.devM · 15 days agomessage-square1fedilink
armchair_progamer@programming.devM · 16 days agoPLDI (Programming Language Design and Implementation) 2024 Proceedingsplus-squaredl.acm.orgexternal-linkmessage-square0fedilinkarrow-up10arrow-down10
arrow-up10arrow-down1external-linkPLDI (Programming Language Design and Implementation) 2024 Proceedingsplus-squaredl.acm.orgarmchair_progamer@programming.devM · 16 days agomessage-square0fedilink
armchair_progamer@programming.devM · 17 days agoStaged compilation with dependent types (GitHub)plus-squaregithub.comexternal-linkmessage-square0fedilinkarrow-up10arrow-down10
arrow-up10arrow-down1external-linkStaged compilation with dependent types (GitHub)plus-squaregithub.comarmchair_progamer@programming.devM · 17 days agomessage-square0fedilink
armchair_progamer@programming.devM · 17 days agoF - A tiny functional concatenative languageplus-squarewww.nsl.comexternal-linkmessage-square0fedilinkarrow-up10arrow-down10
arrow-up10arrow-down1external-linkF - A tiny functional concatenative languageplus-squarewww.nsl.comarmchair_progamer@programming.devM · 17 days agomessage-square0fedilink
wargreymon@sh.itjust.works · 18 days agoWhy python while Julia is so much better?plus-squaremessage-squaremessage-square15fedilinkarrow-up10arrow-down10
arrow-up10arrow-down1message-squareWhy python while Julia is so much better?plus-squarewargreymon@sh.itjust.works · 18 days agomessage-square15fedilink
armchair_progamer@programming.devM · edit-219 days agoThe design decisions and evolution of a method definition - Ruby case studyplus-squarezverok.spaceexternal-linkmessage-square0fedilinkarrow-up10arrow-down10
arrow-up10arrow-down1external-linkThe design decisions and evolution of a method definition - Ruby case studyplus-squarezverok.spacearmchair_progamer@programming.devM · edit-219 days agomessage-square0fedilink
armchair_progamer@programming.devM · edit-219 days agoAUTOMAP: How to do NumPy-style broadcasting in Futhark (but better)plus-squarefuthark-lang.orgexternal-linkmessage-square0fedilinkarrow-up10arrow-down10
arrow-up10arrow-down1external-linkAUTOMAP: How to do NumPy-style broadcasting in Futhark (but better)plus-squarefuthark-lang.orgarmchair_progamer@programming.devM · edit-219 days agomessage-square0fedilink
armchair_progamer@programming.devM · 19 days agoCrossing the Impossible FFI Boundary, and My Gradual Descent Into Madness (Vale)plus-squareverdagon.devexternal-linkmessage-square0fedilinkarrow-up10arrow-down10
arrow-up10arrow-down1external-linkCrossing the Impossible FFI Boundary, and My Gradual Descent Into Madness (Vale)plus-squareverdagon.devarmchair_progamer@programming.devM · 19 days agomessage-square0fedilink
armchair_progamer@programming.devM · 20 days agovvvv - visual live-progamming for .NETplus-squarevisualprogramming.netexternal-linkmessage-square0fedilinkarrow-up10arrow-down10
arrow-up10arrow-down1external-linkvvvv - visual live-progamming for .NETplus-squarevisualprogramming.netarmchair_progamer@programming.devM · 20 days agomessage-square0fedilink
armchair_progamer@programming.devM · edit-221 days agoOPLSS 2024 Lectures (videos + notes)plus-squarewww.cs.uoregon.eduexternal-linkmessage-square0fedilinkarrow-up10arrow-down10
arrow-up10arrow-down1external-linkOPLSS 2024 Lectures (videos + notes)plus-squarewww.cs.uoregon.eduarmchair_progamer@programming.devM · edit-221 days agomessage-square0fedilink
armchair_progamer@programming.devM · 24 days agoThe Swift compiler is slow due to how types are inferredplus-squaredanielchasehooper.comexternal-linkmessage-square1fedilinkarrow-up10arrow-down10
arrow-up10arrow-down1external-linkThe Swift compiler is slow due to how types are inferredplus-squaredanielchasehooper.comarmchair_progamer@programming.devM · 24 days agomessage-square1fedilink