Pinned toot

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!

Before you assume that an item is "useless, ridiculous, unnecessary," first ask yourself, "Could this benefit a disabled person?"

Hanlon's razor for identical incorrect exam answers: never attribute to collusion that which is adequately explained by synchronised stupidity.

For twenty minutes there I thought I'd found a relatively important integer sequence not contained in the OEIS.But it turned out I'd just cocked up the code to calculate the terms :(

Charles Babbage fact: the What's the Difference Engine, designed during his blue period, accepts input represented by the positions of brass cogs.
On turning a crank, the machine emits a protracted sighing noise. There is no other output.

I've spent another couple of hours playing with Lean, following @XenaProject's Formalising Mathematics course (
I think the hardest part for me is remembering what each notation really represents, like ¬ P is really (P → false)

Teachers don't want you to learn this trick!!!

To get 99% of something, first increase it by 10%, then decrease it by 10%.

It really works!!!!!

New entry!
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...
Entry: read.somethingorotherwhatever.

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!
RT @inkscape
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 :

Writing another chapter of my memoir, "I tried to do the maths, and now here we are"

Tooting this because I want to do it but don't have time, and I want someone to pester me about it in a few weeks' time:

I'd like to start a collection of mathematical notation ambiguities, inconsistencies, and unpleasantness. It'd be a wiki, or at least collaboratively edited

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)

Show thread

Time for another round of "when is it OK to omit the multiplication symbol?"

I think for powers of numbers, it's fine to omit, e.g.

2²3² = 36.

What about subscripts, commonly used to show the base of the representation, e.g.

12₅23₅ = 331₅,

or do I need a multiplication symbol:

12₅ × 23₅ = 331₅.

π can stand for a variety of things in maths, but is 3.14159... the only constant it's conventionally used for?

Found a new integer sequence but it looks so stupid I don't think I'll submit it

I've worked out how to write an Elm app on Glitch!
Here's a minimal example:

And here's a more complicated app:

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.

Show older

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!