purp
general
Wednesday, August 5, 2026
Thursday, August 6, 2026
I have no idea what Lean is
I googled this, I have heard of this, but I have never used it
I feel like Coq came up once or twice in textbooks (also never used it)
but never Lean, and I definitely confused mathlib for matlib when looking up wtf it was at first
I was curious to see pics, so I went to the Discord reddit
I forgot that the entire userbase for this app are neurotic tweens and ESLs
System message
's poll Select which of the following keys you use when typing. has closed.
Replying to reorruatrnte #toughbrook Click to see original message
Missed this. The escape key is the correct answer. And I have rebound it to my capslock key thinkchad
I'm not an emacs hater. It has value. But it sins. Therefore it will never be a default anywhere https://girlcockx.com/i/status/1761162661486628994
I had a dream last night that Nintendo released a new console while I was at EB Games with no foreshadowing. They called it the "Nintendo Wii".
Somehow Nintendo thought it was a good idea to name their new console after an existing console, since the Wii sold so well all those years ago.
It was a marketing decision that rivaled Microsoft naming their console the "xBox One" in terms of boneheadedness.
Also in my dream they had Kirbopher do a celebrity endorsement. And there was no new Zelda or Smash Bros game.
The boxes for the new Wii games were a different colour to the old Wii games, but were the same colour for the Wii U games.
Unrelated, glad that its still EB games in australia too
Ever since Sony announced the shift to no more physical games in 2028, EB Games have started to diversify their product lineup to include board games.
They've always done pokemon cards. And they've been selling those giant-headed dolls that seem to infest all second hand games stores, but seeing them sell boardgames is just a funny adaptation of the times.
In Canada, they have been testing new flagship "EB Trends" stores
which I have not been to one, from what I understand they are doing things like selling and trading in specific valuable trading items, and other things
Saturday, August 8, 2026
Are they losing their mods? Who will keep the servers safe?
Sunday, August 9, 2026
what piss flavor packed do. ubdr8bkndribk drink
- chocolshr0 votes · 0%
- strawbey1 vote · 8%
- nigga2 votes · 15%
- lemon0 votes · 0%
- blueberry0 votes · 0%
- vanilla0 votes · 0%
- 134 votes · 31%
- d54w ztrando3 votes · 23%
- iiiiuiiii2 votes · 15%
- (???1 vote · 8%
13 votes Ends 8/10/2026 3:27 AM
Dane I am glad we both parsed this and voted the same
Monday, August 10, 2026
for Win10/11 people, consider disabling memory compression
Disable-MMAgent -mc
more relevant if you have a lot of RAM
windows has been optimizing for low-RAM systems, and it means you have these huge page files that are constantly being compressed/decompressed despite not needing to be
it was not an unknown payload
they use the old LM7's for ChinaSat launches
LM12 is the goofy slow-ascent one I like
blowing up that long after launch is odd though
I'll assume it's roughly MaxQ at that point
but failure there is almost always flight-path deviations, not a full-on explosion
Tuesday, August 11, 2026
Predict the state of LLM-based AI in August 2030
- The bubble pops and most AI have ceased to exist0 votes · 0%
- AI chatbots and AI art remain a fun/frustrating novelty0 votes · 0%
- AI has utility, they mostly excel at simple tasks4 votes · 29%
- AI has a lot of utility, used as a tool in most fields6 votes · 43%
- AI operates independently, and is generally intelligent3 votes · 21%
- AI has rendered most human labor obsolete0 votes · 0%
- AI is hyper-advanced, but has an upper-bound0 votes · 0%
- AI is hyper-advanced, with seemingly no upper bound1 vote · 7%
- AI has become a god0 votes · 0%
14 votes Poll closed
I'm asking the AI question, because seemingly everyone else is too
I've seen 5 different think-y articles this week
about being AI-pilled
I was constrained by the Discord poll limitations, some of my points may not come across that well
date doesn't really matter, I picked 2030, feel free to read this as 5-years if that frames things better in your mind
yell at me if you think I missed a gradation somewhere
Where is the bubble will pop and a ton of companies will go under, but AI is here to stay and will scale back to being more reasonable and it will not be pushed as much as it is now
the 4th one
I don't think that is the same thing
oh, at simple tasks
I should read the same thing
3rd or 4th is around that line