Welcome
Hi! My name is Paulo. I'm a mathematician, computer scientist and founder currently working on quantum computing, cryptography, and type theory. I am building infrastructure for the quantum era: the Raydian platform, a venture focused on verifiable quantum software, where research and development become deployable, protected, and monetizable. I also write occasionally about related topics.
For more details, here's my CV.
What I am learning at the moment:
- Zero-Knowledge Proofs
- Type Theory
- Accounting and Investing
- Nonstandard analysis
- RISC-V Architecture
- Latin
What I am currently reading for leasure:
Goethe: Life as a Work of ArtHere are my most recent posts:
Posts
- Educational Reforms of Tsar Peter I - [History, Russia] - July 27, 2022
- How to encrypt your Hard Drive - [Linux, Encryption] - April 9, 2021
- Setting up a static website with Hakyll - [Haskell, Web] - April 7, 2021
You can find more in the posts.