FStar
An ML-like language aimed at program verification
The last stop: what happens when a US city’s subway starts to die?
2023-09-23
Free Coffee Challenge
2023-09-23
Flowers are starting to spread in Antarctica and experts say it's not good news
2023-09-23
Now scientists say they know where The Black Death started
2023-09-23
Show HN: Ad Morph AI: Your Creative Companion for Crafting Ads
2023-09-23
Show HN: Start Django Project, Dockerize and Deploy
2023-09-23
A climate scientist wanted to start a debate in academia. He set off a firestorm
2023-09-23
Show HN: A “CRM” for personal relationships
2023-09-23
Choosing tech stacks for early-stage startups
2023-09-23
Show HN: I rewrote the 1990's LambdaMOO server
2023-09-23
