{"generated_at":"2026-11-12T18:35:07.097Z","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":50465352,"type":"story","title":"Why Writing Correct Software Is Hard","url":"https://pron.github.io/posts/correctness-and-complexity","hn_url":"https://news.ycombinator.com/item?id=50465352","hackerhub_url":"https://hackerhub.site/stories/50465352","author":"AriFordsham","points":286,"comments_count":126,"created_at":"2026-11-12T10:28:26.000Z","average_comments_per_hour":15.533662999092373,"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."}