FStar
An ML-like language aimed at program verification
Zoox robotaxis start rolling out on California public roads
2023-02-15
Show HN: an investment simulation site that requires real name to play
2023-02-15
Ask HN: Startups that pay so little
2023-02-15
I was banned because of a security flaw in Facebook’s password recovery system
2023-02-15
Tell HN: I had an accident and ChatGPT has been helpful
2023-02-15
Dry clean your clothes in this climate startup’s vending machine
2023-02-15
Open Source Application Tracking Systems
2023-02-15
Show HN: Explore careers that you don't know even exist
2023-02-15
Ask HN: Open-source ChatGPT alternatives
2023-02-14
Noise complaints help bring down launch startup SpaceRyde
2023-02-14
