A theory that the universe is actually finite due to having a nontrivial topology (i.

Theoretical cosmologist who researches black holes and gravitational waves. In particular, the universe is finite in size.

A process for long form writing where you start writing independent units of ideas/topics (similar to ‘atomic notes’ in Zettelkasten) and synthesize them in a separate step.

Applying crypto/blockchain concepts (e.g. proof of work, aligning incentives) to building large scale co-ops that require cooperation and governance.

In software development, code describes what the program does, but is not helpful when we need to understand what it is intendedto do or why.

A framework to improve mindfulness of anxiety and emotional distress. You can use this mapping to plan what to do when you find yourself at various points in the scale.

Visualize your thoughts as a sushi train that constantly revolves around you with different dishes that represent the flavor of thought.

People tend to be more judgmental and harsher on themselves than on others.

The practice of bringing your attention to the present moment without judgment.

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.

It’s better to favor duplication over the wrong abstraction. The wrong abstraction starts out as a way to remove duplication and then gets altered over time to handle more and more conditions to the point where it’s unique to all the callers.

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.