FStar
An ML-like language aimed at program verification
Show HN: A tool to send notifications on GitHub star events to Slack
2021-10-26
Starting in 2017, Facebook treated emoji reactions as more valuable than likes
2021-10-26
How to use Daniel Vassallo’s portfolio of small bets idea to start a business
2021-10-26
Getting Started • Zettelkasten Method
2021-10-26
YouTube will start to demand ID / credit cards information from Europeans (2020)
2021-10-26
Ask HN: Nomads, what do you think about fully managed travel programs?
2021-10-26
Project Stardust: A Photographer Scours Rooftops for Minuscule Cosmic Particles
2021-10-26
Top Startups
2021-10-26
Elon Musk asks for public support for first Starship orbital flight FAA approval
2021-10-24
SpaceX ignited a new Raptor engine on Starship without an explosion
2021-10-24
