[HN Gopher] Lambda Screen: Fractals in Pure Lambda Calculus
       ___________________________________________________________________
        
       Lambda Screen: Fractals in Pure Lambda Calculus
        
       Author : mmphosis
       Score  : 124 points
       Date   : 2024-04-09 06:05 UTC (1 days ago)
        
 (HTM) web link (text.marvinborner.de)
 (TXT) w3m dump (text.marvinborner.de)
        
       | poslathian wrote:
       | Thanks! This is a really great demo of how to bootstrap spatial
       | volumes starting from just ordered pairs on a discrete set.
       | 
       | So cool. Hope to see more around this corner.
        
       | constantcrying wrote:
       | Really reminds me of a chapter in SICP, where something somewhat
       | similar is demonstrated. Quite cool!
        
       | pvg wrote:
       | Not mentioned in the piece but these particular fractals have a
       | name that nicely matches the content - IFS (Iterated Function
       | System) fractals. A bit more here
       | https://en.wikipedia.org/wiki/Iterated_function_system
        
         | marvinborner wrote:
         | Thanks, didn't know that!
         | 
         | Note that the grey pixels can actually carry a state that their
         | children can derive from. Some children may then turn
         | black/white depending on their state. So in theory lambda
         | screen can show any fractal, not only IFS.
        
       | naikrovek wrote:
       | Things like this put the fear of math into me.
       | 
       | I used to _love_ math. Then I got a calculus teacher who hated
       | calculus and he taught us all to hate math right along with him.
        
       | tromp wrote:
       | Yesterday's discussion on reddit's r/lambdacalculus:
       | 
       | [1]
       | https://old.reddit.com/r/lambdacalculus/comments/1byllqk/fra...
        
       | queuebert wrote:
       | I've always wondered -- is lambda calculus really supposed to be
       | written with periods '.'? Or is everyone too lazy to use \cdot?
        
         | IsTom wrote:
         | Periods. Sometimes other quantifiers like exists and all use
         | them as well - to separate quantified variables from
         | expression.
        
       ___________________________________________________________________
       (page generated 2024-04-10 23:02 UTC)