HN
Hacker News
Top
New
Best
Ask
Show
Jobs
shadaj
159 karma · joined December 13, 2016
PhD student researching programming languages for distributed systems at UC Berkeley
https://shadaj.me
submissions
comments
Coding Agents Meet Distributed Reality
jhellerstein.github.io
·
3 pts
·
shadaj
·
0
Formally Verifying PBS Kids with Lean4
shadaj.me
·
68 pts
·
shadaj
·
5
GitHub pins all Rust users to an old version, claiming a breaking change
github.com
·
1 pts
·
shadaj
·
0
Distributed systems programming has stalled
shadaj.me
·
287 pts
·
shadaj
·
217
SF Systems Club
sfsystemsclub.com
·
3 pts
·
shadaj
·
0
A Query Compiler, GraphQL Server, and Postgres in the Browser
exograph.dev
·
2 pts
·
shadaj
·
0
Katara: Synthesize CRDTs from Sequential Types
github.com
·
3 pts
·
shadaj
·
0
Rust Sitter – write fast Tree Sitter parsers without leaving Rust
shadaj.me
·
10 pts
·
shadaj
·
2
ScalaPy 0.2.0: Use TensorFlow and Other Python APIs from Scala
github.com
·
1 pts
·
shadaj
·
0
Tutorial: GraphQL Subscriptions on the Server
dev-blog.apollodata.com
·
1 pts
·
shadaj
·
0
TensorFlow in Scala with ScalaPy
blog.shadaj.me
·
4 pts
·
shadaj
·
2