FStar
An ML-like language aimed at program verification
Promising start to new human gene-editing trials
2020-12-09
How to start researching any business idea
2020-12-09
Getting Started with Scala and Apache Kafka
2020-12-09
SambaNova Breaks Cover: $450M AI Startup with 8-Socket AI Training Solutions
2020-12-09
$10k to $100k monthly revenue in 45 days, using 'brand positioning'
2020-12-09
Ask HN: Where do I start with first principles in 3D rendering?
2020-12-09
Anyone interested in helping to improve healthcare(and get a $10 Starbuck card)?
2020-12-09
Supabase now in beta, get started with Vue
2020-12-09
Ask HN: What startup would you make if you had access to GPT-3?
2020-12-09
Ask HN: What book changed your life in 2020?
2020-12-09
