FStar
An ML-like language aimed at program verification
Show HN: BraNFT bra NFTs, real world to digital crypto assets
2022-04-07
Ask HN: How do I prevent my phone number from leaking via LinkedIn?
2022-04-07
Ask HN: Why do you hate SAFe (Scaled Agile Framework)?
2022-04-07
From YC in 2012 to being profitable with over 250 employees
2022-04-07
The Redwood Startup Fund
2022-04-07
Ask HN: Enough YoE to be senior, but no CS background, how to find work?
2022-04-07
Fast, the easy checkout startup, shuts down after burning through money
2022-04-07
'We Became Like a Big Startup.' How Kyiv Adapted the City's Tech to Save Lives
2022-04-07
The Case for the US ICBM Force [pdf]
2022-04-07
Ask HN: How do you avoid video game addiction?
2022-04-07
