danabramov

5 ms·

1.
by danabramov 5d ago
Have you considered that different things are difficult for different people? Learning hiragana and katakana has taken me about a month, and I found it very difficult. There is no need to make it prerequisite for starting to learn grammar,
2.
by danabramov 5d ago
This is unnecessarily pedantic advice, and I encourage fellow learners of Japanese to ignore it. You will definitely need to learn hiragana and katakana but you can do it at your own pace, and it is orthogonal to learning the basics of gram
3.
A Proof of Conway's Refinement Conjecture in Lean(github.com)
2 points by danabramov 12d ago|0 comments
4.
by danabramov 1mo ago
Thanks for posting. I'm doing some AI vibemathing and running into exactly the difficulties they describe.
5.
by danabramov 1mo ago
Here's a link from the post on self-hosting this infra: https://bsky.network/docs/jetstream-self-host/
6.
Bluesky Protocol Services(atproto.com)
213 points by danabramov 1mo ago|72 comments
7.
by danabramov 1mo ago
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-peer and https://atproto.com&#x
8.
by danabramov 1mo ago
>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 servers" (PDS). This is dumb JSON h
9.
by danabramov 1mo ago
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/there-are-no-instances-in-atproto/
10.
What Is the Atmosphere?(lab.leaflet.pub)
7 points by danabramov 2mo ago|0 comments
11.
by danabramov 2mo ago
You can check yourself using https://pds.ls , just open any handle there that has Tangled repos
12.
by danabramov 2mo ago
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 them, rather than for the ones that exist i
13.
by danabramov 2mo ago
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 another article I wrote that gives some
14.
by danabramov 2mo ago
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?
15.
by danabramov 2mo ago
>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? These are two different questions. Domain
16.
by danabramov 2mo ago
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 into many "instances", with some
17.
by danabramov 2mo ago
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. In fact, initially I thought the protocol
18.
by danabramov 2mo ago
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 whole concern? I was replying to this: &
19.
by danabramov 2mo ago
>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 actually trying to achieve. Note those
20.
by danabramov 2mo ago
>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. I think it's important to internali
21.
by danabramov 2mo ago
>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 apps' data on atproto, you use those
22.
by danabramov 2mo ago
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 reply is dependent on who wrote it. You ca
23.
by danabramov 2mo ago
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 no time to write about it while at Blue
24.
by danabramov 2mo ago
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. This is like saying that web is not free
25.
by danabramov 2mo ago
If you have concrete counterarguments to what I said in my articles, I would be happy to debate these counterarguments here.
26.
by danabramov 2mo ago
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 then you're completely decoupled from
27.
by danabramov 2mo ago
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 aren't many people running Google&q
28.
by danabramov 2mo ago
>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 when you need to migrate in order for eve
29.
by danabramov 2mo ago
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), and there's hosting-agnostic apps
30.
by danabramov 2mo ago
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.

More ›