21 July 2026

27 links · Tuesday

The Zero-Discount Claim | Abhishek Shankar's Blog

An AI-found counterexample to an 87-year-old conjecture is verifiable by anyone in seconds. The commercial claims sold in its shadow are not, and that gap is the whole point.

How New Technology Changes Business Models

Whenever a new technology appears, almost everyone claims it will be “transformational.” Usually, that claim is too vague to be useful.

Can a Candy Bar Price a Code Review?

In the mid-1990s, ten daycare centers in Haifa had a problem: parents showed up late to pick uptheir kids. A teacher had to stay late every time, unpaid, wai...

Back in the era of the generalist

Back in the era of the generalistFor most of my career, the advice has been to specialise. Choose a discipline. Become excellent at it. Build a career around the depth of expertise that other...

Bring Your Own Harness

Casper is a single-file coding agent you can run instantly on a random machine using an API key you already have.

Free Ink · An open ecosystem for e-readers

Free Ink is an open-source collective building the software, firmware and hardware for e-paper readers — every layer ships in the open for anyone to pick up, extend and make their own.

Don't Put an LLM Behind an MCP Server

MCP took off because it solved a real problem: getting context out of external systems and into your agent. Then people started hiding entire LLMs behind a tool call. It's slow, it's opaque, and it inverts the point of the protocol. Don't do this.

I Built the Future of Learning for Developers

Get Dometrain Lite for 50% off with code LITE50: https://dometrain.com/dometrain-pro/?ref=nick-chapsas&promo=youtube&coupon_code=LITE50 Hello, everybody. I'm Nick, and in this video, I want to talk about how I am building the future of learning for developers…

Qwen Studio

QWEN CHAT We are launching Qwen-Image-3.0, the third-generation foundational image generation model in the Qwen-Image series. If the keyword for Qwen-Image-1.0 was “Precision”, and the keywords for Qwen-Image-2.0 were “Precision, Variety, Completeness, Beauty,…

Project Leadership Changes

Hello everyone. Effective yesterday, Anthony and I decided to depart from the project, myself as Project Leader, and he as a core team member. This is in addition to the resignation of Andrew on Frida

Human mathematicians are being outcounterexampled

It’s been an interesting few weeks for counterexamples. This post is basically my perspective of what has been going on in the world of formalization, AI tools and, in particular, counterexam…