@missionbit board member. Former founder/CTO of Mochi Media and Fig. Sometimes enjoys writing code. he/him mastodon.social/@etrepum & bob.ippoli.to bsky

Joined February 2007
364 Photos and videos
Pinned Tweet
19 Jan 2018
It’s been years since I’ve seen a CD-ROM drive in the wild
6
24
149
Is there some janky AI coding assistant offering free tokens right now? I’ve seen some garbage PRs recently that are clearly not from a recent Claude or Codex
1
240
Bob Ippolito retweeted
Elixir v1.20 released! Now officially a gradually typed language: Elixir type checks every single line of code, finding bugs and dead code, without developer overhead (no typing signatures) and extremely low false positives rate. Plus a faster compiler! Links and reports below.
56
307
1,466
116,285
Bob Ippolito retweeted
I've got an agent in a loop optimizing a renderer with the goal to minimize frame times (and tests to measure). It got times down from 88ms to 2ms and allocations down from ~150K to 500. Sounds good, right? Wrong. This is exactly why agent psychosis is a big fucking problem. As an experiment, I rewrote the Ghostty core render state in Go, with access to identically laid out data structures as Ghostty and the exact same validation tests. I made a purposely naive renderer (simple, correct, but slow). 88ms per frame with 150,000 allocations (horrendous, lol)! I then kickstarted a Ralph loop to bring the frame times down. I told it it can't modify input data structures or the public API or tests (they're correct), but it can do anything else it wants. It got to work. It has worked for about 4 hours. I've spent around $350 on this experiment so far. The results? 88ms => 1.5ms 150K allocs => ~500 allocs Incredible right? Nope. My hand-written renderer I ported has frame times (same benchmark) of ~20us (0.020ms) and 0 allocations in the update path. This is the problem with psychosis and lacking systems understanding. If you don't understand the system, you're going to accept that this is an incredible result. If you understand the system, you'll see better solutions immediately and can do roughly 75x better on throughput. The people who blindly trust agent output are in the former camp. They're sheeple, overdrinking from a fountain of mediocrity. Standard disclaimer: I use AI all the time. I like AI. The point I'm making is to not blindly accept results. Think. Analyze. Learn.
308
979
8,937
791,224
Bob Ippolito retweeted
Codiff: A beautiful, extremely fast local diff viewer I review SO MUCH code locally these days. I asked Codex to build it using diffs.com and trees.software. Thanks @amadeus and @fat. Amazing software. It took 16 minutes to build this. It's amazing. github.com/nkzw-tech/codiff
26
27
571
61,764
Bob Ippolito retweeted
my bike rides stopped syncing, so i decompiled the firmware. found a hidden dev mode. sent 3 bytes over BLE. my cycling computer now says “WELCOME TO HELL DEVELOPER” and i now have debug capabilities.
18
190
4,942
131,850
Bob Ippolito retweeted
At this point, this is just irresponsible. Yes, coding agents are leading to an increase of software production, but we are not seeing a similar push or increase in software quality. If Anthropic focuses on safety and it believes software engineering is going away, then it needs to be doing much more to improve how we design, build, test, and maintain software (aka software engineering). Increasing the production of unreliable, poorly designed, and unverified software directly undermines safety. Claude Code is claimed to be "fully written by AI". In the last two months, it took three separate postmortem-worthy failures and user complaints to surface what their own testing missed. Yesterday users were being over billed by hundreds of dollars. Software engineering isn't ready to go away and there is not enough progress to argue that case. I am certain Anthropic would argue that AI progress in other domains is strongly dependent on having proper safeguards in place. I can't wrap my head around the cognitive dissonance when it comes to software. PS: Mythos (may) improve software security, but that is only a subset of safety.
Apr 25
Anthropic CEO (Dario Amodei): "Coding is going away first, then all of software engineering." What do you think about this?
68
156
1,164
144,187
Bob Ippolito retweeted
Good. This should be low status. You have to be a masochist to do it. And then all the stupid people who do it for status can leave.
being a founder is reaching status lows i have never before seen my entire time in tech
11
16
283
18,599
Bob Ippolito retweeted
fuck this administration it does not matter your feelings on immigration at all, this is not how our legal system is intended to work
ICE detain mother at airport—traveling with young daughter. First reported kidnapping at airport since Trump ordered ICE agents to report—refuse to show ID. "I don't know who you are!" witness yells. "You could be someone kidnapping her!" Agent continue to refuse to show ID until bystanders agree they should call police to report a kidnapping. Incident occurred at the San Francisco International Airport Gate E2 on March 22, 2026, at 10pm. #DemsUnited
45
33
703
52,484
Bob Ippolito retweeted
I've used Gmail for 20 years. Almost 2M emails, 150K attachments. Rather than let Google hold my data hostage, I built msgvault: local-first email archive with a terminal UI and MCP server, powered by DuckDB. Open source, single Go binary. wesmckinney.com/blog/announc…
184
370
4,392
433,971
Bob Ippolito retweeted
Yesterday, I livestreamed one of my Zwift Races. Today, I received a Copyright Infringement Notice from ASO via YouTube, which resulted in my livestream being taken down globally. 🚫 ASO has absolutely no connection to anything in my video. 🤷‍♂️ Fix your system, @TeamYouTube.
33
10
737
99,408
If you’ve been programming for 20 years without using recursion you are doing it without realizing it, you’re working with some weird environment where explicit recursion is just not a technique that makes sense to use, or you have done the same two years of programming ten times
31 Oct 2025
How often do you *actually* use recursion in your programs? I'm not sure if I'm the only one here, but I'm going to put it out in the open: I've been programming for 20 years, and while I understand recursion… I never use it. Ever. Seriously 🙂 I feel like there's a huge emphasis on recursion in computer science topics because there are seemingly elegant solutions that arise with recursion. It seems to make some algorithms align better from a mathematical perspective, perhaps? In reality, debugging recursion is a pain. It's also a nightmare to deal with if you have very deep recursion (your call stack gets ridiculous). I've just never had a need to use recursion in production code. I've found that converting over to an iterative loop based approach is almost always more readable and easier to debug. And I'm generalizing, of course, but this has been my working experience. So after 20 years of writing code, my brain never thinks about things recursively (even though I understand the concept). But it has also never once slowed me down 🙂 What's been your experience using recursion in production code bases? Do you use it just because it was there, or did you add it in with purpose? I'd love to hear!
1
5
335
31 Oct 2025
Monads are definitely NOT burritos.
Agents are definitely NOT workflows.
1
1
226
Bob Ippolito retweeted
Well @etrepum nerdsniped me and I wanted to see if Claude can make simplejson work with free threading and subinterpreters. Now I'm trying to figure out how to install Python 2.7. I did not think I would use Python 2.7 again!
2
2
15
4,461
20 Oct 2025
Is there anyone out there champing at the bit to do this kind of Python C API work? simplejson could use a similar refactor and I don’t have the motivation to do it myself (while still supporting old Python versions)
Next release of minijinja should support free threading in the Python binding. I think so at least, but I would love to have someone check if there is more that needs more to be done here! github.com/mitsuhiko/minijin…
2
1
355
Bob Ippolito retweeted
The uv release pipeline broke because our release notes included the term "Bearer Token", causing GitHub to redact and malform a JSON payload in GitHub Actions. Ironically, the entry in the release notes was about redacting Bearer Tokens in various output contexts.
22
58
1,558
73,167
Bob Ippolito retweeted
14 Oct 2025
If you are thinking of starting a startup: do it now. If you are thinking of having kids: do it now. Marry that girl. Start that project. Do it *today*. Take it from someone who was often over cautious – my only regret is not starting earlier.
17
10
195
16,344
Bob Ippolito retweeted
A picture John Hughes took of me giving my keynote talk Functional Programming for Hardware Design at #icfpsplash25. A few key quotes/messages: * I love programming languages not for what they do, I love programming languages for what they are. * I am a functional programmer not because of the company I work for, but because of the company I keep. * Abstractions can be powerful, but we must know their limits. * "But this is total madness": SystemVerilog semantics. * It is because I have spent so much of my time doing low level coding and optimization that I appreciate the value of functional programming, and the power of the abstractions that it provides me to help me to tackle low level programming tasks. * You might think Jane Street is just a t-shirt company, but they also make a functional hardware description language. * A PL education gives you a solid grounding in technical problem solving skills, presentation skills etc. that will be invaluable for your career in a wide range disciplines. There should be a video released soon of the talk. Until then here is a link to the slides I used, with presenter notes for each slide: docs.google.com/presentation… @icfp_conference
9
26
272
15,384
Bob Ippolito retweeted
In over 15 years of open source, I can't remember ever saying "your example doesn't compile" (I probably did, but it's so rare I can't remember). Now, I literally say this everyday. Please, can people using AI be less fucking stupid about it.
90
154
3,892
195,944
Bob Ippolito retweeted
25 Sep 2025
Been at GitHub for nearly 13 years and I'm pretty sure this request is more than 10 years old... 🆕Comment on unchanged lines in any file inside a Pull Request is now available Gotta keep the core of GitHub getting better every day. 🫡
74
89
1,327
157,064