{
  "id": 78728,
  "title": "F*: A general-purpose proof-oriented programming language",
  "url": "https://urgent.news/2026/08/02/f-a-general-purpose-proof-oriented-programming-language",
  "topic": "tech",
  "section": "Tech",
  "published": "2026-08-02T12:31:16.000Z",
  "source": {
    "name": "Hacker News Best",
    "slug": "hacker-news-best",
    "url": "https://fstar-lang.org/"
  },
  "original_language": "en",
  "account": null,
  "summary": "Article URL: https://fstar-lang.org/ Comments URL: https://news.ycombinator.com/item?id=49143925 Points: 179 # Comments: 88",
  "key_points": [],
  "editors_take": null,
  "illustration": null,
  "coverage": {
    "outlets": 1,
    "also_reported_by": []
  },
  "ai_generated": true,
  "disclaimer": "Summaries, key points and the editor’s take are written by software from other outlets’ reporting and may contain errors — always check the linked original."
}