FStar
An ML-like language aimed at program verification
Ask HN: Elevator pitch, fact or fiction – how long does a startup need to pitch?
2020-02-04
Where Computing Is Headed–Beyond Quantum. Startups Make Computer Chips in DNA
2020-02-04
Stop tracking your users, and start creating value
2020-02-04
Every Engineer who is founding a startup should know this
2020-02-04
What Is MicroK8s, and Why Should I Care?
2020-02-04
Measuring a startup's carbon emissions
2020-02-04
Elon Musk promotes Texas career day, SpaceX files paperwork for Starship flight
2020-02-04
FIDO2 Dongle for 19$ with open source firmware (OpenSK)
2020-02-04
Astra Joins Visa's Fast Track Program for Fintech Startups
2020-02-04
Trying tiny k3s on Google Cloud with k3sup
2020-02-04
