Daniel Marin

Twitter (opens in a new tab) ◦ GitHub (opens in a new tab) ◦ LinkedIn (opens in a new tab) ◦ Email

About

I’m building Nexus (opens in a new tab), a startup enabling verifiable computation, powered by zero-knowledge proofs (opens in a new tab), backed by Dragonfly, Alliance, SV Angel, etc.

I’m interested in mathematics, theoretical physics, and computer science, and enjoy working at the limits of science and technology.

Timeline

Fun Facts

• Favorite companies and products right now: Vercel (opens in a new tab), Linear (opens in a new tab), Mercury (opens in a new tab), Luma (opens in a new tab).
• Favorite software: NextJS (opens in a new tab), Rust (opens in a new tab), Logic Pro (opens in a new tab).
• I love electronic music, and speed / strength / endurance competitions.
• I believe in simplicity and minimalism, the simpler the better.
• I'm interested in market efficiency and technological progress.
• "A man of action"

Bookshelf

• History
  • Sapiens: A Brief History of Humankind [Harari, 2011] (opens in a new tab)
• Philosophy
  • Meditations [Aurelius, AD 180] (opens in a new tab)
• Finance and Economics
  • The Intelligent Investor [Graham, 1949] (opens in a new tab)
• Theoretical Computer Science
  • Mathematics and Computation [Widgerson, 2019] (opens in a new tab)
  • Introduction to the Theory of Computation [Sipser, 2013] (opens in a new tab)
• Computational Complexity Theory
  • Computational Complexity: A Modern Approach [Arora & Barak, 2007] (opens in a new tab)
• Cryptography
  • Proofs, Arguments, and Zero-Knowledge [Thaler, 2023] (opens in a new tab)
  • A Graduate Course in Cryptography [Boneh & Shoup, 2023] (opens in a new tab)
  • Introduction to Modern Cryptography [Katz & Lindell, 2020] (opens in a new tab)