Hacker Newsnew | past | comments | ask | show | jobs | submit | from login

Formally Verifying PBS Kids with Lean4 (shadaj.me) 68 points by shadaj 85 days ago | past | 5 comments Distributed systems programming has stalled (shadaj.me) 287 points by shadaj on Feb 27, 2025 | past | 217 comments Rust Sitter (shadaj.me) 1 point by lukastyrychtr on Aug 19, 2022 | past Rust Sitter (shadaj.me) 1 point by asimpletune on Aug 19, 2022 | past Rust Sitter – write fast Tree Sitter parsers without leaving Rust (shadaj.me) 10 points by shadaj on Aug 12, 2022 | past | 2 comments TensorFlow in Scala with ScalaPy (shadaj.me) 4 points by shadaj on Jan 4, 2017 | past | 2 comments

Consider applying for YC's Summer 2026 batch! Applications are open till May 4 Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: