FStar
An ML-like language aimed at program verification
'Great Dimming' of Betelgeuse star is solved
2021-06-16
Co-founder for fintech startup (trucking industry)
2021-06-16
Ask HN: What are good alternatives to Webflow that have better web performance?
2021-06-16
Ask HN: Austin vs. Miami vs. San Jose vs. Denver
2021-06-16
Launch HN: Svix (YC W21) – Webhooks as a Service
2021-06-16
Starlink dishes go into “thermal shutdown” once they hit 122° Fahrenheit
2021-06-16
SpaceX ignored last-minute warnings from the FAA before December Starship launch
2021-06-15
Stardust Cookie Cutter
2021-06-15
FedEx to Test Package Deliveries with Self-Driving Startup Nuro
2021-06-15
Ask HN: Startup Salary Raises
2021-06-15
