1

The Sphere Packing Project – Post 1 – The Story (leanprover-community.github.io)

19 hours ago Aleksandr_NFA github.io

12

The Annotated VT100 Firmware (2022) (vt100.net)

an hour ago Aleksandr_NFA vt100.net

1

Post-mortem of technical issue – August 29, 2019 (zerodha.com)

19 hours ago Aleksandr_NFA zerodha.com

2

Show HN: Evidence-to-Skill – a gate between untrusted sources and agent skills (github.com/sanexxxx777)

2 months ago Aleksandr_NFA github.com

3

Show HN: Curated Claude Code – a small agent harness with an intake gate (github.com/sanexxxx777)

3 months ago Aleksandr_NFA github.com