shadaj

PhD student researching programming languages for distributed systems at UC Berkeley

https://shadaj.me

Posts

• Formally Verifying PBS Kids with Lean4
  by shadajon 2/2/2026, 3:30 PMwith 4 comments
• GitHub pins all Rust users to an old version, claiming a breaking change
  by shadajon 9/22/2025, 3:15 PMwith 0 comments
• Distributed systems programming has stalled
  by shadajon 2/27/2025, 4:12 PMwith 217 comments
• SF Systems Club
  by shadajon 8/9/2024, 4:34 PMwith 0 comments
• A Query Compiler, GraphQL Server, and Postgres in the Browser
  by shadajon 6/18/2024, 4:21 PMwith 0 comments
• Katara: Synthesize CRDTs from Sequential Types
  by shadajon 10/7/2022, 6:15 PMwith 0 comments
• Rust Sitter – write fast Tree Sitter parsers without leaving Rust
  by shadajon 8/12/2022, 4:02 PMwith 2 comments
• ScalaPy 0.2.0: Use TensorFlow and Other Python APIs from Scala
  by shadajon 6/10/2018, 7:13 PMwith 0 comments
• Tutorial: GraphQL Subscriptions on the Server
  by shadajon 6/21/2017, 10:40 PMwith 0 comments
• TensorFlow in Scala with ScalaPy
  by shadajon 1/4/2017, 4:48 PMwith 2 comments