FStar
An ML-like language aimed at program verification
Launch HN: Refine (YC S23) – Open-source platform for enterprise web apps
2023-08-09
Origin, an Incorporation Checklist for Startups
2023-08-09
Ask HN: Who's Seeking New Friends?
2023-08-09
Show HN: BobbyChat MVP – Helping You Navigate Work Place Stress
2023-08-09
Why the closure of Disney’s Star Wars hotel isn’t the end of immersive gaming
2023-08-09
Show HN: I built a tool that helps fixing JavaScript production bugs much faster
2023-08-09
Toronto Takes on Silicon Valley to Become AI Startup Hub
2023-08-09
Blog HN: Machinist and Technician Jobs Are Coming Back
2023-08-09
Swirl 2.5 Released
2023-08-09
Marketing software, looking for beta testers
2023-08-09
