eru

18 ms·

571.
by eru 3mo ago
Maybe. Though Americans are free to vote for politicians who make similar laws, too.
572.
by eru 3mo ago
Oh, I picked Singapore, because I moved here. I picked US because that was the topic under discussion. And Britain because the parent comment talked about 'free' healthcare.
573.
by eru 3mo ago
A quick search suggests that Spain spends around 9.3% of gdp on healthcare. The UK spends around 10.9%. Singapore is around 5.5%.
574.
by eru 3mo ago
How is that different from people living in New Jersey and commuting to Manhattan?
575.
by eru 3mo ago
> It’s hardly replicable most places. How so? What's hard to replicate here? Many rich places could let in more migrant workers. It's good for the workers, and good for the receiving country.
576.
by eru 3mo ago
Any 'underclass' also contributes to GDP and consumes healthcare. How is any of this ignored? But yes, I agree that the US should let in more migrant workers. Good for the workers and good for the target country: cheap infrastru
577.
by eru 3mo ago
Singapore has more like 5.5% or so. (That's total expenditure: public plus private added up.)
578.
by eru 3mo ago
You can move to Singapore, if you want a better healthcare sector. (The UK spends very roughly half of what the US spends on healthcare in terms of percentage of GDP. That's total (public plus private) expenditure. Singapore spends v
579.
by eru 3mo ago
We just had a string of bank failures, like Silicon Valley Bank, but you will not see any impact in the macro-economic data (like unemployment), because the Fed kept nominal spending on track. In 2008 they didn't. Instead they activel
580.
by eru 3mo ago
Well, if natural selection had a say, the only fetish anyone would have would be an impregnation fetish. (Only half joking.)
581.
by eru 3mo ago
I tried it, but it goes through some weird changes while you chew it.
582.
by eru 3mo ago
Those are some great leaps of logic.
583.
by eru 3mo ago
Chewing gum in Singapore is a bit like medical marijuana was in California. Possession and use of chewing gum is legal. Importation for personal consumption is also legal. Selling and importing in commercial quantities are banned.
584.
by eru 3mo ago
What kind of default risk? What we got in 2008 was central banks (eg Fed and ECB) willfully collapsing nominal GDP in their economies. Have a look at the dot-com bust or Black Monday for comparison.
585.
by eru 3mo ago
You know that Moore's law is about transistor count? What worked really well for CPU in eg the 1990s was Dennard scaling. That drove the Hz higher. And Dennard scaling is what stopped working. Moore's law is alive and well.
586.
by eru 3mo ago
Agreed. One effect I had in mind was much simpler: if you are the cool new company, people will want to work for you and might even take a hit in salary to do so.
587.
by eru 3mo ago
I'm not sure Google has lower talent costs. What makes you think so?
588.
by eru 3mo ago
It's interesting that Google fell behind before and managed to get back up to the frontier. But, boy, is their performance in this race uneven. Especially considering that in the 2010s they were The Big AI company, especially after bu
589.
by eru 3mo ago
You might like https://saopaulosecreto.com/en/tiquatira-linear-park-en/ better.
590.
by eru 3mo ago
A bug in the website itself is just as bad, if it's a website you care about. They differ in how easy a fix is to develop and roll out, and what the blast radius is.
591.
by eru 3mo ago
Have you tried asking ChatGPT / Claude etc for a good summary?
592.
by eru 3mo ago
Eh, yes? Just look the discussions surrounding the development of any web browser? Or look at the permissions system in Android or iOS or on Mac (and perhaps even Windows?).
593.
by eru 3mo ago
I'm not sure, many chat bots summarise just fine as far as I can tell, on subjects I know a lot about.
594.
by eru 3mo ago
Nor understanding and judging a proposed design, yes.
595.
by eru 3mo ago
Not even basic thermodynamics?
596.
by eru 3mo ago
> we can however be optimistic, oddly. If you believe Feynman when he says that you can't explain to a child something you don't understand.. then we can see that ChatGPT has no idea of just what it has done! Why would that be
597.
by eru 3mo ago
Yes, however any LLM agent you asked about that proof could tell you that. (And even most humans who know a little bit about the bug.) You are right that Lean isn't great in this respect, and people are working on proof formalisations
598.
by eru 3mo ago
You are talking about a single user system. You can compartmentalise further. Modern processors even give you these 'rings' to help with the hardware side of that, if you want to.
599.
by eru 3mo ago
That's why OpenAI also published machine-checkable proofs. The process is very, very faintly similar to running a typechecker over your software sources.
600.
by eru 3mo ago
> When OpenAI posted about their 10 breakthroughs, I saw lots of career research mathematicians say things mostly along the lines of “I don’t understand any of this it’s way over my head”. Math is an incredibly broad field. I mean, you

More ›