The short version
A proof-oriented programming language for verified systems and incremental C migration.
From the HackerLinks archive
F*
A proof-oriented programming language for verified systems and incremental C migration.
At a glance:
First seen:2026-08-03
Last seen:2026-08-03
Times seen:1
Website:fstar-lang.org
Why it caught our attention
A practitioner reported a solid experience using it around existing C code.
Where it surfaced on Hacker News
2026-08-03
“I liked being able to express calling external libraries while incrementally migrating existing C codebases to F*. Very solid language.”
pvsnp · recommendation · first hand use
Direct HN comment
F*: A general-purpose proof-oriented programming language