FStar
An ML-like language aimed at program verification
Show HN: I built a Hacker News type website from scratch in Python
2023-05-18
How Fred Schott built two OSS projects with 20k+ GitHub stars
2023-05-18
Ask HN: Recommendations for a free/cheap website builder with form collections
2023-05-18
Ask HN: Would you hire a smart VA for $12/hr?
2023-05-17
IFTTT to limit free accounts to 2 applets from May 25th
2023-05-17
EPA Develops Energy Guidance for Data Centers with Equinix and Iron Mountain
2023-05-17
Design service subscription for your startup
2023-05-17
Connect with anyone on Twitter, regardless of their DM settings
2023-05-17
Ask HN: How could HN reduce the amount of paywall articles?
2023-05-17
Star7 Demo by James Gosling (1992) [video]
2023-05-17
