HNHacker News
TopNewBestAskShowJobs

martin293

79 karma · joined May 21, 2024

submissionscomments
martin293··on GPT-5.4 Pro solves Erdős Problem #1196
Source: https://www.math.inc/a-conversation-with-terry-tao

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

martin293··on GPT-5.4 Pro solves Erdős Problem #1196
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

martin293··on Quitting an Intel x86 Hypervisor
Yes grandpa
martin293··on 300-year-old Polish beech voted Tree of the Year
Me when all the candidates for European Tree of the Year are from Europe
martin293··on A new Sudoku layout with 81 uniquely shaped cells
Please add an option to adjust the thickness of colored lines. Right now it's more of an eyesight test for me.
martin293··on Introducing deep research
Such an informative, well meaning comment
martin293··on Show HN: I made an open-source laptop from scratch
I might have missed it but how much did this cost in total?
martin293··on The Egg, an at Home Nuclear Reactor
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.
martin293··on The Egg, an at Home Nuclear Reactor
Don't RTGs generate power constantly? That would make them impossible to use for a casual customer.
martin293··on A visual proof that a^2 – b^2 = (a + b)(a – b)
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

martin293··on A visual proof that a^2 – b^2 = (a + b)(a – b)
And how exactly did you come to the conclusion that this is relevant here?
martin293··on Only 5.3% of US welders are women. After years as a professor, I became one
I know barely anything about welding, could you explain what a good weld would look like?
martin293··on Only 5.3% of US welders are women. After years as a professor, I became one
> 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?

martin293··on Feds killed 2014 plan to curb Medicare Advantage overbilling
(2014)
martin293··on The Most Dangerous Email (to my career) I've Sent
How did it work out for you in the end?
martin293··on Mpv – A free, open-source, and cross-platform media player
You can only do it for certain formats
martin293··on Show HN: My 70 year old grandma is learning to code and made a word game
> > 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.

martin293··on Show HN: My 70 year old grandma is learning to code and made a word game
Yeah that would be helpful as I can't find it at all. Both lowercarbon and xandrius have 0 posts and comments for me.
martin293··on Antarctica's winter is now 50F hotter than it used to be
This comment can't be real
martin293··on German Navy still uses 8-inch floppy disks, working on emulating a replacement
Pretty sure it's the first one. New systems are inherently more complex which means more possibilities to screw things up.
martin293··on If AI chatbots are the future, I hate it
Soooo what was the problem with your internet?
martin293··on GPU-Friendly Stroke Expansion
Could anyone please explain what stroke expansion actually is either on high school or math undergrad level?
martin293··on Aboriginal ritual passed down over 12,000 years, cave find shows
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.

martin293··on A proof of proof by infinite descent
Well how is it constructed?
martin293··on Show HN: I created an After Effects alternative
We are not doubting his reasons. We were interested in why.
martin293··on WA man set up fake free WiFi at airports and on flights, police allege
...
martin293··on One Million Checkboxes
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.

martin293··on One Million Checkboxes
Stop scripting this yall. The site is having enough trouble as is. I thought we were more mature than reddit.
martin293··on How does a computer/calculator compute logarithms?
> antilog

So exp? e to the power of x?

martin293··on The exponential growth of solar power will change the world
How does that work?
Page 1 of 2Next →