Decenta Lyzed
Interested in #haskell #dependent_type #dependent_types #idris #idris2 #distributed #p2p #ocaml .
Exploring fediverse.
- 2 Posts
- 3 Comments
Joined 2 months ago
Cake day: July 8th, 2025
You are not logged in. If you use a Fediverse account that is able to follow users, you can follow this user.
okay, nice,
seems like my first lemmy thread has been successfully posted, began & opened
https://lemmy.ml/post/34267118other questions remain
01·26 days agorequirement to prove that you are not a robot
@slazer2au
>Because it requires trust of other instances admins.
nah, I don’t think so, it should work like email OR ActivityPub concept. no explicit pre whitelisting required.