FStar
An ML-like language aimed at program verification
Half of America Is Ready to Switch to Starlink Satellite Internet
2021-03-29
Lunar Starship and unnecessary operational complexity
2021-03-29
Launch HN: Greywing (YC W21) – Automated ship operations focused on crew
2021-03-29
SpaceX targeting Monday for Starship launch, but weather is iffy [Updated]
2021-03-29
Show HN: Submit Your Startup Video
2021-03-29
Ask HN: How to create a torrent and seed it properly?
2021-03-29
Machine Learning Won’t Save Your Startup
2021-03-29
Why LTV/CAC is not a great metric for early startups
2021-03-29
Show HN: Nestup, a Language for Musical Rhythms
2021-03-29
Ask HN: Sell domains are keep plugging away?
2021-03-29
