Ty Overby
@tyoverby.com
š¤ 398
š„ 327
š 160
Professional OCaml enjoyer. Views expressed therein are also those of your employer.
reposted by
Ty Overby
nolen
about 17 hours ago
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...
loading . . .
Why does SSH send 100 packets per keystroke? Ā· eieio.games
I made my next game twice as fast by forking go's crypto library
https://eieio.games/blog/ssh-sends-100-packets-per-keystroke/
0
39
9
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...
loading . . .
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 ...
https://github.com/TyOverby/implicit-ocaml/pull/1
1 day ago
0
8
0
Get this cow a prongler, stat!
add a skeleton here at some point
4 days ago
0
1
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
6 days ago
0
3
0
Learning a lot about myself during this sabbatical
6 days ago
0
2
0
reposted by
Ty Overby
gabby
17 days ago
0
52
5
How your email finds me
add a skeleton here at some point
18 days ago
0
2
0
Flight time: 6d 2h š
22 days ago
0
0
0
Back in the day, no one needed an app for this, everyone just knew to steal from the duty free.
add a skeleton here at some point
25 days ago
0
0
0
My workout schedule is currently limited by the number of times that I can listen to Dynasties and Dystopia before it gets boring
29 days ago
0
0
0
This must be what it feels like to be a baby boomer and have all media tailored to your generations sense of humor
add a skeleton here at some point
about 1 month ago
0
4
1
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
about 2 months ago
0
3
0
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)
loading . . .
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...
https://tyoverby.com/thoughts/centaur-programming/
about 2 months ago
1
1
0
This mirrors my views on open borders: Other countries: eh, maybe good, I donāt really know USA: unambiguous win, anything less is unamerican
add a skeleton here at some point
about 2 months ago
0
16
3
reposted by
Ty Overby
derek guy
about 2 months ago
The Nobel Prize committee should announce the World Cup winner tomorrow
510
38802
7816
Client side perdition
about 2 months ago
0
1
0
about 2 months ago
0
5
0
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
add a skeleton here at some point
2 months ago
0
2
0
add a skeleton here at some point
2 months ago
1
5
0
Time to finally figure out what all this āAIā stuff is about!
2 months ago
0
0
1
reposted by
Ty Overby
Burger Bender (Bargain Blender)
2 months ago
I prefer the fantasy world version:
0
104
8
youtu.be/0-eViUyPwso
loading . . .
I Want a Good Parallel Language, by Raph Levien (BALISP)
YouTube video by Arthur Gleckler
https://youtu.be/0-eViUyPwso
3 months ago
0
1
0
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
add a skeleton here at some point
3 months ago
0
5
0
Today is a good day to virtue signal
add a skeleton here at some point
3 months ago
1
11
0
Anyone know of a good resource for learning modern gpu programming (graphics and/or general purpose)? Books, video series, tutorials, etcā¦
3 months ago
1
3
1
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.
3 months ago
0
1
0
reposted by
Ty Overby
Matt T. Wood
3 months ago
"psychological safety was the number one factor differentiating their best teams" "When people are afraid to speak up, errors fester"
1
80
25
reposted by
Ty Overby
Steve Klabnik
3 months ago
OxCaml: safe control over program behavior
gavinleroy.com/oxcaml-tutor...
loading . . .
Gavin Gray, Anil Madhavapeddy, KC Sivaramkrishnan, Richard Eisenberg, Chris Casinghino, Will Crichton, Shriram Krishnamurthi, Patrick Ferris, Max Slater, Megan Del Vecchio, Diana Kalinichenko, Nadia Razek
https://gavinleroy.com/oxcaml-tutorial-icfp25/
1
29
6
Yesterday, after spending ~5 hours watching youtube shorts against my will, I finally deleted youtube off my phone. Turns out
nebula.tv
has ~90% of the videos that I want to watch, and 0% of the content that will trick my monkey brain into wasting an entire weekend.
4 months ago
1
1
0
My favorite cafe in NYC changed all their lightbulbs from ~3,000K to ~6,000K. Why would they do this to me?!
4 months ago
1
6
0
Dunno whatās wrong with yāall, Iām comprehending these manmade horrors just fine
4 months ago
0
2
0
reposted by
Ty Overby
Julia M. Rohrer
4 months ago
Very interesting post on how the non-profit Feeding America implemented an auction system with its own currency which massively improved allocation of food to food banks.
www.worksinprogress.news/p/how-market...
loading . . .
How market design can feed the poor
America's largest non-profit had a broken distribution system. University of Chicago economists fixed it.
https://www.worksinprogress.news/p/how-market-design-can-feed-the-poor
2
39
18
reposted by
Ty Overby
Dan Olson
5 months ago
I lost it at the influencer blahaj
loading . . .
blahaj goes to waffle house at 3am
YouTube video by Atoga
https://www.youtube.com/watch?v=X1beEuBV7M0
14
632
141
In Claudeās defense, I usually am absolutely right
5 months ago
0
6
0
reposted by
Ty Overby
Tim Duffy
5 months ago
Some responses to my favorite small-model question:
1
18
7
reposted by
Ty Overby
UpCloud š FOSDEM
6 months ago
2
108
17
That is a photo of Jonathan Blow, so A
add a skeleton here at some point
6 months ago
1
3
0
Happy 4th of July to all trauma surgeons!
7 months ago
0
4
2
Rich coming from Slim āit hadnāt actually occurred to me that one could just play baseballā Lim
add a skeleton here at some point
7 months ago
0
5
0
Just me but I wouldnāt want to live my life in such a way where a single hungry deer could kill my whole family
add a skeleton here at some point
7 months ago
0
3
0
Day 4 of the Oregon Programming Languages Summer School. Morale is running low. 20h of lectures and we haven't seen a programming language yet. Many fear that we won't find one before the rations run out. If we don't make it back, tell my cat I love her
7 months ago
1
15
1
reposted by
Ty Overby
v buckenham
7 months ago
I watched this video years ago and I got extremely convinced by it (demo at 1min)
youtu.be/vOvQCPLkPt4?...
loading . . .
Applied Sciences Group: High Performance Touch
YouTube video by Microsoft Research
https://youtu.be/vOvQCPLkPt4?si=WyJSJXAmkdVEhnjR
1
5
1
reposted by
Ty Overby
v buckenham
7 months ago
the reason I dislike DLSS and similar technologies are because I have a dream of computers being extremely low latency and this stuff feels like just more distractions and complications along the way
add a skeleton here at some point
4
27
1
Maybe another way to phrase this question would be something like: "Learning C is a reasonably good way to understand the computational capabilities and best practices for programming an old CPU. What what a language look like to do the same for modern CPUs or GPUs?"
add a skeleton here at some point
7 months ago
1
0
1
People often say things like "C is only a low-level programming if you're compiling for a PDP-11", so what would a low-level programming language look like for modern CPU? What would a low-level programming language look like for GPUs?
7 months ago
5
4
1
Something I predict will happen soon is using LLMs to port large test suites from one language / framework to another. Imagine starting a graphics or networking project and having hundreds of thousands of test cases already implemented!
7 months ago
1
12
2
Reconsidering my decision to attend OPLSSā¦
add a skeleton here at some point
7 months ago
1
2
0
reposted by
Ty Overby
Yaron Minsky
7 months ago
I'm pleased to announce OxCaml! OxCaml is Jane Street's branch of OCaml. We've given it a new name and a snazzy logo, and done a bunch of work to make it easy for people to try.
5
108
43
Come work with me!
add a skeleton here at some point
8 months ago
0
6
0
You could/should start a conspiracy theory about this
add a skeleton here at some point
8 months ago
1
1
0
Load more
feeds!
log in