Theory development company

Think of theory development as software development:

• Lean together:

  • See how the mathlib people maintain their repo;

  • Open-source

    • Advertise proven and unproven theorems on the repository;

    • Use artsy skills to build beautiful repos that people like to contribute to!

    • Have fun!

• How quantum mechanics lectures should be now that we have Lean and OpenAI: Ok, people, so here’s the theory the customer (Paul Dirac) wants. Let’s see if we can fill in these sorries by the end of the day. Alright, wohoo, let’s go people!

  • Do something with Film theory.

• Formalize

• Opportunities:

  • Recent opportunity: Bug report on Generalized quantum Stein’s lemma.

  • Apply for a Replit venture.

• Help:

  • Jarvis;

  • Machimatician;

  • Jay from PPH;

  • Twitterfolk

    • Invite collaborators from developing places;

    • To invite open-source contributors, ask for help improving the fun;

    • If you could import math tweets on Twitter and check the code compiles with Lean..

  • Netflix job culture:

    “If you want to build a ship, don’t drum up the people to gather wood, divide the work, and give orders. Instead, teach them to yearn for the vast and endless sea.”

• Wait for people to tweet about their research, then formalize their work and tweet it as a repl as a reply;

  • Examples:

    • “Entropy and reversible catalysis”.

      • First release on Christmas as reply to original thread;

      • Jarvis helps write the code;

• People can summon our attention toward open problems by tagging us on twitter or something.

• Current contracts:

  • UlmITP job description;

• Lean market;