Helloww, from the ether.
I enjoy philosophy/math/programming/hardware/software/CommonLisp/Emacs/Compilers/geoguess/vasco/opensource/god.
I'm programmer, philosopher, mathematician, software enginner.
Currently studying type theory, machine learning and compilers. Building things with Lisp. Exploring the intersection of formal logic/mathematics/computation/humanity
The fact that all Mathematics is Symbolic Logic is one of the greatest discoveries of our age; and when this fact has been established, the remainder of the principles of mathematics consists in the analysis of Symbolic Logic itself.