I've had a couple of days off work because I was BURNT. OUT.
For some reason, I've remade my old wordsearch generator in Elm, using Glitch. Once I worked out how to use elm reactor to show the nice compilation errors, it was a lovely experience!
New blog post: Carrying as chip-firing for the Zeckendorf representation, https://11011110.github.io/blog/2021/06/12/carrying-chip-firing.html
I've spent another couple of hours playing with Lean, following @XenaProject's Formalising Mathematics course (https://github.com/ImperialCollegeLondon/formalising-mathematics)
I think the hardest part for me is remembering what each notation really represents, like ¬ P is really (P → false)
Every Salami has two ends
Article by Bobo Hua and Florentin Münch
In collections: Attention-grabbing titles, Food
A salami is a connected, locally finite, weighted graph with non-negative Ollivier Ricci curvature and at least two ends of infinite volume. We show that every salami has exactly two ends and no vertices with positive curvature. We moreover show that every salami is recurrent and...
Wow, after 25 years of Unix experience, I learned that you can filter output in #less.
Press ampersand (&) and enter a regex to show only lines matching the regex.
Press ampersand (&) and then exclamation mark (!) to apply an inverse filter.
I love when open source software projects thrive. Congrats to the @inkscape community!
Welcome to #Inkscape 1.1! We're excited to launch our latest version... with a Welcome dialog, Command Palette, revamped Dialog Docking System & searchable preference options, along with new exporting formats. Download for Linux, Windows or macOS : https://inkscape.org/release/inkscape-1.1/
Or, less esoterically, when I've got a subscripted variable followed by a number, e.g.
(I will not accept "put the 4 first" as an answer)
Write the digit 1 eight million, one hundred and seventy seven thousand, two hundred and seven times in a row.
That's a prime number.
Discovered by Ryan Propper and Serge Batalov a few days ago. https://oeis.org/A004023
Mathematician, koala fan, mathstodon.xyz admin,
⅓ of https://aperiodical.com. He/him
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!