mastouille.fr est l'un des nombreux serveurs Mastodon indépendants que vous pouvez utiliser pour participer au fédiverse.
Mastouille est une instance Mastodon durable, ouverte, et hébergée en France.

Administré par :

Statistiques du serveur :

672
comptes actifs

#verification

1 message1 participant0 message aujourd’hui

BlueSky is now rolling out the broken verification system of only "notable" people and orgs get the blue checks. Again, this is the WRONG way of it. Verification means "I am who I say I am". You shouldn't be famous or be on the Fortune 500 to qualify for it! I'm at risk of impersonation just as much as Bill Gates. bsky.social/about/blog/04-21-2

BlueskyA New Form of Verification on Bluesky - BlueskyWe’re introducing a new layer of verification — a user-friendly, easily recognizable blue check. Additionally, independent organizations can verify accounts directly through our Trusted Verifiers feature.

The fedi discourse on Bluesky's verification is very frustrating Don't et me wrong, there's a lot to critique with Bluesky's approach of combining their own platform-level verification with initially annointing a handful of third-party verifiers:

To be fair, I am seeing a bit of discussion of some of these issues here. But I'm not seeing anything about consent, or community moderation, or equity. Instead, the vast majority of what I'm seeing is people saying hat the approach of external verifiers (run by entities other than Bluesky) and the Bluesky app attaching privileged semantics to the annointed ones isn't "decentraized."

Is that really the important thing here?

Bluesky Social · Rudy wants revolution. (@rudyfraser.com)They solved for user growth, celebrity adoption, moderation issues while setting an example for other apps and knighted civics-minded orgs to do additional verification (which counts as decentralized imo) I wanted communities to become a new type of account (merge labelers, feeds and verification)

A *gentle* reminder that, I have a funded #PhD position for UK students, available with myself and @bentnib

This project will be looking at developing new methods for asserting the resilience of existing communicating systems by developing new static analysis methods derived from advanced programming language research.

Deadline for getting in contact is: Thursday 20th March 2025

You will belong to @StrathCyber and @mspstrath, as well as gaining access to @spli

strath.ac.uk/studywithus/postg

www.strath.ac.ukTowards Type-Driven Assurance of Communicating Systems | University of Strathclyde
#PL#Idris#TypeTheory

Call for Papers
16th International Conference on Interactive Theorem Proving — ITP'25

Reykjavik, Iceland
27 September – 3 October 2025

icetcs.github.io/frocos-itp-ta

ITP is concerned with all aspects of interactive theorem proving, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and the formalization of mathematics.

- Abstract submission deadline: 12 March 2025
- Paper submission deadline: 19 March 2025
- Author notification: 23 May 2025
- Camera-ready copy due: 27 June 2025

icetcs.github.ioITP '25

Interesting story from @tedium about an extortion scheme targeting prominent personalities on Bluesky who don't own their own domain.

"Cybersquatting is not a new issue, of course, but Bluesky’s decision to tie verification to domains as social proof shows the limitations of the strategy."

tedium.co/2024/12/17/bluesky-i

I wonder how this would play out in the fediverse.

Tedium: The Dull Side of the Internet.So, Bluesky Has An Extortion ProblemAn apparent extortion scheme lit up Bluesky the other night. It raises some important questions about whether Bluesky is up to the task of moderation.

TIL: Ihr braucht eine Packstation für euren Hackspace, wollt aber nicht durch die nervige Verifizierung durch?

Legt euer Konto einfach als Firmenkonto an.
Ihr müsst nur folgende Daten preisgeben:
Vorname, Nachname
Email, Passwort
Irgendeine Adresse

Fertig. Schön könnt ihr an Packstationen versenden.

Seid auch das nächste mal dabei, bei Post-Tipps mit
@Yonggan. #verification #dhl #packstation