FStar
An ML-like language aimed at program verification
The Push for a “PBS for the Internet”
2021-08-02
Crypto industry faces $30B tax threat from infrastructure bill
2021-08-02
Launch HN: Tavus (YC S21) – AI-generated personalized videos for sales outreach
2021-08-02
Show HN: CTF “Start Here” Script
2021-08-02
Launch HN: Heimdal (YC S21) – Carbon neutral cement
2021-08-02
New Startup 'Sentral' Pushes High-End Rental/Homesharing Apartments
2021-08-02
Ask HN: Who is looking for a co-founder? (August 2021)
2021-08-02
Numbering should start at zero (1982)
2021-08-02
Ask HN: Do you know any EU startups that integrate the PSD2 Directive?
2021-08-02
Ask HN: Reverse Kickstarter for Product/Services
2021-08-02
