HackerTrans
TopNewTrendsCommentsPastAskShowJobs

bntr

no profile record

Submissions

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

github.com
2 points·by bntr·2 miesiące temu·0 comments

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

github.com
49 points·by bntr·4 miesiące temu·9 comments

Show HN: Using Strudel to control dance animations

github.com
2 points·by bntr·6 miesięcy temu·0 comments

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

github.com
52 points·by bntr·8 miesięcy temu·8 comments

comments

bntr
·2 miesiące temu·discuss
[dead]
bntr
·4 miesiące temu·discuss
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 miesiące temu·discuss
Thanks! I liked the pics here: https://piedeleu.com/posts/diagrammatic-lambda-calculus/

I'd love to see them smoothly animated.
bntr
·4 miesiące temu·discuss
Seems like it went to the wrong post.
bntr
·4 miesiące temu·discuss
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 miesiące temu·discuss
You can also construct your own puzzles and share them via URL.

Example: https://bntre.github.io/visual-lambda/#workspace=H4sIAAAAAAA...
bntr
·4 miesiące temu·discuss
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 miesięcy temu·discuss
A tiny experimental "continuous-motion" Life glider I once made - an artistic take: https://bntr.planet.ee/lj/glider.gif
bntr
·8 miesięcy temu·discuss
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 miesięcy temu·discuss
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 miesięcy temu·discuss
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 miesięcy temu·discuss
Great visualization! It would be good to add some fog for a better perception of 3D.
bntr
·8 miesięcy temu·discuss
Once I made a transition between two ditherings: https://github.com/bntre/dithering-gradient-py
bntr
·10 miesięcy temu·discuss
Another notation showing the construction of the predecessor function: https://www.youtube.com/watch?v=CWzn2ucPMdg
bntr
·10 miesięcy temu·discuss
The most complete catalog I've found: https://github.com/prathyvsh/lambda-calculus-visualizations