Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem proverimperialcollegelondon.github.io·146 pts·ljlolel·107
Hacker Noon Is Storing Content on a Blockchain After Ditching Mediumfinance.yahoo.com·3 pts·ljlolel·0
Horcrux Encrypted Messaging: your government can’t read these messageshorcruxencryptedmessaging.jperla.com·2 pts·ljlolel·0
Horcrux Encrypted Messaging: your government can’t read these messageshorcruxencryptedmessaging.jperla.com·6 pts·ljlolel·0
Horcrux Encrypted Messaging: secret messages even your government can’t readhorcruxencryptedmessaging.jperla.com·2 pts·ljlolel·0
Horcrux Messaging: secret messages even the NSA can't readhorcruxencryptedmessaging.jperla.com·3 pts·ljlolel·0