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...
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...
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
December 28, 2024 at 1:57 AM
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
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.”
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.”