Here’s a metathread that catalogues the topics I have been exploring for the past few years.
Volume 1:
1/ What is Life?
2/ Lambda Calculus
3/ Linguistics
4/ Computational Trinitarianism
5/ Chaos and Fractals
6/ Differentiable Computing
7/ Higher Dimensions
Volume 1:
1/ What is Life?
2/ Lambda Calculus
3/ Linguistics
4/ Computational Trinitarianism
5/ Chaos and Fractals
6/ Differentiable Computing
7/ Higher Dimensions
1/ What is Life?
Inspired by the dichotomy of “gear like” vs. “life like” in engineering proposed by Alan Kay, I started looking into biology to understand it deeply. In this thread I visualize “What is Life?” by Erwin Schrödinger as I read through it:
Inspired by the dichotomy of “gear like” vs. “life like” in engineering proposed by Alan Kay, I started looking into biology to understand it deeply. In this thread I visualize “What is Life?” by Erwin Schrödinger as I read through it:
2/ Lambda Calculus
In my pursuit for developing a graphic design tool, I realized the need for a Turing complete set of primitives for building designs bottom up. This lead me to Lambda Calculus, a formal system to explore the Turing Universe:
In my pursuit for developing a graphic design tool, I realized the need for a Turing complete set of primitives for building designs bottom up. This lead me to Lambda Calculus, a formal system to explore the Turing Universe:
3/ Geometry of Linguistics
There is a sense in which linguistics has hidden links with geometry. It is a niche area with promising research and sprawling connections. I illustrate and curate these intriguing materials which I feel are under explored:
There is a sense in which linguistics has hidden links with geometry. It is a niche area with promising research and sprawling connections. I illustrate and curate these intriguing materials which I feel are under explored:
4/ Computational Trinitarianism
Working on Lambda Calculus naturally lead me to the deep links found between logic, type theory, and category theory termed Computational Trinitarianism by Robert Harper:
Working on Lambda Calculus naturally lead me to the deep links found between logic, type theory, and category theory termed Computational Trinitarianism by Robert Harper:
