FStar
An ML-like language aimed at program verification
Ask HN: How to shift left from an ops career?
2021-01-21
Show HN: Another AI-startup idea generator
2021-01-21
Ask HN: Can I legally fork C# and share my new version?
2021-01-21
BlackRock May Start Trading Bitcoin Futures in 2 Funds
2021-01-20
Star Wars PDP-11/45
2021-01-20
Health tech giant Hillrom to acquire Seattle startup Bardy Diagnostics for $375M
2021-01-20
SpaceX Launches 17th Starlink Mission
2021-01-20
SpaceX expands Starlink public beta test to Canada, United Kingdom
2021-01-20
How to Start a Biotech Company on a Budget
2021-01-20
As promised, Twitter made Joe Biden’s POTUS account start with zero followers
2021-01-20
