HN Explorer

sijieg

↗ HN profile [ 57.4 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Orca – Open-source runtime that turns any agent harness into a managed agent (github.com)
    2 points 0
  2. What's a Lakestream? (blog.2minutestreaming.com)
    6 points 0
  3. Show HN: Formally Verified Leaderless Log Protocol for Kafka (github.com)

    We open-sourced the TLA+ and Fizzbee verified spec behind Ursa's storage engine. Verification across ~200K states caught a design bug that years of production missed. We then handed the spec to Claude Code — it produced…

    5 points 1