shadaj

Karma: 159
Created: 9 years ago

About

PhD student researching programming languages for distributed systems at UC Berkeley

https://shadaj.me

Recent Submissions

1. ▲ Coding Agents Meet Distributed Reality (jhellerstein.github.io) 3 points · 8 months ago · 0 comments
2. ▲ Formally Verifying PBS Kids with Lean4 (shadaj.me) 68 points · 8 months ago · 5 comments
3. ▲ GitHub pins all Rust users to an old version, claiming a breaking change (github.com) 1 point · 1 year ago · 0 comments
4. ▲ Distributed systems programming has stalled (shadaj.me) 287 points · 1 year ago · 217 comments
5. ▲ SF Systems Club (sfsystemsclub.com) 3 points · 2 years ago · 0 comments
6. ▲ A Query Compiler, GraphQL Server, and Postgres in the Browser (exograph.dev) 2 points · 2 years ago · 0 comments
7. ▲ Katara: Synthesize CRDTs from Sequential Types (github.com) 3 points · 4 years ago · 0 comments
8. ▲ Rust Sitter – write fast Tree Sitter parsers without leaving Rust (shadaj.me) 10 points · 4 years ago · 2 comments
9. ▲ ScalaPy 0.2.0: Use TensorFlow and Other Python APIs from Scala (github.com) 1 point · 8 years ago · 0 comments
10. ▲ Tutorial: GraphQL Subscriptions on the Server (dev-blog.apollodata.com) 1 point · 9 years ago · 0 comments

All submissions on HN · View profile on HN