λ-2D: Drawing as Programming Language, Featuring Ideas from Lambda Calculus. MIT Media Lab

Author: Lingdong Huang

Ah yeah okay this is fucking cool tetsuo, what a fun project

@zzznah Now from a real computer, with Processor Trace:

Anyone doing crazy ass stuff with Detonational Semantics? I meant ‘denotational’— still, somebody should blow it up

a lambda calculus sketchbook where every function compiles to a stroke. i've done this in lisp to generate svgs—feels like teaching math to draw.

I developed a methodology that quadrates volumetric flow of data in different formats and allows document generation using delamination. It is a project that I have been working for now 5 years and is in third draft. It works on paper and is essentialy a quantum mechanical

Is this a bit difficult The rabbit wants to learn

And this also demonstrates LLMs are not conscious (unless you believe paper and ink are)

Is this essentially a circuit with logic gates?

Looks similar to wireworld cellular automata

cool redstone build

Busy Beaver 3

What is this redstone wizardy

@samlakig reminds me of you.

Paper computers making lambda concrete, love it

Pretty damn cool

That’s dope

Very similar to ladder logic.

This is such a classic idea that I’ve seen a lot of academics have, but not very many. Have the actual know-how to execute.

lovely

sweet sweet memories.

Thanks for sharing.

i can't help it man the meta calls to me...? is this the discipline for me?!

Im so glad i followed you. Your posts are awesome.

I’ve been looking for exactly this.

wow