armchair_progamer@programming.devM · 4 months agoMarch 2024 monthly "What are you working on?" threadplus-squarepinmessage-squaremessage-square0fedilinkarrow-up10arrow-down10
arrow-up10arrow-down1message-squareMarch 2024 monthly "What are you working on?" threadplus-squarepinarmchair_progamer@programming.devM · 4 months agomessage-square0fedilink
armchair_progamer@programming.devM · 4 days agoAssociated Effects: Flexible Abstractions for Effectful Programming (paper)plus-squaredl.acm.orgexternal-linkmessage-square0fedilinkarrow-up18arrow-down10
arrow-up18arrow-down1external-linkAssociated Effects: Flexible Abstractions for Effectful Programming (paper)plus-squaredl.acm.orgarmchair_progamer@programming.devM · 4 days agomessage-square0fedilink
armchair_progamer@programming.devM · 5 days agoInternational Conference on Functional Programming 2024 Accepted Papersplus-squareicfp24.sigplan.orgexternal-linkmessage-square0fedilinkarrow-up111arrow-down12
arrow-up19arrow-down1external-linkInternational Conference on Functional Programming 2024 Accepted Papersplus-squareicfp24.sigplan.orgarmchair_progamer@programming.devM · 5 days agomessage-square0fedilink
armchair_progamer@programming.devM · 9 days agoDeriving Dependently-Typed OOP from First Principles (paper)plus-squarearxiv.orgexternal-linkmessage-square0fedilinkarrow-up17arrow-down10
arrow-up17arrow-down1external-linkDeriving Dependently-Typed OOP from First Principles (paper)plus-squarearxiv.orgarmchair_progamer@programming.devM · 9 days agomessage-square0fedilink
armchair_progamer@programming.devM · 9 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 · 9 days agomessage-square0fedilink
armchair_progamer@programming.devM · 10 days agoWriting an IR from Scratch and survive to write a post (long)plus-squarefarena.inexternal-linkmessage-square0fedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkWriting an IR from Scratch and survive to write a post (long)plus-squarefarena.inarmchair_progamer@programming.devM · 10 days agomessage-square0fedilink
armchair_progamer@programming.devM · 12 days agoThe Pre-Scheme Restorationplus-squareprescheme.orgexternal-linkmessage-square0fedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkThe Pre-Scheme Restorationplus-squareprescheme.orgarmchair_progamer@programming.devM · 12 days agomessage-square0fedilink
armchair_progamer@programming.devM · 13 days agoLady Deirdre: Unified compiler frameworkplus-squarelady-deirdre.lakhin.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkLady Deirdre: Unified compiler frameworkplus-squarelady-deirdre.lakhin.comarmchair_progamer@programming.devM · 13 days agomessage-square0fedilink
armchair_progamer@programming.devM · 13 days agoPLDI (Programming Language Design and Implementation) 2024 Proceedingsplus-squaredl.acm.orgexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkPLDI (Programming Language Design and Implementation) 2024 Proceedingsplus-squaredl.acm.orgarmchair_progamer@programming.devM · 13 days agomessage-square0fedilink
armchair_progamer@programming.devM · 1 month agoA baseline scrapscript compilerplus-squarebernsteinbear.comexternal-linkmessage-square1fedilinkarrow-up10arrow-down10
arrow-up10arrow-down1external-linkA baseline scrapscript compilerplus-squarebernsteinbear.comarmchair_progamer@programming.devM · 1 month agomessage-square1fedilink
ZILtoid1991@lemmy.world · 1 month agoHelp me find my new "MIDI Assembly" a new name!plus-squaremessage-squaremessage-square2fedilinkarrow-up10arrow-down10
arrow-up10arrow-down1message-squareHelp me find my new "MIDI Assembly" a new name!plus-squareZILtoid1991@lemmy.world · 1 month agomessage-square2fedilink
armchair_progamer@programming.devM · edit-22 months agoMeta, a Human-Friendly Programming Languageplus-squarelanguage.metaproject.frlexternal-linkmessage-square0fedilinkarrow-up10arrow-down10
arrow-up10arrow-down1external-linkMeta, a Human-Friendly Programming Languageplus-squarelanguage.metaproject.frlarmchair_progamer@programming.devM · edit-22 months agomessage-square0fedilink
SuperFola@programming.devEnglish · 3 months agoType inference was a mistakeplus-squareborretti.meexternal-linkmessage-square0fedilinkarrow-up10arrow-down10
arrow-up10arrow-down1external-linkType inference was a mistakeplus-squareborretti.meSuperFola@programming.devEnglish · 3 months agomessage-square0fedilink