FStar
An ML-like language aimed at program verification
Ask HN: Extract my knowledge – an AI dev challenge
2020-06-07
Deploy a Godot game in seconds with ballparq: getting started
2020-06-07
Show HN: Data Engineering Project for Beginners
2020-06-07
Ask HN: Privacy Oriented Cohort Analysis?
2020-06-07
Ask HN: How bad should the code be in a startup?
2020-06-07
Quantum Dots Shift Sunlight's Spectrum to Speed Plant Growth
2020-06-07
Show HN: Creating learning paths for something you want to learn
2020-06-07
Marketplace Liquidity: How Side Switching Can Help
2020-06-07
ADHD tech stack: auto time tracking to get actionable feedback, not guilt
2020-06-07
Crypto Startup School
2020-06-06
