FStar
An ML-like language aimed at program verification
Show HN: Starboard Observable – An open source ObservableHQ notebook editor
2021-04-19
Ask HN: Considering colocated hosting over cloud, what should I know?
2021-04-18
Show HN: Side project passed $2.5k/mo revenue after 2 years (Phoenix and Vue)
2021-04-18
Astronomers Detect a New Super-Earth Orbiting a Red Dwarf Star
2021-04-18
Ask HN: What developer tool would you like to build?
2021-04-18
Showcase your repositories in your static site,including updated stars,and forks
2021-04-18
The Race to Patent Psychedelics Is Just Getting Started
2021-04-18
Show HN: Decentralized DNS Resolvers
2021-04-18
A new super-Earth detected orbiting a red dwarf star
2021-04-18
Getting started with Quantum Computing (4 min read)
2021-04-18
