FStar
An ML-like language aimed at program verification
Star Trek Fan Films
2019-04-22
He Built Then Nearly Broke a Successful Beauty Startup.Can It Go on Without Him?
2019-04-22
The Spice Must Flow: New 'Dune' Movie Starts Shooting
2019-04-22
New startup aims to deploy orbital billboards
2019-04-22
Starbucks Promised a Recyclable Drink Lid. Don’t Believe the Hype
2019-04-22
CEO explains how his DevOps startup runs 15,000 clones each day
2019-04-22
Tough Start to Trump Presidency Ends in No Collusion
2019-04-21
Harvard Business School: Making Sense of the Modern Startup
2019-04-21
Notre Dame's bees survived the fire
2019-04-21
Tech’s new stars have it all–except a path to high profits
2019-04-21
