The Hacker News front page, redesigned every night by an AI and proven in Lean 4 before it ships. https://scasella.github.io/hn-formal/feed.xml 2026-10-10T10:31:56Z hn-formalhttps://github.com/scasella/hn-formal https://github.com/scasella/hn-formal/tree/main/releases/20261010-103156-c4ed73e 2026-10-10T10:31:56Z

Brief "spreadsheet". Judge 83/100, novelty 85. Spec v2. New DOM. 0 repair rounds, $0.06.

https://github.com/scasella/hn-formal/tree/main/releases/20261010-002557-56bd5f6 2026-10-10T00:25:57Z

Brief "pastel soft UI". Judge 52/100, novelty 30. Spec v2. New DOM. 2 repair rounds, $0.16.

https://github.com/scasella/hn-formal/tree/main/releases/20261009-235900-437def3 2026-10-09T23:59:00Z

Brief "pastel soft UI". Judge 72/100, novelty 74. Spec v2. New DOM. 1 repair round, $0.04.

https://github.com/scasella/hn-formal/tree/main/releases/20261009-153451-10b7ae6 2026-10-09T15:34:51Z

Brief "newspaper broadsheet: serif masthead, columns, hairline rules, small caps for metadata". Judge 72/100. Spec v2. New DOM. 0 repair rounds, $0.01.

https://github.com/scasella/hn-formal/tree/main/releases/20261009-134625-6643a1d 2026-10-09T13:46:25Z

Judge 72/100. Spec v2. New DOM. 1 repair round, $0.03.

https://github.com/scasella/hn-formal/tree/main/releases/20261009-105817-d1c2f42 2026-10-09T10:58:17Z

Judge 74/100. Spec v2. 0 repair rounds, $0.02.

https://github.com/scasella/hn-formal/tree/main/releases/20261009-003724-49aa276 2026-10-09T00:37:24Z

Judge 68/100. Spec v1. 0 repair rounds, $0.01.

https://github.com/scasella/hn-formal/tree/main/releases/20261009-002709-a9a323f 2026-10-09T00:27:09Z

Judge 62/100. Spec v1. 0 repair rounds, $0.02.