Zk-SNARKs, FreeTON and OCamlPro

2021-08-25

Leslie Lamport – TLA+: Viewed from 40k Feet and Ground Level

2021-08-25

Passenger cell phone catches fire after Alaska Airlines flight landed at Sea-Tac

2021-08-24

TLA+: Viewed from 40k Feet and Ground Level

2021-08-23

Launch HN: Buoyant (YC S21) – Blimp drones for air freight

2021-08-23

Ask HN: Is it possible to start A Glamping Business without any of my own money?

2021-08-22

Aubrey de Grey couldn’t leave well enough alone

2021-08-22

Leviathan Wakes: China’s Growing Fleet of Autonomous Undersea Vehicles

2021-08-22

A Walk in the Park, 3k Feet Up

2021-08-20

Telematics solutions improve the safety and security of fleet trucks

2021-08-18