FStar
An ML-like language aimed at program verification
Ask HN: Favourite affordable log analysis platform?
2021-09-13
TurboTax maker’s potential deal values email marketing startup at around $12B
2021-09-13
F# and Type Classes
2021-09-13
Cloudflare Passes 250 Cities, Triples External Network Capacity, 8x-Es Backbone
2021-09-13
Is the Shift to Single-Socket Servers Starting?
2021-09-13
Steve Wozniak – “A Private space company is starting up, unlike the others.”
2021-09-13
Ask HN: Should you have a full-time designer in a 3-4 person startup?
2021-09-12
Ask HN: How do you hire designers?
2021-09-12
NASA: Accelerating Martian and Lunar Science Through Starship Missions [pdf]
2021-09-12
Star Trek Day celebrates 55 years
2021-09-12
