Next #WikipediaDay NYC lighting talk: Prerit Pathak about "Cyber for Social Impact" discussing cyberattacks against non-profits and how not having cell service in subway tunnels can be a good thing.
Jack McCarthy is putting the "lightning" lightning talk at #WikipediaDay NYC with a super-fast talk about how math formalization will help Wikipedia (so many great slides I wasn't able to take pics of)
Quick he asks, this is a proof from Wikipedia, which is right and which is wrong?
In short, math articles should be verified/connected to proofs, using Lean which is open source