FStar
An ML-like language aimed at program verification
Ask HN: ML PhD for starting a company?
2020-09-10
Launch HN: OpenUnit (YC W20) – Software for managing self-storage facilities
2020-09-10
Ask HN: Would you use Phoenix/Elixir for your SaaS startup?
2020-09-10
IHP Casts: Get Started with Haskell and IHP
2020-09-10
Can you please help me take a look and give feedback about my first side project
2020-09-10
Show HN: StartDS – Organize data science experiments
2020-09-09
Creativity starts before anything is made
2020-09-09
'Robot Dogs' May Soon Guard Air Force Bases, Aided by Starlink Satellites
2020-09-09
Goes-West – Sector View: Pacific Southwest
2020-09-09
Distinguishing boson stars from black holes
2020-09-09
