Tech
F*: A general-purpose proof-oriented programming language
Article URL: https://fstar-lang.org/
Comments URL: https://news.ycombinator.com/item?id=49143925
Points: 54
# Comments: 16
Read the full discussion on HackerNews
This article was aggregated from HackerNews. Click to join the conversation.
View on HackerNews
Related Trends in Tech
Two Secret Scanners Found 5 of 7 Exposed Credentials Each, but Missed Different Secrets
Tokenized Deposits Could Become Blockchain’s Killer Enterprise Use Case
Pressing Enter Doesn’t Make You a Creator
6 User Mindsets That Should Shape Your B2B Onboarding Strategy
How to Build a B2B Lead Generation Strategy Across Multiple Channels
What Would It Take to Prove That an AI Is Conscious?