HackerTrans
TopNewTrendsCommentsPastAskShowJobs

bntr

no profile record

Submissions

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

github.com
2 points·by bntr·vor 2 Monaten·0 comments

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

github.com
49 points·by bntr·vor 4 Monaten·9 comments

Show HN: Using Strudel to control dance animations

github.com
2 points·by bntr·vor 6 Monaten·0 comments

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

github.com
52 points·by bntr·vor 8 Monaten·8 comments

comments

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

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

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