danabramov

Thanks for posting. I'm doing some AI vibemathing and running into exactly the difficulties they describe.

Here's a link from the post on self-hosting this infra: https://bsky.network/docs/jetstream-self-host/ …

Some atproto designers come (somewhat disillusioned) from the p2p world, you can read what they have to say about that here: https://atproto.com/articles/atproto-ethos#peer-to-pee…

>Yes, the user data is decoupled from the apps, but aren't both stored on some kind of instances? There are two main kinds of "nodes" in atproto: - Hosting aka "personal data …

Shameless plug, but if this got you interested, I have a couple of longreads on the topic: - https://overreacted.io/a-social-filesystem/ - https://overreacted.io/…

You can check yourself using https://pds.ls , just open any handle there that has Tangled repos

It works on the type system level instead of at runtime. So you don't actually need to "run" any code to verify it, and you can verify it for all possible inputs , even infinity of the…

Lean is super cool. If you're curious how proof checking works (on the type system level), I wrote an article about that: https://overreacted.io/beyond-booleans/ Here's…

How much do you try to understand while doing it? I.e. how many levels of abstraction down in your own understanding do you go vs vibing at the surface level?

>want to give people <usename>.<domain> account To clarify, do you mean you want their domain handles to look like this, or do you want to make them all have `did:web` identities? T…

Let me try to explain my position. The parent post says "the only viable instance" which implicitly packs an assumption of Mastodon-like topology: a single product is expected to be split in…

I'll try to mention it once per discussion page in the future. Also, I have not been working at Bluesky for over a year. While I was there, I was working on the client app and not the protocol. I…

I did read your post :) Yes, you can't migrate between PLC and WEB methods. It's not possible. I get that it's frustrating if you learn about it after making an account. Is that the w…

>If you want to run a social network on ATProto, you do need the relay and app view, and those are indeed heavy requirements, but the architecture is not the same, and it depends what you're …

>It probably is entirely true that different apps can spin up on atproto independently It's true, and I want to emphasize that they need nothing to do with microblogging or Bluesky posts. …

>designed it around their index as the primary means of accessing anything on the web That doesn't actually translate from the analogy though. You don't use Bluesky to access other ap…

Are you going to write it below my every comment? I've already replied to this here: https://news.ycombinator.com/item?id=48933050 . Also, I don't think either claim in my re…

I haven't worked at Bluesky for over a year now. I'm genuinely excited about the protocol, and have written a bunch of things about it while I had free time between jobs. (Ironically I had n…

I don't mean it as a linguistic gotcha ("ha, you said instances! but we call them something else"). I'm saying this is a category error because the network topology is different. T…

If you have concrete counterarguments to what I said in my articles, I would be happy to debate these counterarguments here.

I don't know what you mean by this. You absolutely can self-host all your data on your own. And if you also don't want to rely on PLC for identity, you make a `did:web` identity, and the…

The reason is that "why aren't many people running Bluesky instances" is a loaded question — it presupposes that's something you should expect. But it's like asking "why …

>First off, Bluesky doesn't offer any GUI tools for PDS migration. If you want to get off their PDS, you'll need to bust out command-line tools and possibly do some steps in advance of w…

It's a different network topology. ActivityPub couples three things into one box: community, hosting, and an app. Atproto decouples them: there's app-agnostic hosting (which anyone can run),…

The solution to that is to create more apps, and for one of them to become more popular. This is entirely in our hands as developers.

>that also runs the only viable instance? This is a category error. There are no "instances" in atproto. https://overreacted.io/there-are-no-instances-in-atproto/ …

>Cool people use ActivityPub. ActivityPub solves a completely different (arguably, smaller) set of problems. This is like saying "Cool people use email instead of web". I have a few dia…

Kagi's are good, yes. The issue is with Google's.