Modelling Actors with Redex: Part I https://lobste.rs/s/rsrjaq #distributed #plt
https://eighty-twenty.org/2016/08/18/redex-iswim
plt
Odin's New Inline Assembly Templates https://lobste.rs/s/loltt2 #assembly #plt #programming
https://odin-lang.org/docs/inline-asm/
Mojo is now open source https://lobste.rs/s/01lxuf #plt
https://www.modular.com/blog/mojo-open-source
How I Wrote a Forth (Without Knowing How) via @crmsnbleyd https://lobste.rs/s/ccy1nr #concatenative #plt
https://vtrlx.ca/w/2026-09-10-how-i-wrote-moonforth.html
Type Systems You Might Not Know (But Will Love) via @abnv https://lobste.rs/s/89pcze #video #plt
https://www.wearedevelopers.com/videos/100067-type-systems-you-might-not-know-but-will-love
Finally adding recursive functions to Futhark via @fanf https://lobste.rs/s/8bxp8n #plt
https://futhark-lang.org/blog/2026-08-05-recursion.html
Opinions About Compiler Building https://lobste.rs/s/vt7qpp #compilers #plt
https://programmingsimplicity.substack.com/p/opinions-about-compiler-building
Declarative WASM GC Types https://lobste.rs/s/72bkyt #compilers #plt #wasm
https://blog.veritates.love/decl-wasm-types
Micro language implementation: Calcium via @kngl https://lobste.rs/s/iii8sl #plt #python
https://nedbatchelder.com/blog/202608/micro_language_implementation_calcium
Union vs sum types https://lobste.rs/s/cummnx #plt #rust
https://viralinstruction.com/posts/uniontypes/
The Golden Spike, and Resurrecting the Vale(n) Programming Language https://lobste.rs/s/fjnkn4 #plt #rust
https://verdagon.dev/blog/golden-spike-reviving-vale-valen
A Design Space Exploration of Async/Await https://lobste.rs/s/4haxto #pdf #plt
https://arxiv.org/pdf/2608.20677
50 years of proof assistants https://lobste.rs/s/6gelfg #historical #math #plt
https://lawrencecpaulson.github.io/2025/12/05/History_of_Proof_Assistants.html
the beauty in dsl-able languages https://lobste.rs/s/8emue2 #kotlin #plt
https://w.on-t.work/dslable
Plumbers, chains, and famous painters: The (updated) history of the pipe operator in R https://lobste.rs/s/tob6sq #plt
http://adolfoalvarez.cl/blog/2021-09-16-plumbers-chains-and-famous-painters-the-history-of-the-pipe-operator-in-r/
The wasted potential of Haskell: Language & Compiler https://lobste.rs/s/tipabd #video #haskell #plt #rant
https://www.youtube.com/watch?v=6kD-wMvqBqo
Challenges when writing gren-format via @robinheghan https://lobste.rs/s/wyfiaq #plt
https://gilramir.github.io/gren-format-lib/grenFormatChallenges.html
The Wrong Question About Type Systems (2025) via @abnv https://lobste.rs/s/en1nxy #clojure #plt
https://furkanbayraktar.com/writing/the-wrong-question-about-type-systems
The Robot Framework language https://lobste.rs/s/e1pwba #plt
https://docs.robotframework.org/docs/getting_started/how_to_write_rf
Named and Optional Arguments are Awesome https://lobste.rs/s/xlbphk #plt #rust
https://botahamec.dev/named-optional-args
evocation - Call forth the blue-green flame of computation from the universe, weave its energies into a fabric, that we may share our blood with it via @rk https://lobste.rs/s/kpegs1 #concatenative #plt
https://code.irenes.space/evocation/tree/README.txt
Flow Typing, A New Lens on Linearity https://lobste.rs/s/cquwex #plt
https://jaredforsyth.com/posts/papers-we-love-lens-on-linearity/
Folders Esoteric Language https://lobste.rs/s/norjho #plt
https://danieltemkin.com/esolangs/folders
Design your programming languages right (2024) via @abnv https://lobste.rs/s/fdgccx #plt
https://blog.veritates.love/design-it-right