Validating Hare’s Sort Module using Symbolic Execution via @RunxiYu https://lobste.rs/s/yoq0e6 #formalmethods #plt
https://notes.8pit.net/notes/y7n8.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
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