FStar
An ML-like language aimed at program verification
SpaceX's Starship SN4 prototype fires rocket engine for first time
2020-05-06
Pieces of career advice by Hilary Mason: what you *need*, *want*, and *tolerate*
2020-05-06
Luke Wroblewski: starting today my book, Mobile First, is free for all online
2020-05-06
Why Conventional Sales Wisdom Fails Early-Stage Startups
2020-05-06
How do you properly start your first Node.js server in production
2020-05-06
How to End the Lock Down
2020-05-05
Magic Leap Starts to Auger-In with ~3.7X the Money as Theranos
2020-05-05
Air Canada starting May 15 won't allow passengers with fever over 37.5C to board
2020-05-05
Lean Startup Stack: Free Software Products for Bootstrapping Startups
2020-05-05
‘Magnetic Star’ Radio Waves Could Solve the Mystery of Fast Radio Bursts
2020-05-05
