FStar
An ML-like language aimed at program verification
Show HN: Gmail GPT – Bringing AI to Google Gmail a new way to get done
2023-08-06
When Stars Twinkle, They Make Music
2023-08-06
Venture-backed startups are failing at record rates
2023-08-06
The ordeal started with an automated facial recognition search
2023-08-06
Ask HN: The Economist alternatives
2023-08-06
Ask HN: What projects are trying to reinvent core software infrastructure?
2023-08-05
Show HN: Briefed – Summaries for Hard Paywalled Content
2023-08-05
Ask HN: Why doesn't zoom and Google Meet “ring” the other party?
2023-08-05
SoftBank sues social media startup it invested in, alleging it faked user number
2023-08-05
Great Time to Start a Company, Tough Time to Be Running One
2023-08-05
