ipnon
Re:I would like the value of my home to rise, while my property taxes ...
on Saturday October 10, 2026 @11:50PM (#50039664)
We seem to have valued comfort for the landowning class over general productivity or creative endeavors in America, and now our tax systems reflect this. Whether comfort is the greatest virtue in the long term remains to be seen.
Re:Sharing AI progress in mathematics
on Wednesday October 07, 2026 @03:03AM (#49989330)
It seems the age old academic model of scientists competing against each other for fame and prestige is done, and now we must merely enjoy the fruits of scientific discovery for their own sake.
Re:If math is more than proof, we need to better celebrate the rest of it
on Saturday September 19, 2026 @10:04AM (#49766688)
I feel that you can see quite strongly the truth in “writing code was never the point” when you encounter inevitably at every company the guy who has been around forever but doesn’t seem to be working particularly hard. Their value is (was) no longer in writing code at a furious pace all day. It was having a coherent, intelligible and communicable theory of the software system the company is founded on.
I propose this thought experiment: put all living mathematicians in a very long bus. This bus crashes and they all tragically lose their lives. Can we really say mathematics simply marches onwards with AI alone? Let’s say Anthropic needs a new research result to improve Claude. Are we really already at the point where we burn tokens ad infinitum and arrive at the end of scientific progress in some timely fashion?
Re:Muse: Meta's personal AI agent, features and capabilities
on Wednesday September 09, 2026 @01:53AM (#49621676)
We should remember that Meta is the largest social media company in the world, so they do not have much trouble with people trusting them with data.
Re:Claude Fable 5.1 and Claude Mythos 5.1
on Tuesday September 01, 2026 @10:08PM (#49530917)
Fable is much more expensive both in time and tokens for a marginal increase in productivity.
Re:vLLM v0.28.0
on Saturday August 29, 2026 @07:17PM (#49494186)
Yes, I think this project is a good example of how complex domains aren't simply solvable just by pointing ever more intelligence at the system, even when the code is all open source and the issues are all well defined. I say this as a contributor!
Re:Aspirational Clownmaxxing and Joey's cadillac todo list
on Friday August 28, 2026 @08:10PM (#49485655)
I used to find internet slang very piercing and illuminating. I felt I was able to describe certain things which were difficult or impossible to convey with AFK language. But now that this way of speaking has become normalized outside of the internet, I find it’s lost this piercing quality, and just makes me confused. If only this cloud in the sky would move away!
Re:U.S. State Department Pauses Immigrant Visa Applications
on Wednesday August 26, 2026 @08:17PM (#49457712)
I think what voters want is for highly skilled founders to come and start companies and for normally skilled employment to go to Americans before foreigners.
Re:Starbase, LA
on Tuesday August 25, 2026 @09:22PM (#49443028)
From 1990 to 2025, the number of people in extreme poverty dropped from around 2.3 billion to roughly 831 million. I think we're making fast enough progress here to warrant public companies going to space on their own dime and volition.
Re:How Universities Should Prepare Founders
on Tuesday August 25, 2026 @02:57AM (#49430018)
I don't think there's much value in college anymore outside of as a class signifier, and most schools are signifying that you are not in the right social class.
Re:Anthropic's best AI model struggles to attract users as cheaper too...
on Sunday August 23, 2026 @07:03PM (#49413463)
It kind of has the personality of those students that get so stuck on one promising idea they lose sight of the problem.
Re:Why does Opus 5 feel worse to work with?
on Friday August 14, 2026 @07:28PM (#49305840)
Very surprised no one has this answer: because it is fundamentally not a human being.
Re:Codex Security
on Sunday August 02, 2026 @01:36AM (#49141437)
I actually don't read any code! For generation I use simulations to ensure satisfactory error rates, for deterministic code I use test suites, and for user interfaces I use good ol' intuition! So I guess you could say I just write extra code that makes reading the code unnecessary. I find it quite strange to be honest! But this is the most effective way for me to ship now.
Re:Ten advances in mathematics and theoretical computer science
on Saturday August 01, 2026 @05:36AM (#49132757)
But why can’t we prompt the LLM “just do math research”? This is what I don’t understand.
Re:Codex Security
on Tuesday July 28, 2026 @08:52PM (#49092056)
Yes, now that humans write less than 99% of code, the most important criteria for a language isn't readability, which I'd argue was always Python's main selling point, but the underlying runtime. There are practical limits to how fast a Python program can run either under I/O or CPU bound compared to other popular and mature languages with extensive libraries, like Elixir, Go or C++, depending on your use case.
Re:Elixir-lang.org has a new design
on Saturday July 18, 2026 @07:14PM (#48963393)
It's a good joke but most of my applications are I/O bound. So I use Elixir for performance.
Re:AI 2040: Plan A
on Thursday July 09, 2026 @01:35PM (#48849591)
Kind of feels like fusion power at this point, always just around the corner.
Re:Ask HN: Are most corporate SWE jobs performative?
on Wednesday June 10, 2026 @10:05AM (#48476505)
A company is like a bridge. The job of a bridge is to support the weight of what crosses it. But if a particular deck or arch or beam or joint or bearing fails to do its own job, the bridge can fail and will catastrophically. Perhaps some beams hold more weights than others, but can any bridge be composed entirely of decks or entirely of arches or entirely of beams? Perhaps, but we do not see many of them. It is always possible to innovate in the design of bridges, but if most of the great bridges in the world all have a mix of decks and arches and beams and joints and bearings, instead of simply being composed of solely beams or solely joints, then we might begin to wonder if this composition is not accidental to the proper functioning of a great bridge, but essential to it, even if we are not particularly interested in or proficient in the Art of Being Another Part of the Whole.
A Declaration of the Independence of Cyberspace (1996)
Re:Pentagon raised threat of Israeli spying on U.S. to highest level, ...
on Saturday June 06, 2026 @11:21PM (#48431463)
I think this is correct. There has been bipartisan support of Israel for decades. Netanyahu even mentions in his autobiography that Israeli politicians usually underestimate the strength and durability of the relationship with America.
Re:What I've Learned (So Far) Building Online Mini Games with Elixir a...
on Tuesday May 26, 2026 @10:03PM (#48288550)
I’ve never thought about how the room model matches the LiveView socket model before. Which socket library are you using?
Re:Can we code our way out of gentrification?
on Monday May 11, 2026 @10:19PM (#48103433)
My neighborhood in California added plenty of these and it didn’t change the vibe of the neighborhood at all. It’s a great YIMBY solution because it satisfies both the pro and anti development crowds.
What's a Mathematician to Do?
Mathematics Genealogy Project
Re:A Theory of Deep Learning
on Wednesday May 06, 2026 @09:12PM (#48044211)
A real theory would predict phenomena thus far unseen. We already know about this 4 part taxonomy.
Re:From Supabase to Clerk to Better Auth
on Wednesday May 06, 2026 @08:53PM (#48044065)
It’s not that crazy! Or hard. If you can store a hashed password in your users table, and keep the salt secret, you have working auth.
Re:A Couple Million Lines of Haskell: Production Engineering at Mercury
on Saturday May 02, 2026 @11:30PM (#47993052)
I have noticed that everything in their app Just Works. It's very satisfying coming from other services!
Re:Modern C++ Programming: Busato
on Saturday May 02, 2026 @10:33PM (#47992752)
CUDA is an extension of C++ just like C++ is an extension of C. Deployed CUDA is growing exponentially. C++ is definitely not a dying language!
Re:Dabbling in Erlang, part 2: A minimal introduction (2013)
on Saturday May 02, 2026 @10:29PM (#47992734)
I don't know of any. People are really just selecting for the underlying runtime. And Elixir and Gleam are better targets here.