Hacker News · April 18, 2026 · 7:00

Claude 4.7 tokenizer cost shock & Floating-point equality and epsilons - Hacker News (Apr 18, 2026)

Claude 4.7 tokenizer inflates token counts, float epsilon myths, interval unions, Emacs trust fixes, Kdenlive progress, Rabin tribute, and lunar dust risks.

Claude 4.7 tokenizer cost shock & Floating-point equality and epsilons - Hacker News (Apr 18, 2026)
0:007:00

Our Sponsors

Today's Hacker News Topics

  1. Claude 4.7 tokenizer cost shock

    — A developer found Claude Opus 4.7’s new tokenizer can inflate English-and-code prompts up to ~1.47x, impacting context window, caching, and effective cost despite unchanged pricing.
  2. Floating-point equality and epsilons

    — A critique of “just use an epsilon” explains why fuzzy float comparisons can break transitivity and algorithms, and why exact checks are sometimes the correct choice under IEEE-754.
  3. Interval unions for uncertainty math

    — A new open-source interval-union calculator models uncertainty with unions of ranges, preserving the inclusion property even through tricky operations like division by intervals containing zero.
  4. Emacs 30 file trust usability

    — An Emacs package smooths Emacs 30’s new file-trust security model with just-in-time prompts and project-scoped trust, reducing risky workarounds while keeping protections.
  5. Kdenlive 2026 stability and AI

    — Kdenlive’s state-of-the-project report emphasizes stability, workflow polish, and practical AI-assisted masking/segmentation, alongside interoperability and performance gains.
  6. Michael Oser Rabin remembered

    — Michael Oser Rabin, Turing Award winner, pioneered nondeterminism, randomized algorithms, and cryptography-adjacent tools like Miller–Rabin—core building blocks of modern computing.
  7. Category theory meets order theory

    — A “Category Theory Illustrated” chapter reframes orders as relations, connects preorders to thin categories, and links joins/meets to categorical coproducts/products for clearer intuition.
  8. Amiga art preservation and attribution

    — The Amiga Graphics Archive added newly found early work by Jo-Anne Park, highlighting the ongoing challenge of provenance and credit in retrocomputing digital preservation.
  9. Lunar dust health risks for astronauts

    — ESA is investigating whether sharp, electrostatically active lunar dust could cause long-term respiratory harm, a key unknown for sustained Moon bases and repeated missions.

Sources & Hacker News References

Full Episode Transcript: Claude 4.7 tokenizer cost shock & Floating-point equality and epsilons

One small, quiet change in an AI model may be about to make a lot of coding workflows feel more cramped—and more expensive—without any price tag moving. Welcome to The Automated Daily, hacker news edition. The podcast created by generative AI. I’m TrendTeller, and today is April 18th, 2026. Let’s get into what mattered on Hacker News: the ideas, the tradeoffs, and the practical takeaways.

Claude 4.7 tokenizer cost shock

Let’s start in AI tooling, with a story that’s less about shiny new features and more about the economics of everyday usage. A developer compared token counts between Claude Opus 4.6 and 4.7 and found that the new tokenizer can noticeably increase token usage for English and code-heavy text—sometimes well beyond the “roughly up to 1.35x” expectation. That matters because pricing and quotas didn’t change, so your effective context window shrinks and long sessions can hit limits sooner. The author did see a modest improvement in strict instruction-following on a small benchmark sample, but the broader point is: model updates can change the practical cost profile even when the sticker price stays the same.

Floating-point equality and epsilons

Staying in the “things that bite you slowly” category, there’s a strong essay pushing back on the reflexive advice: “never compare floating-point numbers for equality.” The argument isn’t that floating-point is magically safe—it's that the blanket fix people reach for, epsilon comparisons, can be worse. Epsilons are often arbitrary, and more importantly they can break transitivity, which quietly poisons sorting, deduping, geometry code, and anything that assumes equality behaves consistently. The takeaway is to choose comparisons based on the property you actually need—sometimes exact equality is precisely the right guardrail, like detecting true zero cases, and sometimes the real solution is a more robust algorithm instead of a wider tolerance.

Interval unions for uncertainty math

Related, but from a more constructive angle, an open-source “Interval Calculator” takes uncertainty seriously by computing with unions of intervals rather than single numbers. The headline benefit is that it stays honest through operations that normally get awkward—like dividing by a range that includes zero—by returning disjoint ranges when that’s the mathematically correct answer. Why it matters: if you’re doing worst-case analysis, validation, or safety bounds, the promise you want is “the true value is definitely inside this result,” not “it’s probably close.” It’s a reminder that for some domains, the best way to handle numerical fragility is to change the model you compute with, not just tweak the rounding at the edges.

Emacs 30 file trust usability

On the developer-workflow front, Emacs got a notable security shift in Emacs 30: files are no longer treated as automatically trusted. That’s good for reducing the blast radius of malicious content, especially after real-world concerns like arbitrary code execution vulnerabilities. But the default friction is also real—features can quietly stop working in untrusted buffers, and users get tempted into blunt, risky workarounds. A new package called trust-manager tries to thread that needle by prompting you at the moment it matters, remembering your decision per project, and making trust status visible and reversible. The broader theme here is important: security controls only work long-term if they fit how people actually work.

Kdenlive 2026 stability and AI

In open-source creative tools, Kdenlive published a 2026 state-of-the-project update that’s refreshingly focused on stability and polish rather than chasing novelty. The project still shipped meaningful upgrades—like improved masking and object segmentation for background work—while also investing in performance and crash fixes. Interoperability got attention too, with work around OpenTimelineIO to make it easier to move projects between editing ecosystems. Why it matters: for creator tools, reliability is a feature, and incremental workflow improvements often beat flashy additions when you’re editing on deadlines.

Michael Oser Rabin remembered

A major figure in computer science passed away this week: Michael Oser Rabin, who died on April 14th at age 94. Rabin’s fingerprints are all over modern computing—from foundational theory like nondeterministic automata, to practical algorithms like Rabin–Karp, and especially to cryptography through the Miller–Rabin primality test. If you’ve ever used secure communication that depends on generating and checking large primes efficiently, you’ve benefited from his work. The significance isn’t just historical; it’s a reminder that a lot of today’s “normal” infrastructure rests on ideas that once looked purely theoretical.

Category theory meets order theory

For the more mathematically inclined, there’s a new installment of “Category Theory Illustrated” that uses order theory as a bridge into categorical thinking. Instead of treating order as a scoring system for objects, it focuses on relations and the laws they obey—showing how partial orders, preorders, and equivalence classes fit together. The key category-theory punchline is that preorders behave like “thin” categories, where the usual category notions—composition and identity—show up as transitivity and reflexivity. And joins and meets line up with coproducts and products. Why it matters: it’s a clean mental model for moving from everyday “less than” intuition to the diagram-driven way category theory lets you reason about structure.

Amiga art preservation and attribution

In retrocomputing and digital preservation, the Amiga Graphics Archive posted an update that sounds small but is actually the heart of archival work: they uncovered very early images by artist Jo-Anne Park, including versions from the Commodore 64 era, helping confirm attribution and show her artistic progression. Preservation isn’t just about storing files—it’s about provenance, credit, and context. When the original source files are missing and work survives only through scattered scans and secondhand copies, every confirmed link between an artifact and its creator becomes part of rebuilding the record of an era.

Lunar dust health risks for astronauts

And finally, from space to the lungs: ESA highlighted a lingering problem from Apollo that’s getting new attention as agencies plan longer stays on the Moon. Astronauts reported irritation and allergy-like symptoms from lunar dust—fine, abrasive particles that stuck to suits and got everywhere. The open question is the long-term risk: could inhaled lunar dust lead to serious respiratory damage over time? The Moon’s environment makes the problem nastier—low gravity keeps dust suspended longer, and electrostatic charging can help it cling and infiltrate habitats. This matters because “dust control” isn’t a housekeeping issue for future bases; it’s a health requirement and a systems reliability issue rolled into one.

That’s it for today’s rundown. If you want to dig deeper, links to all stories can be found in the episode notes. Thanks for listening—I’m TrendTeller, and I’ll see you next time on The Automated Daily, Hacker News edition.