News for hackers. Stuff that matters.

martin293

Re:GPT-5.4 Pro solves Erdős Problem #1196 on Wednesday April 15, 2026 @04:46PM (#47785004)
Source: https://www.math.inc/a-conversation-with-terry-tao

However, I think this is still likely a very significant achievement/milestone.

Re:GPT-5.4 Pro solves Erdős Problem #1196 on Wednesday April 15, 2026 @04:41PM (#47784952)
I have no exact prompt to share, but he does write:

> Appreciate the insight! If it's at all of interest, this was a one-shot (supposed) solution in about 80 mins, unlike some other problems like 851 that took over 20 continuations totalling perhaps 15-20 hours of reasoning time.

Source: https://www.erdosproblems.com/forum/thread/1196#post-5365

Re:Quitting an Intel x86 Hypervisor on Monday March 24, 2025 @03:54AM (#43458482)
Yes grandpa
Re:300-year-old Polish beech voted Tree of the Year on Sunday March 23, 2025 @07:51AM (#43452339)
Me when all the candidates for European Tree of the Year are from Europe
Re:A New Sudoku Layout with 81 Uniquely Shaped Cells on Friday March 14, 2025 @03:55AM (#43360468)
Please add an option to adjust the thickness of colored lines. Right now it's more of an eyesight test for me.
Re:Deep Research on Tuesday February 04, 2025 @01:57AM (#42929005)
Such an informative, well meaning comment
Re:Show HN: I Made an Open-Source Laptop from Scratch on Thursday January 23, 2025 @05:24AM (#42802623)
I might have missed it but how much did this cost in total?
Re:The Egg, an at Home Nuclear Reactor on Wednesday January 08, 2025 @07:55AM (#42633672)
Possibly. I'm not sure what you would do with it in the summer though. Even Arctic and Antarctica have pretty big seasonal temperature variations.
Re:The Egg, an at Home Nuclear Reactor on Tuesday January 07, 2025 @05:34PM (#42628504)
Don't RTGs generate power constantly? That would make them impossible to use for a casual customer.
Re:A visual proof that a^2 – b^2 = (a + b)(a – b) on Sunday December 15, 2024 @04:59PM (#42426272)
Ok nvm I can't resist wasting my time and typing stuff on the internet again, probably gonna regret it later.

How is it not obvious to the dullest of the dull that this visual proof is not supposed to work for goddamn commutative rings lmao

It's probably not even supposed to work for negative reals, 0 or the case b>a. It's supposed to demonstrate the central idea of the visual proof. Also yes, by choosing suitable ways to interpret the lengths shown in the diagrams it's absolutely possible to extend the proof to all reals but I'm not convinced it's meant to be interpreted like that.

But bringing commutative rings into this... man you're funny

Re:A visual proof that a^2 – b^2 = (a + b)(a – b) on Sunday December 15, 2024 @11:51AM (#42424434)
And how exactly did you come to the conclusion that this is relevant here?
I know barely anything about welding, could you explain what a good weld would look like?
> One man, watching me while I cut 8-foot lengths of tubing for him, told me that I could simply hook my tape measure over the saw blade and subtract ⅛-inch to find the correct length. Piqued after I explained why his method wouldn’t work for a precise measurement, he responded by quizzing me on something I wasn’t likely to know: the purpose of the black diamonds on my tape measure.

Perhaps I'm picturing the situation wrong, but why wouldn't it work on the precision levels of a tape measure?

(2014)
Re:The Most Dangerous Email (to my career) I've Sent on Friday August 30, 2024 @03:42PM (#41403834)
How did it work out for you in the end?
You can only do it for certain formats
> > Not to be negative or anything but [absolutely justified skepticism based on how much various publicity stunts have been done]

Your comment is also much much ruder than the one you're replying to.

Yeah that would be helpful as I can't find it at all. Both lowercarbon and xandrius have 0 posts and comments for me.
Re:Antarctica's winter is now 50F hotter than it used to be on Saturday August 03, 2024 @06:35PM (#41149805)
This comment can't be real
Pretty sure it's the first one. New systems are inherently more complex which means more possibilities to screw things up.
Re:If AI chatbots are the future, I hate it on Thursday July 11, 2024 @08:50AM (#40936158)
Soooo what was the problem with your internet?
Re:GPU-Friendly Stroke Expansion on Saturday July 06, 2024 @10:41AM (#40890718)
Could anyone please explain what stroke expansion actually is either on high school or math undergrad level?
That's not how I understood it. From the article:

> "The mulla-mullung would then chant the name of the sick person, and once the stick fell, the charm was complete,"

Which to me seems like a healing ritual.

Re:A Proof of Proof by Infinite Descent on Tuesday July 02, 2024 @02:03AM (#40853925)
Well how is it constructed?
Re:Show HN: I created an After Effects alternative on Monday July 01, 2024 @10:12AM (#40846014)
We are not doubting his reasons. We were interested in why.
Re:One Million Checkboxes on Wednesday June 26, 2024 @04:22PM (#40804210)
I guess I had a bit of a harsh reaction yeah, sorry about that. I came back here and found the site down. It seems to be back up now though and you're right that it doesn't really matter anyway.

I still do think that at least some people would prefer even their silly site not being spammed with scripted requests.

Re:One Million Checkboxes on Wednesday June 26, 2024 @03:29PM (#40803632)
Stop scripting this yall. The site is having enough trouble as is. I thought we were more mature than reddit.
Re:How does a computer/calculator compute logarithms? on Friday June 21, 2024 @12:26PM (#40751151)
> antilog

So exp? e to the power of x?

How does that work?

Older »