{"site":"startup.is","path":"/registry/halmos-science","title":"Halmos.Science","generated_at":"2026-10-14T06:15:14.174Z","data":{"site":"startup.is","org_key":"halmos.science","slug":"halmos-science","name":"Halmos.Science","kind":"startup","country":"xx","place_key":"xx/science","website":"https://halmos.science/","summary":"Hacker News for math, the server checks the proofs","extra":{"launched":"2026-08-20","launch_post":"https://news.ycombinator.com/item?id=49377786","hn_score":3,"domain_created":null,"classified":{"kind":"startup","confidence":0.27,"model":"jev-1.13.0"},"address":null,"phones":[],"email":null,"profiles":[],"rating":null,"reviews":null,"rating_source":null,"rating_read":null,"also_listed_as":[],"related":[],"listing_seen":null,"listed_since":"2026-08-20","located_by":null,"place_from":null},"status":"published","provenance":[{"field":"name","from":"hn_show","observed_at":"2026-08-20","url":"https://news.ycombinator.com/item?id=49377786"},{"field":"website","from":"hn_show","observed_at":"2026-08-20","url":"https://news.ycombinator.com/item?id=49377786"},{"field":"summary","from":"hn_show","observed_at":"2026-08-20","url":"https://news.ycombinator.com/item?id=49377786"}],"first_seen":"2026-10-05T14:51:00.980Z","last_verified":"2026-08-20","web":{"domain":"halmos.science","site_status":null,"captured_at":"2026-08-20T20:55:59.097Z","thumb_url":"https://cdn.backup.im/file/screenshot-archive/h/halmos.science_20260820_thumb.jpg","shot_url":"https://cdn.backup.im/file/screenshot-archive/h/halmos.science_20260820.jpg","desktop_thumb_url":"https://cdn.backup.im/file/screenshot-archive/h/halmos.science_20260820_desktop_thumb.jpg","title":"Halmos — mathematics the server can check","description":"A community for mathematics where claims carry machine-checked status. Post a proof in Lean and the kernel rules on it.","synced_at":"2026-10-05T14:56:15.782Z"}}}