An iOS app that provides version control over folders using the Files API.

Slowing down a process can be valuable when applied thoughtfully. For example, confirmation when deleting a file or charging a nominal fee.

Knowledge work processes should be accretive (rather than ephemeral or ad-hoc).

Most knowledge work is ephemeral–we write documents, emails, code and then it’s done.

Describes the differences between programmers by grouping them into three buckets–poets, hackers, and makers.

Estimate how many weeks it will take for a value to double if it continues to grows at a certain rate e.

An estimation technique where you round variables to the nearest power of 10 then when you need to multiply or divide these powers of 10 you just need to add/subtract exponents.

We tend to think of experience in a given role is obviously good–it provides pattern matching and intuitions built up on lived events.

An essay that relates Gödel’s incompleteness theorem (along with the Halting Problem) to startup disruption—arguing that all successful startups discover one or more G-statements and extract value by building a formal system around it.

An unprovable, but true statement as described in Gödel’s incompleteness theorem.

A formal system consists of axioms (statements that are true) and rules (how axioms can be manipulated).

Having a delightful UX (user experience) is obviously good, yet not provable.

A package built into Emacs which combines outlining, task management, scheduling, code execution, spreadsheet, and much more.

A context-free grammar can be described using Extended Backus–Naur form (EBNF) notation.

The Soviet Ruling class, members of the communist party that control everything.

A modeling programming language and environment that provides a way to express, simulate, and optimize systems (usually physical).

A formal system (one that is consistent never yields a false statement) can not also be a complete system (containing all true statements)–there will always be statements that are unprovable yet true (i.

A declarative language for describing diagrams and an environment that renders .

Giving a thing to someone else, while still retaining ownership, for the purposes of selling the thing.

A virus that passes from animals to humans. Examples include: SARS, Swine Flu, and COVID-19.

A pattern for traversing a tree of heterogeneous objects. Decoupling the algorithm for traversing the tree and the code operating on the objects leads to a much cleaner (and easily extensible) code.

A state of equilibrium for an organism that is the optimal condition.

A corona virus that became a global pandemic. The number of cases has surpassed 2MM and over 500 thousand people have died (at time of writing).

Intertwines documentation and source code which emphasizes the need for code to not only be understood by the compiler, but also by future engineers trying to reason about your code.