FStar
An ML-like language aimed at program verification
Tech for Corona
2020-03-18
Apple’s new MacBook Air brings the price down and the specs up, new keyboard
2020-03-18
Show HN: Grow your professional network during Coronavirus
2020-03-18
Earth-sized planet found with a star that zooms way up and down in the Milky Way
2020-03-18
Show HN: Thisten, search and discover podcast transcripts in one place
2020-03-18
Using security features to do bad things: HPKP
2020-03-18
SpaceX breaks a Falcon 9 rocket re-use record with successful Starlink launch
2020-03-18
Ask HN: Why does my computer make a faint high-pitched whistling with pandas?
2020-03-17
Ask HN: Need advice after job loss
2020-03-17
Ask HN: How do I cook at home?
2020-03-17
