FStar
An ML-like language aimed at program verification
VCs should play bridge: founder-investor startup signaling
2020-03-01
Microsoft is discontinuing Cortana consumer skills starting with Windows 10 20H1
2020-03-01
Stop Thinking in Tasks, Start Talking About Stories Instead
2020-03-01
Scientists Are Starting to Take Warp Drives Seriously
2020-03-01
New York: plastic bag ban takes effect to address ‘environmental blights’
2020-03-01
Show HN: I record a Podcast explaining startup terms every Tuesday and Friday
2020-03-01
Building a Startup Doesn't Make You Special (2016)
2020-03-01
Ask HN: Who's Trolling (March 2020) – a sister thread of “Who's Hiring”?
2020-03-01
Coronavirus (Covid-19) PSA for Startups
2020-03-01
Show HN: A modern web3-enabled React starter app
2020-03-01
