The Life and Death of Direct File [pdf] 1
ischool.berkeley.edu
The Life and Death of Direct File [pdf]
A 3rd World Embedded Engineer Responds to "RISC-V They Should Have Known Better" | 37
rvembedded.com
A Third World Embedded Engineer Responds to "RISC-V: They Should Have Known Better"
Claude: System Prompts | 58
platform.claude.com
System Prompts - Claude Platform Docs
See updates to the core system prompts on [claude.ai](https://claude.ai) and the [Claude iOS app](https://anthropic.com/ios) and [Claude Android app](https://anthropic.com/android).
SIMD in the 90s: Programming Intel's Pentium MMX | 6
pikuma.com
Pikuma: SIMD in the 90s: Programming Intel's Pentium MMX
If you used PCs in the 90s, you probably remember the 'Intel Inside MMX' stickers. This article explores Intel's major attempt at bringing SIMD instructions to mainstream desktop CPUs.
A quick look at zero-knowledge proofs | 4
bernsteinbear.com
A quick look at zero-knowledge proofs | Max Bernstein
NB: This isn’t about crypto. I don’t care about crypto.
Models Are Getting Dumber on Purpose | 29
w4g1.dev
Models Are Getting Dumber on Purpose - Walter van der Giessen
Reasoning scores climb while per-token compute drops. Labs are stripping world knowledge out of models, and I think that's the right trade.
The AI Credit Resale Economy | 30
vectoral.com
Who Are the Token Brokers? | Vectoral
A look at the brokers buying unused AI credits from startups and reselling them — the marketplaces, the bulk-discount routers, and the message boards where off-market inference changes hands
Protobuf has LSP support. You're welcome | 13

buf.build
Protobuf finally has LSP support. You’re welcome. · Buf
Buf is proud to announce the first fully-featured, production-grade LSP server for Protobuf. The Language Server Protocol is the standard API for integrating language support into your favorite IDE or text editor, such as VSCode, IntelliJ, or Neovim. An LSP server provides the smarts that power go to definition, code completion, finding references, and semantics-aware syntax highlighting.
MathCode, Mathematical Coding Agent | 6
math-ai-org.github.io
MathCode — A Frontier Mathematical Coding Agent
MathCode is a terminal AI coding agent with a built-in math formalization engine: describe a problem in plain language and it converts it into a Lean 4 theorem and attempts a formal proof.
Nvidia dramatically reduces amount of OpenAI infra financing it may guarantee 11
reuters.com
Nvidia dramatically reduces amount of OpenAI infra financing it may guarantee
Anton Chekhov played at love most of his life | 11

commonreader.wustl.edu
Winning and Losing at the Great Game of Intimacy - Common Reader
A journal of the essay
Dancing with friends and enemies: boids' swarm intelligence | 1

community.wolfram.com
Dancing with friends and enemies: boids' swarm intelligence - Online Technical Discussion Groups—Wolfram Community
Wolfram Community forum discussion about Dancing with friends and enemies: boids' swarm intelligence. Stay on top of important topics and build connections by joining Wolfram Community groups relevant to your interests.
Tell HN: Cloudflare silently injects its analytics when you switch nameservers 27
news.ycombinator.com
Tell HN: Cloudflare silently injects its analytics when you switch nameservers
A few hours ago I switched my nameservers to Cloudflare in order to enable R2 bucket serving through my own subdomain, and I found out that it silently had injected a JS analytics snippet in my HTML-only JS-free site textlog.cc — I had to go to the Analytics dashboard, Add the site to the analytics and <i>then</i> disable the snippet. I find this approach entirely invasive, you should opt-in to features like that not have to opt-out. Just a warning out there to folks who might not be aware of this.
St Lucie Nuclear Reactor Unit 1 manually shutdown, 3 control rods drop into core | 26

wptv.com
St. Lucie Nuclear Plant Unit 1 back online after shut down
Saint Lucie Nuclear Power Plant Unit 1 was manually shut down Aug. 13 after 3 control rods dropped into the core. The NRC classified it as a non-emergency.
Stripe Clinches over $7B Deal to Buy AI Firm OpenRouter 33
bloomberg.com
Stripe Clinches over $7B Deal to Buy AI Firm OpenRouter
Asus Bike Booster | 93
asus.com
Oxiis Intelligent Bike Booster|Bike Booster|ASUS Global
ASUS Oxiis E250G1 transforms any bike with 500W peak boost, 50 km eco range, app control, fast USB-C charging, and easy install now for riders
Webmaster a Manifesto for Everyone | 2

brennan.day
WEBMASTER@ a manifesto for everyone · brennan.day
I'm reclaiming the title of 'webmaster' as the multidisciplinary creator who designs, develops, writes, and advocates for their own corner of the web and will save the world. Tracing the history from 1993 to the present, I argue that anyone can become a webmaster with minimal tools. Webmastery is an act of digital repatriation and human agency against corporate platforms and AI orchestration.
The Case Against Formal Verification, 50 Years Later | 16

ivan-gavran.github.io
The Case Against Formal Verification, 50 Years Later - Ivan Gavran
Writings on software correctness, AI, formal verification, and other technical topics.
A SAT Attack on Tarski's High School Algebra Problem | 7
Subercaseaux, Bernardo | Przybocki, Benjamin
[2608.08421] A SAT Attack on Tarski's High School Algebra Problem
Abstract page for arXiv paper 2608.08421: A SAT Attack on Tarski's High School Algebra Problem
Before Rightmove, there was the Cosmorama | 2

ianvisits.co.uk
Before Rightmove, there was the Cosmorama: London’s forgotten property innovation
New research has uncovered how a London estate agent used immersive cosmorama displays to give wealthy buyers a Victorian-era virtual preview of luxury homes decades before photography or the internet.
Chestnut – eGPU dock with open-source firmware | 13

hwbusters.com
Comma.ai eGPU Dock Runs Open-Source Firmware: $249 Bare, $799 With an RX 9060 - Hardware Busters
George Hotz's comma.ai eGPU dock ships with open-source ASM2464PD firmware: $249 for the dock, $799 with a Radeon RX 9060, and it works on a normal PC.
Asynchronous I/O in DuckDB: Work, Thread, Work | 11
duckdb.orgAsynchronous I
Asynchronous I/O in DuckDB: Work, Thread, Work – DuckDB
Starting with v2.0, scheduled for fall 2026, DuckDB will support asynchronous reads of Parquet and CSV files. This can significantly speed up queries when synchronous I/O does not saturate the available bandwidth, as is typical in EC2/S3 compute-storage setups.
Tasklet (YC P26) Is Hiring a Head of Design Engineering 0

tasklet.ai
Head of Design Engineering — Careers at Tasklet
This creates a defining product-design challenge: inventing how people and teams work with AI that does real work, not merely chats. We're looking for a Head of Design Engineering to own that experience holistically—making the entire product simple, intuitive, and beautiful, then personally implementing most of it in production.
The federal keyword lists that canceled billions in research funding | 0

highereddive.com
Inside the federal keyword lists that canceled billions in research funding | Higher Ed Dive
In court documents, the National Institutes of Health, the National Science Foundation and others shared which words they used to target grants.
Anthropic's 'Watermark' Text Adulteration in Claude Is a Perversion of Writing | 45

daringfireball.net
Daring Fireball: Anthropic’s ‘Watermark’ Text Adulteration in Claude Is a Perversion of Writing
It’s unacceptable for a tool to sacrifice an iota of clarity, coherence, meaning, quality, etc. for the purpose of embedding hidden clues within the text to suggest its provenance. The idea that anything other than *my* needs should factor into the generation of text *for me* is patently offensive.