FStar
An ML-like language aimed at program verification
We just started an AI/ML team and announced our insanely ambitious roadmap
2022-04-03
17.5B Russian startup cut ties with its homeland
2022-04-03
Ask HN: How can I start thinking optimistically?
2022-04-03
Podcast-conversations with YC founders whose startups failed
2022-04-03
Ask HN: How can I find time to work an a new idea?
2022-04-03
The Great Resignation Didn’t Start with the Pandemic
2022-04-03
Study: Childhood surroundings determine adults' navigation abilities
2022-04-03
Startups Make It Easier to Get ADHD Drugs. That Made Some Workers Anxious
2022-04-03
Selecting a Startup Stack for Scale
2022-04-02
Can you start a modern-era digital transformation business from just INR 4000?
2022-04-02
