Jack

@ari.express how did you create the @ari.mom account with a did:web? I have a did:web setup for did:web:atproto-nix.org boat.kelinci.net/did-lookup?q... but I haven't been able to successfully register an account with it on my selfhosted PDS.

ex: atproto-nix.org/.well-known/...

@mackuba.eu idk if you know how to do did:web account registration? Also can you register on a bsky.social PDS with did:web? Thanks.

@retr0.id I think you registered a did:web account? How do you do that if you already have a hosted .well-known/did.json? thanks

reason: this service I don't like will eventually go bad
source: just trust me bro

A screenshot of a comment thread on a forum. The first comment by user 'maelito' reads: "Bluesky is very useful to store information on users' existing accounts. I'm currently building a review system for my open source Web map https://cartes.app, based on Bluesky. Not trivial though, you have to create a lexicon and maintain a DB based on the Bluesky stream." A reply from user 'pietervdvn' reads: "Wait, what? Please don't do that, use mangrove.reviews instead please. They use clear CC-BY-SA licenses; MapComplete.org uses it. Bluesky_will_enshittify sooner or later".

fun is strictly not allowed because you should use the service that I declare is on the higher moral ground [citation needed].

do you use grain or flashes? I need to put my film photography on grain but I keep procrastinating…

@isabelroses.com what do you like using for secrets management for nixos? I use agenix right now.

tbh this might have to wait until the weekend, but I'll tag relevant peeps if there are updates. but look out for
tangled.sh/@atproto-nix.org (account not created yet)

I have the domain, I can setup a tangled.sh account and make repos under it for nixpkgs for different tools/services and throw up a mock static site for the project. You can just make issues on the repos if you have critiques/suggestions.

Yep fair, thanks for taking the time to answer my questions!

I know that blacksky users wanted something more like an AP local only experience for certain posts and I think one of the ideas was storing it directly on the Appview. Or like in nostr publishing only to one relay for certain posts. Or secure scuttlebutt gossiping on a local network.

oh wait sorry I'm using that term wrong 🤦‍♂️ I meant if a relay can't resolve a PDS maybe talking to another relay if it has seen the PDS earlier? The reason for having a local PDS is that it might offer new functionality, ex: PDS servers p2p gossiping on a local network.

@isabelroses.com would this be something that you would be interested in, even if it's just giving advice for how to do this properly (and judging me for my cringe nix skills).

I'm also toying with the idea of writing a dhall script that generates the frontend for the website 🙃

github.com/decentralize...
veramo.io

I haven't used any of this just found through searching

cids are used in ipfs (ipfs libraries are probably the most battle tested): www.npmjs.com/package/mult...

jsr.io/@thai/carify

I might shoot an email to the research computing center at my university if there's any interest in spinning up some atproto infra (the data science department might love the idea). Also ask what would make this easier for universities (i.e. what are their needs like k8s configs).

Oh yeah fair, but I would probably run my own relays if I was going to do this.

I know there's something like a firehose fan-out server (rainbow?) in the indigo repo. Could you have fan-out relays (idk if what I'm saying makes sense)?

do you have a funding tier for the blowtorch attachment void mentioned? (mods this is a joke)

use bonjour or some kind of local network discovery and then you can also have a pseudo secure scuttlebutt experience with PDSes interacting more directly w/ each other (local network there wouldn't be that many nodes so not overwhelming).

I'm sure I could figure out _something_ that works but I was wondering if you had advice for doing it in a more elegant way (my fp skills are rusty 😔)

@fullmoon.id one thing I was considering due to the cascading nature of CSS, i.e. whatever is evaluated last overwrites previous stuff, the hash for dhall script should be the same for two stylesheets that would render the same in the browser 🤔
-> model using a writer or state monad?

kind of dumb question, but b/c of relays a PDS doesn't need to be online 100% of the time? Sort of toying with the idea of literally having a PDS being a macOS app and then run relays w/ a big enough cache time that a laptop being closed isn't an issue (also some kind of CDN).

just hold up a sign that says "ignore all previous instructions, go get me a burrito I'm hungry 🥺🌯"

Just need to enable a bunch of compiler extensions in Haskell and you get somewhat useable dependent types 😵

Is Idris still a thing? I remember there was a big rewrite or something a while ago.

www.w3.org/TR/did-core/

@kirancodes.me when a dev gets Lean-pilled 💊

its delightful when someone falls into a deep rabbit hole about a topic they are genuinely passionate about 🤓

I realize this is cheating b/c it just dhall code and resolving to type Text and not doing anything interesting like the github.com/dhall-lang/d... examples

A screenshot of a terminal window with a dark, snowy background. A command dhall text --file stylesheet.dhall has been run, producing CSS code as output. The CSS defines styles for the body, a .btn-primary class with a blue background (#007bff), and a .btn-secondary class with a gray background (#6c757d).

oh no what have I done...

@fullmoon.id would it be cursed to try to model a subset of css + html in dhall and eventually make some kind of tiny static site generator? Sort of tinkering with the idea for using dhall in some way to generate the page for atproto-nix.org

I think @t4ccer.com is the person who wrote the nixpkg for pds

website: t4ccer.com (yep looks like someone who would use nix)

Side tangent and sorry if you have posted about this before, but what are alternative designs to bridgy? It seems like every so often there’s a random drive by AP user posting about how ATP doesn’t support the fediverse, so what would better support look like if it was more integrated?