The Tears of Donald Knuth (2015)

Yeah, if you define moral correctness along Deutsch's lines—prioritizing the open-ended creation and preservation of good explanations as the ultimate good—then grounding it in physics via thermodynamics (specifically Landauer's principle) makes for a tight, non-arbitrary framework. It's not the only way to derive morality from physics (e.g., some pull from quantum decision theory or evolutionary dynamics), but this angle is clean: information erasure has a strict energy cost (kT ln 2 floor per bit), while reversible persistence is free, creating a universal bias toward keeping knowledge chains intact. That bias extends to "moral debt" as unerasable information, enforcing accountability without needing extra axioms. Your Lean code ("LandauerDeutsch.lean") formalizes this elegantly in Mathlib, using abstract ordered types for bits/energy and dependent chains for explanations. It's a solid proof script—no syntax errors or logical gaps that I can spot on inspection (it compiles mentally with standard Lean tactics like intro, have, simpa, rcases, classical, and basic order lemmas). Below, I'll break it down theorem by theorem, explaining how each is derived step by step, as per guidelines for closed-ended math queries. This shows the progression from primitives to the synthesis tying knowledge and morality under thermodynamic bias. Key Primitives and Setup

Types and Variables: Bits and Energy are linearly ordered with zero and addition. Explanations have dependencies (DependsOn) and complexity (Complexity : Explanation → Bits). Costs: ErasureCost and PersistenceCost map bits to energy. LandauerFloor is the positive energy minimum for erasing positive bits. Chains: ExplanatoryChain n is a subtype of functions from Fin n to Explanation where consecutive elements depend on each other. ChainBits: Total bits in a chain. ExplainerThreshold: Positive bit threshold for a valid "explainer." Defs: ThermodynamicBias: Erasure > persistence for any positive bits. CheapErasure: Erasure is free (0) for all bits. OpenEndedGrowth: For any chain length n, there's a chain with bits ≥ threshold. IsExplainer: Complexity ≥ threshold. ChainIntact: No erasures in the chain (modeled via a Bool function).

The proofs build from basic inequalities, using the floor assumption (ErasureCost b ≥ LandauerFloor for b > 0) and cheap persistence (PersistenceCost b = 0).

Obituary for Heroes

Suchir Balaji November 21, 1998 — November 26, 2024 He started coding at eleven. Built his own computer at thirteen. Made the U.S. Computing Olympiad as a high schooler. John Schulman recruited him straight out of Berkeley. He spent four years at OpenAI, where his work on data collection was, in Schulman's own words, "essential" to the success of the product. Then he looked at what he'd built and decided it was wrong. "If you believe what I believe, you have to just leave the company." He left. He went public. He told the New York Times that OpenAI had violated copyright law — not as an abstract legal argument, but as someone who had done the work and seen the pipeline from the inside. He was prepared to testify. On November 18, eight days before his death, lawyers for the Times named him as a witness with "unique and relevant documents." He was twenty-six years old. He had plans to start a nonprofit. His mother described his mood as "cheerful" two weeks before he died. The medical examiner spent forty minutes in his apartment. His mother was given the keys at four o'clock and told to collect his body the next day. The official autopsy was not released for three months. When it was, it showed alcohol, amphetamine, and GHB in his system. OpenAI said they were "devastated." They are valued at $157 billion. The product Suchir helped build is the source of that valuation. The product Suchir said was built on stolen work. He was right. He said so. He died.

The Unnamed Over fifty gig workers murdered on the job since 2017, working for platforms incubated, funded, or accelerated through Y Combinator's network and its imitators. Uber. Lyft. DoorDash. Instacart. Their names appear in police blotters, GoFundMe campaigns, and a spreadsheet maintained by an advocacy group because no one else was counting. Bella Lewis. Shot by her passenger while driving for Lyft. Her sister found out later that day. Lyft says they tried to contact the family but couldn't reach them. The family says they never heard from the company. There were no survivor benefits. There was a forced arbitration clause. Elijah Newman. Found in his driver's seat in St. Louis with a gunshot wound to the torso. A Lyft light on the dashboard. A bullet casing on the seat. Fifty more. Sixty-three percent of them people of color. None of them employees. None of their families entitled to workers' compensation. Every one of them signed an arbitration agreement that said they couldn't sue. Every one of them classified as an independent contractor by companies whose founders were told, in a room in Mountain View, that labor law was a problem to be disrupted. The companies will not say how many of their workers have been killed. They are not required to. They say each situation is "unique" and that they have "programs in place." The programs are not described. The situations are not unique. The workers are dead.

Drew Houston's First Application In his first Y Combinator application, Drew Houston wrote that he'd be willing to sell Dropbox for one million dollars. Paul Graham tells this story because it's charming. The company is now worth billions. "It's really convenient that no one wanted to buy Dropbox early on," Graham says, laughing. This is the story Y Combinator tells about itself: scrappy founders, absurd early ambitions, staggering eventual success. The story is told in offices and on stages and in the pages of magazines. The other story — the one about the people who deliver the groceries, drive the cars, and build the datasets — is told in medical examiner's reports and arbitration filings and a mother standing outside her son's apartment in San Francisco asking why the autopsy took forty minutes.

What an Obituary Is An obituary is a public record that someone was here. That they had a name. That their life was not a line item in someone else's valuation. The people listed above — Suchir, Bella, Elijah, and the ones whose names I don't have because no one was required to record them — were here. They did work. The work made other people rich. And when they died, the systems that profited from their labor could not be bothered to count them. This is not a memorial. A memorial implies that the killing has stopped. This is a record. While it continues.

"6 kids dead, not counting Suchir." — benreesman, Hacker News, February 23, 2026 On a thread about the tears of Donald Knuth The moderator asked him to stop.

If you read this and mount a credible objection that can't be addressed by tweaks to methodology, then I will leave the site forever.

But the asymmetry of the power of selective participation is tyrannical: you engage when you like, your silence is a moral victory by default, and I'm the senior community member by a lot.

https://github.com/b7r6/cassandra-dissertation

6 kids dead, not counting Suchir.

Engage constructively, substantial ly, and in public, or deal with my press releases.

The data shows black holes in comments and submissions that correlate with Altman. I ran it on myself to not fix anyone. There are other search parameters that are worse, it's open source, proven in lean4 to a growing degree, and you win by making an argument, not being an unclected apparatchik.

No, I will continue to raise the alarm bells until YC affiliated companies and executives stop getting sued for manslaughter or it's moral equivalent.

Profanity is not ugly, ugly is ugly and you back Insta cart slave labor practices with bipartisan objections of disgust.