News for hackers. Stuff that matters.

pierrefermat1

Re:P99 0 ms* autocomplete for 240M domain names on Monday August 31, 2026 @02:05AM (#49506149)
Yes, OP seems to have completely lost touch with what is actually useful vs optimizing metrics for the sake of it.
For those in the comment section looking for a split alternative to this, there is this Kickstarter(be warned of the usual problems with Kickstarters):

https://www.kickstarter.com/projects/ryanlpeterman/compose-s...

or this that is in stock but doesn't exactly follow Apple's layout

https://www.ozokeyboards.com/products/jiffy75-wireless-split...

Re:ARC-AGI Leaderboard on Saturday July 25, 2026 @09:12AM (#49047332)
What seems to implied is that some of his hold out testing suite includes simple/common tests that are out in the wild, and for those opus went straight to a memorised solution .
Re:Leanstral 1.5: Proof Abundance for All on Friday July 03, 2026 @07:40PM (#48781304)
When you dogfood your AI slop all day, suddenly everything becomes impressive
There is no contrast lol, if you actually consider the other gear choices he made they are all equally terrible. The god awfully un-ergo chair, poor measuring LS50's, junk keyboard......
The instant on thing actually bothered me enough to make switch from windows back to Mac( by proxy the idle battery drain on windows was also pretty terrible)
Depends on your definition of "instant".

What we really mean is before you complete the action of fully opening the hinge to 120deg which is something like 1.5-2seconds?

AFAIK pre M1 days it would be still a few seconds after fully opening and now it's more like < 1sec.

Re:Fermat's Last Theorem in Lean – Imperial College London on Saturday August 02, 2025 @11:40PM (#44773905)
The concept trying new science orgs is noble, but this is the typical Schmidt BS of saying every previous academic consortia is totally incompetent and I'm the only one that can inject the magic sauce of focus and coordination.
Re:Show HN: A personal YouTube frontend based on yt-dlp on Sunday March 16, 2025 @01:06AM (#43377033)
Would really appreciate if you could add some options for download quality(with webm merge for 4k support), gave it a go and it just by default downloads the 360p MP4.
Re:The $100T Disruption: The Unforeseen Economic Earthquake on Saturday March 01, 2025 @10:09PM (#43226814)
40% alochol consumption reduction did not lead to "a fundamental restructuring of the social economy"

The hyperbole is just painful to listen to

The reality is journalists don't really have the knowledge to explain any specifics at all, so you just get this fluff. But hey at least there's pretty pictures
Re:Fermat's Last Theorem – how it's going on Sunday December 15, 2024 @05:52AM (#42422763)
I think the better mapping of unit tests would actually be proofs of lemmas ?
Actually curious what the minimum bitrate/resolution they could store with to be still usable in court
See authors profile, he is stupidly biased in forcing this connection.
Re:Rats Learned to Drive–and They Love It on Tuesday November 19, 2024 @03:12AM (#42181029)
Same here, refusing to load
Curious if you could link some relevant papers on this?
It seems like in their mind the snake ate it's tail without realising, so they don't even know what's outside of Google's index.
Yes OP is hilariously out of touch, the storage would be sub 1% of total costs.
Re:What Life Means to Einstein (1929) [pdf] on Thursday August 29, 2024 @06:41AM (#41389366)
If you purely value scientists with some sort of Value Over RePlacement metric on their scientific contribution alone, I would like to think Einstein is tier 1 along side another 20-50 people.
Re:What Life Means to Einstein (1929) [pdf] on Thursday August 29, 2024 @06:34AM (#41389314)
Sure not your average scientist, but could I find a few hundred who have but who are themselves of no particular fame? Quite easily yes.
Re:Air Con: $1697 for an on/off switch on Thursday August 29, 2024 @06:31AM (#41389294)
It seems like in this particular situation if you had a mainland chinese friend, he would have been able to source a replacement tablet panel for the cheap on 1688.com for ~50 USD.
Re:The Future of TLA+ [pdf] on Wednesday August 28, 2024 @09:57PM (#41386490)
I've only play with TLA+ for a small amount of time but absolutely agree with the maths statement being way off the mark.

Building out any real maths with logic operators yourself is just not feasible in a meaningful timescale.

Re:Eric Schmidt deleted Stanford interview on Tuesday August 20, 2024 @04:18PM (#41303633)
Yes at the extremes where you have sufficient leverage the hours are irrelevant, but for any pre-IPO stage CEO my statement is clearly not a misconception.
Re:Eric Schmidt deleted Stanford interview on Monday August 19, 2024 @03:48AM (#41288787)
There is a difference between knowing if a blind spot exists vs knowing what in the blind spot.

I.E. taking a driving lesson and learning that there's a blind spot in your rear view mirror

Re:Eric Schmidt deleted Stanford interview on Sunday August 18, 2024 @11:52PM (#41287652)
Your CEO may very well be working those hours too except for good reason since he's value aligned+ highly leveraged and able to capture the benefits from the extra work
Re:Eric Schmidt deleted Stanford interview on Sunday August 18, 2024 @11:49PM (#41287643)
The biggest difference between him and a "normal smart person" is they realize they have blind spots and choose not to publicly spout opinions on them.
This is so hilariously bad, how does something like this end up needing to be a user created Github issue and not being caught when you guys launch.
Are you using some sort of naive profanity filtering for profile names? I couldn't create an user name with "assist" in it due to "ass" being included?
Re:How Olympics Officials Try to Catch "Motor Doping" on Tuesday July 23, 2024 @07:58PM (#41052317)
I suppose you are only referring to the young directly involved, but the young watching the comp could also be just as impressionable and start looking into using the same drugs.

But my real take is this hopefully gets everyone to understand how meaningless/ugly this all is and actually combats PED use that way.

Re:How Olympics Officials Try to Catch "Motor Doping" on Tuesday July 23, 2024 @07:54PM (#41052283)
https://www.scott-sports.com/us/en/products/bike-ebikes-road

I think Scott has one of the cleanest looking road bike ebikes around, but many other brands do the same. With how chunky aero bikes are they are indistungishable to the masses.

Older »