FStar
An ML-like language aimed at program verification
U.S. companies are hiring Latin America’s tech talent
2022-01-30
Stewart Brand on Starting Things and Staying Curious (Ep. 142)
2022-01-30
Where Is Starman? Track Elon Musk's Tesla Roadster in Space
2022-01-30
Stargate Physics 101
2022-01-30
2022 Predictions: SRE Tools Will Start Speaking the Language of Developers
2022-01-30
Google says Android tablets are the future, starts staffing up new division
2022-01-30
Show HN: Portfolio in the Style of Kingdom Hearts Start Menu
2022-01-30
How I got my first freelancing project!
2022-01-30
Tofuproxy – Web proxy, TLS terminator, X.509 TOFU manager, WARC/gemini browser
2022-01-30
NYC restaurants starved for diners, while Miami business up
2022-01-30
