Tim Disney's links

Subscribe via: RSS Open in Skyreader

  1. Formal methods and the future of programming

    But the emergence of agentic coding has changed our perspective, and we’ve gone from being skeptical to being excited about the possibilities.

    blog.janestreet.com Jun 14, 2026
  2. The Boring Internet

    The internet you grew up on isn't dying. A commercial veneer glued on top of it is.

    Underneath that layer is another internet: older, slower, less polished, harder to monetize, and much harder to kill.

    terrygodier.com Jun 14, 2026
  3. Beneath The Enshittification, Something Amazing Is Growing

    But, it takes time. And that can be frustrating for those of us who want to live in that better future.

    easy to get cynical when the future we can imagine isn't here yet. but we can just build things!

    techdirt.com Jun 14, 2026
  4. Dangerous Technology For Americans Only

    lucumr.pocoo.org Jun 13, 2026
  5. Leaflet Together: cursors, comments, group publications!

    Lab Notes 028: a new suite of features to make Leaflet great for collaborative writing and collaborative publishing!

    lab.leaflet.pub Jun 13, 2026
  6. What would Muskism be without Musk?

    The mode of production behind the man

    programmablemutter.com Jun 12, 2026
  7. Friday Facts #442 - Flip, Flow, and Fresh Paint

    factorio.com Jun 12, 2026
  8. My AI Opinions

    Not endorsing the predictions here but worth thinking through the reasoning.

    Arguments against simulation: Too weird.

    Yeah, I kinda think that the lesswrong and adjacent crowds would be taken more seriously if they just stopped talking about the simulation argument. Too weir…

    astralcodexten.com Jun 12, 2026
  9. Why AI hasn’t replaced software engineers, and won’t

    Coding agents as normal technology

    normaltech.ai Jun 12, 2026
  10. Claude Fable is relentlessly proactive

    After two days of experience with Claude Fable 5 I think the best way to describe it is relentlessly proactive . It knows a whole lot of tricks and it will deploy pretty much any of them to get to its goal. I'll illustrate this with an example. I was hacking on Datasette Agent…

    simonwillison.net Jun 12, 2026
  11. It's not enough to have better ideals.

    werd.io Jun 10, 2026
  12. Lab Notes #009: Semble (alpha) API

    Very excited for this!

    Making it even easier to build with Semble.

    blog.cosmik.network Jun 9, 2026
  13. Standardizing Bookmarks in the Atmosphere

    Saves in @skyreader.app are off protocol currently so this is a great starting point for thinking through what a save/bookmark integration would require.

    a mini proposal for a shared bookmark lexicon

    notes.wesleyfinck.org Jun 8, 2026
  14. Cosmik Updates: May 2026

    We migrated the blog to Leaflet; The Semble community is cookin'!

    blog.cosmik.network Jun 7, 2026
  15. Sill's new view

    Some major improvements come to Sill today

    blog.euphonos.studio Jun 7, 2026
  16. Hark, a link blog!

    Boris makes the point that Skyreader linkblogs should actually point to the link so now it does! The other suggestions are good too and on the roadmap.

    Edit: mentions should work too: @bmann.ca

    Excitedly trying out Skyreader's new link blog and opinions on link blogging

    blog.bmannconsulting.com Jun 7, 2026
  17. Skyreader update - Linkblogs, standard.site, and discussions

    Sharing the sharing post. How meta.

    Making Skyreader more social. Everyone gets a linkblog! Find your people.

    skyreader-dev.leaflet.pub Jun 6, 2026
  18. Modeling communities on permissioned data

    So excited for permissioned data!

    Arguing against "universal spaces" and raising a couple questions that come up as a result.

    dholms.leaflet.pub Jun 6, 2026
  19. Permissioned Data Diary 6: Boring Auth

    In which we resist the temptation to invent a clever authorization model & pick the boring one instead.

    dholms.leaflet.pub Jun 6, 2026
  20. Skyreader: A RSS Reader on the AT Protocol

    Introducing a RSS reader for the AT Protocol where you feeds and article sharing are portable

    disnetdev.com Jun 6, 2026
  21. SembleIt: Semble Without the Distractions

    Semble is two apps in a trench coat. SembleIt is just the quiet one.

    disnetdev.com Jun 6, 2026
  22. An Atmospheric Website

    Notes from the fifth and final migration.

    disnetdev.com Jun 6, 2026
  23. RFCs on the Atmosphere

    disnetdev.com Jun 6, 2026
  24. What Did Scientists Find?

    They should probably stop looking!

    todayintabs.com Jun 6, 2026
A linkblog on Skyreader, stored in the Atmosphere.