FStar
An ML-like language aimed at program verification
How have DOTA and StarCraft wins advanced AI research?
2019-04-12
Watch the First Trailer for Star Wars: The Rise of Skywalker
2019-04-12
Get out there Grow your startup with event marketing
2019-04-12
Air taxis starting trials in Singapore, to be safe as commercial aircraft
2019-04-12
Walmart acquires adtech startup Polymorph Labs to scale up its ad business
2019-04-12
Show HN: Tree of Reddit Sex Life
2019-04-12
How to Make Startup Stock Options a Better Deal for Employees
2019-04-11
SMAC – StarCraft Multi-Agent Challenge
2019-04-11
Valuations of Biotech Startups from Series A to IPO
2019-04-11
Using AI to Solve Collaborative Challenges by Playing StarCraft
2019-04-11
