FStar
An ML-like language aimed at program verification
'Most powerful' tidal turbine starts generating electricity off Orkney
2021-07-28
Tidal turbine in Orkney starts generating power
2021-07-28
SpaceX launches satellites in rare polar orbit mission
2021-07-28
Ajit Pai apparently mismanaged $9B fund–new FCC boss starts “cleanup”
2021-07-28
Ask HN: Overcoming visa issues when moving the family abroad, working remotely
2021-07-28
NYC Brain Computer Startup Announces FDA Trial Before Elon Musk
2021-07-28
Quarterly Startup Fundraising Trends from DocSend’s Fundraising Network
2021-07-27
FCC wants SpaceX Starlink to give up gov’t funding that it shouldn’t have won
2021-07-27
Things to know before starting investing
2021-07-27
Find a remote or in-person job at a YC startup from the most recent Winter ’21
2021-07-27
