For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | fromregister
Formally Verifying PBS Kids with Lean4 (shadaj.me)
68 points by shadaj 73 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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:

HN For You