bntr
Joined 9 years ago
Karma
83
Submissions
32
Member since
Nov 20
https://github.com/bntre
View on Hacker NewsRecent submissions
Comment · 7 months ago
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...
Comment · 8 months ago
Thanks! I liked the pics here: https://piedeleu.com/posts/diagrammatic-lambda-calculus/
I'd love to see them smoothly animated.
Comment · 8 months ago
Seems like it went to the wrong post.
Comment · 8 months ago
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)
Comment · 8 months ago
You can also construct your own puzzles and share them via URL.
Example: https://bntre.github.io/visual-lambda/#workspace=H4sIAAAAAAA...
Comment · 8 months ago
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
Comment · 11 months ago
A tiny experimental "continuous-motion" Life glider I once made - an artistic take:
https://bntr.planet.ee/lj/glider.gif
Comment · 11 months ago
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).
Comment · 11 months ago
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)
Comment · 11 months ago
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.