I know power cube is all the rage for limited players on #MTGArena but I was in the mood for a relaxing quick draft and I managed to get 7 wins!

If Friday the 13th is bad luck then is Friday the 31st good luck?

I guess this hand would be spookier if it was all Swamps, but 7 lands is still pretty scary! Happy Halloween!

I thought it would be fun to try to simulate playing this deck against a goldfish opponent. I'll share my results in a thread. I also had fun playing the deck myself of Arena. Thanks for sharing it @mtgcreativecombos.bsky.social !

#MTGArenaStats during Edge of Eternities

I have managed to become a jack of all colors, master of none on #MTGArena This feels like an achievement in its own right.

The Pi Day in March is far inferior to the one today. Not only is M.DD (3.14 in the case of Pi Day) a terrible date format, but 22/7 is a better approximation! So happy Pi Day to all who celebrate! That said, I can't complain about having two excuses to talk about math :)

It's no secret now that blue-red spells is a good deck in #MTGxFINALFANTASY draft. But it's still satisfying when a good version comes together and you get 7 wins on #MTGArena !

Ah Chocobo Spells, a classic archetype of #MTGxFINALFANTASY draft. Still good enough for 7 wins on #MTGArena All joking aside, this deck was super fun to draft and play. And FF is a fun draft format because it has synergies allowing you build decks outside the seeded archetypes.

My first 7 wins in #MTGxFINALFANTASY draft on #MTGArena !

Poll: Which one of the following four talk titles is fake? A. First-Person Choreographic Programming with Continuation-Passing Communications B. Verification of Hybrid Hierarchical Systems via Approximate Abstraction Refining (continued in 🧵)

Let's do some mathematical modelling for fun! 🧵 War is a simple card "game" sometimes played by children. It's really more of an activity actually because there are no decisions for the players to make, but this makes it easier to model. en.wikipedia.org/wiki/War_(ca...

7 wins with a blue/white artifacts deck in #MTGAetherdrift !

There's something beautiful and arcane about Haskell. They even include a poem in the documentation! "To summarise in haiku: Monad axioms: Kleisli composition forms a category."

Happy Pi Day!

@standupmaths.bsky.social famously[1] attempted to make a magic square of squares and many people have since worked on this problem[2], but no solution has yet been found. So in the great tradition of "giving it a go" I thought I would seriously think about it a bit myself. 0/13

I went 0-4 in Day 2 of the #MTGArena Open. I don't think my deck was incredible (lacking on removal for example), but it would have been nice to win at least one game. Oh well, better luck next time!

I qualified for Day 2 of the #MTGAetherdrift Arena Open! I didn't think my sealed pool was that strong, but the RB speed deck managed to go the distance!

#MTGArenaStats during Foundations. Looks like I played fewer games than I normally do, but hitting mythic (a while ago now) was cool!

Thanks to @standupmaths.bsky.social and his book Love Triangle for introducing me to the phrase "Every triangle is a love triangle, if you love triangles". I sure do love triangles 😁

I mentioned previously 2024 was my first year doing #AdventOfCode. I enjoyed it so much that I spent the month of January going back to do 2023! I also decided that if I was in this for the long haul then I should have a proper repo to push my solutions and structure it nicely as a #rustlang project

An often overlooked virtue of intuitionism is that it dissolves this kind of paradoxes: I can affirm that one or two stones do not make a heap and that fifty or more stones make a heap without having to make up my mind for the numbers in between. J. Granström (Treatise on Intuitionistic Type Theory)

Happy new year! 2025 = (20 + 25)^2 A slightly different set of numerical coincidences was discussed in a recent Michael Penn video. For example 8833 = 88^2 + 33^2 Playing around with this, I also noticed 420 = 4^2 + 20^2 (base 8) Isn't math fun? 😂

I just completed all 25 days of Advent of Code 2024! #AdventOfCode adventofcode.com This was my first year doing it and I had a blast! Thanks @was.tl for putting together all the problems!

Finishing up beermas 2024 *strong*! You really feel the 10% ABV on this one. #BeerSky Looking back, this was a good beermas. I really enjoyed most of the beers from Brock St Brewing's Advent Calendar. I recommend giving them a try if you haven't before!

How festive! I'm generally skeptical of flavoured dark beers like this, but this one is quite nice! The chocolate comes through nicely with just a hint of the orange, though at its core this beer is just a good stout. #BeerSky

I've completed "LAN Party" - Day 23 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/23 Easter Bunny HQ is very high school apparently; so many different cliques 😂

I've completed "Keypad Conundrum" - Day 21 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/21 This one really kicked my butt, but I finally got it. 🎉 Good thing Day 22 was an easy one so that I didn't fall behind!

I think this is a neat idea! git-wrapped.com It's weird that I'm most productive on Fridays 😅

I've completed "Chronospatial Computer" - Day 17 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/17 Part 2 was tricky for me! I had the right idea, but initially missed there could be multiple 3-bit values to get each digit, but not all of them enable getting the earlier digits.

I just completed "Restroom Redoubt" - Day 14 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/14 A very festive problem today! The ASCII art Christmas tree actually looks really good!

Day 12 of #AdventOfCode was the first this season where I didn't finish both parts before I had to start work. For part 2 I was counting vertices (equal to number of sides by Euler's characteristic equation for planar graphs). I now realize the irony of missed *corner* cases in counting *corners* 😅

Steps to solving #AdventOfCode Day 11: 1. Easily solve part 1 with brute force 2. "I just replace 25 -> 75?" 3. Uhoh I need a faster programming language 4. Uhoh I need a bigger computer 5. I'm stupid, this is a dynamic programming problem 6. Easily solve part 2 with recursive function + memoization

For day 9 of beermas, Brock St brewing has included a uniquely Canadian beer! I like the subtle maple flavour the real sap used in the brewing process imparts on the final product. #BeerSky

#AdventOfCode day 7 was a fun one! I love beautifully recursive problems. adventofcode.com/2024/day/7

On this, the fourth day of beermas, Brock St brewing has given me an amber beer! I quite enjoy ambers and this is a pretty nice one 😋 #BeerSky

Today's AoC problem was a fun one! There's probably a clever way to do it with regex, but I went with a more direct approach of writing the DFA by hand. It had 19 distinct states 😂

It's December 1st! You know what that means. It's the first day of beermas!

A neat trick in #rustlang from @jswrenn.bsky.social ! jack.wrenn.fyi/blog/undropp...

First snow flurries of the season!

For any set A subsets of A can be ordered by inclusion to obtain a lattice (abstract algebra) bounded by A and the empty set. The supremum is provided by set union and infimum is intersection. Take A = {W,U,B,R,G} and identify the empty set as colorless. Then color identity in #MTG forms a lattice.

"It is important to remember that computation, first and foremost, is an _act_. Just as Hamlet really exists only when being played, Euclid’s algorithm really exists only when being performed." -Johan Georg Granström (Treatise on Intuitionistic Type Theory)

I managed to get to mythic on #MTGArena this month! #MTG #MTGA

#MTGArenaStats during Duskmourn

Happy Fibonacci day! May all your spirals be enumerated and your ratios be golden.

I tried making a plot similar to the 17lands archetype explorer for the constructed decks at World Championship 30. With a simple embedding procedure the archetypes are clustered nicely. Using LLM embedding the points look randomly scrambled. Apparently these models don't know anything about #MTG.

In limited #MTG there is discussion of "speed of the format", including a very nice plot from 17lands.com. I wrote some code to simulate games of Uno (for reasons that don't matter) and funnily enough it fits nicely on the 17lands plot 😂 (Caveats in the image alt text if you care)

Ever play one of those colour sort games? After playing a variant of one at a party IRL, I was interested in the statistical properties of this game. I wrote some code and found the average number of moves to solve follows a normal distribution! Deep dive in 🧵

Here's a beautiful fact: suppose you have a balanced binary tree with n = 2^k leaves, then the total number of nodes in the tree is 2n - 1. This means you can allocate exactly how much memory you need to store the tree with a simple formula. Why is this true? 🧵

Yes. This. This is what I want all the code I write to be. #rustlang Source: tmandry.gitlab.io/blog/posts/t...