Vim Creator Bram Moolenaar's Forgotten Programming Language, Zimbu (2023) https://lobste.rs/s/h21el3 #historical #person #plt
https://thenewstack.io/vim-creator-bram-moolenaars-forgotten-programming-language-zimbu/
plt
What is a property? https://lobste.rs/s/ogz2ro #haskell #plt
https://alperenkeles.com/posts/what-is-a-property/
5 Years and $5M Later: Inventing a New Programming Language for Web Development Was a Mistake | Wasp https://lobste.rs/s/pfbph4 #plt #web
https://wasp.sh/blog/2026/05/13/new-language-for-web-dev-was-a-mistake
Lean proved this program was correct; then I found a bug https://lobste.rs/s/wwr6zu #formalmethods #plt #security
https://kirancodes.me/posts/log-who-watches-the-watchers.html
Pyrefly v1.0 is here via @dayanruben https://lobste.rs/s/qevzpl #plt #python #rust
https://pyrefly.org/blog/v1.0/
Everything Should Be Typed: Scalar Types Are Not Enough https://lobste.rs/s/0ib4h6 #plt #programming
https://sot.dev/everything-should-be-typed.html
Breaking ten years of C API compatibility in Futhark https://lobste.rs/s/wedwdu #compilers #plt
https://futhark-lang.org/blog/2026-04-29-breaking-api-compatibility.html
MoonBit 0.9: Introducing First-Class Formal Verification via @hongminhee https://lobste.rs/s/qqfsfo #plt #release
https://www.moonbitlang.com/blog/moonbit-0-9-release
Embed You a ponyc for Great Good https://lobste.rs/s/abl7vj #plt
https://www.ponylang.io/blog/2026/04/embed-you-a-ponyc-for-great-good/
The thrilling adventures of Lovelace and Babbage https://lobste.rs/s/iayq9d #book #design #historical #plt
https://archive.org/details/thrillingadventu0000padu_a0v1
Thoughts on WebAssembly as a stack machine via @lesley https://lobste.rs/s/et1uux #plt #wasm
https://eli.thegreenplace.net/2026/thoughts-on-webassembly-as-a-stack-machine/
Single Module Lambda Calculus from Simply Typed to Martin Lof Type Theory https://lobste.rs/s/fwvw1q #haskell #plt
https://github.com/solomon-b/lambda-calculus-hs
The Quiet Colossus — On Ada, Its Design, and the Language That Built the Languages https://lobste.rs/s/rxkubk #plt
https://www.iqiipi.com/the-quiet-colossus.html
Porting microgpt to Futhark, Part I https://lobste.rs/s/uch4e0 #ai #plt
https://www.kmjn.org/notes/microgpt_futhark.html
smolts: a pedagogical IDE for a teaching language https://lobste.rs/s/hr2txa #education #plt
https://eighty-twenty.org/2026/09/04/smolts
A little comparison between R and Kap https://lobste.rs/s/pxb7yu #apl #plt
https://blog.dhsdevelopments.com/a-little-comparison-between-r-and-kap
Behavior-Oriented Concurrency for Python: Lock-less, Deadlock-free, Ownership-based https://lobste.rs/s/gsjskz #plt #python
https://microsoft.github.io/bocpy/
Introducing ArkTS, Huawei’s Next-Generation Development Language https://lobste.rs/s/ae6wd0 #plt
https://dev.to/harmonyos/introducing-arkts-huaweis-next-generation-development-language-jg7
Poop - a functional esolang https://lobste.rs/s/qwnm5w #plt
https://github.com/pstron/poop
Extraordinary Ordinals https://lobste.rs/s/gp48cv #art #plt
https://text.marvinborner.de/2026-04-09-17.html
Categorical Programming Language Tutorial https://lobste.rs/s/n55iup #plt
https://msakai.github.io/cpl/tutorial.html
minc — A minimal language for building native software https://lobste.rs/s/zipfsh #c #games #plt
https://minc.dev/
Bidirectional Typechecking That Does Not Stop via @brendan https://lobste.rs/s/r07ede #plt
https://semantic-domain.blogspot.com/2026/05/bidirectional-typechecking-that-does.html
Rhombus v1.0: A Racket flavored language with syntax https://lobste.rs/s/bkwkz5 #lisp #plt #programming
https://blog.racket-lang.org/2026/06/rhombus-v1.0.html