← Feed

Posts

• Post #1765431

  I was going back through some of the Lean Together talks I missed since videos seem to be up now, and trying to figure out the actual math content of Yaël's talk https://www.youtube.com/watch?v=cz9Q4TtveL0 started blowing my mind a bit

• Post #1441656

  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 ℝⁿ⁻¹?

• Post #1172199

  I don't know if there are other clever ways of doing this with pre-2022 technology, but apparently cqw/cqh are pretty well-supported CSS features by now, and with them and calc you can really nicely solve "I want a fixed aspect ratio div that is as big as possible in its container" by simply saying width: min(100cqw, calc(100cqh * 9 / 16))

• Post #975658

  Ugh, I got lovely light-weight notifications working via either mobile firefox or chrome with https://github.com/jcreedcmu/notifier/ but then it seems like both firefox and chrome have made it impossible to have these notifications cause vibration. Which was exactly what I wanted to make it possible for things happening on the desktop to actually let me know asynchronously when I step away from the computer...

• Post #975657

  this one was too easy 😆

• Post #975656

  good times with the online pictionary with friends

• Post #975655

  Suppose I assume the existence of a countable sequence of types A₀, A₁, A₂, … such that A₀ = ΣA₁, A₁ = ΣA₂, etc., a tower of suspensions going down.

• Post #674321

  oh oh no big walk is out? this looks so delightful https://www.youtube.com/watch?v=Y-0rj_BcYsI

• Post #674320

  You are faced with two shakiras, one of whose hips *always* tells only lies, and the oth

• Post #674319

  oof power still out after 24h

• Post #632434

  falsehoods programmers believe about time: if you have two weekly recurring meetings which - both happen at the same time every week - don't conflict this week then they will not conflict next week