Ty Overby
@tyoverby.com
Socially leftist, fiscal liberal.
Professional OCaml enjoyer.
Views expressed therein are also those of your employer.
Professional OCaml enjoyer.
Views expressed therein are also those of your employer.
As an occasional Windows user, my relationship with this software is one where Windows tries to trick me and I need to constantly be on guard.
February 12, 2026 at 11:53 PM
As an occasional Windows user, my relationship with this software is one where Windows tries to trick me and I need to constantly be on guard.
AI coding tools are safe and useful because version control give you branches, diffs (review), and reverts. Why don't our other tools have the same guardrails and affordances? Would it be crazy to stick everything in git?
Version control for everything
AI assisted agentic coding has reached escape velocity, but non-programming use cases haven’t seen the same degree of adoption. I believe that the main reason for this is the lack of version control.
...
tyoverby.com
February 12, 2026 at 7:51 PM
AI coding tools are safe and useful because version control give you branches, diffs (review), and reverts. Why don't our other tools have the same guardrails and affordances? Would it be crazy to stick everything in git?
Cafes should allow me to start a tab and order more coffee and snacks to my table
February 11, 2026 at 2:15 PM
Cafes should allow me to start a tab and order more coffee and snacks to my table
I don't remember needing much time to adjust between the two, and in my opinion, the moonlander's thumb key placement is more ergonomic for the way that I have the keyboard positioned
February 9, 2026 at 2:39 PM
I don't remember needing much time to adjust between the two, and in my opinion, the moonlander's thumb key placement is more ergonomic for the way that I have the keyboard positioned
I’ve been using ZSA’s Ergodox and Moonlander keyboards for a long time now and they’re both great! They also have an ultra-thin keyboard called the Voyager and though the build quality is fantastic, I just couldn’t adjust to how few keys there are… if you’re ever in NYC, I’d gladly give you mine!
February 9, 2026 at 1:51 PM
I’ve been using ZSA’s Ergodox and Moonlander keyboards for a long time now and they’re both great! They also have an ultra-thin keyboard called the Voyager and though the build quality is fantastic, I just couldn’t adjust to how few keys there are… if you’re ever in NYC, I’d gladly give you mine!
Learning about keyboard interrupts in school like “that can’t possibly be how it works”
February 6, 2026 at 1:48 AM
Learning about keyboard interrupts in school like “that can’t possibly be how it works”
Reposted by Ty Overby
inspired by CLAUDE.md, I’ve started putting markdown files named after coworkers into work code repos so I can remind them to stop doing shit to the codebase that annoys me
for some reason they’re all mad at me now, which means ill be adding commands to JEREMY.md for an attitude adjustment
for some reason they’re all mad at me now, which means ill be adding commands to JEREMY.md for an attitude adjustment
February 4, 2026 at 5:32 PM
You’ve really got to check, like, 12 misspellings before you’re safe though
February 4, 2026 at 1:52 PM
You’ve really got to check, like, 12 misspellings before you’re safe though
claude "my github actions are failing, fix plz 🥺"
by itself is easily worth $200/mo.
by itself is easily worth $200/mo.
January 31, 2026 at 2:38 AM
claude "my github actions are failing, fix plz 🥺"
by itself is easily worth $200/mo.
by itself is easily worth $200/mo.
Ooh, now you've got me wondering what it would feel like to walk around in a VR environment that just had the depth buffer rendered to each eye. Really wish I had a headset to try this!
January 30, 2026 at 6:56 PM
Ooh, now you've got me wondering what it would feel like to walk around in a VR environment that just had the depth buffer rendered to each eye. Really wish I had a headset to try this!
Reposted by Ty Overby
Claude wrote this short about what it would do if it had the power to do something about Grok. Just thought it was an interesting generation.
January 28, 2026 at 3:49 PM
Claude wrote this short about what it would do if it had the power to do something about Grok. Just thought it was an interesting generation.
Getting real tired of the "blue states are lawless hellholes" rhetoric.
If you have a choice on where to live and you'd like to avoid being assaulted to death, you could do worse than just checking how they voted in 2024.
(data sourced from CDC)
If you have a choice on where to live and you'd like to avoid being assaulted to death, you could do worse than just checking how they voted in 2024.
(data sourced from CDC)
January 25, 2026 at 8:23 PM
Getting real tired of the "blue states are lawless hellholes" rhetoric.
If you have a choice on where to live and you'd like to avoid being assaulted to death, you could do worse than just checking how they voted in 2024.
(data sourced from CDC)
If you have a choice on where to live and you'd like to avoid being assaulted to death, you could do worse than just checking how they voted in 2024.
(data sourced from CDC)
Wasn’t expecting to have my views on the death penalty changed, but here we are I guess
January 25, 2026 at 3:28 AM
Wasn’t expecting to have my views on the death penalty changed, but here we are I guess
Say hi to your banker for me!
January 25, 2026 at 3:09 AM
Say hi to your banker for me!
Reposted by Ty Overby
I was up till 3 AM forking go's crypto library.
Here's a fun lil debugging story for about why:
eieio.games/blog/ssh-sen...
Here's a fun lil debugging story for about why:
eieio.games/blog/ssh-sen...
Why does SSH send 100 packets per keystroke? · eieio.games
I made my next game twice as fast by forking go's crypto library
eieio.games
January 22, 2026 at 7:01 PM
I was up till 3 AM forking go's crypto library.
Here's a fun lil debugging story for about why:
eieio.games/blog/ssh-sen...
Here's a fun lil debugging story for about why:
eieio.games/blog/ssh-sen...
If you did this to me, I’d have to cope by going outside to look at other fast things, like horses
January 23, 2026 at 4:37 AM
If you did this to me, I’d have to cope by going outside to look at other fast things, like horses
I’m with you on everything but the refresh rates
January 23, 2026 at 4:37 AM
I’m with you on everything but the refresh rates
While I was eating dinner, Claude updated a ~7 year out-of-date project of mine to the latest OxCaml + Jane Street libraries.
github.com/TyOverby/imp...
github.com/TyOverby/imp...
Update to modern Core library and OCaml 5.x compatibility by TyOverby · Pull Request #1 · TyOverby/implicit-ocaml
Summary
Replace Core_kernel with Core throughout the codebase (renamed in 2021)
Update deprecated APIs (Hashtbl, Filename_unix, Command_unix, etc.)
Add missing C header #include <math.h> to ...
github.com
January 22, 2026 at 4:40 AM
While I was eating dinner, Claude updated a ~7 year out-of-date project of mine to the latest OxCaml + Jane Street libraries.
github.com/TyOverby/imp...
github.com/TyOverby/imp...
Get this cow a prongler, stat!
Our new paper (with @biotay.bsky.social) is out and on the cover story of @currentbiology.bsky.social !!!! Veronika, a Carinthian mountain cow flexibly uses a “multi-purpose tool” to scratch herself. A video and more information will follow in the comments.
www.cell.com/current-biol...
www.cell.com/current-biol...
January 19, 2026 at 8:21 PM
Get this cow a prongler, stat!
I use PBT quite a bit, but I’m always worried that the generator isn’t going to come up with some example I have in my head, so I end up running the property on a bunch of handcrafted inputs anyways
January 19, 2026 at 12:18 AM
I use PBT quite a bit, but I’m always worried that the generator isn’t going to come up with some example I have in my head, so I end up running the property on a bunch of handcrafted inputs anyways
Every time that a pilot tells me the wind speed and direction at the destination airport, I assume that he’s looking for input on how to land the plane
January 17, 2026 at 1:43 AM
Every time that a pilot tells me the wind speed and direction at the destination airport, I assume that he’s looking for input on how to land the plane
Learning a lot about myself during this sabbatical
January 17, 2026 at 1:31 AM
Learning a lot about myself during this sabbatical
It’s almost certainly true that putting ads next to the chat output will guide people to asking the model about it.
Maybe the biggest difference is that ad blockers would still work? Maybe not on the phone app workflows though, which I bet is a considerable percent
Maybe the biggest difference is that ad blockers would still work? Maybe not on the phone app workflows though, which I bet is a considerable percent
January 16, 2026 at 10:47 PM
It’s almost certainly true that putting ads next to the chat output will guide people to asking the model about it.
Maybe the biggest difference is that ad blockers would still work? Maybe not on the phone app workflows though, which I bet is a considerable percent
Maybe the biggest difference is that ad blockers would still work? Maybe not on the phone app workflows though, which I bet is a considerable percent
“influencing the human input” rather than “influencing the model output” is a really interesting way to think about embedding ads in a chat UI, I hadn’t thought about it that way!
January 16, 2026 at 10:46 PM
“influencing the human input” rather than “influencing the model output” is a really interesting way to think about embedding ads in a chat UI, I hadn’t thought about it that way!