On proxies

This is a philosophical post about ideas, communicating them, and math.

Formalizing is the act of taking an intuition, a vague idea, and putting it into words — in mathematics, those words are usually in the language of logic, and usually in a specific flavor of logic, that which underlies the …

To write anything concrete

This is a meta post about this website, and finding the impulse to actually write something.

It's been a real while since I've first had the idea of posting stuff on a personal site. And I don't really have writer's block - I have a lot of writing topics in mind …

Page 1 / 1