Y
Hacker News
new
|
ask
|
show
|
jobs
user:
shadaj
created:
2016-12-13
karma:
159
PhD student researching programming languages for distributed systems at UC Berkeley
https://shadaj.me
submissions:
Coding Agents Meet Distributed Reality
3 points
|
0 comments
Formally Verifying PBS Kids with Lean4
68 points
|
5 comments
GitHub pins all Rust users to an old version, claiming a breaking change
1 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
Distributed systems programming has stalled
287 points
|
217 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
SF Systems Club
3 points
|
0 comments
A Query Compiler, GraphQL Server, and Postgres in the Browser
2 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
Katara: Synthesize CRDTs from Sequential Types
3 points
|
0 comments
Rust Sitter – write fast Tree Sitter parsers without leaving Rust
10 points
|
2 comments
ScalaPy 0.2.0: Use TensorFlow and Other Python APIs from Scala
1 points
|
0 comments
Tutorial: GraphQL Subscriptions on the Server
1 points
|
0 comments
0 points
|
0 comments
TensorFlow in Scala with ScalaPy
4 points
|
2 comments