FStar
An ML-like language aimed at program verification
The simplest $250k ARR startup you’ve ever heard of
2021-04-29
Ask HN: What Is a CTO Org?
2021-04-29
Vite: A no-build, no-bundling web server for dev
2021-04-28
How to look at demand and product market fit from the Jobs-to-be-Done angle
2021-04-28
Designing a Startup Hiring Strategy
2021-04-28
SpaceX performs 2 static fire tests on Starship SN15
2021-04-28
Basecamp Is the Ultimate Example of Startup Management Hubris and Delusion
2021-04-28
Badass Humans Walk on the Goddamn Moon
2021-04-28
Startup CEO says he was fired for microdosing LSD at work
2021-04-28
Show HN: Spring WebFlux REST Controller – Getting Started
2021-04-28
