bntr

2 tháng trướcdiscuss

[dead]

4 tháng trướcdiscuss

Duplo is also compatible with regular Lego. We used Duplo for the big structure and Lego on top for details. Great way to build huge stuff quickly.

https://upload.wikimedia.org/wikipedia/commons/0/04/LEGO-kom...

bntr

4 tháng trướcdiscuss

Thanks! I liked the pics here: https://piedeleu.com/posts/diagrammatic-lambda-calculus/

I'd love to see them smoothly animated.

bntr

4 tháng trướcdiscuss

Seems like it went to the wrong post.

bntr

4 tháng trướcdiscuss

I like this catalog: https://github.com/prathyvsh/lambda-calculus-visualizations

And it seems that John Tromp's diagrams originate from David C. Keenan's Mockingbird (1996),

and Bubble Notation comes from Wayne Citrin's Visual Expressions (1995)

bntr

4 tháng trướcdiscuss

You can also construct your own puzzles and share them via URL.

Example: https://bntre.github.io/visual-lambda/#workspace=H4sIAAAAAAA...

bntr

4 tháng trướcdiscuss

For comparison: factorial(3) visualized in two different notations.

John Tromp's Lambda Diagrams (via 2swap): https://www.youtube.com/watch?v=RcVA8Nj6HEo&t=1346s

Bubble Notation: https://www.youtube.com/watch?v=aRgu8S3Pnb8

bntr

7 tháng trướcdiscuss

A tiny experimental "continuous-motion" Life glider I once made - an artistic take: https://bntr.planet.ee/lj/glider.gif

bntr

8 tháng trướcdiscuss

Exactly. Reversing the z-test is one way to get a reverse-perspective effect, but it doesn't allow for a smooth transition between projections (like dolly zoom).

bntr

8 tháng trướcdiscuss

For an extra dose of nausea, there's also a cross-eye stereo version: https://bntr.planet.ee/temp/rp/

(Alt + mouse wheel changes the eye distance)

bntr

8 tháng trướcdiscuss

No performance hit - it's just a custom projection matrix. The rest of the rendering pipeline works exactly the same as with a normal camera.

bntr

8 tháng trướcdiscuss

Great visualization! It would be good to add some fog for a better perception of 3D.

bntr

8 tháng trướcdiscuss

Once I made a transition between two ditherings: https://github.com/bntre/dithering-gradient-py

bntr

10 tháng trướcdiscuss

Another notation showing the construction of the predecessor function: https://www.youtube.com/watch?v=CWzn2ucPMdg

bntr

10 tháng trướcdiscuss

The most complete catalog I've found: https://github.com/prathyvsh/lambda-calculus-visualizations

Submissions

Show HN: Sfera – sliding puzzle in curved space (open-sourced)

Show HN: Visual Lambda Calculus – a thesis project (2008) revived for the web

Show HN: Using Strudel to control dance animations

Show HN: Reverse perspective camera for OpenGL (Three.js)

comments