shmoil

6 ms·

1.
by shmoil 6d ago
Andrew Wiles gave 3 lectures, and only at the end of the last one he announced that he solved FLT. Imagine someone from the audience announced in between the second and the third lecture that they proved FLT (using his ideas, obviously). Wh
2.
by shmoil 7d ago
Let me guess. Everything?
3.
by shmoil 7d ago
Nah, I tried to post a long reply yesterday, but YC was glitching, so I just gave up.
4.
by shmoil 7d ago
Ramanujan was dirt poor.
5.
by shmoil 9d ago
I asked AI to formalize an old important paper in analysis. In the paper there is a sequence of epsilon_n > 0, epsilon_n -> 0. It came back, and said: "I formalized it, it is all good, but the assumption that epsilons > 0 is n
6.
by shmoil 9d ago
The author lost me right away. >> I started with the most basic code I could think of: 1 + 2 OK, how did you fit that into 512/1024 bytes??? Did you try print(3 * * 1000)?
7.
by shmoil 10d ago
And occasional steak? I love steak. I am a pesca-pescaterian, btw.
8.
by shmoil 10d ago
Did it also make a 4D chess Stockfish 19 for you?
9.
by shmoil 2mo ago
>> With the show always being filmed in front of a live studio audience (any scenes filmed outside were played back in the studio) it meant the laughter heard is an authentic measure of the audience's reaction. You can stop read
10.
by shmoil 2mo ago
Did you even watch the whole thing?
11.
by shmoil 2mo ago
The same mouse later: https://www.youtube.com/watch?v=0K8lrVjT6fM
12.
by shmoil 3mo ago
>> However, I am confident that Mega Crit will address this issue. They did not address it in StS1, exactly the same bugs were reported there. I would not be very hopeful. They did not even change their RNG to something better, like M
13.
by shmoil 3mo ago
Yeah, but can it one-shot Sven Bomwollen?
14.
by shmoil 3mo ago
>> Anthropic, please ship an official malware for Linux Here, fixed it for you.
15.
by shmoil 3mo ago
And scammers gonna scam.
16.
by shmoil 3mo ago
If you have any doubts, I highly recommend to review the stock price history of GPRO(GoPro), BYND (Beyond Meat), CGC (Canopy Growth), TLRY (Tilray). These are just some somewhat recent IPOs that come to mind, I am sure I am forgetting some.
17.
by shmoil 4mo ago
>> How do you join private trackers from scratch? https://old.reddit.com/r/trackers/wiki/how_to_get_started
18.
by shmoil 4mo ago
The font on this website is unreadable. I read the first 20 or so books in the Discworld series, but I cannot read this website.
19.
by shmoil 5mo ago
Any links to actual full matches played? I only see a point here, a point there, no full matches.
20.
by shmoil 5mo ago
Good job, David. Have a lollipop. Now learn & write up the proof that the Henstock-Kurzweil integral integrates _every_ derivative. This is what we had in my calculus class on top of the outdated Riemann integral.
21.
by shmoil 5mo ago
Mozilla Thunderbolt? Why not "Phyrefox"? They are so incompetent, they could not even come up with a name sufficiently different from their own product.