FStar
An ML-like language aimed at program verification
How to Start a Startup (2005)
2023-07-08
Ask HN: Meta Threads – no dotcom domain name, no desktop site, MVP gone mad?
2023-07-08
Show HN: BigHoops – Topgolf for Basketball [video]
2023-07-07
Cloud Credits: A Guide for Startups to Maximize Benefits and Avoid Pitfalls
2023-07-07
Show HN: Go-leftpad, start treating Go like Node
2023-07-07
eBay started as a website about Ebola
2023-07-07
Ask HN: What are some new interesting startups/products?
2023-07-07
Starship: Minimal, fast, customizable prompt for any shell
2023-07-07
Ask HN: How important is production like data to your development process?
2023-07-07
Ask HN: How would you restart your software engineering career if you could?
2023-07-07
