|whenever i write notes to myself, i try to keep them on this website (unless there is some reason not to), so there’s a zillion webpages in here that are no more than an unreadable 'braindump'!|
math and computer:
Some Stuff You Might Like To Know — introductory notes on various mathy topics
startups (beware: these notes were written for personal use; they are not necessarily readable)
i have a vague idea for a mathematical type theory based on a notion i have of a hierarchy of meta-referential systems. The project is to formalize my type theory.
i think about proving P != NP sometimes