niftycent.com
NiftyCent
US
Login
Marketplace
Discounts

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 1mo | Dec 25, 2024, 5:10:12 PM


Login to add comment

Other posts in this group

When the Sackler brothers studied LSD
When the Sackler brothers studied LSD

Article URL: https://resobscura.substack.com/p/when-the-sackler-brothers-studied

Comments URL:

Jan 30, 2025, 6:30:04 AM | Hacker news
Decompiling 2024: A Year of Resurgance in Decompilation Research
Decompiling 2024: A Year of Resurgance in Decompilation Research

Article URL: https://mahaloz.re/dec-progress-2024

Comments URL: https://news.ycomb

Jan 30, 2025, 6:30:03 AM | Hacker news
Hard Mode Rust
Hard Mode Rust

Article URL: https://matklad.github.io/2022/10/06/hard-mode-rust.html

Comments URL:

Jan 30, 2025, 6:30:03 AM | Hacker news
PCBs, copper pours, ground planes, and you
PCBs, copper pours, ground planes, and you

Article URL: https://lcamtuf.substack.com/p/pcbs-ground-planes-and-you

Comments URL:

Jan 30, 2025, 6:30:02 AM | Hacker news
Commercial jet collides with Black Hawk helicopter near Reagan airport
Commercial jet collides with Black Hawk helicopter near Reagan airport

Article URL: https://www.mediaite.com/news/breaking-commercial-jet-collides-with-p

Jan 30, 2025, 4:10:06 AM | Hacker news
Blueskyfeedbot: Post RSS Feeds to Bluesky via GitHub Actions
Blueskyfeedbot: Post RSS Feeds to Bluesky via GitHub Actions

Article URL: https://github.com/marketplace/actions/feed-to-bluesky

Comments URL:

Jan 30, 2025, 1:40:15 AM | Hacker news
Mathesar – an intutive spreadsheet-like interface to Postgres data
Mathesar – an intutive spreadsheet-like interface to Postgres data

Article URL: https://github.com/mathesar-foundation/mathesar

Comments URL:

Jan 30, 2025, 1:40:14 AM | Hacker news
Techie
Techie