FStar
An ML-like language aimed at program verification
Dracula Daily – Starts May 3 – read Dracula in real-time
2021-04-22
Things SC2 Taught Me About Business
2021-04-22
Ask HN: Is there a way to efficiently subscribe to an SQL query for changes?
2021-04-22
Show HN: A super bot for your Slack, 100 giveaways for HN Founders
2021-04-22
A bot that makes your Slack experience 10x better
2021-04-22
Ask HN: Is Instagram flooding people with “come back” email?
2021-04-22
The Chrysalis Token Migration Starts Now
2021-04-22
$1m+ no-code startup idea: Learning Marketplaces
2021-04-22
Russian president issues stark warning about crossing red lines
2021-04-22
SpaceX denies claim that Starlink and OneWeb satellites almost collided
2021-04-21
