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