1SubML: Plan vs Reality https://lobste.rs/s/f3qxk6 #plt
https://blog.polybdenum.com/2026/04/05/1subml-plan-vs-reality.html
plt
Lisette — Rust syntax, Go runtime https://lobste.rs/s/rw62j7 #go #plt #rust
https://lisette.run
Activating Two Trap Cards at Once, or: A Gentle Response to the Popularity of Vibecoding https://lobste.rs/s/8lbmm8 #ai #math #plt #python #vibecoding
https://gist.github.com/MostAwesomeDude/560185c24f959f6fec229739cb5a6735
Pure Borrow: Linear Haskell Meets Rust-Style Borrowing https://lobste.rs/s/esidgp #haskell #plt #rust
https://discourse.haskell.org/t/pure-borrow-linear-haskell-meets-rust-style-borrowing/13975
Basic Type System Terminology https://lobste.rs/s/yhzg6d #plt
https://lewiscampbell.tech/blog/250817.html
Bibliography on Gradual Typing https://lobste.rs/s/eyzigb #plt
https://github.com/samth/gradual-typing-bib
Borrow-checking surprises https://lobste.rs/s/lgdejq #plt #rust
https://www.scattered-thoughts.net/writing/borrow-checking-surprises/
Wasm is not quite a stack machine via @lesley https://lobste.rs/s/h8hlp7 #plt #wasm
https://purplesyringa.moe/blog/wasm-is-not-quite-a-stack-machine/
Slap: Functional Concatenative Language... with a Borrow Checker? https://lobste.rs/s/3fprl8 #compilers #concatenative #graphics #plt
https://taylor.town/slap-000
Functional Algorithms, Verified https://lobste.rs/s/lqthae #pdf #formalmethods #plt
https://www21.in.tum.de/teaching/fds/SS21/assets/book-draft.pdf
c89cc.sh - standalone C89/ELF64 compiler in pure portable shell https://lobste.rs/s/59wywf #plt
https://gist.github.com/alganet/2b89c4368f8d23d033961d8a3deb5c19
Retargeting JIT compilers by using C-compiler generated executable code (2004) https://lobste.rs/s/etfkgx #pdf #compilers #concatenative #plt
https://www.cs.arizona.edu/~collberg/Teaching/553/2011/Resources/jit.pdf
Diagramming Program Values by Spatial Refinement https://lobste.rs/s/afctwh #plt #visualization
https://blog.brownplt.org/2026/05/22/spytial.html
Blessed Syntax and Ergonomics https://lobste.rs/s/ejsrso #plt #programming
https://www.gingerbill.org/article/2026/04/29/blessed-syntax-and-ergonomics/
Recent improvements to the Swift type checker https://lobste.rs/s/xvmmvb #plt #swift
https://forums.swift.org/t/recent-improvements-to-the-type-checker/87048
Mechanized type inference for record concatenation https://lobste.rs/s/zffug6 #plt
https://haskellforall.com/2026/07/mechanized-type-inference-for-record-concatenation
A bidirectional typechecking puzzle https://lobste.rs/s/rsj8sx #plt
https://haskellforall.com/2026/05/a-bidirectional-typechecking-puzzle
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/
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