FStar
An ML-like language aimed at program verification
Show HN: Add button on HN submit form to automatically fill in webpage title
2023-05-12
I am offering 70% recurring discount on the hosting business I just started
2023-05-12
Show HN: Snag – schedule tasks to minimise carbon emissions
2023-05-12
Solar Energy, as Explained by Dr. Seuss X ChatGPT
2023-05-12
How Google is making up for lost time
2023-05-12
Ask HN: What are some examples of well-designed binary file format specs?
2023-05-12
Ask HN: Is Miami a legit tech/startup city or was that just a meme?
2023-05-12
Don’t start a business until people are asking you to (2016)
2023-05-12
LLM for VRAs
2023-05-12
Ask HN: Where to Feature Startup on Spanish, Portuguese, German, French?
2023-05-12
