HackerTrans
TopNewTrendsCommentsPastAskShowJobs

bntr

no profile record

Submissions

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

github.com
2 points·by bntr·2 mesi fa·0 comments

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

github.com
49 points·by bntr·4 mesi fa·9 comments

Show HN: Using Strudel to control dance animations

github.com
2 points·by bntr·6 mesi fa·0 comments

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

github.com
52 points·by bntr·8 mesi fa·8 comments

comments

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

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

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