Starting With Why: The Knowledgebase
Last edited: August 8, 2025Everyone and their dog has a blog at this point. Why not me? You see, I don’t really like the idea of blogging, but I do enjoy taking notes. I take a crap tonnes of notes, and sometimes people want to see a copy of them.
In order to facilitate this, some friends and I created taproot, a collective note-taking effort which also automatically compiled pretty cool previews and an internet site. I still am one of the primary maintainers of taproot.
Startup
Last edited: August 8, 2025Smol companies
Tips
- A well-run startup should have 18 month of cash planned, and have a runway of 6 months to ensure you can always get acq-hired and “bail out”
Myths of Startups
- “Joining Big Tech” vs. “Starting a Startup” are not binary options
- In between these poles: joining an existing startup
Myth: “90% of startups of fail”
True statement: 90% of SMALL BUSINESSES fail. Venture backed tech startups are very different world: only 1% of small businesses are venture backed.
state
Last edited: August 8, 2025Lambda Calculus with state:
\begin{equation} e \to (x | \lambda x . e | e e | i | \text{new} | {!e} | e := e) \end{equation}
where:
- \(new\) allocate a new memory location \(x\) and return pointer (initialize \(x\) to \(0\))
- \(!e\) deref a pointer
- \(e := e\), which is assigning the pointee of the memory location at the first argument to the second argument
new
\begin{equation} \frac{l \not \in dom(S)}{E,S \vdash \text{new} \to l, S[l=0]} \end{equation}
stationary-action principle
Last edited: August 8, 2025The stationary-action principle states that, in a dynamic system, the equations of motion of that system is yielded as the “stationary points” of the system’s action. i.e. the points of “least” action. (i.e. a ball sliding down a ramp is nice, but you don’t expect it—in that system—to fly off the ramp, do a turn, and then fly down.
