Ty Overby
@tyoverby.com
Professional OCaml enjoyer.
Views expressed therein are also those of your employer.
Views expressed therein are also those of your employer.
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!
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
Reposted by Ty Overby
How your email finds me
January 5, 2026 at 2:11 AM
How your email finds me
Back in the day, no one needed an app for this, everyone just knew to steal from the duty free.
if tech was still an innovative sector there'd be an app that could calculate how to most cost effectively get ripshit drunk on an upcoming flight layover in nashville
December 29, 2025 at 5:51 PM
Back in the day, no one needed an app for this, everyone just knew to steal from the duty free.
My workout schedule is currently limited by the number of times that I can listen to Dynasties and Dystopia before it gets boring
December 25, 2025 at 5:54 AM
My workout schedule is currently limited by the number of times that I can listen to Dynasties and Dystopia before it gets boring
This must be what it feels like to be a baby boomer and have all media tailored to your generations sense of humor
December 22, 2025 at 5:31 PM
This must be what it feels like to be a baby boomer and have all media tailored to your generations sense of humor
When you first learn about svg filters, you think “wow, this is incredible! I can do anything” but you are wrong because you forgot about Safari
December 7, 2025 at 1:26 AM
When you first learn about svg filters, you think “wow, this is incredible! I can do anything” but you are wrong because you forgot about Safari
In 2014 while I was an intern on the Dart Language team, Google hired Erik Meijer as a consultant to work on the async / await compiler. Erik is an world class expert in this domain, but was unfamiliar Dart, so they... (continued in blog post)
Centaur Programming
In 2014 while I was an intern on the Dart Language team, Google hired Erik Meijer as a consultant to work on Dart’s async / await compiler. Erik is an world class expert in this domain, but was unfami...
tyoverby.com
December 6, 2025 at 6:45 PM
In 2014 while I was an intern on the Dart Language team, Google hired Erik Meijer as a consultant to work on the async / await compiler. Erik is an world class expert in this domain, but was unfamiliar Dart, so they... (continued in blog post)
This mirrors my views on open borders:
Other countries: eh, maybe good, I don’t really know
USA: unambiguous win, anything less is unamerican
Other countries: eh, maybe good, I don’t really know
USA: unambiguous win, anything less is unamerican
Birthright citizenship is probably not integral to liberal democracy, but it is integral to *American* liberal democracy. Our vision of what we are as a country, as a nation beyond an ethnicity, requires it.
December 6, 2025 at 4:42 PM
This mirrors my views on open borders:
Other countries: eh, maybe good, I don’t really know
USA: unambiguous win, anything less is unamerican
Other countries: eh, maybe good, I don’t really know
USA: unambiguous win, anything less is unamerican
Reposted by Ty Overby
The Nobel Prize committee should announce the World Cup winner tomorrow
December 6, 2025 at 4:29 AM
The Nobel Prize committee should announce the World Cup winner tomorrow
Liked playing video games. Wanted to make video games, but the tools all sucked, so I switched to improving those until they were good enough that I could go back to making games. It has been 15 years
November 23, 2025 at 3:52 AM
Liked playing video games. Wanted to make video games, but the tools all sucked, so I switched to improving those until they were good enough that I could go back to making games. It has been 15 years
Time to finally figure out what all this “AI” stuff is about!
November 16, 2025 at 2:50 PM
Time to finally figure out what all this “AI” stuff is about!
Reposted by Ty Overby
I prefer the fantasy world version:
November 16, 2025 at 1:50 PM
I prefer the fantasy world version:
I’ve been a big fan of the sunk cost fallacy for a long time, and at this point it feels like it’s too late to change my mind
just started having recency bias and i love it. easily the best bias
November 5, 2025 at 10:47 PM
I’ve been a big fan of the sunk cost fallacy for a long time, and at this point it feels like it’s too late to change my mind
Today is a good day to virtue signal
October 27, 2025 at 9:32 PM
Today is a good day to virtue signal
Anyone know of a good resource for learning modern gpu programming (graphics and/or general purpose)? Books, video series, tutorials, etc…
October 23, 2025 at 11:02 PM
Anyone know of a good resource for learning modern gpu programming (graphics and/or general purpose)? Books, video series, tutorials, etc…
Claude code isn’t actually connected to an llm on the backend, it’s really routing problems to all the people doing Anthropic take-home interviews.
October 20, 2025 at 7:32 PM
Claude code isn’t actually connected to an llm on the backend, it’s really routing problems to all the people doing Anthropic take-home interviews.