FStar
An ML-like language aimed at program verification
Volkswagen starts building the first of six battery gigafactories
2022-07-07
Show HN: Five/Three/One – A workout app for 5/3/1 – is now available on Android
2022-07-07
Ask HN: A scammer just tricked me out of my Selfie ID
2022-07-07
Show HN: PATR- A simple,powerful alternative to Heroku that scales AFFORDABLY
2022-07-07
From Jimmy Wales – WT.Social Needs Your Help
2022-07-07
Ask HN: How to Hold Someone Accountable?
2022-07-07
Startup Markets, Summer 2022 Edition
2022-07-07
F* – Microsoft's programming language with a superset of features over F#
2022-07-07
Funding raised by startups in Africa, 2019-2022 to date
2022-07-06
Ask HN: How do you modify functions over 1000 lines long?
2022-07-06
