>> If I come across a Dilbert comic, I might still read it and laugh.
Just make sure the comic isn't "Dilbert Reborn", which Adams started after he lost his national syndication. Those are either unfunny, vile, or both. https://x.com/i/status/2011102679934910726
Are they, though? I only saw the linked four strips, and they're the typical right-wing depiction of leftist positions that say more about how people on the right think than about what leftists actually believe.
The first one is about Dilbert going to an anti-white-man protest, which might be how people on the right perceive something like a BLM event, but it's not what these events actually are. This is the kind of zero-sum thinking that conflates "my life should matter" with "your life should not matter." It's not what leftists actually believe.
The remarkable thing about "Dilbert Reborn" series is that it is a complete corruption and total betrayal of the original Dilbert comics.
The originals' core premise was universal workplace satire that criticized the office as a system: bureaucracy, incentives, incompetence, managerial nonsense... stuff that felt broadly true no matter one's politics. Even when it got cynical, it was still observational, in the sense of "here's how corporate life warps people." This depiction of what is essentially everyone's shared day-to-day struggles is the thing that gave it a place in mainstream culture.
In direct contrast, Dilbert Reborn is about Adams's personal grievances: his divorce and subsequent inability to find another partner, his fall from grace and full embrace of the alt-right movement, and his long-held beliefs about race, sex and other social issues that he quadrupled down on. Its core premise is "I was wronged; subscribe to the uncensored version; also here's the political/culture commentary bundle." It uses the recognizable characters and brand equity of the original comics to sell a fundamentally different product: paywalled, grievance-tinged, "spicier", creator-centric franchise built in the wake of his 2023 meltdown and institutional rejection.
There's actually quite a few conservative comedians and cartoonists I find funny. Adams was not one of them. The fundamental truth about successful humor is that you cannot make it about you and your own grievances. Adams totally failed at that.
I'm trying, but really struggling, to understand your logic of anchoring on land area.
Can you explain why you think that's a better metric than per capita? Is it because there are climate-changing emissions that are NOT driven by humans (e.g. seasonal wildfires, volcanic eruptions, etc.)? Or is it something else?
The amount of emissions that the planet can take (a that is the real crux of the problem) is what its ecosystems can offset.
It’s very hard to calculate exactly how much the ecosystem inside a country borders can offset, but a good enough metric is its landmass.
Sure, countries like Morrocos will win with this metric and countries like Brasil will lose. But in the end, it’s much better than rewarding what is actually a problem (for climate) like if it was some virtue: high birth rates.
> It’s very hard to calculate exactly how much the ecosystem inside a country borders can offset, but a good enough metric is its landmass.
I think this is a flawed basis, because weather patterns, sea rise, etc. don't honor country borders. Only highly localized pollution is somewhat "constrained", but country borders are even porous to that.
So I still don't know that it is an effective incentive to find a better balance. Per capita also has its problems, like penalizing less-developed countries from developing their societies, industries.
My point is that people tend to turn emissions into a pissing contest about which country is emitting more, and it always becomes a debate of total emission vs. per capita, because it's ultimately a political issue.
What I'm saying is that total emissions are what matter for climate change.
Total emissions matter on a global scale. To know approximately how much each nation ought to adjust their emissions we need to look at per capita adjusted for imports/exports for products and services consumed locally but created remotely.
Climate doesn't care about climate change, humans do. Only worthwhile metric is what geopolitics agree on, right now that's per capita emissions even though it's lenient vs historic emitters.
> We have to abandon the appeal to authority and take the argument on its merits, which honestly, we should be doing regardless.
I don't really agree. In virtually any field, when those who have achieved mastery speak, others, even other masters, tend to listen. That does not mean blindly trust them. It means adjust your priors and reevaluate your beliefs.
Software development is not special. When people like antirez (redis) and simonw (django) and DHH (rails) are speaking highly of AI, and when Linus Torvalds is saying he's using AI now, suggesting they may be on to something is not an appeal to authority. And frankly, claiming that they might be saying nice things about AI because of some financial motive is crazy.
> And frankly, claiming that they might be saying nice things about AI because of some financial motive is crazy.
I'm actually taken aback by the vehemence of the anti-AI brigade on HN. It seems objectively crazy to me to suggest someone like antirez, with a long visible history now has an agenda to push AI products, so he writes blog posts to do so.
This is just genuinely going into the wilfully blind territory now, and your post is the one downvoted for pointing it out.
I think we are properly into holy war territory and people on either side are losing their minds, and their objectivity.
>> No, I haven’t tried that yet. I don’t really want to turn on auto mode when it’s iterating on my credit card and it looks like it’s in an infinite loop… Is that a silly thing to be worried about?
Yeah. Most AIs today are pretty good at detecting that they're in a loop and aren't making progress. When that happens, they either take a different approach, or stop and say they are stuck. But, if you're really worried about it, you can cap monthly spend on the billing page of virtually every AI provider.
automated tests are not verification. The "llm as a compiler" provides zero guarantees about the code.
A compiler offers absolute guarantees that what you write is semantically preserved, barring bugs in the compiler itself. An llm provides zero guarantees even with zero bugs in the llm's code.
I don't know what you are arguing, or why. Please follow the thread in its full context. Specifically, the argument the article author is making is that moving to a higher level of abstraction also cost developers the benefit of understanding the internals. Ultimately, that ended up not mattering very much.
The OP pushed back on this, saying compilers are deterministic and LLMs are not, and that lack of determinism makes LLM output unverifiable. I said the latter is not true because you can perform verification using tests. You claimed tests are not verification because LLMs don't preserve the semantics.
I'm not sure why semantics matter. LLMs providing no guarantees regarding the preservation of semantics is not important because you can guarantee the behavior of the generated code using tests. In most domains, this is sufficient. You tell the LLM to write code that does X, Y and Z, and then verify X, Y and Z using a test. That's it.
no, writing tests to verify that the "compiled" code semantically matches the code in the source language is not a good thing. The guarantees that I'm talking about are different.
You write tests for your own logic, not to do the compiler's job.
I have no idea why you are so stuck on determinism. That has nothing to do with what i'm saying. Sure compilers can be nondeterministic with things such as register allocation, but that is totally transparent to the programmer. The compiled code will do exactly what the source code describes. The nondeterminism in llms does not apply just to those things. An llm's nondeterminism might mean it decides to encode different logic, instead of a different implementation that is logically equivalent.
We don't usually write steps to verify that the compiler decided to ignore our code and do its own thing. You have to do that with llms
LLC may be a type of corporation but when people complain about corporations buying up homes they really mean C-corps, not LLCs owned by Uncle Bob who likes to flip houses.
Right, and when people share stats such as "60% of homes are owned by corporations", they're either clueless or are trying to deliberately muddy the waters.
reply