FStar
An ML-like language aimed at program verification
Goldman Sachs India started layoffs secretively
2023-01-14
FCC's Robocaller Crackdown Brings Stark Warning for Voice Providers
2023-01-14
Starship's much-anticipated orbital flight test
2023-01-14
Why did every website/product start looking the same?
2023-01-14
Korean war pilot gets silver star for downing 5 of 7 Russian piloted MiG's
2023-01-13
Why a Water Startup is valued at $700M
2023-01-13
Startup is adding a battery to induction stoves
2023-01-13
JPMorgan shuts down Frank, 'Amazon for college', sues founder over faked users
2023-01-13
Show HN: Dropshipping with Remix, Printful, Stripe, and Cloudinary
2023-01-13
Show HN: A mobile gesture-based browser I have been working on. [iOS]
2023-01-13
