disnetdev.

catalog

Library

Cards and collections from my Semble library. Pages saved for later, grouped into shelves I return to. 774 cards, 25 shelfves.

Shelves

25 collections

Recently filed

page 22 / 33
  1. Permissioned Data Diary 2: Buckets

    The second in a series of posts building up a solution to permissioned data on atproto. We introduce buckets: a new protocol primitive for creating a shared social context.

    dholms.leaflet.pub · Jun 22

  2. Folding context

    Context windows, compression, and "folding the dough"

    newsletter.squishy.computer · Gordon Brander · Jun 22

  3. Good vibes, bad vendors

    AI coding works now. Here's how to think about it.

    werd.io · Ben Werdmuller · Jun 22

  4. beaker/archive-notice.md at master · beakerbrowser/beaker

    An experimental peer-to-peer Web browser. Contribute to beakerbrowser/beaker development by creating an account on GitHub.

    github.com · beakerbrowser · Jun 22

  5. The rules to make the rules

    The rules to make the rules My journey to understand blockchain political systems continues. Protocols as legislation Blockchains make an effort to remove operational discretion from the nodes …

    paulfrazee.medium.com · Paul Frazee · Jun 22

  6. pfrazee/infocivics: Information Civics paper

    Information Civics paper. Contribute to pfrazee/infocivics development by creating an account on GitHub.

    github.com · pfrazee · Jun 22

  7. Practical Decentralization

    The point of decentralization is to guarantee the rights of individuals and communities on the Internet. Pulling that off is a balancing act between practicality and ideology.

    pfrazee.com · Paul Frazee · Jun 22

  8. Chatty Community Gardens

    Group chat is fertile soil for low-stakes ideation. With tending, seeds of thought can grow into structured, evergreen knowledge.

    blog.muni.town · Erlend Sogge Heggen · Jun 22

  9. Leaf 0.3 - The Server Behind Roomy

    For the last couple months we've been iterating on Roomy with its brand-new architecture, and we're finally ready to talk in more detail about the not-so-secret sauce that will power Roomy moving forward.

    blog.muni.town · Zicklag · Jun 22

  10. Digital Strategy for Organisations

    Digital power is created through the interplay of mobilizing and organizing. Open Social protocols bridge the gap.

    blog.muni.town · Erlend Sogge Heggen · Jun 22

  11. Living Documents on the Feed

    What could long-form writing sitting alongside posts look like?

    leaflet.pub · Jun 22

  12. Village-scale resilience

    The end-of-the-world already happened, it's just not evenly distributed. But with every end is a new beginning.

    blog.muni.town · Erlend Sogge Heggen · Jun 22

  13. Chat is minimum-viable anything

    Chat is the minimum-viable tool for online organizing. Without complete control over our means of communication, our ability to organize depends entirely on the goodwill of the very same hegemonic incumbents which we seek to surpass.

    blog.muni.town · Erlend Sogge Heggen · Jun 22

  14. Fraud Investigation is Believing Your Lying Eyes

    The financial industry has paid tens of billions of dollars in tuition on fraud detection. Here are some observations for investigators with badges, press cards, or GoPros.

    bitsaboutmoney.com · Patrick McKenzie (patio11) · Jun 22

  15. The shallow impact of India’s AI summit

    The US government still can’t think beyond “winning.” The rest of the world is still thinking too small

    platformer.news · Casey Newton · Jun 22

  16. Harness engineering: leveraging Codex in an agent-first world

    By Ryan Lopopolo, Member of the Technical Staff

    openai.com · Ryan Lopopolo · Jun 22

  17. A Sapphirepunk Manifesto

    There is no security through insecurity.

    0xsalon.pubpub.org · 0xSalon · Jun 22

  18. Nostr and ATProto

    shreyanjain.net · shreyan · Jun 22

  19. Mathematics in the Library of Babel

    Mathematics isn't only about saying true things. It's about asking the right questions, being confused, stumbling about, getting distracted, being wrong, recognizing when you're wrong, being stuck. Mostly being stuck. It's about clinging to a giant edifice and feeling it out until you understand some tiny piece of it. It's about finding meaning in and intuition for the texture of an object which, at first, can only be apprehended by bashing your skull into it until it imprints on your forehead. Then trying to convey some of that insight to someone else, and watching as they find their own way to it. I started trying to get LLMs to do math in July 2020, through the game "AI Dungeon," one of the earliest applications powered by GPT-3. I first got GPT-3 to produce a correct proof (of Fermat's Little Theorem) in April 2022. At the time I did not think they would become useful for math research in the near term. This changed when the first reasoning models were released: on February 1, 2025, I wrote that the model o3-mini-high “clearly has passed the threshold of genuine usefulness” for research, while still making many, many mistakes. Since then, the models have improved, and ChatGPT 5.2 Pro (released in December 2025) can regularly provide reasonable proofs of lemmas that I would characterize as “involved but routine for experts,” though it still makes many errors. And I have been using Codex, OpenAI's coding/computer use agent, for scientific computing tasks I would not have considered attempting a few months ago. In public comments, I've tried to credit successes while pushing back against hype. I've talked a lot about "slop" papers on arXiv. I have worried that we are polluting the scientific commons with incorrect mathematics whose errors are enormously difficult to detect. I've tried to focus on the present. In this essay I'll talk about the future.

    daniellitt.com · Daniel Litt · Jun 22

  20. How will OpenAI compete?

    OpenAI has some big questions. It doesn’t have unique tech. It has a big user base, but with limited engagement and stickiness and no network effect. The incumbents have matched the tech and are leveraging their product and distribution. And a lot of the value and leverage will come from new experiences that haven’t been invented yet, and it can’t invent all of those itself. What’s the plan?

    ben-evans.com · Benedict Evans · Jun 22

  21. The Median Voter Theorem is a Clarity Trap

    What the Democratic party needs - what it demands - is bold, persistent experimentation

    programmablemutter.com · Henry Farrell · Jun 22

  22. Ultima IX

    This article tells part of the story of the Ultima series. Years ago, [Origin Systems] released Strike Commander, a high-concept flight sim that, while very entertaining from a purely theoretical point of view, was so resource-demanding that no one in the country actually owned a machine that could play it. Later, in Ultima VIII, the […]

    filfre.net · Jimmy Maher · Jun 22

  23. » Homeworld The Digital Antiquarian

    filfre.net · Halfcourt Yeet, Zack, EngineOfCreation, Ahab, starcraft_fan, Emily St. James, Jimmy Maher, Feldspar, Mateus Fedozzi, Marcel · Jun 22

  24. A.I. Isn't People

    How many Reddit posts does it take to learn to read?

    todayintabs.com · Rusty Foster · Jun 22

$ disnetdev — a language workshop, since 2011