Pontsun

When is someone gonna formalize Magic the Gathering in Lean

A tram in Gothenburg. Its front display says "Angered" and it has an angry face.

Diagram showing possible coalitions after the 2022 Swedish general election: a Venn diagram on a grid where every cell contains a pie chart.

Combining Venn diagrams with pie charts works pretty well.

Preventing chargebacks was one of the primary advantages that Satoshi gave for Bitcoin in his original whitepaper.

mary = Satoshi confirmed?!

Post war in the 20th century: when is enough mail enough?

In the midst of 🥀🥀🥀🥀🥀, I found there was, within me, an invincible 🌹🌼💐🌷🌻.

Is anyone making a Rupert's drop Rupert's cube?

I shall write replies on the internet, just as my ancestors, whenever someone is wrong about something. And one day, I hope to stumble upon an online utterance from the far past of my lineage, which is wrong, so that I may finally correct them. And so too shall my progeny.

Pareto frontiers are everywhere

Some movies are best seen in theaters, while some are best seen at home with friends. And some are best seen on sketchy live-streaming sites, with a chat making comments and spamming emotes.

Lean doesn't really "synthesize placeholders", unless you're talking about instance search which I think just picks the first solution found that works.

Eventually will eventually change meaning

When Alice went through the looking glass, were the chirality of her molecules preserved and did the Wu experiment replicate?

Toggle dark mode – Get this Extension for 🦊 Firefox (en-US) Download Toggle dark mode for Firefox. Toggle the content’s color scheme between preferring light or dark (or inheriting)

The better solution is to build it into the browser, e.g. addons.mozilla.org/en-US/firefo...

Website devs say they like minimalism and then they go and add a button to their website just to switch between light- and dark-mode...

Electronic music producers, you may be making a banger, but there's no need to include beeps as if a bomb is about to explode.

Are pop songs getting shorter to fit in Osu beatmaps? Experts say: No.

Scene from The French Dispatch where Krementz (Frances McDormand) critiques a manifesto by Zeffirelli (Timothée Chalamet), much to his chagrin.

"Don't criticize my manifesto."

In orders, one talks about top (⊤) and bottom (⊥) elements, but bottom is too long so one instead calls them top and bot. But bot means many other things. Why not call them bottom and toppom?

Pointwise Definable Models of Set Theory A pointwise definable model is one in which every object is definable without parameters. In a model of set theory, this property strengthens V=HOD, but is not first-order expressible. Nevertheless, i...

For a rigorous exploration of this argument, one can read "Pointwise Definable Models of Set Theory" by @joeldavidhamkins.bsky.social et al. For example, they show that there are models of ZFC where every real number is uniquely definable.

arxiv.org/abs/1105.4597

There are too many linux distributions. Maybe it's time to sacrifice some of them, to usher in the year of the linux desktop.

Toki Pona Wikipedia could replace Simple Wikipedia, I'm sure no one would have a problem with that.

"Write using speech-to-text, read using text-to-speech" - Plato probably

Sometimes people online write "I don't know why, but X reminds me of Y", even when it's obvious why X would remind them of Y (e.g. two similar songs).

Has anyone else noticed this pattern? Why would someone write that?

You might think that "I'm Thinking of Ending Things" and "Sometimes I Think About Dying" are the same movie, but they are actually very different; the latter is a Star Wars movie.

He had bad comprehension comprehension?

Meme about Rust and Arrival (2016). Main character in foreground, circular ink language surrounding Ferris the Rust mascot in background.

Me when the Rust lifetimes don't make sense.

Wikipedia sometimes allows non-free SVGs, but only if they are small. If you zoom in on an SVG, Wikipedia will go to jail.

Complimenting someone's gait feels uncouth, as gait is a pretty ugly word. Maybe I should say that I can see positive qualities by the way they use their walk, no time to talk.

Swiping to switch tabs works for me on Android Firefox with the dual toolbar🤷‍♂️