FStar
An ML-like language aimed at program verification
Show HN: StartupJunction – Where Startups and Professionals Meet
2020-04-16
No matter how you crunch the numbers, this pandemic is only just getting started
2020-04-16
Ask HN: Should I learn functional programming?
2020-04-16
Show HN: S3 Bucket Monitoring – Are your private buckets private?
2020-04-16
Facebook will start alerting users who have interacted with ‘harmful
2020-04-16
Telescope Sees Star Dance Around Supermassive Black Hole, Proves Einstein Right
2020-04-16
Show HN: FoundersList – Looking for a cofounder or a new startup to work on?
2020-04-16
US explores possibility that coronavirus started in Chinese lab
2020-04-16
Four Startups Are Redefining Sustainability
2020-04-16
We're a global remote first software engineering startup. This is our manifesto
2020-04-16
