FStar
An ML-like language aimed at program verification
Junk Charts: Vaccine researchers discard the start-at-zero rule
2021-03-01
HHVM Jump-Start: Boosting Both Warmup and Steady-State Performance at Scale
2021-03-01
75 Years Ago, 'War of the Worlds' Started a Panic. Or Did It?
2021-03-01
25 AI Startups Launch “Rebel Alliance” for ML Infra
2021-03-01
Starcity (YC S16) Is Hiring a CFO
2021-03-01
How to negotiate your startup job offer
2021-03-01
Starting a Growth Design Team
2021-03-01
A Wave of Billion-Dollar Computer Vision Startups Is Coming
2021-03-01
Launch HN: Stoke (YC W21) – Low cost, on-demand delivery to and from space
2021-03-01
Ultra fast OLAP queries with star-tree index
2021-02-28
