FStar
An ML-like language aimed at program verification
Ask HN: Anybody Started a Research Institute?
2021-05-27
Getting started with OpenZFS 2.0 on FreeBSD
2021-05-26
ViaSat asks FCC to halt SpaceX Starlink launches because it can’t compete
2021-05-26
JJ Abrams: Lack of plan in Star Wars’ latest trilogy was a “critical” flaw
2021-05-26
Ask HN: How to reduce inertia in Hammock Driven Development
2021-05-26
Ask HN: Need ideas to deliver 5x growth in SaaS
2021-05-26
Equity for Scientists Starting Companies
2021-05-26
OpenAI Announces Funding for Startups
2021-05-26
Report finds disinterest in ethical, responsible AI use among business leaders
2021-05-26
New IRC Network
2021-05-26
