F*: A general-purpose proof-oriented programming language
- created_at
- 2026-08-02T13:55:07Z
- ingested_at
- 2026-08-02T13:55:07Z
- providers
- hacker_news
- source
- Hacker News
- provider_count
- 1
- source_slug
- hacker-news
- url
- https://fstar-lang.org/
- country
- US
- language
- en
- org_id
- mycompanylist.com
- dedup_key
- 741122ae654d2857
- keywords
- general-purpose proof-oriented, programming language, proof-oriented programming
- last_modified_at
- 2026-08-02T13:55:07Z
- provider
- hacker_news
- feed_section
- Technology
- published_at
- 2026-08-02T12:31:16Z
- author
- ducktective
Related
- Boris Cherny on Trying to Get Claude Code to Rewrite the Claude App
- Connes' Rigidity Theorem: Disproof of Open AI's Counterexample and Proof
- RFC 9851: TLS 1.2 is in Feature Freeze
- Show HN: Isopolis – isometric pixel map of SF
- CP/M-386 – CP/M for 386 protected mode, derived from CP/M‑68K
- Show HN: ssh ssh.place