Post

Clearing out tabs (5): So much random garbage in my tabs. With AI, I'm starting to see a Cambrian Explosion of fun custom websites--after the crunch of everyone having a medium/fb/substack. names.color.pizza/?view=pixel

It's a skill tree for tiny humans. Many will immediately think of A Young Lady's Enchiridion, and I want to leverage it, but not exactly sure how yet. withmarble.com/curriculum/

It's crazy to me that this is news. Types aren't just getting in your way that you parry with `any`, or for autocomplete. You can design with types, by encoding your domain knowledge. Classic declarative programming. www.youtube.com/watch?v=Vhj...

Aside: best example I've read as an example of designing with types is "Build Systems a la Carte" paper. It's quite readable, so you should give it a shot. dl.acm.org/doi/pdf/10....