FStar
An ML-like language aimed at program verification
Show HN: Unvalidated Ideas – all my unused Startup/SaaS ideas in one place
2022-09-11
Ask HN: How did you start higher education after 40?
2022-09-11
Show HN: Typing Cyclist
2022-09-11
Startup trends to watch from Y Combinator’s S22 Demo Day
2022-09-11
Ask HN: Should a startup block EU countries at first?
2022-09-11
Ask HN: Is there a limit for individuals or small teams in the startup field?
2022-09-11
Satellite could outshine all stars and planets in the night sky
2022-09-11
Show HN: Quake VR – Quake (1996) as a first-class PCVR experience
2022-09-11
Sales and engineering are arguing again
2022-09-10
Ask HN: The nitty gritty details of game matchmaking?
2022-09-10
