HNHacker News
TopNewBestAskShowJobs

KerrAvon

4,366 karma · joined December 19, 2021

submissionscomments
KerrAvon··on I know why the mathematicians weep
No, tech writers have it much worse.
KerrAvon··on I know why the mathematicians weep
> Is it that they were able to deduce the solution by examining all current data sets? Or simply brute force it until the produced solution passed all necessary tests?

Yes, both of these + an infinite token/compute budget and SOTA+ models. It's not like some hobbyist out in the woods with a GPU running Qwen 27B can do this.

KerrAvon··on ICE Planning $100M 'Nightmare' Domestic Spy Program
> most courts are liberal-leaning.

this isn't Europe, so if you make that claim, you have to define "liberal"

> Republicans are far short of a supermajority in the Senate so nothing passes Congress without Democratic votes

in fact that's not how it works! read up on reconciliation and how ICE got funded

> [2] The White House is always singularly partisan by definition, what Democratic counterbalance you expect to see in a Republican White House, or vice versa?

both sides that fucker, good and hard, better things aren't possible woo!

KerrAvon··on ICE Planning $100M 'Nightmare' Domestic Spy Program
we know what the game is -- the original deranged billionaires were the Kochs, whose fault a lot of this is https://en.wikipedia.org/wiki/Koch_family

we've known this forever

turns out nobody cares as long as gas is cheap

KerrAvon··on Apple's new 'Switch to Safari' campaign details why you should ditch Chrome
Awesome, welcome to iPhone. You literally can do that today because the current versions of iOS have added support for RCS.
KerrAvon··on Apple's new 'Switch to Safari' campaign details why you should ditch Chrome
Judging by outcomes, the EU legislation -- the DMA -- is intended to make life harder for successful US companies rather than to make life better for consumers. They need to scrap it and start over. It can't be used as a model elsewhere -- it just gets in the way.
KerrAvon··on Gemini 4 Argon
While IME 4.7 and 4.8 were not appreciably better than 4.6, Opus 5 was noticeably better, and Opus 5.5 is significantly better than Opus 5.
KerrAvon··on Janas: Run LLMs larger than RAM by streaming experts from SSD
There are many of these stream-experts-from-SDDD projects now. What's needed is a guide to all of them and maybe for someone to take the best features of each of them and merge them into one uber project.
KerrAvon··on Muse Wonder
Counterpoint: Musk is a literal Nazi and you shouldn't give his companies any money.
KerrAvon··on C for Rust programmers
I would add on top of brabel's post that C is surprisingly difficult to parse correctly (C++ notoriously so).

Zoom out a little: C is a lot like Unix: simple probably isn't the right word; `underengineered` comes to mind. Which leads to complexity, as you need to make things work in the real world. And so Unix syscalls being designed in the early 1970's for a PDP-11 don't really map to modern needs. And so every unanalyzed complex C app has memory leaks.

To be clear, I like C, I like C++, I like Objective-C, I like Swift; I'm comfortable in all of them. But, in 2026, I don't see why for native code everyone shouldn't be programming in Rust / Swift / other modern memory-safe flavor for any new production use. Zig if you want faster compile times, I guess.

KerrAvon··on C for Rust programmers
From what I can tell in a cursory web search, that regret is more about issues with C++ being unable to abstract that field vs bit divergence properly, not about the concept of having the specialization be bit-based, which is sound.
KerrAvon··on OLED burn-in test: 30-month update
It's available and it works well. Staring at one right now. I don't like it better than glossy for my use, but if I spent a lot of time outdoors with it, I probably would.

https://www.tomsguide.com/computing/macbooks/the-new-macbook...

KerrAvon··on Why were Victorian elites so effective?
The age range of baby boomers is not seriously in question no matter what some internet random on social may say. At most it's a little fuzzy around the edges, but Wikipedia's range of 1946 and 1964 seems on the mark.
KerrAvon··on Across the Globe, People Increasingly Say Social Media Is Harming Democracy
It's not wrong to say "fake news always existed" -- it radicalized Heinlein into becoming a hard-right conservative in the 40's, for example. It's been around since the beginning of the republic.

It is completely wrong to say or imply that quantity of it hasn't changed with social media. All of the Satanic panic church leaflets you speak of -- in aggregate -- had infinitesimally small reach compared to a single Facebook post.

KerrAvon··on Across the Globe, People Increasingly Say Social Media Is Harming Democracy
Consider that those people might be right. A lot of mainstream media outlets have been sanewashing a lot of insane behavior for a few years now.
KerrAvon··on Paramount Skydance has completed its $111B merger with Warner Bros. Discovery
Isn't technically every Israeli adult over a certain age ex-IDF? I had understood service to be compulsory for all citizens.
KerrAvon··on Altman: The world should accept some bad things happening for the benefits of AI
This is not candor; it's an excuse. It's software. Put up guardrails or take an axe to the data center fiber if you're unwilling to do so.
KerrAvon··on Homa: The end of TCP for AI clusters [video]
QUIC is much more well known than Homa. Are there downsides for using it for this application?
KerrAvon··on The evolution of effective altruism
Pretty much what I think of Anthropic's management, man. Dario, at least, needs serious psychiatric help.
KerrAvon··on LeCun has "zero concerns" about AI wiping out humanity, recent "rogue" incidents
have you seen who's in charge of the US? it's here my friend.
KerrAvon··on Watson Jr. memo about CDC 6600 (1963)
He wasn't. The CDC 6600 cost IBM some prestige, but it didn't put a dent in IBM's sales, which were about to skyrocket due to the 360 series.
KerrAvon··on ADHD, autism or complex trauma? [pdf]
Yes? That why you go to a certified professional to see if you have it.
KerrAvon··on 10-year Treasury yield climbs above 5.3% to a level not seen in 24 years
the right wing is not going to like where this all leads (and neither are the centrists or any of the rest of us, tbh)
KerrAvon··on 10-year Treasury yield climbs above 5.3% to a level not seen in 24 years
most politicians cannot do this, to be clear.

trump can do this. it is very rare. you try to do what trump did and you'd be sent to jail instantly.

KerrAvon··on EDG C++ front-end goes public
Just curious, was she happy or unhappy about that promise?
KerrAvon··on 56k.rip – the 1996 dial-up internet experience
Still ugly after all these years. Get a Mac.
KerrAvon··on The top secret URSALA, RAQUEL, and FARRAH satellites (2025)
I've known Navy people to make the case that the Air Force shouldn't be separate from the Navy. I have no idea if they're right, but I'm sure there are websites arguing the pros and cons out there.
KerrAvon··on macOS Golden Gate Is a Buggy Mess
> build integrations for developers who use them.

in practice, developers will not use them. they think they have better ideas and they don't care about platform or the user as an abstraction over the platform. they could use the existing thing.

it's the same mindset that has automakers not wanting to support CarPlay. they think they can do it better or just as well and it's completely missing the point: the user doesn't want to fuck with their custom one-off UI.

KerrAvon··on macOS Golden Gate Is a Buggy Mess
Siri AI is pretty darn good for me. What are your problems with it?
KerrAvon··on Who wrote Elizabeth I's most scathing letters?
Yes, but I married a racist German and my sons all ended up being emotionally stunted perverts. Maybe I'll try a different God next time.
← PreviousPage 2 of 34Next →