Pontsun
@pontsun.com
Programmer: Rust, C, Lean, JavaScript
Language speaker: English, Swedish
Wikipedia editor: Gnome
Language speaker: English, Swedish
Wikipedia editor: Gnome
Pinned
When is someone gonna formalize Magic the Gathering in Lean
November 15, 2025 at 10:14 AM
When is someone gonna formalize Magic the Gathering in Lean
Combining Venn diagrams with pie charts works pretty well.
September 27, 2025 at 6:46 PM
Combining Venn diagrams with pie charts works pretty well.
Post war in the 20th century: when is enough mail enough?
September 9, 2025 at 10:21 AM
Post war in the 20th century: when is enough mail enough?
In the midst of 🥀🥀🥀🥀🥀, I found there was, within me, an invincible 🌹🌼💐🌷🌻.
September 8, 2025 at 8:33 AM
In the midst of 🥀🥀🥀🥀🥀, I found there was, within me, an invincible 🌹🌼💐🌷🌻.
Is anyone making a Rupert's drop Rupert's cube?
August 29, 2025 at 7:52 AM
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.
August 28, 2025 at 11:02 AM
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
August 9, 2025 at 9:45 PM
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.
August 7, 2025 at 7:22 PM
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.
Eventually will eventually change meaning
August 2, 2025 at 7:46 PM
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?
July 15, 2025 at 4:16 PM
When Alice went through the looking glass, were the chirality of her molecules preserved and did the Wu experiment replicate?
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...
July 7, 2025 at 7:05 PM
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.
June 12, 2025 at 4:41 PM
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.
June 5, 2025 at 9:50 PM
Are pop songs getting shorter to fit in Osu beatmaps? Experts say: No.
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?
May 27, 2025 at 2:50 PM
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?
There are too many linux distributions. Maybe it's time to sacrifice some of them, to usher in the year of the linux desktop.
March 26, 2025 at 8:48 PM
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.
March 13, 2025 at 10:08 AM
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
February 27, 2025 at 9:49 PM
"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?
Has anyone else noticed this pattern? Why would someone write that?
February 18, 2025 at 9:35 PM
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?
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.
February 5, 2025 at 9:07 PM
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.
Me when the Rust lifetimes don't make sense.
January 16, 2025 at 2:22 AM
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.
January 12, 2025 at 1:24 AM
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.
December 30, 2024 at 8:54 PM
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.
Is there a digital card game where you can damage the cards, e.g. fold corners, draw on them with a sharpie, rip them in half? There should be.
November 30, 2024 at 2:09 AM
Is there a digital card game where you can damage the cards, e.g. fold corners, draw on them with a sharpie, rip them in half? There should be.
In the 80's Ericsson released the Alfaskop 91 computer and a music video about a "Hacker Trucker" who boasts about using the "A91". It also features a woman with orange-glowing teeth, like a CRT screen. Cool.
November 27, 2024 at 6:32 PM
In the 80's Ericsson released the Alfaskop 91 computer and a music video about a "Hacker Trucker" who boasts about using the "A91". It also features a woman with orange-glowing teeth, like a CRT screen. Cool.
Time's 2024 Person of the Year could be "The Voter", because of all the elections this year.
November 25, 2024 at 3:25 PM
Time's 2024 Person of the Year could be "The Voter", because of all the elections this year.