FStar
An ML-like language aimed at program verification
How the Black Death Turned Medieval Society Upside Down
2021-04-30
Maxwell’s Demon Continues to Startle Scientists
2021-04-30
Cloud storage startup Wasabi nabs $112M, plans new datacenters
2021-04-30
SpaceX has a green light from the FAA to fly Starship on Friday
2021-04-30
Launch HN: Porter (YC S20) – Open-source Heroku in your own cloud
2021-04-30
Why porn industry comes with a stigma even in the technical world?
2021-04-30
Ask HN: Screencasting tools like Grabilla to capture audio + screen for ∞ time
2021-04-30
Ask HN: What are the three most expensive tools/services that you use?
2021-04-30
Swap. Sell. Buy and Give Away
2021-04-30
My Startup Failed Six Years Ago. I’ve Been Hiding from My Shame Ever Since
2021-04-29
