King Charles III has been younger than the US President for his entire reign.
=> More informations about this toot | View the thread
Mathematically incorrect footballs: This episode of Bing gets the panel shapes correct but falls at the final hurdle. Instead of colouring the 12 pentagons black, they colour 2 of the pentagons and 6 of the hexagons.
=> More informations about this toot | View the thread
The bot says it's the hardest one we've seen so far, requiring 16 walls! https://mathstodon.xyz/@OptimalCeltixBot/113869069741849948 But it took me even more than that.
I completed #Celtix 228 using 19 walls.
http://www.andrewt.net/puzzles/celtix?p=228
=> More informations about this toot | View the thread
Cryptic crosswords would be a lot easier if I knew things or could spell words
=> More informations about this toot | View the thread
Got two Roses Orange Creams inside the same wrapper. I think this is the equivalent of a double-yolk egg.
=> More informations about this toot | View the thread
Thinking about this 'Single Rotor Moiré Clock': https://www.youtube.com/watch?v=ubjwEHqmXWg
[#]Math #Maths #Mathematics
=> More informations about this toot | View the thread
So in HoTT everything automatically respects the principle of equivalence, and it's impossible to write down something that doesn't. Whereas in ZFC we have the ability to do evil and we have to choose not to. Kinda feels like a snake got someone to eat an apple.
=> More informations about this toot | View the thread
I've installed #NixOS on my daily driver, and I'm really loving it so far. The most pleasing thing is that you can't fuck it up. With Debian I'd try a hundred things to get my GPU working, and then I'd worry that the ninety nine bad attempts had left my system in a weird state. With NixOS the entire state of the system is defined from a single file, so once you've found the right config then the system will always be correct! And finding the right config was actually easier too.
=> More informations about this toot | View the thread
I completed #Celtix 206 using 18 walls.
http://www.andrewt.net/puzzles/celtix?p=206
=> More informations about this toot | View the thread
Their 'this is food' bottle has me asking questions already answered by the bottle.
=> More informations about this toot | View the thread
A funny paper from 1979: 'Why We Should Not Make Mean Log of Wealth Big Though Years to Act Are Long' https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=8d9c06de772124caff8179d83d31fc9f7ffe5ed7
This is about the Kelly Criterion, which is a suggestion for how much you should bet on a risky investment with positive expected value. There was a heated debate about whether this criterion was only useful when your utility was logarithmic in money, or if it had broader applicability. The argument got so bad that Samuelson thought his opponents needed everything explained in words of one syllable!
Not only is this very patronising, he also screws it up by using two syllable words in a couple of places. But I still think he's right about the Kelly Criterion.
[#]Math #Maths #Mathematics #KellyCriterion
=> More informations about this toot | View the thread
I solved @mscroggs's advent calendar! https://www.mscroggs.co.uk/
=> More informations about this toot | View the thread
Perceptually uniform? More like perceptually uninformed, amirite?
=> More informations about this toot | View the thread
Thinking of making a Rubik's Cube with piece colours interpolating between the centre colours (which would be black, white, red, green, blue and yellow). Still working on getting the colours evenly spaced though.
[#]RubikCube #RubikCube #ColourTheory #ColorTheory #DefaultCube
=> More informations about this toot | View the thread
@mscroggs I made three guesses on your advent calendar yesterday, but now it's still telling me to 'Try again tomorrow...'. How does the cooldown timer work?
=> More informations about this toot | View the thread
Can people please invent higher screen resolutions, so that I don't have to learn about antialiasing?
=> More informations about this toot | View the thread
Are there any interesting integer sequences that contain every finite string of natural numbers as a contiguous substring? In particular ones that try to do so as efficiently as possible? Like the index at which a string first appears isn't too much greater than the number of 'simpler' strings, in some sense.
[#]Math #Maths #Mathematics
=> More informations about this toot | View the thread
'time is a flat circle'? what are you talking about, all circles are flat
[#]DifferentialGeometry
=> More informations about this toot | View the thread
Is there anything interesting to say about the combinatorial species given by the identity core(FinSet) → core(FinSet), except acting by an outer automorphism on S₆?
=> More informations about this toot | View the thread
Is there a shape like a prism except with a hat tile at one end and a turtle tile at the other? Ideally the prisms themselves would also fit together.
=> More informations about this toot | View the thread
=> This profile with reblog | Go to OscarCunningham@mathstodon.xyz account This content has been proxied by September (3851b).Proxy Information
text/gemini