What are the most upvoted users of Hacker News commenting on? Powered by the /leaders top 50 and updated every thirty minutes. Made by @jamespotterdev.
In an alternate world, Ethernet took on the role of the universal serial bus, and we have laptops that charge via PoE, but only possible on one of their ports (the others are usable for peripherals --- with protocols running over Ethernet too, of course.) But the same confusion regarding power and speed capabilities exists.
The emperor is mad and wears no clothes. Pointing this out will result in the emperor throwing a tantrum exacting vengeance on his own people.
Just a few hours ago, Spirit execs were saying everything is just fine. At noon yesterday, Trump was saying that a bailout was still likely. (The first time I read about Trump saying that "we" were going to buy Spirit, I thought he meant him personally, or The Trump Organization. Spirit only needed about $500 million, and Trump could afford that.) That nobody wanted to buy a major airline for $500M means it was a really bad deal and not worth saving. They were already in Chapter 11 bankruptcy, the "debtor in possession" reorganization mode. Not yet clear if they just went to Chapter 7, liquidation, but that's probably happening within days.
Still, a zero-notice shutdown is a bit much. Some people who have tickets for tomorrow probably went to bed already.
There's still the mechanics of winding down. All the planes have to be flown to suitable storage locations. With such an abrupt shutdown, they'll have mis-positioned aircraft all over their route system. Many planes are probably leased, so the lessor may have to arrange to take custody of the aircraft. It's probably better if the aircraft are leased - there's some lessor with funds to take care of the job and the knowledge of how to arrange it, since a handover and move happens at the end of each aircraft lease. Aircraft Spirit actually owns will have to be moved by a bankruptcy receiver, which is a lawyer trying to run what's left of an airline. Most major airports charge very high parking fees. LAX charges $1000 for the first day, and that goes up to $5000 a day on day four. They're not in the storage business.
There are probably a lot of middle of the night phone calls and meetings going on right now.
Sure, for those not affected by these capitalist decisions, left stranded in the middle of nowhere, or having to look for a new job, while the owner party at their coffy houses.
Next, Yahoo Search? (It's still live.)
What did they write that article with?
The year is 2026. The unemployment rate just printed 4.28%, AI capex is 2% of GDP (650bn), AI adjacent commodities are up 65% since Jan-23 and approximately 2,800 data centers are planned for construction in the US. In spite of the current displacement narrative – job postings for software engineers are rising rapidly, up 11% YoY. ... We wrote last week that we see the near-term dynamics around the AI capex story as inflationary, but given markets are focused on the forward narrative, we outline a more constructive take on the end state below. Before that, however, it’s worth reflecting that the imminent disintermediation narrative rests on the speed of diffusion.
The chart "Job Postings For Software Engineers Are Rapidly Rising" seems to show a rise from 65 to 71 for "Indeed job postings" from October 2025 to March 2025. That's a 9% increase. Then they inflate that by extrapolating it to a year. The graph exaggerates the change by depressing the zero line to way off the bottom and expanding the scale. This could just be noise.
The chart "Adoption Rate of Generative AI at Work and Home versus the Rate for Other Technologies" has one (1) data point for Generative AI.
This article bashes some iffy numbers into supporting their narrative.
Suggested reading: [1]
[1] https://en.wikipedia.org/wiki/How_to_Lie_with_Statistics
"Anything but Perl" was common
I would probably be the one to choose x86 Asm or APL... or even a mix of the two.
I remember AltaVista being the only really credible search engine prior to Google (I took a brief detour to Excite but kept going back to AltaVista). Jeeves I only remember for the freeform query gimmick.
And to demonstrate the awesomeness of the crew unity, from the post landing press conference:
Reporter: Whose Nutella was that, that was floating by you in space?
Crew: That was ours. Yes, we do everything as a four-person crew.
Summary of the comments in here:
* I used the programming functionality of the calculator to get around the rules
* I didn't care much for the math, but my TI calculator was my first programming experience and it's what got me to love programming
My experience is similar. We were allowed to use our TI-85s in class, but we had to go up to the teacher before the test and show him that we were running a factory reset, to prove we had nothing programmed in it to cheat.
My buddy and I had made a two player blackjack game and didn't want to have to retype it after every test. So instead we made a program that mimicked the factory reset process. You would run the program before walking up tot he front.
The only indication something was different was the three little dots in the corner indicating a programming was running, but we just covered that with our thumbs.
Ironically we never used it to cheat, only to not erase our game that we programmed!
I suggest "black coffee electrochemical quality appraisal"; as-is, it made me wonder what "electrochemical black coffee" is.
I wish projects would have a short "what this is" paragraph. Right now, the front page is a forum, "docs" says the documentation is maintained by users and links to the changelog, and there's nothing anywhere that tells me what this project does.
Good. It’s not 1945 anymore, we don’t need to keep occupying Germany.
But if there is no person on the other end, why should I care?
There are countless people "on the other end" --- everyone who contributed training data, and of course the one who prompted the AI to generate the result. It's odd that this debate always ends up with one side thinking there's a machine autonomously generating music, when in fact AI-generated music comes from humans using AI to create what they want.
>That makes sense to me because for musicians, hearing just the music still makes your brain want to focus on the structure of it, time signature, rhythm patterns, interesting chords, key changes, etc
There's special music for focus that tries to keep all those to a minimum. 4/4 beats, no fancy rhythms, no changes, basic chords and repeating melodies etc. After a while, even if you're Mozart, you can ignore it just fine, just get the vibe and the driving pulse.
A project of that size is gonna be even harder to conceal.
APL was the first language to have operators for "do this to all that stuff". They were headed for functional programming. But the syntax was too weird.
We'll know this works when it starts replacing Amazon pickers in quantity. Amazon has been trying to automate that for years, with many demos and contests. So far, nothing can quickly and reliably take random products out of one bin and put them in another. Amazon's robotic systems move larger containers and shelves of bins around, but do not yet pick individual items.
I think the idea is that before they sell it to the public they should trust it with their own loved ones.
It's not though, is it? That's Lesotho, Eswatini borders Mozambique.
>expertise and trillions of dollars were willingly transferred
Makes it sound like China owes them something. They conveniently forgot that untold trillions of dollars were MADE from outsourcing to China and improving their margins.
Or that China was just the next untapped step, Western companies got parts from Japan and Taiwan before.
I think https://privacy.com is the best solution we can have with the current system.
That has not been my experience with debit cards in the US at major banks, at all, over decades.
(I'm pathologically avoidant of credit cards, which I think are mostly pointless.)
This story is a duplicate of a well-attended thread, without Significant New Information (SNI):
It sort of just happened to me a few years ago. It’s neat—flying is fun. (As is the opposite, when it just doesn’t work and I wake up sort of laughing at myself for having spent, presumably, hours jumping around in my dream.)
But at least for me, the price was dreams, the moment I go lucid, ceasing to be self directed. I get that I’m in a movie, and I have to always create the next step. Nothing surprises or horrifies anymore. (If I’m lucid.) I have to kind of create my own magic, which isn’t particularly restful.
It's already quite feasible to record meetings and get AI summaries. As that works better, it will become more widespread.
There is no such thing as "the responsible disclosure protocol".
On a similar note, go back and watch the party scene from the 1991 movie “City Slickers.” https://en.wikipedia.org/wiki/City_Slickers
For 90s kids who remember their parents having people over, parties were really like that! Obviously without the drama and comedy. But people would come over and socialize and not be glued to screens. And we have data that things have changed dramatically. In 1990, 55% of men reported having six or more close friends. In 2021 it was down to 27%. The percentage of men who have no close friends is up by a factor of five, to 15%.
Data center water use is in fact not a valid concern.
After losing 20 million users? https://www.theverge.com/tech/921089/meta-earnings-q1-2026-u...
I really don't understand their economics.
May I suggest you read, "Scarcity: Why having too little means so much" (https://www.amazon.com/Scarcity-Having-Little-Means-Much-ebo...) it is a really interesting book which explores maladaptive frugality. We often talk about money and how people don't have enough, but these principles apply to any resource, in my own case I found cases where 'never having enough time' would push me to make bad choices about how I spent time. The author is talking about spending money but consider the adage "If its worth doing over then its worth doing right the first time."
No they're not, they're executives who can only be fired by the board. Equating them with line-level employees is somewhere between naive and isingenuous.
I don't know about the GP, but my workflow is similar to theirs, but I aim to ship low thousands of lines per week. The fewer the better. I even tell the agent to only write high SNR tests, otherwise it just adds useless "make sure this function returns this thing we hardcoded".
I usually succeed, BTW. I spend a lot of time planning, but usually each PR is a few hundred lines, and fairly easily reviewable.
I mostly work with Python backends, though these days it might be any language (Ruby, Go, TS).
I think it is a real increase in the rate of detected attacks, not just awareness, but whether that’s an increase in vigilance or an increase in attacks is hard to know. I suspect both, of nothing else because awareness drives both vigilance and attackers inspired by the earlier attacks.
What is Uber developing? They're an app and a car allocator back end. Both work OK. Why are they spending so much?
They gave up on self-driving, so that's not it.
Ubuntu.com seems to be fine right now. A bit slow, maybe. Ubuntu 26.04.LTS is out.
"While Iran is subject to blanket Western economic sanctions, the exchange has avoided being designated by the United States and its allies. Reuters could find no indications that anyone in the Kharrazi family has been sanctioned by Western governments, and was unable to determine why Nobitex has been spared the kind of penalties placed on other major Iranian economic players.
...
Throughout the war, Nobitex has continued processing transactions, even during a government-imposed nationwide internet shutdown and widespread power outages in Tehran, according to three blockchain analysis firms, which track activity involving Nobitex and other exchanges.
...
Of the nine former employees and professional acquaintances Reuters interviewed, only one learned of the brothers’ family ties directly from them. Another said he discovered it after researching them. Among those most surprised was a former coworker who counted Mohammad as a close friend of many years standing and expressed shock when Reuters disclosed the Kharrazi family connection to him.
'I was pretty open about my criticism for the regime, and my colleagues were, too,' said another former Nobitex employee. Discovering the brothers’ family name 'made me afraid. I did a lot of hate speech against the regime and religion.'"
It's a meta-jab about how shit the modern internet landscape has turned to be.
(Yeah, I'm on making this comment on the internet now too. You can be in a sewer and still know that it's a sewer).
And with the unappreciated feature that the Securitate's people listening in could always be counted on to be available for consult in case you forgot a detail discussed in a call...
The Associated Press doesn’t list that as one of his key campaign promises: https://apnews.com/projects/trump-campaign-promise-tracker/
It also doesn’t appear on the ALL CAPS list of campaign priorities: https://rncplatform.donaldjtrump.com/. The word “debt” doesn’t appear anywhere in the document. And the word “deficit” appears just once in the context of the trade deficit.
Trump was the first candidate to release a list of itemized priorities in small words and ALL CAPS so the average dumbass could understand. There are many, many things you can say about this list. But it’s very hard to inject ambiguity into what he was running on.
I got rid of both and my system is much better for it. The only thing I still use that is distributed in such a format is AppImage, and mainly because it has never given me trouble.
We need to get these companies to predeclare what names they're going to use for the next 50 or 60 years so we can avoid them.
Pouring one out for all the "Alexa"s in the world.
And when the CEO says "Hey, we really need to make our contact information more visible because I get a lot of customer reports that they can't figure out how to contact us", sure.
When the founders say they want the picture bigger and the logo a bit more purple and can we add underlines to all the menu items and also bold them, probably not.
Which one is more common?
Oh, that’s actually usefully different from any other English word that comes to mind. (And more playful than eclipsing.)
It is absolutely market motivated, by the investor market. You can raise a great deal of capital by simply making exaggerated promises, then doing the minimum effort to just about achieve it.
That he’s a liability to OpenAI, which is slowly coming around to the realization that it would be worth more without him.
To be clear, I don’t think OpenAI could have raised what it raised as quickly as it did without him. But with the benefit of hindsight, Microsoft should have let the safety board fire him.
This is what I crave if I could find the budget for it:
I'm sure Twitter knows which are the bot accounts and is surely excluding them from their model training. Twitter bots aren't a new phenomenon after all.
Where I live there's been a long running saga around flaring: https://www.bbc.co.uk/news/topics/c6wk2ml6gwzt
When it's lit at night you can see it from up to twenty miles away. Closer in you can hear it. Things have gone back and forwards on mitigations, fines, industrial disputes, and in the end the plant is closing.
Discussions like that need to get into the details: trust to do what? You don't want to let randos force push over your repository but you might want to let them submit patches.
This is US-specific advice; EU capped merchant fees, and therefore you don't get a free 2% reward at their expense.
The fraud protection and insurance can be useful though.
But why doesn't Gitea add it? It already has everything else, why are these forges always Github clones instead of doing more?
What's up with the hate? It seemed like an interesting project to me, maybe not something I see myself using, but not something deserving hate.
Presumably yes (though not past 70, unless you signed at birth), or by using a dead man's switch.
I was hoping for an M5 mini and Studio ahead of time, but I guess I'll have to wait a little longer.
Maybe by the time they sort it out there will be an M5 Ultra Mac Studio with a full terabyte of RAM.
Not only Github, the whole Microsoft <3 FOSS started with Satya, means that about a decade later, many key OSS projects depend on Microsoft.
Just like many others are actually dependent on IBM, Oracle, NVidia, Intel, AMD, Google,...
Which is understandable when only those provide paychecks, even if they could actually do much more given how much they use.
Huh. I disabled search in a Claude incognito window and pasted in just the text (not the markdown links) from https://simonwillison.net/2026/Apr/30/zig-anti-ai/ and said "Guess the author".
> Simon Willison. The tells are pretty unmistakable: the "(via Lobsters)" attribution style, the inline "(Update:...)" parenthetical correction, the heavy linking and blockquoting of sources, the focus on LLMs and AI tooling, and the overall structure of an annotated link post commenting on someone else's writing. This reads exactly like a post from his blog at simonwillison.net.
The idea for the company came when Burick was building a “white box” PC from standard, off-the-shelf components, and realized there was no comparable product for robotics. ... They sold about 200 robots in 17 countries, Burick says.
Yup. There's no volume in hobbyist robot kits.
The only one that I would point out as better is Render, as it allows for containers, all others are worse than Vercel, in tooling, and supported languages for serverless on the backend.
It's like someone should make a file... maybe in /etc ... and put short names for services in it... maybe it could be called /etc/services...
I am reminded of user-agent sniffing and the idiocy that created. One would hope that this leads to less self-identifying overall. At this point it looks less like a cat-and-mouse game but more like a cat-and-cat game, but all the cats are equally retarded. I suppose it makes for good entertainment for the rest of us who don't need to use, and now have another reason not to start using, all this AI stuff.
In general a neural net does not have any way of knowing "why" it is doing what it is doing. This completely applies to humans too. Metacognition means we can make some decent guesses, and sometimes the "reasons" are at a metacognitive level (e.g., "having examined my three options it is only rational to select B" is a reasonable "reason") but that is the exception, not the rule.
You can get something of an intuitive sense of what I mean if I ask you to pick a neuron in your brain and tell me when it fires. You can't even pick a neuron in your brain. You can't even tell whether a broad section of your brain is firing. It is only through scientific examination that we have any idea what parts of the brain are doing what; we certainly have no direct access to that information. There are entire cultures who thought the seat of cognition was the heart or the gut. That's how bad our access to our own neural processes is.
So "why" explanations always need to be taken with a grain of salt when a neural net (again, yes, fully including humans) tries to "explain" what it is doing.
Contrast this with a symbolic reasoner, which has nothing but "why" some claim is true (if it yields the full logic train as its answer and not just "yes"/"no"), no pathway for any other form of information to emerge.
And what is the insurance in the Linux case, for which the analogy was being made?
Let's all just never talk to anyone unless it's face to face, for fear that an AI will read it.
>First responders/doctors/CPS investigators see the worst but they also have days where they make a difference. Save a life or multiple lives. I'm sure it's a huge part of what makes the job bearable, and to some meaningful.
You think miners don't make a difference or save lives?
One can think of a pun for the second term too
The problem is that if the U.S. goes down so does the rest of the world. Some of this is the regional wars that we are likely to see once the U.S. withdraws from its position as peacemaker (like Russia/Ukraine), some of it is economic damage from the collapse of globalization (a la Straight of Hormuz), some of it is direct threats (like Trump threatening to annex Canada and invade Greenland). If we're really stupid some of it might even be nuclear annihilation - superpowers don't go down easily, and MAD requires that the nuclear armed powers have a future that they seek to preserve. Russia is a significant risk here too - demographically they're done in a generation, and countries that are going to fail anyway don't have much of an incentive to keep the current world intact.
Given that the current world order is likely toast, I'd rather hole up in my current spot, where I've got family, friends, a home, and knowledge of the local environment and culture. Plus it's got a relatively forgiving climate, fertile soil, natural harbors, two oceans for defense, an educated populace whose values aren't too different from mine, and a set of mountain ranges if we need to defend ourselves from the rest of the former U.S. Geographically it's hard to do better than the territory occupied by what is currently the United States.
It's right there in the developer APIs. All of those NS_ prefixes in the MacOS and iOS SDKs stand for NeXTSTEP.
As a company, this is a great problem to have. Way better than the opposite.
Given the memes I see about how GenX are perceived in US, it seems now they have gone too far into the other direction.
BCM84891L. I like these modules (select 80 or 100 m in the drop down): https://www.luleey.com/product/10gbase-t-sfp-to-rj45-copper-...
Using this module, I was able to get a stable 10 gig over a 75 feet long, 20 year old run of Cat 5e.
I don't get it though. Why not just revise the billing so that if users are hitting the servers above some defined frequency, they get charged more?
I'm tired of this startup-adjacent mindset that promotes endless adversarial scamming. I absolutely think people should be able to run OpenClaw or whatever harnesses they want, but I also think they should pay in some proportion to usage rather than trying to exploit an all-you-can-eat buffet offer to stock their own catering business.
> I like the networking perspective, but the ML perspective is such a loose analogy that it's hard to even judge.
Right. ML doesn't have to work well because it's used in situations where the cost of the errors falls on someone other than the service provider. Hallucinations require a business model where their cost is an externality, like pollution.
With an objective goal, such as tests or a spec or driving without hitting anything, to check the results, it's possible to do better, of course.
The Internet only works because fiber optic bandwidth is cheap. As someone who was working on congestion in the early days, I could see that congestion in the middle of the network had no known solution. If congestion could be pushed out to the edges, there were strategies, but there were no good solutions in the middle. And, in fact, the whole Internet would sometimes go into congestion collapse in the early 1990s, with the big peering points at MAE-EAST and MAE-WEST losing well over half of the packets. What saved the Internet was cheap long-haul bandwidth and big hardware-supported switches. This kept congestion at the fringes.
Go hunt up a Rubidinium standard on Ebay, $150 or thereabouts and you'll have a pretty good standard.
This is bad news because those are some of the most risky plants operating in Western Europe. Many, many safety issues over the years, quite a few of which were waved off from being properly fixed because they were going to be decommissioned anyway. Now whoever owns them will have to do all that back maintenance first. Or not...
Both Doel and Tihange have a long, long list of issues.
AI loses money for two reasons: (1) certain uses where owning the market is expected to be a high long-term value are currently heavily subsidized (the top-level story here is about the increasing efforts of model providers to prevent exploits where people convert subsidized services to uses outside the target of the subsidy), and (2) development costs of new models to keep up with competition.
The problem is, if you are transparent about your constraints, then users who are using your subscription in bad faith and against the terms, they know exactly how to maximize usage.
It's the same thing when people say that Gmail ought to publish the rules they use for blacklisting senders. If they did, then there would be a lot more senders abusing email.
Whenever you are defining rules internally for catching bad actors, you cannot make those rules public. It defeats the entire purpose.
So maybe Anthropic is losing good will, but it's better than the alternatives.
It’s not a choice between nuclear and PV. It’s a choice between nuclear and the other things that provide base load: gas and coal.
Something I'd like to see from the hobbyist community: DIY injection molding. Injection molding is a process where the first one is a huge amount of work, and then you just bang them out for a few cents each. Which is why most of the world's cheap stuff is injection molded.
TechShop used to have the machine for it, but it was very rarely used. The injection molding machine was about the size of a benchtop drill press. It had fixtures to hold two dies, a pressure pump, and a guard around the molding area in case something went wrong.
There's an automated one coming out as a kickstarter. Pre-order for $6500.[1]
Now you need to make injection molding dies. This requires a milling machine, and is much easier with software support. The commercial software for planning injection molding is Autodesk Moldflow, but that's overkill for simpler projects. TechShop had that on their computers, but nobody ever used it. There's something called OpenFOAM, but it's not a nice GUI program.
One of the things that so often gets lost in politics is the concept of a stopping principle. If you know you want to do X, be it "enforce traffic tickets", "spend money chasing drug trafficking", or anything else, you really ought to be able to articulate some sort of stopping principle where you stop pouring the resources in. Maybe the problem is adequately solved. Maybe the further resources don't justify the tiny incremental change. Maybe the intrusion on liberty starts to overwhelm the benefits. Something. Otherwise you just end up going farther and farther down the road with no idea when to stop.
These IP blocks don't seem to come with a stopping principle. They were large and growing, and inevitably more and more entities were going to say "Hey, if that company is large enough to flip the switch to protect their assets then I'm large enough for that too!" and the obvious and inevitable stopping point was 100% blockage.
Taken to its logical conclusion, and I do mean "logical" and not "rhetorically overblown for effect", this comes perilously close to just declaring that the value of the Internet is so net negative due to piracy that it should just be shut down in Spain. If that's true during certain sports matches it's already not far from being true for lots of other things too. This was leading in an obviously-economically-untenable direction.
The article’s second sentence disproves its title: “Section 2 — a provision that broadly outlawed discrimination in voting on the basis of race.”
Exactly. The purpose of the VRA is to ban racial discrimination in voting. That’s why the Supreme Court ruled that you can’t use race to draw district lines. You can’t try to create white majority districts because you think that’ll get white candidates elected. And for the same reason you can’t do that if you replace “white” with any other group.
The article then conjures up a different purpose for the VRA: deliberately using race to increase the prospects of minorities being elected. The article concedes that was added as an interpretive gloss after the fact. But it condemns the Supreme Court for interpreting the VRA consistent with the law’s actual purpose instead of this other purpose that courts came up with after the fact. That’s what it means when it says the Court “limited” the VRA. It means that the Court limited the scope of the law with regards to this after-the-fact purpose.
The civil rights laws prohibit treating individuals differently based on race. That’s what they say and that’s what they were trying to achieve. Unless expressly stated, they were not designed to be a remedial system that allowed racial discrimination so long as the people doing it purported to have good intentions.
How much of a responsibility should the provider have to scan what they're hosting and proactively make a judgment on whether they should block it or not?
It's really hard to do that in the general case. As the aphorism goes, "Show me your budgets and I'll show you your priorities", and in a democratic society, the priorities are supposed to be decided by the voters.
You could however envision a system where the bottom-line (the overall budget surplus or deficit) is dictated algorithmically by economic conditions, with the government free to move funds between different priorities, raise taxes, or cut overall spending as long as they met the target budget surplus. Actually wouldn't be a bad idea; it mimics how private organizations and households have to adjust their spending to fit constraints. The whole idea of algorithmic central banking and algorithmic fiscal policy could be quite interesting, particularly now that you have cryptocurrency where you can build algorithms into the nature of money itself.
Maybe someone can explain, but I don't understand why such an order isn't applied to cloudflare themselves?
I don't think it's bad writing. These people actually get angry at the idea that other people do math that might not connect to the real world. And they specially have it out for infinity.
I say do whatever math you like. It is helpful to know what math you are doing. For instance, while I don't have a "problem" with the Axiom of Choice per se I do like clean specifications of when we are using it and when we are not, because it is another example of when we detach from reality as we know it. I don't have a problem with detaching from reality as we know it, I just like there to be awareness that we have.
But plenty of math is detached from reality. Honestly we don't observe very many "mathematical entities" at all; I've never seen a graph. I've never seen hyperbolic space. I'm aware of the many places aspects of them seem to map to reality, but I've never actually seen a literal graph in the real world.
Personally I am reminded of the way that we model our computers with Turing Complete formalisms, despite the fact they are observably not Turing Complete and are technically just finite state machines. However, the observation that they are "just" finite state machines doesn't move us closer to an understanding of how our computers work, it moves us farther away. Even though computers are completely real-world phenomena, if you want to understand the issues raised by things like Turing Incompleteness and other such things in the real world, you're going to be exponentially better off using Turing Machine formalisms and simply noting that you may run out of memory or practically-available computational resources before a calculation can complete than trying to build a new set of formalisms around finite state machines. We can be in an engineering context where we are well aware of the finite nature of everything we are doing because it all comes back to real, physical machines, but it's still easier to model with infinity than without it.
In that context, the real utility of "infinity" is less "an infinite number of things" than "you will never reach for another X [byte of RAM, byte of disk, CPU cycle, incrementing counter, etc.] and be told you're out of resources". Basically we write our proofs, formal or informal, as ignoring "what if I reach for this resource and it's not there?" for every such resource and every time we reach for a resource, which is quite often. You could go through a system and add a "what if" check for every such instance, but it's way cheaper to just buy another stick of RAM or tweak the program to take fewer resources than it is to try to deal with the exponential-with-a-large-exponent explosion of states this causes mathematically.
"I've planned ahead. We're just three miles from a primary target. A millisecond of brilliant light and we're vaporized. Much more fortunate than millions who wander sightless through the smoldering aftermath. We'll be spared the horror of survival." -- War Games
I'm glad I live only a few miles from Moffit Airfield, which is almost certainly a primary target (given that besides taking out NASA you'd also get Google HQ). Knowing that I most likely wouldn't even perceive a nuclear attack is strangely comforting.
> How about we turn down the heat, everyone?
The heat is coming, in part, from the lack of a proper support channel.
> Taxation is the underlying "backing of violence" that helps makes USD so attractive
It really isn’t. If the U.S. shifted to a system of tariff-only taxes, the dollar would still be in demand. If the U.S. let income taxes be paid in the currency of the payer’s choice, most Americans would pay in dollars and irrespectively the dollar would be globally demanded.
There simply isn’t much empirical proof for the taxation hypothesis of the value of money.
Seriously. It makes it seem like this is going to be a blog post either intended for elementary school students, or more likely for teachers on how to better explain some arithmetic concept to elementary school students.
It's absolutely bizarre. Images communicate meaning. Much better to have no image than to have an image that is completely misleading about the target audience or level of technical sophistication.
In case you don’t have time for an hour long podcast, some of the things I found interesting:
* They have never lost a customer in their 47 years of operating.
* They don’t do outbound sales, they wait for customers to call them, and then often reject them.
* They do nearly $6B in ARR, and never took outside investment.
* They’ve never done an acquisition, they’ve built everything in house
* The CEO is still the founder, who is now 82.
* They’re structured such that they can never go public or be acquired, even after the CEO leaves.
* While the CEO is worth billions, she has separated the stock such that she retains her voting power, but her foundation gets all the wealth, and that foundation helps low income children get health care and education.
* The company often sacrifices profits to help low income and rural health systems.
> diablo canyon has 2 reactors that can make 1.1MW per hour continuously
MW/hr is a nonsense unit for generation capacity. The 2 reactors at Diablo Canyon each generate around 1.1GW of electricity (not MW, and not “per hour”, watts are already energy/time.)
> the largest solar plant in california is Ivanpah. It made 85GW/year. Thats 97MW/hr.
Ivanpah is a badly designed plant that isn't representative of CA’s solar generation (which is largely distributed, not large utility-scale plants) and is being shut down, but also these numbers are both nonsense units and unrelated to the actual stats.
Ivanpah’s peak output capacity is 397MW, it was intended to produce around 1TW-h per year, and it has actually produced an average of 732GW-h per year (equivalent to an average output of around 84MW).
It seems to be trying to summarize data about various places but, for better or worse, talks about the data it wishes it had when it isn’t available.
I do a character to do street photography and that character does another character
https://mastodon.social/@UP8/116484421100356111
who is a thēríon and not thoroughly tame like
https://mastodon.social/@UP8/116476942582628585
The second character was very easy to do for me, like the foxographer doesn’t need a background story because he is legible and employed. Kitsunekamen does need a background story because he does have to explain himself so I have ‘writing’ to do.
So yeah I am very interested in how you would manifest a voice that speaks for wild things.
That isn't how LLM training has worked for some time. There's a reason the LLM boom didn't take off until training was separated into pretraining (training on all data) and posttraining (RLHF to make the output actually aligned).
It's also why model collapse is not a thing despite everyone wanting it to be.
> The MMT folks think this is business as usual.
The MMT folks think that, when inflation gets high, you need to raise taxes to take money out of the economy. The fatal flaw in that is raising taxes is politically impossible.
Ballistic missiles are also kamikazi. Also, proximity detecting artillery shells. and torpedos.
Every time you comment on here you show a little bit more of how little you understand of how the world works.
It is not 1945 anymore, indeed. But that's not why the US has bases in Germany. It has bases in Germany to serve as 'stationary aircraft carriers' on friendly foreign soil, which is a privilege and as part of NATO a mutual benefit and which were there on account of Russia and the Middle-East, not because Germany was still perceived as a threat or a country that needed occupation, that particular need ended well before the Unification and the withdrawal of Russians from Eastern Europe.
Tossing all of that into the grinder isn't 'making America great' it is making America smaller, much smaller. The EU has spent an absolute fortune on US military hardware in return in the past. That will end now, and this is being said out loud. EU military spending has been on the rise, but the US fraction of that spending is diminishing, and is expected to diminish further.
This will hurt the US much more than that it will help. So these are - like most MAGA inspired actions - at best own goals, at worse active aid to Putin.
You should be able to figure out the truth of this: if withdrawing 5K troops made sense outside of the context of being ostensibly as pay-back for Merz stating that the US has been humiliated by Iran - which they have, there is no doubt about it - then it would have been done so. But instead, the use of one particular word that your king is a bit sensitive to because it hits home is what set this off.