正在加载视频...

视频加载失败

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

149,356 次观看 • 5 个月前 •via X (Twitter)

26 条评论

ertdfgcvb 𓅰 𓅬 𓅭 𓅮 𓅯 的头像
ertdfgcvb 𓅰 𓅬 𓅭 𓅮 𓅯5 个月前

Author: Lingdong Huang

Jay ☕ 的头像
Jay ☕5 个月前

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

Matt Stuchlik 的头像
Matt Stuchlik5 个月前

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

DuttonΦ 的头像
DuttonΦ5 个月前

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

iamkun 的头像
iamkun5 个月前

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.

Interstellar Manatee 🌌🐮 的头像
Interstellar Manatee 🌌🐮5 个月前

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

MyFriendRabbit 的头像
MyFriendRabbit5 个月前

Is this a bit difficult The rabbit wants to learn

Marco Pederzoli 的头像
Marco Pederzoli5 个月前

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

Definitely Not Tim 的头像
Definitely Not Tim5 个月前

Is this essentially a circuit with logic gates?

Lambda Rick 🏴‍☠️/acc 的头像
Lambda Rick 🏴‍☠️/acc5 个月前

Looks similar to wireworld cellular automata

albertito902 的头像
albertito9025 个月前

cool redstone build

Intrepid Sponge 𐇐𐇑𐇒𐇓𐇔𐇕𐇖𐇗𐇘𐇙𐇚 的头像
Intrepid Sponge 𐇐𐇑𐇒𐇓𐇔𐇕𐇖𐇗𐇘𐇙𐇚5 个月前

Busy Beaver 3

Bomb 的头像
Bomb5 个月前

What is this redstone wizardy

𝖌𝖎𝖘𝖙 (𖡎 era) 的头像
𝖌𝖎𝖘𝖙 (𖡎 era)5 个月前

@samlakig reminds me of you.

Prateek Tripathi 的头像
Prateek Tripathi5 个月前

Paper computers making lambda concrete, love it

NachoZombie 的头像
NachoZombie5 个月前

Pretty damn cool

Crypto Cabrón 的头像
Crypto Cabrón5 个月前

That’s dope

The Essayist 的头像
The Essayist5 个月前

Very similar to ladder logic.

Luka 的头像
Luka5 个月前

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.

Kawanda 的头像
Kawanda5 个月前

lovely

freaky fresh 的头像
freaky fresh5 个月前

sweet sweet memories.

Richard Collins, The Internet Foundation 的头像
Richard Collins, The Internet Foundation5 个月前

Thanks for sharing.

supercollider 的头像
supercollider5 个月前

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

Mind Observer 的头像
Mind Observer5 个月前

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

William Selby 的头像
William Selby5 个月前

I’ve been looking for exactly this.

arkheτ.hl 的头像
arkheτ.hl5 个月前

wow

相关视频