F*: A general-purpose proof-oriented programming language1by Hacker News2d agofstar-lang.org fmode.me/n/f-a-general-purpose-proof-oriented-programming-language Read the full article https://fstar-lang.org/More from FM NewsRead the Novels and Forget Everything Else1 pts · Hacker News[object Object]1 pts · The VergeAutoregressive Language Model on the 6502 Processor1 pts · Hacker News[object Object]1 pts · The Verge Back to FM News