Skip to content

Top New Best Ask Show Jobs

shadaj

159 karmaJoined December 13, 201630 submissions

PhD student researching programming languages for distributed systems at UC Berkeley

https://shadaj.me

shadaj | Better HN

Recent submissions

1

Coding Agents Meet Distributed Reality (opens in new tab)

(jhellerstein.github.io)

3shadaj1mo ago0

2

Formally Verifying PBS Kids with Lean4 (opens in new tab)

(shadaj.me)

68shadaj1mo ago5

3

GitHub pins all Rust users to an old version, claiming a breaking change (opens in new tab)

(github.com)

1shadaj6mo ago0

4

Distributed systems programming has stalled (opens in new tab)

(shadaj.me)

287shadaj1y ago217

5

SF Systems Club (opens in new tab)

(sfsystemsclub.com)

3shadaj1y ago0

6

A Query Compiler, GraphQL Server, and Postgres in the Browser (opens in new tab)

(exograph.dev)

2shadaj1y ago0

7

Katara: Synthesize CRDTs from Sequential Types (opens in new tab)

(github.com)

3shadaj3y ago0

8

Rust Sitter – write fast Tree Sitter parsers without leaving Rust (opens in new tab)

(shadaj.me)

10shadaj3y ago2

9

ScalaPy 0.2.0: Use TensorFlow and Other Python APIs from Scala (opens in new tab)

(github.com)

1shadaj7y ago0

10

Tutorial: GraphQL Subscriptions on the Server (opens in new tab)

(dev-blog.apollodata.com)

1shadaj8y ago0

11

TensorFlow in Scala with ScalaPy (opens in new tab)

(blog.shadaj.me)

4shadaj9y ago2