https://shadaj.me
user: shadaj
159 karma | created 9 years ago
recent submissions
Coding Agents Meet Distributed Reality
(jhellerstein.github.io)
3 pts|18 days ago|discuss
Formally Verifying PBS Kids with Lean4
(shadaj.me)
68 pts|28 days ago|5 comments
28 days ago|discuss
1 pts|5 months ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
Distributed systems programming has stalled
(shadaj.me)
287 pts|1 year ago|217 comments
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
SF Systems Club
(sfsystemsclub.com)
3 pts|1 year ago|discuss
2 pts|1 year ago|discuss
2 years ago|discuss
3 years ago|discuss
3 years ago|discuss
3 years ago|discuss