FStar
An ML-like language aimed at program verification
Show HN: Verify LLM Generated Code with a Spreadsheet
2023-06-01
Show HN: Joypanner – Active learning for curious kids
2023-06-01
The AI Boom Inside Silicon Valley Startup Accelerators
2023-06-01
Show HN: Meltano Cloud (GitLab spinout) – Managed infra for open source ELT
2023-06-01
Fastest Growing German Startups
2023-05-31
A Week with the Wild Children of the A.I. Boom
2023-05-31
Seattle Startup CFO Takes $35M Without Permission, Loses It in Crypto Crash
2023-05-31
Ask HN: In the AI boom, how are you mitigating third-party API dependence?
2023-05-31
Total and Belgian energy startup plan US synthetic gas investment
2023-05-31
Launch HN: Onu (YC W23) – Turn scripts into internal tools in minutes
2023-05-31
