FStar
An ML-like language aimed at program verification
Ask HN: Take job adjacent to goals or go to get masters?
2021-10-17
Ask HN: Is it still worth it to switch companies every few year?
2021-10-17
Embodiment for nerds – getting in touch with your body and emotions
2021-10-17
Maithri Aquatech’s water generators just need air to produce freshwater
2021-10-17
Los Angeles Based Gaming Startup Lucid Sight Raises $2.6m
2021-10-17
France finally starts cleaning up its shameless elite
2021-10-17
Ask HN: Which API framework for rapid application development?
2021-10-17
Ask HN: Data breach disclosure for one man SaaS
2021-10-17
Tech Founders Don’t Just Own the Company. They’re Also Getting Pay Packages
2021-10-17
Ask HN: Resources to get started in game development?
2021-10-16
