Please dear god somebody make something that doesn't need a model picker

ok @windsurf the completion task noise 🤌

Another "aha" I guess I really am a Ruby-ist moment. Begins to make sense why Build on Stellar's Horizon, Ink & Switch's automerge, and countless others started on Ruby. Find it hard to disagree with Yukihiro Matz that it is "optimized for programmer happiness.” ... the story

Much love for my trusty LSP servers when the “smart” AI driven ides are suddenly just vscode again on long internet-less flights.

Friday morning ☕️ thoughts. If agentic coding is a comparable abstraction to high level programming languages (like a Ruby or Java), in this analogy, why are we then reviewing the generated byte code? I think this is where the analogy breaks down for me…

Always. #fixitfriday

AI Slop becoming more abundant. Please help.

Anyone ever started an independent research lab? What’s it take? Is lack of experience in formal academia an issue? Inspired by Ink & Switch. Curious to know more 😁.

Enjoy Google’s STPA (systems theoretic process analysis) content. Very interesting and feel like these ideas, albeit informal and probably underdeveloped, have begun naturally surfacing in how we’re thinking about failures at Spring. Cool to get a glimpse into how they do it at

lisp is like LSD do it enough and you will "finally get programming". you'll become enlightened but nobody can explain what it is you finally "get"

Big news! We are launching a new sponsorship program for orgs passionate about Programming Languages & Type Theory. Reach a highly engaged, technical audience! Email [email protected] for details. Please RT to help us reach big companies and deepen our content focus!

I’ve been programming for 16 years. It still annoys me that restarting a service weekly is an industry-wide accepted solution to fixing memory leaks.

Maybe this is the week I understand monads.

Any Gleam Language folks here? Just came across it via a recent Type Theory Forall podcast and seriously intrigued!

Have one of these somewhere on the shelf!

Description is live! usenix.org/conference/sre…

Long road trip. Cycling between Type Theory Forall and The Haskell Interlude. Came across this gem!! Absolutely loved the class I took which used tidal at Colby College. Possibly only pure functional class during my time there and also what a vibe, final concert was a highlight of my 4 years!

"You and your research" - Hamming Always inspiring, watched like 10x and even bought the long version book. Can't recommend enough. Link to talk: youtu.be/a1zDuOPkMSw?si…

Working through the first couple parts in Racket this AM. Great stuff!