FStar
An ML-like language aimed at program verification
The Prisoner’s Dilemma Wedge: Netflix’s strategy for startup traction (2018)
2023-04-13
Show HN: Exo – the electron app that’s helping to build itself
2023-04-13
Measuring reality does affect what you observe
2023-04-13
Uber’s CEO Started Driving for Uber
2023-04-13
We achieved a 6-fold increase in Podman startup speed
2023-04-13
Email scripts to pitch your business to newly funded startups
2023-04-12
Starship Flight Test
2023-04-12
Show HN: The Flowbite Jekyll Starter Template
2023-04-12
Microsoft is slowly rolling out ads in the Windows 11 start menu
2023-04-12
How product-minded engineers drive 10x growth for startups
2023-04-12
