HN user
It's been amusing to watch the points bounce up and down on my comment.
I guess equally half the readers agree with my sentiment, and half down-vote, being upset by my attitude to the AI industry :)
PS. I'm quietly waiting for the bubble to pop - the main interest being will it pop with a bang and cause grief to many, or will it just go with a long drawn-out fart that can be ignored by most.
GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture
Very misleading article title.
Title should be "Un-named humans produce unverified proof of CDC Conjecture using GPT-5.6" ... but I expect only advertising copy when it comes from the AI industry.
Is there anything on the website that isn't "AI" generated? Oh dear, oh dear, oh dear :(
Can't imagine it would survive the first descent storm. Unlike conventiolnal turbines, it doesn't seem to have any way of protecting itself.
Few thousand? Really? Larousse Gastronomique is 3600 pages, averaging maybe 1 recipe and 1 ingredient per page - and that's just classic French cooking.
Me too. The number of "revolutionary" designs that are announced but disappear makes me cynical. Looking wings on real aircraft, unless freshly painted, they're pretty close to finely sanded :) If the airlines and engineers saw a significant performance degradation with wear, they'd be out there polishing and repainting wings.
On a similar note - How many times have you seen announcements about someones blended wing that is going to save 50% fuel? But there are very few blended wings in nature (eg. rays), and those are in a very slow-speed regime.
I'm inclined towards keeping an ancient android for those apps that require it, and maybe something open for actual use. Or perhaps a crappy old android for android and a small non-android tablet/laptop for daily-driver stuff, which always works better as a computer anyway!
I'm also becoming open to using software that lies to google about what it is :) Google will treat us like sh*t, why shouldn't we reciprocate.
Same reason as "make another (better) windows" is very difficult - almost everyone wants to be able to run existing apps and drivers, so you're forever playing compatibility catchup with android (or windows).
That's the reason companies are desperate to be first/biggest - once you're it, you're it until you finally fall on your face and dwindle to a nobody.
I've always felt that to treat infinity as number is to commit a category error (aka type conflict), to confuse the process with the outcome of the process. Infinity has proven to be very useful, but usefulness doesn't make it always valid.
It's a great pity but I won't be buy more Ubiquiti hardware unless their direction improves. I loved the Ubiquiti hardware until a year or so ago. It was well spec'd, well priced, reliable, and it was easy to upgrade to OpenWrt. (Changing to OpenWrt was definitely an upgrade - get away from their you-must-do-it-our-way software. OpenWrt isn't perfect but mostly just works.)
But Ubiquiti have changed. The new hardware is silly - little screens and do-everything-on-an-app-with-our-cloud firmware. It's my infrastructure, I don't want to rely on your cloud! I only hope they go back to making good hardware and letting us use it for what we want.
> However, the tech exists for a reason and is not inherently bad, the issue is the lock-in, the lack of choice and interoperability.
The marketing excuse for the tech might be features or efficiency, but the reason for the tech is lock-in and minimising product lifetime.
The days when manufacturers had friendly, cooperative relationships with their customers are long gone :( Can we bring them back? I hope so, but am not hopeful.
> It has barely hit 50% and it's already plateauing.
Well, the curve has got to level-out at 100%.
From Corsair
> DDR5 technology comes with an exclusive data-checking feature that serves to improve memory cell reliability and increase memory yield for memory manufacturers. This inclusion doesn't make it full ECC memory though.
"Proper" ECC has a wider memory buss, so the CPU emits checksum bits that are saved alongside every word of memory, and checked again by the CPU when memory is read. Eg. a 64 bit machine would actually have 72 bit memory.
DDR5 "ECC" uses error correction only within the memory stick. It's there to reduce the error rate, so otherwise unacceptable memory is usable - individual cells have become so small that they are not longer acceptably reliable by themselves!
As I understand it, the 50-move rule must be invoked by one of the players, lets assume our immortal players agree not to invoke that rule.
The 75-move rule is automatic, so that would be the limiting factor.
Note, that 75-move rule is only applicable after no pawn has moved or a piece has been captured. So our immortals can do a lot of shuffling things around.
I'm thinking that the number of moves of the longest game is going to be (16 pawns * 7 moves each + 16 pawns being captured + 14 other pieces each being captured, not the kings) * 75 moves for shuffling around = 10650 moves.
That's only 1 week at 1 move per minute! But given the permutations, it might take much longer to calculate the actual moves required to get to the end state :)
Personally, I would like the name to be somehow related to the system. When I'm facing a stack of names and icons, make it easy for me.
Names without some connection to the thing are just more difficult. Maybe the name isn't descriptive - you can only have some many versions of ed, edit, edt, vedit, gedit, zed... I'm perfectly happy with puns and jokes - eric can be connected to (monty) python. It's the connection that makes it memorable. Even yacc and grep have some connection to the program.
I've been using Vivaldi browser for a while now, but neither the name nor icon have formed a natural connection to browsing for me. Same with Lazarus (an IDE), no obvious link (worse, it's nothing to do with raised from the dead). But "Bluefish Editor" at least tells me what it does, not a full description, but plenty.
And I though the arbitrary, non-mnemonic, unrelated-to-anything project/app names had got too much ... obviously we're way past that :(
To me, it looks like the whole article was generated by AI. Using slop to promote slop ;(
How about requiring all APIs to be open? Companies are free to run/maintain/drop servers and apps, but we'd have the ability to use the hardware we bought, if we write our own apps.
That might actually be good for security. If APIs must be public, proper cloud security becomes necessary (rather than relying on obscurity).
There are several versions of the Cray 1 Hardware Reference manual online. They're not as descriptive as Design of a Computer, but still informative.
Oh great - yet another way to get AI slop. Slop text, a slop cover - just raw slop, straight from the slopperizor. And the internet gets another little bit deader.
software is easier than hardware
Software is certainly easier to replicate that hardware, 1M copies cost almost exactly the same as 1 copy :)
I thought for a long time that rather than move to Wayland, we could come up with a tidied-up version of X. Sounds like a good and useful project, I hope it progresses.
Where do they say they're omitting drawing and xrender?
What's amazon's angle on this? Because it's not believable that they wouldn't have an angle.
So the real question is - how is amazon going to enshitify drm-free books? Are they trying to wipe out gutenburg, standard-ebooks, etc?
Are they trying to be the youtube of drm-free? The place where everyone goes, and that becomes crap due updating Ts&Cs - inserting ads or charges?
As Mr Pratchett says - "it's turtles all the way down".
That's a plus - patch drywall doesn't show annoying, crappy, unwanted ads at every opportunity.
I always liked the idea of literate programming, but it never seemed to get a toe in the door.
A good start would be just commenting code! Almost all the code I've looked into recently has been startling - the only comments are the licence boilerplate at the top of each file!
I can think of only one product/library/package that was commented to explain what was happening. Go look at the source for a random package that you depend on. If you're really lucky, there might be something hinting at the meaning of function arguments, but like as not, not even that ;(
Summary of the current situation...
LLMs have shown us just how easily we are fooled.
AGI has shown us just how little we understand about "intelligence".
Standby for more of the same.
And it's been possible to run android on x86 for years. It's just that nobody wants to, except for app developers ... because you wouldn't/couldn't/shouldn't develop on a phone ;)
A different approach to the same problem: see https://posithub.org/ or https://en.wikipedia.org/wiki/Unum_(number_format)