@j_bettany - 1 Jun 2015
The virtues of computer proof assistants http://t.co/I7noaUdmyc #math #tech
Niche Clever Social Browser
Niche Clever Social Browser
The virtues of computer proof assistants http://t.co/I7noaUdmyc #math #tech
Neutrino Detection #Tech is pretty cool.
"In 2018, IceCube announced the discovery of the first identified high-energy neutrino emitter - a blazar,"
Sadly, it wasn't that @IceCube.
Go deeper
Start something