Viewing profile — davery22

A few extra from my own notes- - Shirky Principle: Institutions will try to preserve the problem to which they are the solution - Chesterton's Fence: Changes should not be made unt…

related: McSherry's preceding blog post was all about demonstrating how binary joins can achieve worst-case optimal runtime, given suitable adjustments to the query plan. - https:/…

Algebraic effects are in delimited continuation territory, operating on the program stack. No amount of monad shenanigans is going to allow you to immediately jump to an effect han…

I think the article was getting at this at the end - different use cases naturally call for either a point-in-time snapshot (optimally serviced by pull) or a live-updating view (op…

I made this "expert-friendly" doc, to orient all who find themselves probing the Java Streams source code in despair. It culminates in the "Stream planner" - a little tool I made t…

So: A channel with buffer size 1, so long as it is only written to once and read from once, feels a lot like a Promise.

If I could ask independently of the sentiment of this thread - I am genuinely curious: Why is marking the difference good? (sorry this is only tangential to the article)

Cool use case. They're just called "non equi-joins" - because the join condition is an inequality. In general a join produces a row in the output table for each (left, right) pair …

Vinyl extends Java Streams with relational operations. I wanted to try a different approach than what I'd found in the wild, to get at a solution that feels good. Vinyl offers type…