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…
Let me guess. Everything?
Nah, I tried to post a long reply yesterday, but YC was glitching, so I just gave up.
Ramanujan was dirt poor.
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 >…
[dead]
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)'?
And occasional steak? I love steak. I am a pesca-pescaterian, btw.
Did it also make a 4D chess Stockfish 19 for you?
[flagged]
>> 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…
Did you even watch the whole thing?
The same mouse later: https://www.youtube.com/watch?v=0K8lrVjT6fM
>> 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…
Yeah, but can it one-shot Sven Bomwollen?
>> Anthropic, please ship an official malware for Linux Here, fixed it for you.
And scammers gonna scam.
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…
>> How do you join private trackers from scratch? https://old.reddit.com/r/trackers/wiki/how_to_get_started
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.
Any links to actual full matches played? I only see a point here, a point there, no full matches.
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.
Mozilla Thunderbolt? Why not "Phyrefox"? They are so incompetent, they could not even come up with a name sufficiently different from their own product.
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…
Let me guess. Everything?
Nah, I tried to post a long reply yesterday, but YC was glitching, so I just gave up.
Ramanujan was dirt poor.
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 >…
[dead]
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)'?
And occasional steak? I love steak. I am a pesca-pescaterian, btw.
Did it also make a 4D chess Stockfish 19 for you?
[flagged]
>> 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…
Did you even watch the whole thing?
The same mouse later: https://www.youtube.com/watch?v=0K8lrVjT6fM
>> 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…
Yeah, but can it one-shot Sven Bomwollen?
>> Anthropic, please ship an official malware for Linux Here, fixed it for you.
And scammers gonna scam.
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…
>> How do you join private trackers from scratch? https://old.reddit.com/r/trackers/wiki/how_to_get_started
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.
Any links to actual full matches played? I only see a point here, a point there, no full matches.
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.
Mozilla Thunderbolt? Why not "Phyrefox"? They are so incompetent, they could not even come up with a name sufficiently different from their own product.
[flagged]