HNHacker News
TopNewBestAskShowJobs

marsten

303 karma · joined January 15, 2023

submissionscomments
marsten··on A misalignment of AI in mathematics
Math is likely moving into a big science era, much like experimental particle physics and astronomy did before it.

Once AI mines the easy unsolved problems, it will take large token budgets to make meaningful advances. That will need to be funded and planned at a societal level, like the great facilities of the other big sciences.

Mathematics will become more like an observational science, with some mathematicians specialized in interpreting the results that come out of the big AIs.

marsten··on Tao: Open math problems being non-renewably mined by AI
> The AI was able to race its car very well, but it took a lot of risks that a human player probably would not.

There is a parallel with autonomous vehicles in real life. On northbound 1 in SF going through GG Park, the left turn lane onto Crossover Drive is always backed up. Waymos often do a very late merge into that turn lane in order to jump the queue and save time. With 360 degree sensing they can do this safely in real time but it feels too risky for most humans to attempt.

marsten··on Tao: Open math problems being non-renewably mined by AI
This is the direction of experimental particle physics and observational astronomy, where the budgetary scale at which progress occurs means we now fund these efforts at a societal level. These fields have graduated beyond "tabletop science".

For 3000 years mathematics has only been a "tabletop science". Even big programs like the classification of finite simple groups have been comprised of small teams chipping away at different (publishable) parts of an overall program.

This latest Navier-Stokes advance cost something like $22m in tokens, already well beyond what a mathematician's research grant can fund. As the easy open problems get mined, the cost of frontier progress will continue to climb. Some part of mathematics as a field will need to transition from tabletop science to big science: Coordinated top-down programs addressing high-priority objectives.

TBD is what the role of individual mathematicians will look like in a "big science" paradigm, but we could look to experimental high energy physics for ideas. For all practical purposes, AI converts math from a theoretical field into an experimental/observational one.

marsten··on Coordination Headwind: How Organizations Are Like Slime Molds
What is extremely valuable in slime mold organizations is clear direction from above on the relative importance of different objectives.

This doesn't have to be very specific - senior people often aren't in a position to decide on specifics. But even very general feedback can help the rank and file cut through "what should we do?" disagreements. In my experience those disagreements drain productivity faster than anything.

marsten··on I don't enjoy the Internet any more
I think most people see AI as an economic inevitability, immune to what any of us thinks. Why spend the time and energy making a reasoned critique if nobody has a real choice in the end? It's like railing against the concept of money or the existence of the mosquito.
marsten··on Tim King, AmigaDOS developer, has died
Alas I suspect that no combination of business and technical decisions could have allowed Commodore to succeed long term. They never had the scale or product market fit to succeed in the 32 bit era. Apple barely made it.
marsten··on Tim King, AmigaDOS developer, has died
I too learned C on an Amiga 1000. Somehow I scrounged together $300 to buy the Lattice C compiler and all its manuals – a steep price in 1985-86. Funny to think that much better tools are now free.
marsten··on SpaceX not the behemoth everyone thought
A lot of people believe in Musk and will invest in anything he wants to do. Is this rational? It depends on how it plays out.

I think we may be seeing a new type of capitalism that maybe Steve Jobs and Warren Buffet hinted at: A business empire built around the outsized ambitions of a single charismatic individual. The valuations of Tesla and SpaceX only make sense if you attach an enormous premium to Musk the individual.

marsten··on SpaceX not the behemoth everyone thought
Second-highest P/E is Tesla, currently at 97.

Apart from Palantir and Tesla, the other big companies are trading at what would historically be considered reasonable P/Es given their growth rates and profitability.

What's really changed in the last 20-30 years is the incredible profit generated by the tech industry, and the defensive moats the biggest companies have built.

marsten··on Princeton mandates proctoring for in-person exams, upending 133 year precedent
Japan is a classic example. You can drop your wallet there and someone will send it to you with all the cash intact. It makes you realize how much overhead it causes when you need to guard against cheaters and thieves.
marsten··on Princeton mandates proctoring for in-person exams, upending 133 year precedent
I was an undergrad at Caltech in the late 80s and likewise it never even occurred to us to cheat on take-home exams. Maybe things have changed.

People did plenty of collaboration on homework sets. Some of the harder ones were almost impossible unless you did, like those 20 page Phys98 homework sets...

marsten··on Princeton mandates proctoring for in-person exams, upending 133 year precedent
Academic integrity committees at prestigious schools are horribly lax. They want these types of issues to go away quietly.

I have a friend who in college had another student take his test from the "complete" pile, erase my friend's name, and put on his own instead. It was only through blind luck that my friend figured it out. He, the TA, and the professor reported it – with smoking gun proof – but nothing happened.

The same laxness applies to academic research integrity. Universities rarely punish academics who are discovered to falsify data.

marsten··on Princeton mandates proctoring for in-person exams, upending 133 year precedent
This is exactly right. Gone are the days when you could get a C+ average at Harvard and still land a good job or a spot in a prestigious law program – purely by virtue of having gone to Harvard.

Everyone is in competition now. Everyone has to prove their worth, all the time. It's more egalitarian but it also creates a lot of stress.

marsten··on Who Trusts Sam Altman?
If you posit that Altman suffers from main character syndrome (as many CEOs do), then he likely believes that he alone can lead OpenAI to success. In this case, doing whatever it takes to get himself back into the job is by definition justified. It's obviously worth stepping on a few toes if the success of the company is at stake.

Anthropic asking hypothetical questions in an interview doesn't seem like a very good signal. Everybody knows what they're supposed to say. If they want an unfakeable signal they should make offers with no equity component.

marsten··on Who Trusts Sam Altman?
CEOs are hired to run companies and make themselves, and their investors, wealthy. That is their prime directive and CEOs are the ultimate partisans.

If a CEO feels that bending the truth, or outright lying, will advance the prime directive – then that is what they will do. Applying adjectives like "honest" or "untrustworthy" to them is a category error. Altman will say whatever benefits OpenAI, full stop. Musk will say whatever benefits his interests, full stop.

CEOs can't be good or bad people in a moral sense, or have the best interests of society at heart. (Despite what they may try to convey.) Better to think of them as automatons carrying out well-defined, and ultimately simple, goals.

marsten··on Three Inverse Laws of AI
> You cannot be sure that anyone other than yourself is conscious. It is only basic human empathy that allows people to believe that.

In Bayesian terms what makes it reasonable to ascribe consciousness to other people is that (a) other people have an origin that is objectively very similar to your own (genetic origin, embryonic development, birth, gradual acculturation, education, etc.), and (b) you have a firsthand experience of your OWN consciousness.

It would be remarkable if the very small differences (relatively speaking) between you and other people were enough to destroy the experience of consciousness.

Generalizing, the farther you stray from a "common origin story", the more a leap of faith consciousness becomes. Needless to say an LLM is quite a different thing than a human being.

Judging from online reactions to robot testing (e.g., engineers kicking the Spot robot "dog" to test its balance), we humans trigger on some fairly superficial cues when deciding how much to empathize. People express more sympathy for the robot dog than they do for the chicken they ate for lunch – despite the fact that the chicken has a far better claim to consciousness than the robot.

This then is how I interpret "do not anthropomorphize": We should try to ignore the superficial cues when judging the similarity of other beings to ourselves.

marsten··on How Monero’s proof of work works
Bitcoin attempted to replace cash, but failed because the transaction costs are orders of magnitude too high. The high cost of zero-trust makes it a desirable medium of exchange only for criminals and scammers.

In an effort to make Bitcoin a reasonable medium of exchange, various businesses arose to act as intermediaries/market makers. But this violates the trust-free model – and many of those intermediaries have proven to be outright scams. It turns out that trusting an intermediary to handle your cryptographically untraceable asset is not a wise thing to do.

So that leaves Bitcoin in a similar category as gold. You're either a paranoid type for whom the high cost of holding and transacting the asset is a price you're willing to pay for an asset that could survive a global meltdown. OR you extend trust to various intermediaries (gold ETFs, bitcoin ETFs for example) and treat it as just another tradable financial asset.

Bitcoin is undeniably the cleverest way anyone ever became a billionaire. Nakamoto's sole contribution was posting an anonymous 9 page whitepaper to the internet and voila, today he (or she, or it) is worth $80+ billion.

marsten··on Apple reports second quarter results
I can see Apple's position: The Mac has been through four major ISAs and the value to most users of maintaining that entire stack indefinitely in the current macOS is nil.

A number of digital preservation standards are emerging (Wasm, MAME/MESS, EaaSI, Olive, ...) and I would like to see a legal requirement on OS vendors that platforms that are no longer supported must be made available to archivists.

marsten··on Apple reports second quarter results
More likely they would buy the assets of AI companies for pennies on the dollar. There could be a lot of H100s floating around at fire sale prices. Or they would acquire these companies for talent.

Google did this for several years in the early 2000s – snapping up talent and data center capacity from the casualties of the dotcom bust.

marsten··on Apple reports second quarter results
Unless they change their tack, Apple is unlikely to go head to head against Microsoft 365 or Google Workspace because they only target their own ecosystem (macOS/iOS). For MS and Google these Apple-owned platforms are not their primary user base.
marsten··on Apple reports second quarter results
In fairness to all concerned, the MacOS to MacOS X transition was brilliantly executed. These days we take VMs for granted, but back then it was a novel idea to run MacOS 8 as a process inside of MacOS X (the "blue box"). For most users it was seamless.
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.

Page 1 of 3Next →