alex @alexthecamel@schelling.pt

lets imagine building up a tiling S step by step (for concreteness in say, a square grid we can enumerate the squares in a spiral around the origin and say at each stage we're adding a tile to cover the uncovered square with the smallest number, so we reach everywhere eventually)

for any tilings of the plane T,S we write T->S if every finite patch of tiles in S occurs infinitely often in T.

(1) we first show that if T->T either T is periodic or there are uncountably many tilings

ok here's a more concrete + human understandable proof of uncountability
---
RT @pawnofcthulhu
cute
one quote "the tile admits uncountably many tilings": is it even possible to have a set of tiles that aperiodically tile the plane without having uncountably many tilings? https://twitter.com/cs_kaplan/status/1637996332475359232
https://twitter.com/pawnofcthulhu/status/1638004102352498688

https://twitter.com/CihanPostsThms/status/1644700418583273473
here's a result you get with very similar argument lol
---
RT @CihanPostsThms
The following is a theorem of ZFC (in particular CH is not assumed):

Let G be a group of cardinality ≤ |ℕ|. Then the cardinality of the set of subgroups of G is
• either ≤ |ℕ|,
• or equal to |ℝ|.
https://twitter.com/CihanPostsThms/status/1644700418583273473

this is decidedly less awkward if you don't sell the indigenous people guns and horses and let them fight it out for a century or two before you move in

ok the fact that land acknowlegements were a thing in Australia well before spreading to the US explains ... a fair bit

be a shame if labour couldn't reach majority government 🤔

apropos of nothing
(snp + the lib dems aren't going to support a tory government)

gotta say 'the Liberal Party are out of touch! how can they win back the woke metropolitan elites?' is a very entertaining conventional wisdom and I'm going to enjoy it while it lasts.

we should not have exposed a bunch of nerds who were bullied in high school to the concept of 'weirdness points'

it does tend to get annoying when contextualising norms are so strong they don't let you say anything more complicated than 'red team good blue team bad' tho

of course for a viewpoint like this there are going to be people you can't persuade and who are going to be angry at you either way

contextualising norms are for when you have influence and the people you are talking to aren't sure whether to trust you (esp to make policy decisions)

(in case you couldn't guess the half dozen dots off the main sequence are very remote/outback areas with high indigenous population)

nitpick but if you're citing the 5 million number melbourne has 29 metropolitan seats

sorry i had to scale the dots by population, can't have you thinking we're *too* poor; resolution is not great but they range from like 40k to 800k

resolution is not great yeah

sorry i had to scale the dots by population, can't have you thinking we're *too* poor; they range from like 40k to 800k

sorry i had to scale the dots by population, can't have you thinking we're *too* poor

tried to plot this for australia and this sure tells a story huh
---
RT @jburnmurdoch
2) It’s actually worse than that chart made out, because at most points on the income distribution, Americans earn much more than Brits.

If we plot the same data by actual income instead of percentile, the US deficit is vast.

5 fewer years even among the comfortably-off. https://t.co/ssffHKqbLv
https://twitter.com/jburnmurdoch/status/1641799667942866944