HN Explorer

shadaj

↗ HN profile [ 58.1 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Coding Agents Meet Distributed Reality (jhellerstein.github.io)
    3 points 0
  2. Formally Verifying PBS Kids with Lean4 (shadaj.me)
    68 points 1
  3. GitHub pins all Rust users to an old version, claiming a breaking change (github.com)
    1 points 0
  4. Distributed systems programming has stalled (shadaj.me)
    287 points 231
  5. SF Systems Club (sfsystemsclub.com)
    3 points 0
  6. A Query Compiler, GraphQL Server, and Postgres in the Browser (exograph.dev)
    2 points 0
  7. Katara: Synthesize CRDTs from Sequential Types (github.com)
    3 points 0
  8. Rust Sitter – write fast Tree Sitter parsers without leaving Rust (shadaj.me)
    10 points 2
  9. ScalaPy 0.2.0: Use TensorFlow and Other Python APIs from Scala (github.com)
    1 points 0
  10. Tutorial: GraphQL Subscriptions on the Server (dev-blog.apollodata.com)
    1 points 0
  11. TensorFlow in Scala with ScalaPy (blog.shadaj.me)
    4 points 2