FStar
An ML-like language aimed at program verification
Not so great experience interviewing at Twitter
2021-09-09
World’s biggest ‘direct air capture’ plant starts pulling in CO2
2021-09-08
Show HN: Stamp – A Cryptographic Identity System
2021-09-08
LeaksID – protects docs with invisible anti-leak marks against photo/publishing
2021-09-08
World’s Largest Carbon-Sucking Plant Starts Making Tiny Dent in Emissions
2021-09-08
Microsoft Pres Brad Smith warns that U.S. is repeating a key Sept. 11 mistake
2021-09-08
Microsoft acquires WASM-powered video creation startup Climpchamp
2021-09-08
Open-source software starts with developers, but there are other contributors
2021-09-08
Are investors in USA as wary of B2C risk as here in Ireland?
2021-09-08
Sunfishcode/mustang: Program startup written in Rust
2021-09-08
