FStar
An ML-like language aimed at program verification
Elon Musk startup shows monkey with brain chip implants playing video game
2021-04-10
With ‘smoke ring’ technology, fusion startup marks steady progress
2021-04-10
Write a C program that outputs a large number: A contest from 2001 [video]
2021-04-10
Ask HN: Any self-made software developers?
2021-04-10
Tips on How to Kick Off Your Startup and Attract Investors
2021-04-10
Are you startup or big company material?
2021-04-10
SpaceX's Starlink: Overhyped and underpowered to meet needs of Rural America
2021-04-10
Knightscope – Fully Autonomous Security Robots
2021-04-09
What to do in your first two weeks of starting a new job
2021-04-09
Ask HN: As an engineer, is your brain corrupted by money?
2021-04-09
