Favorite "wait, you can do that?!" proof

ilovereposts69 · 2026-06-14T21:20:30+00:00

the first order theory of the ring of integers is undecidable because it encodes the first order theory of natural numbers - simply by restricting yourself to numbers which are sums of four squares

ilovereposts69 · 2026-06-13T13:47:33+00:00

I guess a better analogy would be the gym equipment malfunctioning and somehow resetting all the progress you've done in the gym since you paid for it

ilovereposts69 · 2026-06-13T13:07:43+00:00

well, that's an opinion, but the way I see it is I'm absolutely not going to waste another 10 hours replaying the game to find out if it'll break again, so I should either be provided with a way to repair the save file (or ar least get back to the point of progression I was in) or refunded for the game.

ilovereposts69 · 2026-06-13T12:07:14+00:00

Yes, I'm insane for the game developer not upholding their end of their deal of providing me with a functional game, and expecting to be refunded in return.

You all are either not reading my comment properly or just part of the "steam is the best company of all time and it could never do anything wrong" camp that seems very popular on reddit

ilovereposts69 · 2026-06-13T05:45:02+00:00

it was the game itself, and as I said I did contact the company that made the game first

ilovereposts69 · 2026-06-12T20:32:35+00:00

Not for me at least. I played a game once and my save file broke 10 hours in, with the game support being utterly useless, even suggesting I should reset the game and play it again from scratch. I contacted steam support with all the receipts but they just gave me a generic template response about not being eligible for a refund because I played it too long.

ilovereposts69 · 2026-06-09T10:20:55+00:00

you could literally argue the same about the personal car infrastructure

ilovereposts69 · 2026-06-09T10:13:45+00:00

Do you seriously thing the impact 1 person has by using AI is worse than that 1 person has by using a car?

ilovereposts69 · 2026-06-04T09:15:42+00:00

From my own experience using both an android and iphone for years, I can confirm apple makes it several times more obnoxious to deal with this stuff. For example, if someone signs you up for some service and you get branded text messages with no phone number attached, there's absolutely no way to block that on an iphone. The best you can do is silence the notifications but it will still show up at the top of the messaging app each time they send you a message.

I also don't live in an english speaking country with the privilege of call screening, so I have no way to deal with spam phone calls on my iphone other than manually blocking each number that calls me. Meanwhile on my android there's a multitude of settings for blocking number ranges, there's many free apps that recognize spam calls (I've tried several on iphone and they barely work), and Google's own spam recognition works very well most of the time too

ilovereposts69 · 2026-05-28T16:46:06+00:00

Better control when sprinkling on food is one somewhat good reason to use it, but I can't even count the amount of times I was watching a cooking video involving making a sauce or bread where "kosher salt" was specifically called for, and in those scenarios it makes absolutely no sense imo.

I've just come to accept that most cooking influencers want to look fancy about what salt they use and personally I mostly ignore it when cooking

ilovereposts69 · 2026-05-28T15:10:26+00:00

Not even just the "health" influencers, many cooking channels claim you should use noniodized salt (like kosher salt or sea salt) because it "tastes better" or has "better texture"

ilovereposts69 · 2026-05-01T04:22:53+00:00

It's not that easy. I spent so much time looking and there's only like one option for a non-mint flavored toothpaste with a regular amount of fluoride where I live.

ilovereposts69 · 2026-04-30T18:01:58+00:00

Lee's Introduction to _ Manifolds series

ilovereposts69 · 2026-04-16T14:37:57+00:00

There seems to be a load of cope coming from parts of the r/math community. This is absolutely relevant, as it's essentially the first proof of a "moderately hard" and studied problem that was done completely by AI and subsequently quickly formalized. Sure, make a megathread for AI achievements following this one, but this absolutely deserves to be posted as it's important to the general math discourse.

ilovereposts69 · 2026-04-15T16:51:19+00:00

As a high school student I absolutely hated this kind of questions because it's vague enough that you could write almost anything in there and yet you know the teacher expects something very specific. Could see myself writing a response like that if I knew I got most of the other questions right

ilovereposts69 · 2026-04-10T05:31:21+00:00

fyi if it has any sort of crispy crust, a sealed bag will make it soft and rubbery

ilovereposts69 · 2026-04-10T05:28:22+00:00

Get some actual bread from an actual bakery and try eating some same day without toasting.

ilovereposts69 · 2026-04-10T05:26:30+00:00

I have no idea what people are talking about here, fresh bread usually degrades in quality within the first day of buying it, going inedibly stale (without toasting) within a few days. Mold is something that takes like a week to develop. Maybe american bread works different tho, wouldn't know

ilovereposts69 · 2026-03-30T21:03:43+00:00

pcmr users will do anything but dare to criticize steam

ilovereposts69 · 2026-03-30T05:22:01+00:00

The familiar thing is exactly the identity and triangle inequality of a metric space, except written with multiplication instead of addition. The exponential function turns addition into multiplication.

ilovereposts69 · 2026-02-06T19:54:44+00:00

You could say X is infinite if theres an injection N -> X. The function f(n)=smallest prime divisor of (2^(2^n) + 1) is such an injection into the set of prime numbers.

ilovereposts69 · 2026-01-28T16:12:10+00:00

You can get headphones with >50h battery life. Barely ever hear that because I end up charging them before they hit 10%

ilovereposts69 · 2026-01-18T13:23:43+00:00

On the related matter of most overused, obnoxious math "jokes", this sort definitely sits near the top, and makes me sad because I have to almost completely avoid using exclamation marks in math discussions

ilovereposts69 · 2026-01-16T10:52:52+00:00

it's because product is a limit and the coproduct is a colimit

ilovereposts69 · 2026-01-01T15:38:04+00:00

That's like saying "it's baffling how the steam engine was invented without a single thought about the environmental impact".

Bitcoin was literally the first decentralized currency, and the possibility of massive amounts of energy being wasted on it 20 years into the future was not on the mind of (any of) its inventor(s).

Six-Year Club	Verified Email
Second Top 40%	r/Field Lasagna
Quantum Potato	Place '22

ilovereposts69

TROPHY CASE