Borrow-checking surprises https://lobste.rs/s/lgdejq #plt #rust
https://www.scattered-thoughts.net/writing/borrow-checking-surprises/

1SubML: Plan vs Reality https://lobste.rs/s/f3qxk6 #plt
https://blog.polybdenum.com/2026/04/05/1subml-plan-vs-reality.html

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

A tail-call interpreter in (nightly) Rust https://lobste.rs/s/ektobz #plt #rust
https://www.mattkeeter.com/blog/2026-04-05-tailcall/

Why Lean?

https://fed.brid.gy/r/https://leodemoura.github.io/blog/2026-4-2-why-lean/

Why Lean? via @hongminhee https://lobste.rs/s/063ldo #plt
https://leodemoura.github.io/blog/2026-4-2-why-lean/

Lisette — Rust syntax, Go runtime

https://fed.brid.gy/r/https://lisette.run

c89cc.sh - standalone C89/ELF64 compiler in pure portable shell https://lobste.rs/s/59wywf #plt
https://gist.github.com/alganet/2b89c4368f8d23d033961d8a3deb5c19

Functional Algorithms, Verified https://lobste.rs/s/lqthae #pdf #formalmethods #plt
https://www21.in.tum.de/teaching/fds/SS21/assets/book-draft.pdf