← Feed

Posts

• View post

  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

• View post

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

• View post

  ok, I managed to make a minimal native android app with 'capacitor', which is apparently the spiritual descendant of 'cordova'. Reminds me how much pain java development always seems to entail. Nonetheless it works and I can get vibration on notifications, even.

• View post

  whoops, this was meant to be a link to https://hci.social/@chrisamaphone/116307319860900149 fun little trivia game, I got catfishing.net #643 - 7/10 🐈🐈🐟🐟🐟 🐈🐈🐈🐈🐈

• View post

  ah, CSS "container-type: size;" is also a crucial piece of making this work correctly.

• View post

  good times with the online pictionary with friends

• View post

  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.

• View post

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

• View post

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

• View post

  oof power still out after 24h

• View post

  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