Playing around with the agda javascript backend, now. Like, my ears are popping from the sudden change of type-theory-pressure.

Trying to understand in general what kind of diagrammatic interactions between degree-three nodes actually read sensibly in the lambda calculus:

( Read more... )

Not sure this is the simplest possible inverse (or even that it is correct) but it makes for a fun diagram:

( Read more... )

Figured out a purely syntactic translation from "trinity" lambda terms to normal ordered lambda terms. Still puzzling over how to formulate the inverse, but I'm pretty convinced it ought to be doable.

( Read more... )

Had a really interesting mini-breakthrough thinking about that planar-map-lambda calculus correspondence that I've been obsessed with for the past couple weeks:

When you pick the correct ordering-convention (I'd been working with the "wrong" one, at least for this purpose) you can manipulate normal terms into the image of the usual trinity ( Read more... )

Over lunch tried a think a little bit about whether visvalingam's algorithm for polyline simplification would lend itself any kind of B-tree/R-tree-like structure into which I could insert/delete things in a reasonable amount of time and update the effective-area measurements at each affected vertex. But it seems like the number of vertices ( Read more... )

( Read more... )

Made some pulled-pork tacos with K, turned out pretty good.

Found some interesting things about simplifying polylines. D3 author Mike Bostock of course has a nice little interactively illustrated essay explaining Visvalingam's algorithm, which attaches an importance metric to each vertex in a polyline that has units of area, which you can ( Read more... )

Took a nice loop around prospect park, this time K came with too. Played around with someone else's rtree code for selectively rendering the parts of a map outline that are actually visible on the screen. Still sort of unclear to me how exactly people handle rendering of the ocean and other large-outline yet filled objects in practice. Nosing ( Read more... )

Here's a nice easy way to get natural-looking coastline shapes:

( Read more... )