FStar
An ML-like language aimed at program verification
Ask HN: What Happened to YC Startup School Forums?
2023-04-16
The Al Naslaa rock formation is Earth’s most bizarre geological feature
2023-04-16
The effects of no 3rd party repairs are starting to show
2023-04-16
OpenVMS 9.2 for x86, Getting Started part 2, autoboot, licenses network and SSH
2023-04-16
Jumpstart: A recruitment startup flipping the job hunt on its head
2023-04-16
Show HN: Pitchleague.ai – Perfect Your Pitch Deck
2023-04-15
Nailgun: Running Java programs from command line without JVM startup overhead
2023-04-15
Show HN: SaaS for making software documentation less annoying
2023-04-15
Elon Musk quietly starts X.AI, a new artificial intelligence company
2023-04-15
Twitter Enterprise API costs US$ 42,000
2023-04-15
