Ty Overby's Avatar

Ty Overby

@tyoverby.com

Socially leftist, fiscal liberal. Professional OCaml enjoyer. Views expressed therein are also those of your employer.

430
Followers
345
Following
179
Posts
13.05.2023
Joined
Posts Following

Latest posts by Ty Overby @tyoverby.com

The crosswalk leads to a dead end

06.03.2026 07:04 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

It’s kinda weird that the words β€œfiction” and β€œnonfiction” imply that β€œfiction” is the default for stories

02.03.2026 00:01 πŸ‘ 4 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

I echo this sentiment and would like to extend it to β€œimplementing testing harnesses”

26.02.2026 02:48 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

It’s actually just air escaping the tape

24.02.2026 16:59 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Printed illustration of an ambiguously-shaped animal that can be seen as either a duck or a rabbit depending on orientation and or worldview. Text next to the illustration reads 'Is this a drawing of a rabbit or a duck?'

Printed illustration of an ambiguously-shaped animal that can be seen as either a duck or a rabbit depending on orientation and or worldview. Text next to the illustration reads 'Is this a drawing of a rabbit or a duck?'

20.01.2026 05:16 πŸ‘ 941 πŸ” 266 πŸ’¬ 29 πŸ“Œ 2

Millennial cultural domination can’t come fast enough

16.02.2026 14:14 πŸ‘ 5 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Claude keeps winning

14.02.2026 18:46 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

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.

12.02.2026 23:53 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
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. ...

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?

12.02.2026 19:51 πŸ‘ 3 πŸ” 1 πŸ’¬ 1 πŸ“Œ 0

Cafes should allow me to start a tab and order more coffee and snacks to my table

11.02.2026 14:15 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

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

09.02.2026 14:39 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

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!

09.02.2026 13:51 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Learning about keyboard interrupts in school like β€œthat can’t possibly be how it works”

06.02.2026 01:48 πŸ‘ 6 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

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

04.02.2026 17:32 πŸ‘ 799 πŸ” 166 πŸ’¬ 6 πŸ“Œ 6

You’ve really got to check, like, 12 misspellings before you’re safe though

04.02.2026 13:52 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

claude "my github actions are failing, fix plz πŸ₯Ί"

by itself is easily worth $200/mo.

31.01.2026 02:38 πŸ‘ 0 πŸ” 1 πŸ’¬ 0 πŸ“Œ 0

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!

30.01.2026 18:56 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Post image

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.

28.01.2026 15:49 πŸ‘ 104 πŸ” 22 πŸ’¬ 4 πŸ“Œ 4
Post image

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)

25.01.2026 20:23 πŸ‘ 4 πŸ” 1 πŸ’¬ 0 πŸ“Œ 0

Wasn’t expecting to have my views on the death penalty changed, but here we are I guess

25.01.2026 03:28 πŸ‘ 1 πŸ” 1 πŸ’¬ 0 πŸ“Œ 0
Post image

Say hi to your banker for me!

25.01.2026 03:09 πŸ‘ 3 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Mudflaps on two bikes, one depicting Jesus, the other: some girl ass

Mudflaps on two bikes, one depicting Jesus, the other: some girl ass

The Duality of Man

24.01.2026 02:46 πŸ‘ 3 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Preview
Why does SSH send 100 packets per keystroke? Β· eieio.games I made my next game twice as fast by forking go's crypto library

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...

22.01.2026 19:01 πŸ‘ 49 πŸ” 9 πŸ’¬ 0 πŸ“Œ 1

If you did this to me, I’d have to cope by going outside to look at other fast things, like horses

23.01.2026 04:37 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

I’m with you on everything but the refresh rates

23.01.2026 04:37 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0
Preview
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 ...

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...

22.01.2026 04:40 πŸ‘ 9 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Get this cow a prongler, stat!

19.01.2026 20:21 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

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

19.01.2026 00:18 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

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

17.01.2026 01:43 πŸ‘ 3 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Post image

Learning a lot about myself during this sabbatical

17.01.2026 01:31 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0