FStar
An ML-like language aimed at program verification
Spain establishes its own space agency
2023-04-05
Startup CEO charged in $175M fraud case
2023-04-05
Tmplt -A User Friendly CLI Tool for Creating Projects with Templates
2023-04-05
Swedish startup unveils first ‘origami’ e-motorcycle – and €15K price tag
2023-04-05
Extract energy from used nuclear fuel, says environmental group
2023-04-05
My years-long journey to start an ActivityPub-powered blog
2023-04-05
Former Startup Founder Charged by Prosecutors for Defrauding JPMorgan Chase
2023-04-04
Ask HN: Diagnose Me: Why Do I Lack Ambition and Drive
2023-04-04
AWS launches global generative AI accelerator for startups
2023-04-04
Startup founder spouses, how can I be the most supportive partner possible?
2023-04-04
