Andrew π’ @andrewt@mathstodon.xyz
Manchester MathsJam regular and occasional tamed programmer for the Nerds
Joined Apr 2018
Pinned toot
This predates my Mastodon accounts but it ought to be on here so here it is: my interactive blog about the domino computer.
β2 + β3 = Ο
Hey look, the hastily discontinued gay Ken doll went to MathsJam.
https://scholar.social/@bgcarlisle/101535435026541826
This is excellent. It'd make an amazing bang-bang-bang MathsJam talk but the half-hour version is also engaging and fun.
Spoilery discussion of my solution
Then I wrote the N=8 version in binary and it clicked and I felt simultaneously like a genius and an idiot.
Spoilery discussion of my solution
Then I drew out some coloured tesseracts for low-N cases and that worked well. I found you could step up to the next solution by pulling out a copy of the solution into some new dimension, giving it N new colours, and then pulling out as many permuted versions as you need to fill in the missing flips β but it didn't give me an algorithm to devise the permutations.
Spoilery discussion of my solution
I got hung up for ages on parity β because every possible arrangement you can reach by flipping one coin has the same parity, the 8x8 chessboard can be modelled as colouring a 63-dimensional cube, rather than a 64D one. Somehow I thought the loss of that one dimension would be more useful than the nice factorisability of 64. No idea why. And you can get to it that way but it's inelegant.
Finally cracked this puzzle over lunch today. Very satisfying, I think it's the first one of these Big Hard Logic Puzzles I've solved start to finish on my own.
This also means I'm no longer messing up Matt's viewer retention stats from having paused it a week ago pretty near the beginning. I'd be interested to see the drop-off in the graph at the point when they say "pause the video now and have a go at it".
I've had at least two marketing emails today from companies suggesting I use their products to cheer myself up today but carefully not mentioning any particular calendar-based reason for doing so.
Andrew π’
boosted
so, how do you solve operator precedence? do you encode it in the grammar? do you use Pratt parsing? hell no
Andrew π’
boosted
And another dumb joke, sorry, sorry
There's a great song lyric in the fact that anything to the power of love gives unity.
Andrew π’
boosted
@andrewt As if this weren't all confusing enough, I believe the set of points depicted here is what's technically known as collielinear.
Andrew π’
boosted
@andrewt It's the prefix col- which sometimes occurs in latin-derived words instead of co- or com- with base words that begin with an 'l'. You see it in "collateral" and "colloquial" and even in "college" and "collegial." That said, I think the one-l version, "colinear" is widely accepted as correct these days.
OK so today all the available evidence is telling me that the maths word for "on the same line" is "collinear" with two Ls and it's pronounced like it's spelled, like it's about Colin's ear, and just what the hell? I've been writing and saying "colinear" and just what is this?
update: it works with 3d rotation too: https://www.shadertoy.com/view/tljSRG
Someone posted a gif of this effect on birdsite and I wanted to understand it so I've built it as a space-warping raymarcher.
Its some lovely maths that I think I *mostly* understand now:
A problem shared is equal to the sum of the problems on the other two sides.
Andrew π’
boosted
Andrew π’
boosted
For some reason I have built Conway's Game of Life in Baba is You.
Manchester MathsJam regular and occasional tamed programmer for the Nerds
Joined Apr 2018
