F*: A proof oriented general purpose programming language

Article URL: https://fstar-lang.org/

Comments URL: https://news.ycombinator.com/item?id=42508642

Points: 25

# Comments: 0

https://fstar-lang.org/

Created 6mo | Dec 25, 2024, 5:10:12 PM

Login to add comment

Other posts in this group

Solving `UK Passport Application` with Haskell

Solving `UK Passport Application` with Haskell

Article URL: https://jameshaydon.github.io/passport/

Comments URL: https://news

Jun 29, 2025, 2:10:12 AM | Hacker news

US Defense Department will stop providing satellite weather data

US Defense Department will stop providing satellite weather data

Article URL: https://text.npr.org/nx-s1-5446120

Comments URL: https://news.ycombinat

Jun 29, 2025, 2:10:10 AM | Hacker news

Refurb weekend: Gremlin Blasto arcade board

Refurb weekend: Gremlin Blasto arcade board

Article URL: http://oldvcr.blogspot.com/2025/06/refurb-weekend-gremlin-blasto-arcade.html

Comments

Jun 29, 2025, 2:10:09 AM | Hacker news

Satellites keep breaking up in space. Insurance won't cover them

Satellites keep breaking up in space. Insurance won't cover them

Article URL: https://www.space.com/space-exploration/satellites/satellit

Jun 29, 2025, 2:10:09 AM | Hacker news

Check out how AI is reshaping creator marketing with real data insights

Check out how AI is reshaping creator marketing with real data insights

Article URL: https://old.reddit.com/r/IndiaBusiness/comments/1ln2jd2/hey_folks_eve

Jun 29, 2025, 2:10:07 AM | Hacker news

An Indoor Beehive in My Bedroom Wall

An Indoor Beehive in My Bedroom Wall

Article URL: https://www.keepingbackyardbees.com/an-indoor-beehive-zbwz1810zsau/

Comments URL:

Jun 28, 2025, 11:50:10 PM | Hacker news

The Great Illusion: When We Believed BeOS Would Save the World

The Great Illusion: When We Believed BeOS Would Save the World

Article URL: https://www.desktoponfire.com/haiku_inc/782

Jun 28, 2025, 11:50:06 PM | Hacker news

Techie