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!

New blog post: Carrying as chip-firing for the Zeckendorf representation, https://11011110.github.io/blog/2021/06/12/carrying-chip-firing.html

I think the hardest part for me is remembering what each notation really represents, like ¬ P is really (P → false)

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...

URL: http://arxiv.org/abs/2105.11887v1

PDF: http://arxiv.org/pdf/2105.11887v1

Entry: https://read.somethingorotherwhatever.com/entry/EverySalamihastwoends

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 : https://inkscape.org/release/inkscape-1.1/

https://twitter.com/inkscape/status/1396951322180657152

Or, less esoterically, when I've got a subscripted variable followed by a number, e.g.

x₂4

(I will not accept "put the 4 first" as an answer)

I've worked out how to write an Elm app on Glitch!

Here's a minimal example: https://elm-lang.glitch.me/

And here's a more complicated app: https://gaussian-origami.glitch.me/

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

- Homepage
- http://somethingorotherwhatever.com

- Location
- Newcastle upon Tyne, UK

- Pronouns
- he/him

- Favourite number
- 3435

Admin

Mathematician, koala fan, mathstodon.xyz admin,

⅓ of https://aperiodical.com. He/him

Joined Apr 2017