HN Explorer

Aleksandr_NFA

↗ HN profile [ 30.2 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. The Sphere Packing Project – Post 1 – The Story (leanprover-community.github.io)
    1 points 0
  2. The Annotated VT100 Firmware (vt100.net)
    1 points 7
  3. Post-mortem of technical issue – August 29, 2019 (zerodha.com)
    1 points 0
  4. 1 points 0
  5. Show HN: ProofForge, AI agents whose proofs have to compile in Lean (github.com)
    1 points 0
  6. Show HN: Server hardening playbook where every item is failure/fix/verify (github.com)
    1 points 0
  7. Show HN: Evidence-to-Skill – a gate between untrusted sources and agent skills (github.com)
    4 points 2
  8. Show HN: Curated Claude Code – a small agent harness with an intake gate (github.com)
    4 points 0