|
|
| 1. | | Coding Agents Meet Distributed Reality (jhellerstein.github.io) | | 3 points by shadaj 80 days ago | past | |
| 2. | | Formally Verifying PBS Kids with Lean4 (shadaj.me) | | 68 points by shadaj 3 months ago | past | 5 comments | |
| 3. | | GitHub pins all Rust users to an old version, claiming a breaking change (github.com/actions) | | 1 point by shadaj 7 months ago | past | |
| 4. | | Distributed systems programming has stalled (shadaj.me) | | 287 points by shadaj on Feb 27, 2025 | past | 217 comments | |
| 5. | | SF Systems Club (sfsystemsclub.com) | | 3 points by shadaj on Aug 9, 2024 | past | |
| 6. | | A Query Compiler, GraphQL Server, and Postgres in the Browser (exograph.dev) | | 2 points by shadaj on June 18, 2024 | past | |
| 7. | | Katara: Synthesize CRDTs from Sequential Types (github.com/hydro-project) | | 3 points by shadaj on Oct 7, 2022 | past | |
| 8. | | Rust Sitter – write fast Tree Sitter parsers without leaving Rust (shadaj.me) | | 10 points by shadaj on Aug 12, 2022 | past | 2 comments | |
| 9. | | ScalaPy 0.2.0: Use TensorFlow and Other Python APIs from Scala (github.com/shadaj) | | 1 point by shadaj on June 10, 2018 | past | |
| 10. | | Tutorial: GraphQL Subscriptions on the Server (apollodata.com) | | 1 point by shadaj on June 21, 2017 | past | |
| 11. | | 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
|
