Front-page articles summarized hourly.
Stewart Brand's overview of Julian Orr's Xerox ethnography shows repair know-how is fundamentally social. Diagnosing faults relies on brief, dense "war stories" and an ongoing community of practice among technicians, customers, and machines, not on directive manuals. Managers resisted improvisation, favoring fault-isolation procedures, but technicians built a global knowledge-sharing system—Eureka—via tips databases, radios, and peer networks. France and Canada proved the model; over time 25,000 technicians adopted Eureka. The piece highlights the power of communities of practice and social capital in technical work.
Gowers reports that ChatGPT 5.5 Pro can produce research-level math with minimal input, demonstrated by solving and improving bounds for a Nathanson problem in additive number theory. GPT produced a construction that reduces the upper bound from exponential to polynomial for sumset sizes, explained and LaTeXed as a preprint; Isaac Rajagopal validated it as almost certainly correct. The key idea: using -dissociated sets to tightly control relations, building on Sidon sets and arithmetic progressions. The post raises questions about publishing AI-generated results, training new researchers, and how AI will reshape mathematical practice and authorship.
Linux Foundation budgeting shows only about 2.95% of funds go to Linux; the rest supports non-Linux activities, open branding, cloud/AI, and policy work blamed for harming Linux. The piece critiques LF leadership and Linus Torvalds’ compensation as out of touch, labeling it mission creep/openwashing. It also compiles related Techrights items on Cloudflare debt and layoffs, media churnalism, SLAPP censorship, and GPL/IP controversies involving IBM, Microsoft, and OSI.
The piece recalls Fred Brooks’s work on IBM System/360 and his influential book The Mythical Man-Month (1975). It highlights Brooks’s Law—adding manpower to a late project slows it further due to growing communication paths—and argues that conceptual integrity (simplicity and straightforwardness) is the core of good system design. The author, Martin Fowler, says this philosophy has shaped his career. The anniversary edition, which includes No Silver Bullet (1986), remains relevant even as some ideas feel dated.
Human Typing Habits and Token Counts explains that typing patterns—typos, shorthand, fillers, pasted IDs, whitespace, and conversation padding—change token counts used for billing, even if meaning stays the same. Tokenizers split text by patterns, so small spelling or punctuation changes can swing a prompt from a few tokens to many. Claude and OpenAI tokenize differently, so counts vary by provider. Hidden tokens from UUIDs, timestamps, long URLs, and boundary spaces also raise costs. The model may recover meaning, but billing is per token.
ISSpresso shows launch costs aren’t the only barrier: NASA’s safety and qualification demands turn simple devices into multi‑million, rugged hardware. A solar inverter anecdote shows how small, decoupled subsystems can cascade into trouble, justifying the Safety Review Process. Even cheap rockets still require extensive testing, so human Mars missions will cost like today’s big telescopes: hundreds of millions to launch and billions to perfect gear. Remedies: fly more hardware and robots to gain flight data, relax safety rules where prudent, and let amateurs prototype ideas to accelerate progress.
Usmon, a 16-year-old from Uzbekistan, built GitHub Store—a cross-platform app store for GitHub releases—in a one-week MVP sprint. Six months later it has 12,500+ stars, 250k updates served, and ships in 13 languages on Android and desktop. Frustrated by Play Store barriers, he created a discovery-focused store atop GitHub Releases, using Kotlin Multiplatform and a single codebase. Key lessons: ship first, listen to real users, localize early, and treat distribution as a feature. Future plans include design improvements, broader desktop support, and a paid tier.
Lachlan Davidson recounts discovering and disclosing a critical remote-code-execution vulnerability, dubbed React2Shell, in Next.js/React Flight. By abusing Flight's ability to serialize complex JS objects (thenables and prototype references) and how chunks are resolved, an attacker could achieve RCE on the server. He and Sylvie Mayer built the exploit chain, culminating in code execution via Node's module loader; they reported to Meta on Nov 30, 2025, and Meta issued a fix and CVE-2025-55182 on Dec 3. The patch closed the attack surface; the disclosure involved coordination with Vercel and the industry. A follow-up covers response and reproducibility race.
CU Boulder researchers turned on and sustained light from bioluminescent algae, enabling light without electricity. Pyrocystis lunula glows when exposed to chemical stimuli: acidic solutions (pH ~4) keep it bright for up to 25 minutes; basic solutions yield shorter, diffused light. The algae were embedded in a hydrogel and 3D-printed into shapes (including a Buffalo logo) that glow when stimulated. In acidic conditions, brightness stayed about 75% after four weeks. Potential applications include battery-free lighting for deep-sea or space use and living water-quality sensors, with carbon storage during illumination.
Explains the birthday problem and how to compute the chance of at least one match among n people, starting from no-matches and the 23-people result (~50%). It then uses von Mises’ occupancy idea: instead of a single pre-chosen day, count how many days end up with s birthdays. Derives p1 and the expected number E(xs) of days with s birthdays, and applies it to n=365, k=60 to get E(x3) ≈ 0.2196, i.e., about one triple every 4–5 groups of 60. Links to hash collisions and the Birthday Attack, which needs ~sqrt(n) trials (e.g., ~2^128 for SHA-256).
Specula team evaluated LLMs on modeling real-world systems in TLA+ using SysMoBench, which tests syntax, runtime, conformance, and invariants across eleven systems. While LLMs produce syntactically valid TLA+ specs and often run in TLC, their conformance to actual system behavior and invariant correctness is poor (roughly mid-40s percent). Common issues: reciting textbook templates rather than reflecting implementation; two failure modes—unreachable states and skipped multi-step transitions; transitions validated per action via trace windows. Open challenges: trace coverage, state abstraction, generalization; next, Specula aims for full conformance with a growing leaderboard.
An opinionated critique of OpenAI's WebRTC-based media for Voice AI. The piece argues WebRTC—designed for conferencing—causes unnecessary latency, aggressive audio packet dropping, and fragile networking (NAT, ephemeral ports, complex signaling), making it a poor fit for real-time AI prompts. Through anecdotes from Twitch/Discord, the author notes the heavy handshakes and brittle load-balancing required to scale WebRTC. He advocates replacing WebRTC with QUIC/WebTransport or WebSockets, outlining QUIC’s advantages: single port, Connection_ID, stateful load-balancing via QUIC-LB, anycast/unicast, and faster handshakes. Concludes QUIC is the better path for Voice AI.
Mart Zielman explains hosting a site on a Raspberry Pi with Astro, due to a dynamic i18n library that wouldn’t work on Vercel. He offers a pragmatic setup: 1) forward your router to the Pi, pull the repo, install Caddy and configure a reverse proxy (e.g., localhost:4321 for Astro; 5173 for Svelte/Kit). 2) add a DNS A-record to point to your router. 3) build the site (npm run build), then run it with PM2. 4) use GitHub Actions to auto-deploy by SSH-ing to the Pi and restarting PM2 with a script.
Could not summarize article.
U.S. District Judge Colleen McMahon ruled that the Trump administration’s cancellation of more than $100 million in National Endowment for the Humanities grants was unconstitutional and beyond DOGE’s authority. She found First and Fifth Amendment violations, including unconstitutional viewpoint discrimination tied to DEI labels, aided by ChatGPT. The ruling permanently blocks the terminations and calls for restoration of NEH funding. Plaintiffs—The Authors Guild, American Historical Association, MLA, and others—welcomed the decision. About 1,400 grants were canceled, most from the Biden era, with only about 40 Biden-era grants spared.
Could not summarize article.
Meta is removing end-to-end encrypted messaging from Instagram DMs on May 8, 2026, citing low opt-in rates. Those who want E2E can use WhatsApp. Affected chats will offer guidance to download data, possibly with an app update. The change follows safety concerns and a New Mexico lawsuit alleging unfair practices; Meta is appealing. Meta says the feature balance privacy with safety and law enforcement needs. WhatsApp remains E2E; Messenger’s E2E is limited to personal messages.
Wi‑Fi speeds are limited by client devices and protocol overhead, not just routers. Real throughput is about 60–80% of PHY, and most devices are 2×2 MIMO, so marketing speeds are often hype. Gains come from wider channels (80/160/320 MHz), improved MIMO, and higher MCS, plus MU‑OFDMA in Wi‑6 and 6 GHz in Wi‑6E. DFS channels enable 160/80 MHz use; 160 MHz channels depend on distance and interference. The best setup is a central 4×4 Wi‑Fi 6/6E/7 AP with wired Ethernet backhaul; avoid extenders/mesh backhaul when possible. Test PHY speeds and throughput; consider MoCA/Ethernet for backhaul.
Made by Johno Whitaker using FastHTML