{"generated_at":"2026-11-12T18:49:27.216Z","source":{"name":"Hacker News public API","url":"https://github.com/HackerNews/API","attribution":"Stories and comments are public Hacker News submissions by their respective authors. HackerHub is an independent reader, not affiliated with Y Combinator.","content_is_untrusted":true},"story":{"id":50471583,"type":"story","title":"I Built a Tiny HTTP Server in Rust and Formally Verified It with Lean 4","url":"https://medium.com/@Koukyosyumei/i-built-a-tiny-http-server-in-rust-and-formally-verified-it-with-lean-4-ad8dd553bfbb","hn_url":"https://news.ycombinator.com/item?id=50471583","hackerhub_url":"https://hackerhub.site/stories/50471583","author":"syumei","points":2,"comments_count":0,"created_at":"2026-11-12T18:12:12.000Z","average_comments_per_hour":0,"heat":null,"text":""},"heat_definition":"Average comments per hour since posting, using a minimum age of 30 minutes. A single story has no relative colour rank."}