It is proven! I am oresk on Keybase: https://keybase.io/oresk/sigchain#fd3cebe005b7db5192bda1996c3713c75092fbbc31c16af2370fcc47b713152b0f
@dpavlin is that you ?
toot tooot
Privacy-Enhancing Identity Federation is a very interesting problem. NIST has a call for collaborators to work on federated identity https://www.federalregister.gov/documents/2016/12/09/2016-29482/national-cybersecurity-center-of-excellence-nccoe-privacy-enhancing-identity-federation-building
@nikolap ja sam siguran da sam da prije par godina procitao negdje
yall seen one of the japanese instances? courtesy: https://twitter.com/legumx/status/852551752742305792 https://mastodon.social/media/0w5aVg-BV6wgsk2KegM
@pnathan yes it can :-)
8. Kurt Godel - For discovering the limits of formality.
9. Saunders Mac Lane - For pioneering category theory.
10.Eratosthenes - For being the first person to measure the Earth.
Starting my own meme: #10FavouriteScientistsAndMathematicians
1. Democritus - Knew that the world is made of atoms 2000 ago.
2. Euclid of Alexandria - Pioneered formal systems, wrote the book that will later inspire...
3. Isaac Newton - Just because of the three laws.
4. Bernard Russel - Formalized math. Inspired Wittgenstein.
5. Alonzo Church - Invented programming. Inspired Alan Turing
6. Charles Darwin - Explained how life works(+1 for working without much prior art).
7. Albert Einstein -