a watercolor art that I made

I increasing believe that in these early days of agentic coding frenzy, the highest impact thing you can build is tooling around testing, lightweight formal methods, or fuzzing: anything that makes verification easier. Seriously, there's never been a better time to learn stateful property testing.

GIMP 3.0 is finally here 🥹 @itsthatladydev.bsky.social has the details in this episode of The Download ⬇️ youtu.be/hhCMggZXQYU

Generics, recursive types, and structural subtyping are all features that many modern languages want, but their combination can quickly get unwieldy. A POPL Distinguished Paper from last year distilled a decidable type system that combines all three. blog.sigplan.org/2025/01/29/p...

Parametric Subtyping for Structural Parametric Polymorphism

Recursive types, generics (sometimes called parametric polymorphism), and subtyping are all essential features for modern programming languages across numerous paradigms. However, structural subtyp…

blog.sigplan.org

My prediction for React is that its going to continue to off-load managing state as much as possible. RSC made that very clear. For offline-first apps projects like replicache might give it a boost. But for very rich, highly interactive UIs, signal based frameworks will slowly start to punch through

I'm starting to wince a bit when I hear the word "declarative"

The hardest skill to learn in software is when to stop adding features / changing the thing.

web components are good

Great piece on BlueSky and enshittification by Cory Doctorow. “I will never again devote my energies to building up an audience on a platform whose management can sever my relationship to that audience at will.” www.mollywhite.net/micro/entry/...

Molly White

Great piece on BlueSky and enshittification by Cory Doctorow. “I will never again devote my energies to building up an audience on a platform whose management can sever my relationship to that audienc...

mollywhite.net

trying to use dynamically typed languages again