{
"by": "ducktective",
"descendants": 31,
"id": 49143925,
"kids": [
49145034,
49144797,
49145504,
49145638,
49145547,
49145553,
49145283
],
"score": 84,
"time": 1785673876,
"title": "F*: A general-purpose proof-oriented programming language",
"type": "story",
"url": "https://fstar-lang.org/"
}