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 hard to have a counterargument against AI doomers since superintelligence is unbounded and hypothetical. Still working my way through this one, but it seems like good news for mech interp. Alignment might be achievable. already-clean.goodfire.com/

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....

Not a neurologist, so an explainer helps. For me, it's the unspoken context around the original tweet thread (since I'm not the audience) that made it more difficult to understand. So having AI fill in that context for a lay person is helpful. x.com/Azadux/stat...

I'm currently working my way through Order of the Sinking Star. When I played through The Witness, much of the underlying philosophy was lost on me. There is no meaning if there are no references. Again, filling in context. www.youtube.com/watch?v=6vh...

Nice annotation tool to directly talk about what you're talking about with an agent. x.com/kitlangton/...