[HN Gopher] Reactive Relational Algebra
       ___________________________________________________________________
        
       Reactive Relational Algebra
        
       Author : surprisetalk
       Score  : 93 points
       Date   : 2024-09-20 13:54 UTC (9 hours ago)
        
 (HTM) web link (taylor.town)
 (TXT) w3m dump (taylor.town)
        
       | erichocean wrote:
       | If you enjoy FRP-related stuff, Missionary[0] (in Clojure) is
       | doing some really great work.
       | 
       | Most people discover it through Electric Clojure.[1]
       | 
       | The Missionary author has some really good talks he's done up on
       | YouTube about it.
       | 
       | [0] https://github.com/leonoel/missionary
       | 
       | [1] https://github.com/hyperfiddle/electric
        
         | iamwil wrote:
         | What are the YouTube talks? Did you have a specific one in
         | mind?
        
         | narcraft wrote:
         | And someone built a spreadsheet with Electric Clojure
         | 
         | https://github.com/lumberdev/tesserae
        
         | refset wrote:
         | Also in Clojure, and reactive, and relational:
         | https://github.com/wotbrew/relic
         | 
         |  _> Functional relational programming for Clojure(Script)._
        
       | bob1029 wrote:
       | Why are the resulting views in the future by exactly 1 time step?
        
         | keyboardcaper wrote:
         | Like big O notation probably? So some constant time that does
         | not depend on the size of the tables.
        
         | itishappy wrote:
         | There's exactly one async operation between them.
        
       | shae wrote:
       | Have you read up on differential data flow? Might be what you
       | want?
        
       | mr_gibbins wrote:
       | This is RBAR by any other name.
        
       | bbor wrote:
       | LOVE this. If anyone knows similar blogs that run through
       | engineering decisions in real time, please share! Way more useful
       | than a polished long post built for SEO and hackernews
       | domination.
       | 
       | Substantively, I don't have much to say other than building math
       | into the core of innovative programs should be a more common
       | practice than it is. Not necessarily as a part of the code, but
       | rather the design, documentation, and sometimes even the user
       | copy. Math has stood the test of time (200y +/- 10,000y) for good
       | reason!
        
       | xkcd1963 wrote:
       | HTTP requests, SQL queries is not async, for that matter not even
       | sync.
        
       | alxmng wrote:
       | Check out the paper "Dedalus: Datalog in Time and Space". It
       | formalizes a Datalog to include time, specifically to handle
       | async behavior. It explores exactly what you seem to be doing
       | here.
        
         | roller wrote:
         | Peter Alvaro gave a great presentation on Dedalus at Strange
         | Loop 2015.
         | 
         | https://www.youtube.com/watch?v=R2Aa4PivG0g
        
       | keyboardcaper wrote:
       | The author seems to miss that relational algebra was developed
       | for the needs of the databases of the time, i.e. in an effort to
       | optimize reads off spinning iron. Any effort for async is
       | destroyed by blocking fs syscalls.
        
         | klysm wrote:
         | Relational algebra has nothing to do with disks.
        
           | keyboardcaper wrote:
           | Yes, it does.
        
             | hexo wrote:
             | lol, no.
        
       | 101010010001 wrote:
       | The blog has random dots as a background. Now I see them on every
       | screen.
        
         | boomskats wrote:
         | document.body.insertAdjacentHTML('afterbegin',
         | '<style>body::before {background-image: none;}</style>');
        
       ___________________________________________________________________
       (page generated 2024-09-20 23:00 UTC)