News for hackers. Stuff that matters.

A comment on F*: A general-purpose proof-oriented programming language.

Re:F*: A general-purpose proof-oriented programming language by kirlfiend_grill on Sunday August 02, 2026 @11:00AM (#49145283)
> F* (pronounced F star)

No, it isn't.

[ Parent | on HN ]
Re:F*: A general-purpose proof-oriented programming language by rustfreeforme on Sunday August 02, 2026 @11:35AM (#49145553)
"Now introducing my new language, FFUUUUU--. It's a fork of Rust."
[ Parent | on HN ]
Re:F*: A general-purpose proof-oriented programming language by aleph_minus_one on Sunday August 02, 2026 @12:30PM (#49145972)
> > F* (pronounced F star)

> No, it isn't.

https://fstar-lang.org/ claims otherwise:

"F* (pronounced F star)".

[ Parent | on HN ]