← Feed

Posts

• Post #4119660

  VIDEO GAMES I STILL THINK ABOUT, A THREAD If I had to identify running themes in video games I like, I'd say: exploration; puzzles; unique or fitting art direction; and telling a story in a way only a videogame could. But unlike happy families, every good video game is good in its own way, so here are a few of the ones I've liked most. [inspired by @chrisamaphone's great thread: https://recurse.social/@chrisamaphone@hci.social/116890204764652215]

• Post #4119659

  Is there standard literature on how to do worst-case optimal queries in the presence of functional dependencies/foreign keys? There are cases where you can use FDs to get asymptotic speedups but I'm having trouble figuring out the right general approach rather than looking at individual queries and saying "oh, obviously you index it this way and then it's fast".

• Post #4119658

  romance languages imply the existence of bromance languages

• Post #2994412

  RE: https://recurse.social/@rntz/116585751551131492 mastodon continues to be a great place to talk about wild maths ideas; all the replies I got to this were fantastic and illuminating

• Post #2994411

  The miniKanren and Relational Programming workshop is accepting submissions until June 5th! You (yes you!) should submit! We accept short or long papers, about miniKanren or relational programming more widely - and, this year especially, about relating the two, and what relational/logic/constraint/etc programmers can learn from one another! :) https://icfp26.sigplan.org/home/minikanren-2026#Call-for-Papers

• Post #2994408

  "Loft" is a measure of how much down feathers "puff up" and so how much insulation they provide. Martins are a variety of bird. If I filled a sleeping bag with martin down and measured its puffiness, would that be... Per-Martin Loft?

• Post #2994407

  I followed the instructions from https://lean-lang.org/install/ to install lean via VSCode and create a first project with mathlib, and then I ran $ du -hs first-project/ 7.0G first-project SEVEN GIGABYTES what the fuck is going on here? who the fuck thought this was an acceptable outcome?

• Post #2994406

  I've heard of "parallel or", (x por y), which terminates with true iff either x or y does, unlike "x or y" which diverges if x does. What about "parallel and": false and x = false x and false = false true and x = x x and true = x Is there a canonical or useful reference for either of these?

• Post #2196148

  I have a new paper with @mwillsey! "Finite Functional Programming" (https://arxiv.org/abs/2604.26161) combines functional programming with relational/tensor algebra using functions of finite support: Datalog relations are finite boolean functions; tensors are finite real-valued funs. We ensure finite support of λ-terms using graded effects to check grounding, and relevance types (the "use at least once" cousin of linearity) to check relational/tensor operatio...