Braid groups are really interesting, and they also come up in fluid mixing: https://people.math.wisc.edu/~thiffeault/talks/gordon2022.pd...

The slides are a blast, thanks

Classic mathematicians!

First one that comes to mind is Kobo Abe

I got c(c(c))(c).

My steps:

  c(g):      (f) => (x) => g(f(x))
  c(c):      (f) => (x) => c(f(x)) = (g) => (y) => f(x)(g(y)), or
             (f) => (x) => (g) => (y) => f(x)(g(y))
  c(c)(c):   (x) => c(c(x)) = (f) => (y) => c(x)(f(y)) = (z) => x(f(y)(z)), or
             (x) => (f) => (y) => (z) => x(f(y)(z)) # close!
  c(c(c)):   (f) => (x) => c(c)(f(x)) = (y) => c(f(x)(y)) = (g) => (z) => f(x)(y)(g(z)), or
             (f) => (x) => (y) => (g) => (z) => f(x)(y)(g(z)) # We just need to substitute f with c
  c(c(c))(c): (h) => c(c)(c(h)) = (g) => c(c(h)(g)) = (f) => (x) => c(h)(g)(f(x)) = h(g(f(x)), or
              (h) => (g) => (f) => (x) => h(g(f(x)))

I'm failing to see how this is novel. It looks like they're doing diffusion on a representation system for 2D graphics, which is very different than an actual program (they do address this limitation to be fair)

Yeah, this is true! These are more like expressions rather than programs. We were mostly following the language used by previous work, https://arxiv.org/abs/1906.04604

Couldn't this be used to do HTML generation from designs? Especially when combined with multiple viewport sizes at the same time, generating a fluid HTML layout would be pretty awesome.

Damn that's a long time