FStar
An ML-like language aimed at program verification
Browser extension shows what the Internet would look like without Big Tech
2021-02-25
Ask HN: Is the hiring process getting out of control?
2021-02-25
Toyota air taxi partner Joby to go public in $6.6B blank-check deal
2021-02-25
Launch HN: Enombic (YC S20) – Create your own stock indexes
2021-02-25
Study Finds Facebook Most Used Social Media by Capitol Hill Rioters
2021-02-25
Ask HN: Sales tax for a SaaS side-hustle
2021-02-25
Show HN: Soluble – Security Assessments on Terraform
2021-02-25
Framework startup designed a thin, modular, repairable 13-inch laptop
2021-02-25
A portable mini Starlink dish is a good idea, says Elon Musk
2021-02-25
Two Multi-Billion Dollar Companies Started with Less Than $1000
2021-02-25
