FStar
An ML-like language aimed at program verification
Details on SpaceX Starlink beta emerge along with photos of user terminals
2020-07-15
'X' marks the spot: Jeweler starts quest for treasure hidden across Michigan
2020-07-15
Show HN: Gandalf, a simple and brutalistic URL blocker
2020-07-15
Why Elon Musk’s Starlink Will Change Your Life
2020-07-15
Can biotech startups make breast milk without the breast?
2020-07-15
How to beat Starcraft 2 campaign without losing a SINGLE UNIT
2020-07-15
Ask HN: Optimising ML PhD for Startup?
2020-07-15
“Science of Well-Being” course starts today
2020-07-15
MVPs die from obesity, not from starvation
2020-07-15
Ask HN: What do you think the future of remote work will look like post-Covid?
2020-07-15
