FStar
An ML-like language aimed at program verification
Bad is Where You Start (a few thoughts on starting something new)
2020-07-30
I’m not okay, you’re not okay. Let’s start there
2020-07-30
Simple diagrams of convoluted neural networks (2018)
2020-07-29
TikTok blasts 'copycat' Facebook as US starts probe
2020-07-29
Ask HN: What do you think are the disadvantages of bootstrapping over VC model?
2020-07-29
New Israeli tank features Xbox controllers, AI honed by ‘StarCraft II’ & ‘Doom’
2020-07-29
Advice to Myself When Starting Out as a Software Developer
2020-07-29
Where to learn the math for data science?
2020-07-29
Leading comedy sites start using Web Monetization micropayments
2020-07-29
Valve gets another developer to work on Linux graphics drivers
2020-07-29
