FStar
An ML-like language aimed at program verification
Tesla to manufacture in India and Indian startup challenges Google Maps
2021-02-20
Written testimony of Keith Gill (starter of GameStop mania) to Congress [pdf]
2021-02-20
Request for Startup: 1.800.VACCINE
2021-02-20
Three Types of Startup Advisors You Might Not Have Thought About (But Will Help
2021-02-20
Query Optimization in Postgres with pg_stat_statements
2021-02-19
Augmented Reality Contact Lens Startup Mojo Vision Develops Apps w/Early Adoptrs
2021-02-19
Shopify Rebellion (StarCraft II ESports Team)
2021-02-19
Star Trek Helped NASA Dream Big
2021-02-19
Ask HN: Ex-Employer alleging me for hacking. What should I do?
2021-02-19
Launch HN: MindsDB (YC W20) – Machine Learning Inside Your Database
2021-02-19
