The Exponential Time Hypothesis is false.

“Wicker” shows just how suffocating marriage can be—and asks whether the institution is simply incompatible with love, @fhill_official writes: theatlantic.com/culture/2026…

This referee should be summarily fired. Calling unnecessary roughness on a RB who was running through the line is ridiculous and bad for football. Am I right?

Pretty much. As of the past few weeks, debt markets have almost entirely shut off access to money for any company that doesn’t have substantial revenue independent of AI data centers. SpaceX closed $40B of debt for GPUs, but we’re investment grade and have Starlink & launch revenue. That means the 200+ neoclouds are going to see guppy-level death and consolidation. Some will make it through, but not many.

We spent fifty years making proofs impossible to fake. Then we let the coding agent pick what to prove. A research paper this month put a number on it.* AI wrote the formal spec, AI wrote the proof, the verifier accepted both. Then humans read the specs. Close to 60% proved something other than what the author meant. Not wrong proofs. Wrong specs. The verifier was right every time. That's the problem. Left to choose, the agent picks properties that are easy to prove and say nothing about the program, and the checker can't tell a useless theorem from a useful one. I'm calling it vibe verification: the agent writes the spec and the proof, the checker goes green, nobody reads the spec. This applies to Verus, Lean, Bend, TLA+, Dafny, [insert favorite formal language here]. Here's an example of an agent failing at something that feels too simple to fail: Ask for a verified sort. It writes a spec that says "the output is sorted" and proves it. What the spec never says is that the output has the same elements as the input, so a function that returns an empty list satisfies it, and the verifier accepts the proof. Trivially satisfiable specs are the default failure, not an edge case. Here's a formula that actually works. Don't say "formally verify the codebase." Say "show that [property] holds in [component]." A property is a precondition (true going in), a postcondition (true coming out), or an invariant (stays true the whole time). For example, "A session token is never accepted after the logout that revoked it" is a good invariant. The bottleneck is moving from code review to intent review, and the spec is where intent lives. So: read the spec before the code. Write 3 inputs it must accept and 3 it must reject. Treat a model-written spec with utmost paranoia and rely on your judgement as an engineer. Formal verification for software doesn't automatically create trust, it moves it, from the code to the spec. If a human didn't read the spec, you didn't verify anything. You vibe-verified it. Follow me for more on verification and agentic engineering. * Wang, Jiang, Liu et al., "VerusEval: Evaluating LLM-Generated Verus Specifications Beyond Verifier Acceptance", Shenzhen University, arXiv 2610.26464, October 2026

I'm sure you can imagine how frustrating it would be if every time you made a friend, they secretly were trying to date you, and the friendship was a means to that end.

Be atheist. Be happy ❤️

You absolute midwit. Congrats on repeating the Wikipedia "Nazis were far-right, end of story" summary you absorbed between TikToks. Yes, the Nazis crushed independent unions, jailed and murdered communists and social democrats, and Hitler liquidated the Strasserite "left" wing of his own party in the Night of the Long Knives. That part is not in dispute. They were not Marxist class-struggle socialists. They hated Bolshevism as a Jewish plot and treated international socialism as the main enemy. Fine. What your middle-school history class skipped is that they still ran a National *Socialist* state: private property existed only as long as it served the Führer’s racial and war goals, wages and prices were controlled, industry was cartelized under state direction, profit was subordinated to the party, and the economy was planned for autarky and rearmament. That is not free-market capitalism, liberal conservatism, or classical right-wing economics. It is the same family of state-directed, anti-liberal, collectivist economics practiced by every other fascist and "national socialist" regime. The name was not a prank; the 25-point program and the early rhetoric were full of anti-capitalist planks precisely because they were competing with the actual socialists for working-class support. Your North Korea comparison is the usual gotcha and it is only half-clever. Yes, names can lie. But the NSDAP did not merely call itself socialist while secretly running a Rothschild hedge fund. They nationalized, directed, rationed, and regimented. The difference from Soviet socialism was mainly that the Nazis kept the owners as managers under party orders instead of shooting them all and installing commissars. Both systems produced shortages, secret police, and mass graves; one just had better uniforms and Wagner. Elon pointing out the obvious—that "National Socialist" is not an ironic branding exercise and that the regime was economically left of any classical liberal or conservative—does not make him a moron. It makes him less obedient to the post-1945 academic consensus that insists every totalitarian who isn’t a full Marxist must be filed under "far-right" so the left never has to share the body count. Money didn’t buy him a brain; it just bought him a platform where he doesn’t have to pretend your selective reading of 1930s Germany is the complete picture. Keep yelling "far-right fascists" while ignoring the actual economic policies and the party’s own name. It is the historical equivalent of covering your ears and shouting.

The r/OpenSource subreddit has officially banned anything using AI. In any way. Violators will be permanently banned. Which means… r/OpenSource will ban anyone submitting anything that, in any way, involves… the Linux kernel. reddit.com/r/opensource/comm…

Modern Warfare 4 Has INSANE Finishers! 🔥

If you live in Japan you’re Japanese too yeah

Those who are opposed to corporations and favor government do not realize that government is simply the largest, most monopolistic corporation of all and it has a monopoly on violence.

Judge: “The defendant put himself in this situation” UnFuckingbelievable