FStar
An ML-like language aimed at program verification
YouTube stars' demonetized after accusations of throwing parties amid pandemic
2020-09-12
GM level in StarCraft II with multi-agent RL (AlphaStar explained) (2019)
2020-09-12
Electric-hydrogen truck startup Nikola is an 'intricate fraud,' report proclaims
2020-09-12
Ask HN: Looking for some feedback on my jewelry business idea
2020-09-12
Four Tips for Starting Your First Development Job Remotely
2020-09-12
The Startup Community Way: Brad Feld Decodes Complexity
2020-09-11
Economic collapse has pushed families who live in Orlando’s motels to the brink
2020-09-11
“The 5 Cs” – An Operating Framework for High-Growth Startups
2020-09-11
Stargate Project
2020-09-11
Makers, start with a non-scalable product
2020-09-11
