Eduardo retweeted
Simon Peyton Jones is the co-creator of Haskell (pure functional programming language) and I interviewed him about functional programming, why it matters, and his thoughts on other programming languages.
In this episode:
• Useful and useless programming languages
• Rust vs C
• Haskell vs OCaml
• Why functional programming matters
• Static languages and their value for LLMs
• Why Excel is his 2nd favorite programming language
Where to watch:
• YouTube - youtu.be/xcB_LF3cdqw
• Spotify - open.spotify.com/episode/5d9…
• Apple Podcasts - podcasts.apple.com/us/podcas…
• Transcript - developing.dev/p/co-creator-…
Thank you to the sponsor of this episode for supporting my work:
• WorkOS: makes your app Enterprise Ready with easy to use APIs to add SSO, SCIM, RBAC, and more in just a few lines of code, check them out at workos.com/
Chapters:
00:00 - Intro
00:39 - What functional programming is
09:18 - Downsides of functional programming
10:53 - Specialized hardware for functional programming
21:47 - Haskell is useless
25:59 - Rust vs C
28:26 - Haskell vs OCaml
35:26 - Side effects in Haskell
44:26 - Type systems
57:30 - How the Haskell compiler works
01:04:35 - Why Haskell is talked about more than used
01:09:07 - Avoiding success at all costs
01:11:12 - LLMs and programming languages
01:13:57 - New programming language design
01:15:59 - Should students continue to learn programming
01:22:33 - Why Excel is is 2nd favorite programming language
01:25:04 - Advice for his younger self
Another banger episode! Stonebraker is one of my CS heroes.
Mike Stonebraker is a Turing award winner famous for his fundamental contributions to databases (e.g. Postgres, C-Store and much more). I interviewed him recently about:
• The story behind Postgres & the hardest technical challenge in building it
• Where he disagreed with Google's technical decisions
• Future problems in databases
• Literature recommendations to learn databases
• Why LLMs score 0% on his text-SQL benchmark
• What if you replaced all state in an OS with a DB
Timestamps:
0:00 - Intro
1:03 - How he got into databases
6:43 - Competing with Oracle
9:07 - What made Postgres special
15:55 - One size fits none
21:37 - Why he disagreed with Google
29:14 - Why he chose academia over big tech
30:58 - Replacing state in an OS with a DB
42:02 - Future problems in databases
51:36 - Technical book recommendations to learn databases
52:20 - Advice for younger self
55:52 - Outro
Where to watch:
• YouTube: youtu.be/YPObBOwIrHk
• Spotify: open.spotify.com/episode/1zx…
• Apple Podcasts: podcasts.apple.com/us/podcas…
• Transcript: developing.dev/p/turing-awar…
Eduardo retweeted
Karpathy’s 2025 retrospective is the clearest articulation I’ve seen of what foundational AI labs are actually building.
We’re not “evolving animals,” we’re “summoning ghosts.”
LLMs have completely different optimization pressures than biological intelligence. Humans evolved for tribal survival. LLMs optimize for imitating text, solving puzzles, and winning upvotes on LM Arena. Different pressures, different shapes in the intelligence space.
This framing finally explains what confuses everyone about AI capability.
GPT-5 aces the bar exam but gets tricked by simple jailbreaks. Claude writes PhD-level philosophy but hallucinates citations. Gemini solves competition math that stumps IMO medalists but fumbles spatial reasoning.
Capability spikes near verifiable domains where RLVR concentrates optimization pressure. Everywhere else, you get a different entity entirely.
I’ve been thinking about what this means for AI product builders.
The teams struggling with AI deployment are treating capability as uniform. They ask “can AI do this task?” and expect a yes/no answer. But ghost intelligence doesn’t work that way.
The teams winning are asking a different question: “Does this task live near a verifiable domain?”
If yes, the ghost might be superhuman. Build for autonomy. If no, the ghost needs guardrails. Build for human-in-the-loop.
This is why Cursor works. This is why Claude Code runs on localhost instead of the cloud. The best AI products in 2025 mapped the jagged edges and designed around them.
The companies that internalize Karpathy’s ghost framing will build better products than the ones still thinking in terms of “smarter or dumber than humans.”
There’s no single axis. Just different shapes.
Eduardo retweeted
This is one of the better takes on the AI "bubble" I've seen recently. ceodinner.substack.com/p/the…
Eduardo retweeted
Proper *Data* modeling wins over *Domain* modeling every time. Computers deal with data not real world objects. Start with the Relational Model as your guide for everything, deviate where it makes sense, but not by default.
"we talk about programming like it is about writing code, but the code ends up being less important than the architecture, and the architecture ends up being less important than social issues."
From neugierig.org/software/blog/…
getting LLMs integrated into your dev environment has been transformational indeed. All emacs users out there: github.com/karthink/gptel. gpt3.5|4, gemini, and many more at your fingertips.
how do I know if one of my dependencies is affected by this Docker change? web.docker.com/rs/790-SSB-37…
Eduardo retweeted
Sorry to interrupt the fun, but I'm deeply saddened to hear that Fred Brooks has passed away. He was a great man whose impact on our industry is incalculable. I'm forever indebted to him for his support in the fight for the right to reimplement APIs.
mastodon.lawprofs.org/@Steve…
Eduardo retweeted
I'm sick of Ship of Theseus jokes. Once they were fresh and new but after the subject's been reformatted so many times, taken apart and rewritten piece by piece, can you even call them jokes anymore?
Eduardo retweeted
Apache Airflow is a powerful tool for running ETL pipelines; now, efficiently run machine learning pipelines at scale with Flyte and Airflow together.
blog.flyte.org/scale-airflow…
#airflow #flyte #mlops #mlorchestration #datascience
#ml #OpenSource
















