HNHacker News
TopNewBestAskShowJobs

newAccount2025

243 karma · joined January 1, 2025

submissionscomments
newAccount2025··on ICEBlock, an app for anonymously reporting ICE sightings, goes viral
Perfectly put. American as in the historic reality. Unamerican as in the marketing ideal.
newAccount2025··on ICEBlock, an app for anonymously reporting ICE sightings, goes viral
Are you suggesting all racists are White rednecks? Racist systems are capable of absorbing contributions from all kinds of people. Whiteness has repeatedly expanded over time.
newAccount2025··on ICEBlock, an app for anonymously reporting ICE sightings, goes viral
I don’t disagree with the characterization of ICE officers as racist thugs, but retaliatory violence is (1) still immoral and (2) self-defeating.

You aren’t realistically going to overpower them, so any violent resistance just helps them DARVO harder and excuse escalating their brutality. That’s why they’re always so eager to find or create violent one-offs within non-violent mass protests.

newAccount2025··on More on Apple's Trust-Eroding 'F1 the Movie' Wallet Ad
Will they though? Where does a privacy-conscious consumer turn? The only other serious option is Android, where Google will eagerly track all the things.
newAccount2025··on Verifiably Correct Lifting of Position-Independent x86-64 Binaries (2024)
Real computer science is so cool.
newAccount2025··on Klein Bottle Amazon Brand Hijacking (2021)
Aren’t vitamins a crapshoot anywhere? I thought there was basically no regulations on any of it.
newAccount2025··on David Attenborough at 99: 'I will not see how the story ends'
At least the asteroid didn’t know better and wreck it anyway?
newAccount2025··on At Amazon, some coders say their jobs have begun to resemble warehouse work
I really like a lot about Amazon. Friendly and creative people, good projects with high ambiguity and autonomy. The bad parts are the penny-pinching, careless and unaccountable senior leaders who just wants to exploit everyone and everything. But really, aside from things like RTO, they aren’t too impactful on the day to day.
newAccount2025··on Chomsky on what ChatGPT is good for (2023)
[flagged]
newAccount2025··on The average workday increased during the pandemic’s early weeks (2020)
Say you have a great boss without saying you have a great boss. :)
newAccount2025··on I decided to pay off a school’s lunch debt
It was a really nice time. One less chore to worry about every night.
newAccount2025··on Harvard's response to federal government letter demanding changes
Defending all speech however deplorable would be consistent and defensible. The administration isn’t doing that. They are targeting speech they don’t like. Don’t speak out against our genocide in Gaza or be deported/expelled. Don’t share your pronouns or lose your job. Etc.
newAccount2025··on Data centers contain 90% crap data
Seems like we should be solving this at the storage system layer, instead of per application?
newAccount2025··on Trump's Tariffs Wipe Out over $6T on Wall Street in Epic Two-Day Rout
Sure, on paper, but who will enforce it? He’s already attempted a coup. He has 4 years to prepare for the retry. He’s already putting loyalists into law enforcement and military spots. He’s immune to all lawsuits and has the congress cowed.
newAccount2025··on Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods
A deeply considered take: this is theoretically interesting but in practice matters very little.

It’s like worrying about compiler bugs instead of semantic programming errors. If you are getting to the point where you have machine checked proofs, you are already doing great. It’s way more likely that you have a specification bug or modeling error than an error in the solver.

If you are worried about it, many people have solutions that are very compelling. There are LCF style theorem provers like HOL Light with tiny kernels. But for any real world systems, none of this matters, use any automated solvers you like, it will be fine.

newAccount2025··on Has the decline of knowledge work begun?
Beautifully put. It feels like a view we sorely need as our corporate overlords become AI enabled.
newAccount2025··on Global population datasets underrepresent rural population
Why should laws favor rural regions instead of people?
newAccount2025··on Appeals court rules that Constitution protects possession of AI-generated CSAM
This is a very interesting point. In the era of AI, does it begin to break down? Like, if the AI systems can eventually generate piles of these materials without human victims, will it actually reduce the incentive for “real” CSAM?
newAccount2025··on Appeals court rules that Constitution protects possession of AI-generated CSAM
How does it harm the children whose images it was trained on?

Maybe if it substantially recreates the input images it is equivalent to plain copying and redistribution.

Maybe it creates an economic incentive to abuse more children to create more training data?

newAccount2025··on Amazon plans to lay off 14,000 managerial positions to save $3.5B yearly
I think it’s subjective like any role, but mostly you are trying to evaluate what their team is delivering, are they making effective strategic plans, how’s their 360 degree feedback and survey scores of worker satisfaction, are they making successful hires and retaining their people, are they growing the next generation of leaders, and so on?
newAccount2025··on Wealthy Americans fuel half of U.S. economy consumer spending
Maybe ending inheritance or making money expire would be a good idea? It all feels like aristocracy to me now.
newAccount2025··on How to gain code execution on hundreds of millions of people and popular apps
It’s not a matter of good or bad, but a choice among alternatives?

Nobody gets fired: learning opportunity for next time, but little direct incentive to improve.

Fire someone: accountability theater (who is really responsible), loss of knowledge.

AFAIK, blameless postmortems and a focus on mechanisms to prevent repeats seems like the best we’ve come up with?

newAccount2025··on Apple says it will add 20k jobs, spend $500B, produce AI servers in US
I solve this by asking for a 31, 41, or 51 minute timer.
newAccount2025··on One year after switching from Java to Go
> In the course of a developer's years, if I only restart the server two times an hour, this saves me an additional day (!) of development time per year.

You are working too much.

newAccount2025··on The Generative AI Con
Can it be an investment bubble but also a hugely promising technology? The FOMO-frothing herd will over-invest in whatever is new and shiny, regardless of its merits?
newAccount2025··on Firing programmers for AI will destroy everything
One major critique: why do we think junior programmers really learn best from the grizzled veterans? AI coaches can give feedback on what someone is actually seeing and doing, and can be available 24x7. I suspect this can enable the juniors of the future to have a much faster rise to mastery.
newAccount2025··on Three Observations
To the 1%? Just look at the historic wealth distribution chart. It’s wild.

https://en.m.wikipedia.org/wiki/Wealth_inequality_in_the_Uni...

newAccount2025··on DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via RL
Do we have any idea how long a cloud provider needs to rent them out for to make back their investment? I’d be surprised if it was more than a year, but that is just a wild guess.
← PreviousPage 3 of 3