Why Don’t People Use Formal Methods?

hillelwayne.com

I saw this question on the Software Engineering Stack Exchange: What are the barriers that prevent widespread adoption of formal methods? The question was closed as opinion-based, and most of the answers were things like “its too expensive!!!” or “website … Read more

AIs don’t do what you want. This is bad

rewardhacking.org
ais-don’t-do-what-you-want.-this-is-bad

Methodology Reports are collected from GitHub issues, Hacker News, LessWrong, and X under ToS-compliant access, normalized into a shared record format, and labeled by an LLM classifier across fourteen misbehavior categories. The numbers above cover the published subset (excludes AIID … Read more

Don’t You Mean Extinct?

fabiensanglard.net

Don’t you mean extinct? Jul 10, 2026 Don’t you mean extinct? In 1993, Jurassic Park came out and revolutionized the use of CGI in films[1]. To the public the experience was magic. But for some of the people in the … Read more

Don’t discontinue Gemini 2.5 Flash

discuss.ai.google.dev
don’t-discontinue-gemini-2.5-flash

Nick_D July 10, 2026, 12:13am 1 Hi Everyone – Firstly, I want to give my thanks to the Gemini team for providing access to such great models. It has been so helpful. We have some very specific workflows that rely … Read more

Punk, or why I don’t stream anymore

geohot.github.io

If you’re the sun, I’m a black hole– The Stephen Hawking, Say Anything What killed the hacker culture I grew up in was spectacle. You can consume it without participating, and even worse it has signaling value. I never did … Read more

I Don’t Maintain My Homelab

cleberg.net

So, what’s the end result? I’ve approximated it somewhere around 15 minutes of maintenance per month, barring an emergency. If that’s normal to you, congrats – you’ve peaked in life. However, that’s absolutely absurd to me. I used to spend … Read more

Don’t trust large context windows

garrit.xyz

I recently watched a video that put a name on something I’d been feeling. The author splits an LLM’s context window into two zones. There’s the smart zone, where the model is sharp, and the dumb zone, where attention drops … Read more

“Don’t You Just Upload It to ChatGPT?”

correresmidestino.com
”don’t-you-just-upload-it-to-chatgpt?”

Article views: 7,468 In my Ottawa life, every Tuesday evening, I take two gym classes back to back—boxing and the pompously named “body sculpt,” which makes me discover muscles I didn’t know I had. It’s fun. I love it. But … Read more