Ty Overby
@tyoverby.com
š¤ 397
š„ 327
š 158
Professional OCaml enjoyer. 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...
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
about 15 hours ago
0
7
0
Get this cow a prongler, stat!
add a skeleton here at some point
3 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 š
21 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
24 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
38803
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
reposted by
Ty Overby
Yaron Minsky
9 months ago
If you're interested in editors and developer tools, consider applying to Jane Street! It might be an especially good fit if you're an excited vim or vscode user who would love working on making those experiences better for a den of functional programmers.
1
7
3
Load more
feeds!
log in