@jcreed

563 Followers
229 Following
4.5K Posts
theorems, types, tunes, typefaces, terms-of-art, tropes, technicalities. [en/eo, +ε es/zh/fr/pl/jp]
foundationsconstructive, univalent
ghhttps://github.com/jcreedcmu

ah, I think I have a counterexample for "if boundary is tame, then occupancy must be monotone or antitone in each variable"

This shape is not monotone or antitone in x.

Suppose you "color in" some hypercubes in ℝⁿ, and look at a vertex. If the vertex's neighborhood is not all colored in or all not-colored-in, then there is some boundary between the colored and not-colored hypercubes. An interesting topological question is: is this boundary, in the neighborhood of the vertex, homeomorphic to an open ball in ℝⁿ⁻¹?
good times with the online pictionary with friends
this one was too easy 😆
sheesh, residents of the void will do ANYTHING to avoid using the metric system
"I knew it was a spoonbill [at least]"
Let's go. In and Out. Twenty minute adventure
progress cleaning up a little bit of midi viz code lingering around from 2017. This is also in the category of 'home-cooked software' as surely there's a zillion DAWs out there, but I just want something to record things and annotate them Just The Way I Want...
I ❤️ talkin bout math with friends
I do like it when authors (here, Ravi Vakil in The Rising Sea) put two examples right next to each other where the relationship between them is really clear... like you can practically hear them rhyming