fnordpiglet

See Conways law for how to mitigate this

He’s never achieved a majority vote in any election, FWIW. His claim of a mandate was just as brazen as all the other litany of lies - he’s a lame duck lame duck. The true shame is on the congressional republicans for letting him sully them so deeply and follow him in his self immolation of the entire government and America in the world. The rebuilding will be a major test of the successor, and it’ll be fascinating to see if the Goldwater republicans can become the party of reason again rather than this reality TV idiocracy.

And won via a plurality after losing the popular vote in the last election. The least popular president in history can’t win a majority of popular vote. It’s not shocking he’s deeply unpopular, he never was popular. He’s a won twice on a technicality of the republic created to ensure the rural states wouldn’t be dominated by Virginia in the original establishment of the union.

He’s a pariah everywhere on earth, most especially at home. The sad part is the democrats couldn’t mount a successful campaign against someone so unfit to lead. Now there’s nothing left to do but clean up the mess and undo the terrible harm he has caused and repair what can be once he’s finally out of our hair.

I think no one wants this personally, but there is so much money - and employment - behind the private pay system that it’s virtually impossible to reform it. There is also a real aspect that the system was designed by those in power to further a necessity to work, an overriding fear that people might idle or not work with maximum productivity. Once the system was laid down. With dozens of huge insurance companies and even more smaller ones, with billing departments, coding clerks, adjusters, claim processors, duplicated at every clinic, hospital, insurance company, and the constellation of other roles, partners, providers, it’s now employing millions of people just to operate this hideous machine of national suffering. Talk of reforming it into a single payer system or a socialized system is wildly unpopular with everyone who depends on the current system - millions upon millions of people, and deep spending companies supporting candidates. In a country where either politicians either win by a landslide due to partisan politics, in which case it doesn’t matter what constituents think, or the margins of victory are so narrow that you can’t afford to screw over millions and millions of people through direct action like legislation, the system is metastasizing. There are solutions to the health care problem from a consumer point of view, but the churn it would cause on the employment side would be profound and structural. My view is probably the best strategy is make money young here and emigrate to a place worth living, which is painful to say.

There’s very little I can see truly breaking American society but I think the stark stupidity of health care here is up on the top.

I’ve been in the industry a long time and benefits at FAANG are not great. Deductibles are high, subsidy pretty average, overall package weak. Earlier in my career I paid nothing for insurance, had a lot of fringe benefits, and I was genuinely grateful for the perks. I’ve looked at ACA alternatives compared to my FAANG benefits and it wasn’t a huge difference frankly - better on the margin but nothing to write home about, at least in my local market.

The fact people have to find a job not for money but for health insurance is about as dystopian as I can imagine. Toil just to not get sick and go broke, not because you need the money. What a sad world we built for ourselves.

As much as I appreciate your intention might be to be helpful it was in fact quite rude and arrogant. I think telling someone in a technical forum to not be so technical and lecturing them on clarity of communication is pretty offensive - you don’t know me, know what I do or who I am, what my background is, and clearly my message wasn’t intended for your consumption since you found it not for your consumption. Some advice since we are dishing it out, this sort of stuff is as annoying as correcting grammar on Usenet posts or all the other forms of things that disingenuously begin with “not to be rude” - if you are aware it is likely to be read as rude, maybe just not type it next time? Just trying to help you be effective and not show such gross colors next time.

PS, it’s about builds on the same tree but about edits on the same set of files in the tree that would cause block COWs in brtfs. If you read the original links docs you will see that’s the use case they’re targeting, and it’s a lot different than build artifacts. Their proposal isn’t just assisting in deduping but in merging rapidly files that have interleaved changes.

It’s like almost yesterday it was CRDTs and Rust!

Perhaps but it wouldn’t have been explicit about why I have that problem. I don’t think it’s a normal problem to have, whether it’s elite or not, it’s IMO not common. The speculative pipeline and the merge train is the key part because they overlap with changes in the same files. This is why block based doesn’t help me as much. I’d prefer to not censor myself with respect to my problem statements for some internet humility virtue signaling.

I have this pattern but because I run pipelined agents working on a speculative merge topologically sorted task list merging into a merge train. This leads to lots and lots of work trees that largely overlap except for slight variants. Their articulated use case is mine, and I can have up to a hundred work trees at a time. The storage and related back pressures can be complicated.

And they do it in powershell

IMO the most useful thing a mathematician can do is not solve “practical problems” but to come up with conjectures and riddles that look around several dark corners of math at once. The proving of a conjecture is a bit of a sport done to impress people with your cleverness; but the clever person was the one who made the conjecture to begin with.

Given the trajectory of LLMs to date I see them helping construct proofs for conjectures but not devising new conjectures of any material substance any time soon. The challenge is, as Tao has said elsewhere, part of being able to formulate a conjecture is by exploring the landscape around it by doing proof research. Seeking answers finds useful questions. The fear is the tools will take away the exploration of the landscape. But that’s silly IMO. It takes a special type of lazy to let a tool take away your understanding that’s important for what you’re goal is, and a special type of passion to learn with a powerful tool. The passionate will adapt and progress will accelerate, not slow down.

For instance Tao has posted some of his interrogations of proofs with AI assisted reasoning and it didn’t seem to diminish his ability to establish insight rapidly, but to shut down avenues rapidly and to pivot and expand his understanding rapidly. The insight was all his own, as was the path of inquiry. The understanding of the output was his as well. He carries it into tomorrow and uses it to formulate new more interesting conjectures the next day. The AI ceased to “exist” as soon as the inference turn was over.

The hand wringing is pointless and lame. John Henry moves aren’t necessary or useful, and when I see a tunnel boring project now I see tons of people well employed there, just the holes are bigger and better, and they’re engineers instead of strong backed hammer slingers.

And seen the disproportionate use of military style force to run down naturalized citizens in the parking lot with tanks and tear gas?

I for one welcome our magnetic millirobot overlords into my beating heart.