armchair_progamer@programming.devM · 3 months agoMarch 2024 monthly "What are you working on?" threadplus-squarepinmessage-square2fedilinkarrow-up115
arrow-up115message-squareMarch 2024 monthly "What are you working on?" threadplus-squarepinarmchair_progamer@programming.devM · 3 months agomessage-square2fedilink
armchair_progamer@programming.devM · 16 hours agoCompilers for free with wevalplus-squarebernsteinbear.commessage-square0fedilinkarrow-up111
arrow-up111external-linkCompilers for free with wevalplus-squarebernsteinbear.comarmchair_progamer@programming.devM · 16 hours agomessage-square0fedilink
armchair_progamer@programming.devM · 3 days agobuzz, A small statically typed scripting language 👨🚀plus-squarebuzz-lang.devmessage-square3fedilinkarrow-up120
arrow-up120external-linkbuzz, A small statically typed scripting language 👨🚀plus-squarebuzz-lang.devarmchair_progamer@programming.devM · 3 days agomessage-square3fedilink
armchair_progamer@programming.devM · edit-23 days agoHigher Order Company: developing a massively parallel language, proof checker, and runtime using interaction nets/combinatorsplus-squarehigherorderco.commessage-square0fedilinkarrow-up112
arrow-up112external-linkHigher Order Company: developing a massively parallel language, proof checker, and runtime using interaction nets/combinatorsplus-squarehigherorderco.comarmchair_progamer@programming.devM · edit-23 days agomessage-square0fedilink
armchair_progamer@programming.devM · 3 days agoType Theory Forall #38: Haskell, Lean, Idris, and the Art of Writing (podcast)plus-squarewww.typetheoryforall.commessage-square0fedilinkarrow-up17
arrow-up17external-linkType Theory Forall #38: Haskell, Lean, Idris, and the Art of Writing (podcast)plus-squarewww.typetheoryforall.comarmchair_progamer@programming.devM · 3 days agomessage-square0fedilink
ChubakPDP11+TakeWithGrainOfSalt@programming.dev · 3 days agoQuestion about 'Design Concepts in Programming Languages' -- 3 Types of Semantics, what do the mean?plus-squaremessage-square2fedilinkarrow-up111
arrow-up111message-squareQuestion about 'Design Concepts in Programming Languages' -- 3 Types of Semantics, what do the mean?plus-squareChubakPDP11+TakeWithGrainOfSalt@programming.dev · 3 days agomessage-square2fedilink
armchair_progamer@programming.devM · edit-27 days agoMeta, a Human-Friendly Programming Languageplus-squarelanguage.metaproject.frlmessage-square25fedilinkarrow-up131
arrow-up131external-linkMeta, a Human-Friendly Programming Languageplus-squarelanguage.metaproject.frlarmchair_progamer@programming.devM · edit-27 days agomessage-square25fedilink
armchair_progamer@programming.devM · edit-26 days agoHigher RAII, and the Seven Arcane Uses of Linear Typesplus-squareverdagon.devmessage-square0fedilinkarrow-up17
arrow-up17external-linkHigher RAII, and the Seven Arcane Uses of Linear Typesplus-squareverdagon.devarmchair_progamer@programming.devM · edit-26 days agomessage-square0fedilink
armchair_progamer@programming.devM · edit-29 days agoExploring the c4... compiler?plus-squareregisterspill.thorstenball.comexternal-linkmessage-square0fedilinkarrow-up115
arrow-up115external-linkExploring the c4... compiler?plus-squareregisterspill.thorstenball.comarmchair_progamer@programming.devM · edit-29 days agomessage-square0fedilink
armchair_progamer@programming.devM · 10 days agoCompiling higher order functions with GADTsplus-squareinjuly.inmessage-square1fedilinkarrow-up110
arrow-up110external-linkCompiling higher order functions with GADTsplus-squareinjuly.inarmchair_progamer@programming.devM · 10 days agomessage-square1fedilink
ZILtoid1991@lemmy.world · 11 days agoShould I continue making my own VM, or scrap it for some preexisting solution?plus-squaremessage-square8fedilinkarrow-up118
arrow-up118message-squareShould I continue making my own VM, or scrap it for some preexisting solution?plus-squareZILtoid1991@lemmy.world · 11 days agomessage-square8fedilink
armchair_progamer@programming.devM · 12 days agoThe search for easier safe systems programming (blog post + language)plus-squarewww.sophiajt.commessage-square3fedilinkarrow-up116
arrow-up116external-linkThe search for easier safe systems programming (blog post + language)plus-squarewww.sophiajt.comarmchair_progamer@programming.devM · 12 days agomessage-square3fedilink
armchair_progamer@programming.devM · edit-213 days agoJolie, the service-oriented programming languageplus-squarewww.jolie-lang.orgexternal-linkmessage-square3fedilinkarrow-up119
arrow-up119external-linkJolie, the service-oriented programming languageplus-squarewww.jolie-lang.orgarmchair_progamer@programming.devM · edit-213 days agomessage-square3fedilink
armchair_progamer@programming.devM · edit-214 days agoMIT PL Review 2024 (proceedings)plus-squareplr.csail.mit.edumessage-square0fedilinkarrow-up14
arrow-up14external-linkMIT PL Review 2024 (proceedings)plus-squareplr.csail.mit.eduarmchair_progamer@programming.devM · edit-214 days agomessage-square0fedilink
armchair_progamer@programming.devM · edit-215 days agoNotes on Implementing Algebraic Subtyping (blog post + language)plus-squaresemantic.orgexternal-linkmessage-square0fedilinkarrow-up17
arrow-up17external-linkNotes on Implementing Algebraic Subtyping (blog post + language)plus-squaresemantic.orgarmchair_progamer@programming.devM · edit-215 days agomessage-square0fedilink
ChubakPDP11+TakeWithGrainOfSalt@programming.dev · 17 days agoLLVM, MLIR (or any ready-made IR) are not a good fit for learners. Roll your own backend pls if you wanna learn (same shit with LP generators!)plus-squaremessage-square11fedilinkarrow-up116
arrow-up116message-squareLLVM, MLIR (or any ready-made IR) are not a good fit for learners. Roll your own backend pls if you wanna learn (same shit with LP generators!)plus-squareChubakPDP11+TakeWithGrainOfSalt@programming.dev · 17 days agomessage-square11fedilink
armchair_progamer@programming.devM · edit-218 days agoCognition (language with powerful metaprogramming)plus-squareret2pop.nullring.xyzmessage-square0fedilinkarrow-up110
arrow-up110external-linkCognition (language with powerful metaprogramming)plus-squareret2pop.nullring.xyzarmchair_progamer@programming.devM · edit-218 days agomessage-square0fedilink
armchair_progamer@programming.devM · 20 days agoBorgo (language)plus-squareborgo-lang.github.iomessage-square3fedilinkarrow-up124
arrow-up124external-linkBorgo (language)plus-squareborgo-lang.github.ioarmchair_progamer@programming.devM · 20 days agomessage-square3fedilink
armchair_progamer@programming.devM · 21 days agoPLDI 2024 List of Accepted Papersplus-squarepldi24.sigplan.orgmessage-square1fedilinkarrow-up15
arrow-up15external-linkPLDI 2024 List of Accepted Papersplus-squarepldi24.sigplan.orgarmchair_progamer@programming.devM · 21 days agomessage-square1fedilink
armchair_progamer@programming.devM · edit-221 days agoBefreak (esolang)plus-squaretunes.orgmessage-square0fedilinkarrow-up13
arrow-up13external-linkBefreak (esolang)plus-squaretunes.orgarmchair_progamer@programming.devM · edit-221 days agomessage-square0fedilink