HNHacker News
TopNewBestAskShowJobs

marsten

611 karma · joined January 15, 2023

submissionscomments
marsten··on Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem
In the grand scheme it's good to invent things that replace human labor. It frees up people to do more interesting things. The goal should be to put everyone out of a job.
marsten··on Why AI systems don't learn – On autonomous learning from cognitive science
Agents playing the iterated prisoner's dilemma learn to cooperate. It's usually not a dominant strategy to be entirely sociopathic when other players are involved.
marsten··on Rendezvous with Rama
What hit me when I read Rama in the 1980s is how alien it all was. This is not Star Trek where the aliens speak English and look human-ish.

There's a lesson there for AI I think. We anthropomorphize AI in the media but perhaps the more realistic possibility is that AI is a fundamentally different type of intelligence that may never be fully human-like.

marsten··on European Tech Alternatives
IMHO the EU is the best place to live if you're a rank-and-file worker, and the US is the best place to live if you're ambitious.

EU integration brings some advantages but it also becomes harder to experiment. Ideally you'd have a few member states vying to become the Shenzhen of Europe but that won't happen under EU integration.

marsten··on European Tech Alternatives
Well said. Another factor that nobody in the EU likes to talk about is regulations like worker protections that make it hard to do layoffs. Such regulations are popular but they strongly favor large predictable companies over startups.

No economy has both: (1) a predictable investment and work environment, and (2) a vibrant technology sector. You make your choices and you live with them.

marsten··on I'm not worried about AI job loss
Yes, and housing is priced by competitive auction so if you drop out of the rat race and other people don't, you'll just get out-bid.
marsten··on The Singularity will occur on a Tuesday
As we approach this pole running off to infinity, what bit of reality will intervene? An infinity in a model indicates you're missing some aspect of saturation or friction that will act to slow things down. Every exponential eventually becomes an s-curve.

Data center space? Electrical power? The amount of training data available? Society's capacity to accept rapid change?

marsten··on The elegance of movement in Silksong
Yes but the thing is, most people don't actually want realistic movement. They want to be Neo in The Matrix, not some average schlub that gets easily winded and jumps six inches high.

Lex Fridman's interview with Todd Howard goes into this in depth.

marsten··on Uncle Sam shouldn't own Intel stock
> Intel is strategically important.

Fab capability on US soil is strategically important. Intel is one of many possible routes to that.

marsten··on Uncle Sam shouldn't own Intel stock
Intel should have spun out their fab in 2009-2010 when the signs were clear: Mobile was taking off, AMD spun out their fab, Intel had missed the boat on mobile CPUs, and Apple had acquired PA Semi and was investing heavily in custom silicon.

High-end fab is a volume game and that was the time frame when Intel was still process competitive and could have competed for Apple's business (and Nvidia's, ...). But that would never happen as a division of Intel, nobody wants to send their designs to a competitor.

marsten··on GPT-5
Biological weapons are probably the more worrisome case for AI. The equipment is less exotic than for nuclear weapon development, and more obtainable by everyday people.
marsten··on Why MIT switched from Scheme to Python (2009)
I attribute the curriculum shift to something slightly different, which is the changing perception of CS as a career.

When I was in college in the late 1980s, CS was not perceived as the moneymaking career it is today. Accordingly the kids who went into CS were typically the nerds and hackers who truly loved the field.

Many kids now perceive CS as a safe, lucrative career option akin to becoming a doctor or lawyer. It attracts many students who are smart but perhaps not as intrinsically excited about the field. The universities adjusted their curricula to what these students care about: Less beautiful theory, and more practical training.

A similar thing happened in statistics. At one time it was hardcore stats nerds. Now "data science" has brought a ton more people into the field and the teaching methods have changed dramatically.

marsten··on Nobody has a personality anymore: we are products with labels
The problem isn't that time blindness is a fake issue.

The problem is that many people incorrectly self-diagnose as suffering from conditions like time blindness. Which they do for a variety of reasons: To externalize accountability for why they're late, to feel special, and so on.

A comparison is the large number of people who claim "gluten sensitivity" and maintain special diets. Now there are serious medical conditions like celiac disease that require one to avoid gluten. But the vast majority of self-diagnosed "gluten sensitives" do not have such conditions. Researchers conclude that for many of them there is no physical basis for their self-diagnosis.

Among other things this phenomenon makes it harder for people with actual conditions to be taken seriously, because there are so many impostors.

marsten··on The Gentle Singularity
> Over the years, the magic was never lost on me. However, I can never see LLMs as more than a "token prediction machine".

The "mere token prediction machine" criticism, like Pearl's "deep learning amounts to just curve fitting", is true but it also misses the point. AI in the end turns a mirror on humanity and will force us to accept that intelligence and consciousness can emerge from some pretty simple building blocks. That in some deep sense, all we are is curve fitting.

It reminds me of the lines from T.S. Eliot, “...And the end of all our exploring, Will be to arrive where we started, And know the place for the first time."

marsten··on OpenAI dropped the price of o3 by 80%
You raise a good point that this isn't a low marginal cost business like software, telecom, or (most of) the web. Efficiency will be a big advantage for companies that can achieve it, in part because it will let them scale to new AI use cases.

With the race to get new models out the door, I doubt any of these companies have done much to optimize cost so far. Google is a partial exception – they began developing the TPU ten years ago and the rest of their infrastructure has been optimized over the years to serve computationally expensive products (search, gmail, youtube, etc.).

marsten··on Sandia turns on brain-like storage-free supercomputer
Interesting that they converged on a memory/network architecture similar to a rack of GPUs.

- 152 cores per chip, equivalent to ~128 CUDA cores per SM

- per-chip SRAM (20 MB) equivalent to SM high-speed shared memory

- per-board DRAM (96 GB across 48 chips) equivalent to GPU global memory

- boards networked together with something akin to NVLink

I wonder if they use HBM for the DRAM, or do anything like coalescing memory accesses.

marsten··on See how a dollar would have grown over the past 94 years [pdf]
A surprising number of 401(k) plans default to a money market fund for invested assets. Imagine retiring after a decades-long career and realizing what could have been.
marsten··on See how a dollar would have grown over the past 94 years [pdf]
I've always found it amusing that mathematically it should be the rule of 70, but it's commonly rounded to 72 because the latter has more convenient divisors.

70 is divisible by 1, 2, 5, 7, 10, 14, 35, 70

72 is divisible by 1, 2, 3, 4, 6, 8, 9, 12, 18, 24, 36, 72

marsten··on Why Bell Labs Worked
The standard answer is that the US government broke up Ma Bell in the early 1980s to encourage competition. Hence the quid pro quo that had existed for decades – you let us have a monopoly, we'll do research in the public interest – vanished.

In short the fact that you can now make free long distance calls is why Bell Labs died.

I wonder if we'll see a similar change now that the DOJ is going after Google for antitrust violations. Google has been very open about publishing many of their innovations (like the Transformer architecture), not to mention DeepMind's work e.g. the protein folding work that got a Nobel prize.

marsten··on Initialization in C++ is bonkers (2017)
Unfortunately C++ ended up with a set of defaults (i.e., the most ergonomic ways of doing things) that are almost always the least safe. During most of C++'s development, performance was king and so safety became opt-in.

Many of these can't be blamed on C holdover. For example Vector.at(i) versus Vector[i] – most people default to the latter and don't think twice about the safety implications. The irony is that most of the time when people use std::vector, performance is irrelevant and they'd be much better off with a safe default.

Alas, we made our bed and now we have to lie in it.

marsten··on Business books are entertainment, not strategic tools
Length is 100% marketing. There is no commercial market for 15-20 page essays, which would be the ideal length for a lot of business books. (The famous Harvard Business Review cases are typically this long.)

The reason many business books feel fluffy is that these 15-20 pages of solid content are spread over 300 pages to meet the expectations of readers and booksellers.

marsten··on Evidence of controversial Planet 9 uncovered in sky surveys taken 23 years apart
This would be a planet by anyone's definition, if it's near the predicted 9 times the mass of the Earth.

By comparison the entire Kuiper belt – including Pluto – is estimated to have a total mass of about 10% of Earth's mass.

marsten··on The suburban office park that launched Silicon Valley
No wonder Varian is still here after all these years. A prepaid 99 year lease for $41k!
marsten··on The suburban office park that launched Silicon Valley
Terman gets a bad rap because his father, Lewis Terman, was a proponent of eugenics. There used to be a Terman middle school in Palo Alto named after Frederick, but the bad association with the Terman name compelled them to rename it. Which is unfortunate because if anyone deserves to have a school named after them in Silicon Valley, Frederick Terman should be high on the list.
marsten··on The suburban office park that launched Silicon Valley
I remember that! 237 was a country road through a lot of grassland. The only thing of note in that part of the bay was a few streets of houses in Alviso. Great America was surrounded by empty space when it was built.
marsten··on Google is winning on every AI front
I think what may save Google from an Innovator's Dilemma extinction is that none of the AI would-be Google killers (OpenAI etc.) have figured out how to achieve any degree of lock-in. We're in a phase right now where everybody gets excited by the latest model and the switching cost is next to zero. This is very different from the dynamics of, say, Intel missing the boat on mobile CPUs.

I've been wondering for some time what sustainable advantage will end up looking like in AI. The only obvious thing is that whoever invents an AI that can remember who you are and every conversation it's had with you -- that will be a sticky product.

marsten··on Google is winning on every AI front
> When I worked there Google routinely funded all kinds of things without even the foggiest idea of whether it was profitable or not.

You're talking about small-money bets. The technical infrastructure group at Google makes a lot of them, to explore options or hedge risks, but they only scale the things that make financial sense. They aren't dumb people after all.

The TPU was a small-money bet for quite a few years until this latest AI boom.

marsten··on Ironwood: The first Google TPU for the age of inference
Google was changed by two things, neither of which were much fun. But very understandable.

One was the transition to a mature product line. In the early days it was about how do we do cool new things that will delight users: Gmail, Google Maps (Where 2), YouTube. The focus was on user growth and adoption.

Then growth saturated and the focus turned to profitability: Getting more value out of existing users and defending the business. That shift causes you to think very differently, and it's not as fun.

The second was changing market conditions. The web grew up, tech grew up, and the investment needed to make a competitive product skyrocketed. Google needed more wood behind fewer arrows and that meant reining in all the small teams running around doing kooky things. Again not fun, but understandable.

marsten··on Obituary for Cyc
What do you think made Lenat work so secretively? I suspect his ideas could have advanced a lot quicker if he'd been plugged into the community, sharing and getting feedback. In research it's almost never a good move to pursue a dream in isolation.
marsten··on Obituary for Cyc
Given the secrecy surrounding Cyc we don't know how close or not they got to something AGI-like. Whatever conclusion you draw will be from very little data.

From a practical standpoint Cycorp seems to have pivoted at least 10 years ago into providing knowledge and inference systems for clients. If customers are willing to pay them then perhaps we can conclude there is value in the technology. But again I'm not aware of any public examples to look at.

← PreviousPage 2 of 4Next →