Type-Error Ablation and AI Coding Agents https://lobste.rs/s/jg1dx4 #pdf #plt
https://arxiv.org/pdf/2606.01522
plt
Borrow Checking Zero-Cost Cyclic Mutability https://lobste.rs/s/qo8flp #plt
https://antelang.org/blog/safe_cyclic_mutability/
How TypeScript infers type variables https://lobste.rs/s/32tphq #javascript #plt
https://norswap.com/typescript-type-variable-inference/
Is truth futureproof? On the possible futures of mechanized proofs https://lobste.rs/s/cmgzlj #pdf #math #plt
https://khoury.northeastern.edu/~cmartens/papers/plateau26-itfp.pdf
Blorp Language https://lobste.rs/s/u3a9d0 #plt
https://blorp-lang.org/
EYG: Host of CLI improvements, new guides and new effects https://lobste.rs/s/qv4wl7 #plt
https://eyg.run/news/editions/9
C3 | Blog | Unsigned sizes: a five year mistake via @chandlerc https://lobste.rs/s/bzltqt #c #plt
https://c3-lang.org/blog/unsigned-sizes-a-five-year-mistake/
Effectful Recursion Schemes https://lobste.rs/s/ky2eoq #plt #programming
https://effekt-lang.org/blog/recursion-schemes/
Transpiling from Python into Lisp https://lobste.rs/s/xeb6yb #lisp #plt
https://github.com/naver/lispe/wiki/6.22-Transpiling-Python-into-LispE
Making all divisions slower to fix a bug in 0.000000000000000000542% of cases https://lobste.rs/s/a9f6z1 #plt
https://futhark-lang.org/blog/2026-10-14-defining-division.html
GraalVM JavaScript Sandboxing https://lobste.rs/s/ygbtbm #java #javascript #plt #security
https://www.graalvm.org/latest/security-guide/sandboxing/
The Fil-C Optimized Calling Convention https://lobste.rs/s/5mnt43 #plt
https://fil-c.org/calling_convention
A tail-call interpreter in (nightly) Rust https://lobste.rs/s/ektobz #plt #rust
https://www.mattkeeter.com/blog/2026-04-05-tailcall/
Validating Hare’s Sort Module using Symbolic Execution via @RunxiYu https://lobste.rs/s/yoq0e6 #formalmethods #plt
https://notes.8pit.net/notes/y7n8.html
How To Make a Fast Dynamic Language Interpreter https://lobste.rs/s/vrmjge #compilers #performance #plt
https://zef-lang.dev/implementation
Performance of the Wren programming language via @fanf https://lobste.rs/s/fgwvua #plt
https://wren.io/performance.html
Xavier Leroy's new book on Control Sturctures in Programming https://lobste.rs/s/eolbw3 #plt
https://xavierleroy.org/control-structures/book/index.html
Bytecode Interpretation From Scratch in C via @andrew_chou https://lobste.rs/s/vwywsp #c #plt
https://williamalexakis.com/interpreter-in-c
The Edge of Safe Rust https://lobste.rs/s/hkwyrc #plt #rust
https://kyju.org/blog/tokioconf-2026/
A Few Good Ideas in Programming Languages https://lobste.rs/s/er0hfp #plt
https://prydt.xyz/blog/a-few-good-ideas-in-pl/
An Algorithmic Reconstruction of Normalisation by Evaluation via @fanf https://lobste.rs/s/lfkjpt #plt
https://yangzhixuan.github.io/NbE.html
How TypeScript distributes unions https://lobste.rs/s/g5mmir #javascript #plt
https://norswap.com/typescript-distribute/
nondescript: a simple embedded programming language by @rk https://lobste.rs/s/ivj2o8 #show #plt
https://github.com/deadpixi/nondescript
Borrow-checking without type-checking https://lobste.rs/s/5jkwmc #plt
https://www.scattered-thoughts.net/writing/borrow-checking-without-type-checking/