FStar
An ML-like language aimed at program verification
The ‘Hustlers’ Who Started America
2021-07-27
Show HN: Rootless Containers/Pods that run systemd, Docker, and even Kubernetes
2021-07-27
Ask HN: Individual performance tracking tool for small startup
2021-07-27
Launch HN: Abbot (YC S21) – ChatOps as a Service, inspired by GitHub's Hubot
2021-07-27
The Cult of We: WeWork, Adam Neumann, and the Great Startup Delusion
2021-07-27
What does the perfect trading app look like? No Fees?
2021-07-27
The Interledger Protocol
2021-07-27
What One Starbucks Coffee a Day Is Worth in 30 Years
2021-07-27
Ask HN: How to start a local tech meetup?
2021-07-27
Live Starlink Satellite Map
2021-07-27
