| user: | shadaj |
| created: | December 13, 2016 |
| karma: | 159 |
| about: | PhD student researching programming languages for distributed systems at UC Berkeley https://shadaj.me |
| 1. | Coding Agents Meet Distributed Reality(jhellerstein.github.io) |
| 2. | Formally Verifying PBS Kids with Lean4(shadaj.me) |
| 3. | 151 days ago | discuss |
| 4. | |
| 5. | Distributed systems programming has stalled(shadaj.me) |
| 6. | SF Systems Club(sfsystemsclub.com) |
| 7. | |
| 8. | Katara: Synthesize CRDTs from Sequential Types(github.com) |
| 9. | |
| 10. | |
| 11. | Tutorial: GraphQL Subscriptions on the Server(dev-blog.apollodata.com) |
| 12. | TensorFlow in Scala with ScalaPy(blog.shadaj.me) |