29,500 intermediate theorems seems like a lot. Is that a lot? www.anthropic.com/research/for...
Rob Hunter
Rob Hunter
@robbobobbo.com
Software engineer, I work with AI a lot and write about it a little: https://robbobobbo.substack.com/ Bills fan married to a Bears fan.
329 followers146 following304 posts
I used to get a account recovery notifications from Google every couple hours, which puts me 2 taps away from losing my account. I found there was no way to turn it off, so I ultimately had to uninstall gmail. I'm not the only one with this problem. www.reddit.com/r/GMail/comm...
I can be logged in for Calendar but not Gmail and I won't get notifications (for now). But this is the most inexcusably bad security situation I've ever seen out of a company that should know better: support.google.com/accounts/ans...
I used to get a account recovery notifications from Google every couple hours, which puts me 2 taps away from losing my account. I found there was no way to turn it off, so I ultimately had to uninstall gmail. I'm not the only one with this problem. www.reddit.com/r/GMail/comm...
Sure does. Glad for 30 days notice, and for the subsidized research we got in the meantime. No need [for me] to keep Max now.
At first I was excited for this... And then I saw "Starting June 15, 2026, Claude Agent SDK and claude -p usage no longer counts toward your Claude plan’s usage limits." This sucks. This really really fucking sucks. Like a lot! Fuck Anthropic. support.claude.com/en/articles/...
Like everyone else, I have an agent framework built over Claude Code. I've been pitching my agents on adding support for other harnesses and models, and Claude's been...resistant. It's argued that our code is too coupled with CC (it's not), that other models will struggle with tool calls (maybe?)...
But today it really took the cake. I suggested Letta Code as an alternative harness because of this thread bsky.app/profile/came...
Reminder that Claude Code is among the worst harnesses for Anthropic models. Letta Code does better than Claude Code using their OWN MODELS
Like everyone else, I thought about the ASIC LLMs as valuable once they did big models, but small models have their uses too. They're often more than enough for moderation, rule enforcement, or basic llm as a judge tasks. Running that faster, cheaper, and inline can be really valuable. chatjimmy.ai
Same experience with Yelp Projects. Took a perfectly good form and turned it into a slow, inconsistent experience. Postman did it right imo - UI stayed the same, added an optional and surprisingly capable chatbot that could perform complex actions for you.
I hate AI when it's like this: Notion used to have a one-click way to turn text into a quote. They removed this and now I have... AI So instead of sub-500ms, it now takes 10+ seconds to turn selected text into a quote (type out the prompt, then wait ~4 seconds) So backwards...
I wanted to be able to click around and explore the paper's Figure 1, so I vibe coded a thing that I think is about right. You can click on each of the nodes in that figure and see the EML construction. robbobobbo.com/projects/eml...
Physicist has written a fascinating big beautiful paper.Let’s not be afraid to call it what it is - groundbreaking. arxiv.org/abs/2603.21852
I agree, but I'm not sure about the comparison. I think you _should_ trust your AI much much more than anyone else's, assuming you've some reasonable transparency on its operation. Not that Ethan's saying otherwise, but I think it's healthier to distrust AI than the medical establishment.
I suspect that popularity of AI is going to start looking like surveys where people trust their own doctors but are distrustful of the medical establishment People will increasingly like and rely on “their AI” but will increasingly be anxious about “AI” as a category. Some odd implications result.
"Just one more turn" is the best and worst part of AI coding. Similar to coding or homework sets, I've banged my head against the wall for hours only to solve the problem in 15 minutes the next morning.
I just published a deep-dive into the 250-hour build behind syntaqlite, a SQLite formatter and LSP I built using AI agents. AI agents were the only reason built this after 8 years of wanting but there's a psychological toll to AI-assisted engineering. The post-mortem: lalitm.com/post/buildin...
Announcing a change to a monthly subscription with ~8 hours notice seems like poor form to me. www.reddit.com/r/ClaudeAI/c...
I don't use OpenClaw, I use my own framework and it appears that that's acceptable for now. But it probably shouldn't be? And it's hard to believe they won't no-notice cut it off in the future. bsky.app/profile/isol...
Update from the guy: you can still wrap the agent SDK and use your sub usage that way. Thank goodness!
I have a reasonable number of epubs (incl a batch from Humble Bundle), and have been slowly moving away from the Amazon ecosystem. I have a Synology network drive for the epubs, I have Calibre on a Mac, and I'd like to be able to read from a tablet. www.humblebundle.com/books/dread-...
Oh hey look at that bsky.app/profile/tech...
AI Might Be Our Best Shot At Taking Back The Open Web I remember, pretty clearly, my excitement over the early World Wide Web. I had been on the internet for a year or two at that point, mostly using IRC, Usenet, and Gopher (along with email, naturally). Some friends I had met on Usenet were…
I have a reasonable number of epubs (incl a batch from Humble Bundle), and have been slowly moving away from the Amazon ecosystem. I have a Synology network drive for the epubs, I have Calibre on a Mac, and I'd like to be able to read from a tablet. www.humblebundle.com/books/dread-...
I have a reasonable number of epubs (incl a batch from Humble Bundle), and have been slowly moving away from the Amazon ecosystem. I have a Synology network drive for the epubs, I have Calibre on a Mac, and I'd like to be able to read from a tablet. www.humblebundle.com/books/dread-...
I found that you can install Calibre right onto the Synology NAS, and then there are iOS apps that can connect to that. Sounds like exactly what I want! Then I read the guides... mariushosting.com/how-to-insta...
He described coworkers forwarding incorrect AI meeting notes to leadership and incorrect figures put into important slides. It reminds me of this, but generally I'm pretty sure that no one wants to read anyone else's AI output. bsky.app/profile/schw...
slop is something that takes more human effort to consume than it took to produce. When my coworker sends me raw Gemini output he’s not expressing his freedom to create, he’s disrespecting the value of my time
I wrote about securing my agents' secrets using Sandcat: robbobobbo.substack.com/p/keep-it-se...
I wrote about securing my agents' secrets using Sandcat: robbobobbo.substack.com/p/keep-it-se...
As my agents' access to capabilities, data, and keys grows, I want to be VERY mindful of @simonwillison.net 's Lethal Trifecta. They're vulnerable today (way less so than an OpenClaw, but still) and the downside risk will only grow. simonwillison.net/2025/Jun/16/...