troet.cafe ist Teil eines dezentralisierten sozialen Netzwerks, angetrieben von Mastodon.
Hallo im troet.cafe! Dies ist die derzeit größte deutschsprachige Mastodon Instanz zum tröten, neue Leute kennenlernen, sich auszutauschen und Spaß zu haben.

Verwaltet von:

Serverstatistik:

7,4 Tsd.
aktive Profile

Mehr erfahren

#verification

0 Beiträge0 Beteiligte0 Beiträge heute
Windows Portable Apps<p>Digital Check - Create or Check (Verify) Digital Data Offline and in Real Time. (Face and Phone Verification.)<br><a href="https://apps.microsoft.com/detail/9pj6pkf3fhrk" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">apps.microsoft.com/detail/9pj6</span><span class="invisible">pkf3fhrk</span></a><br>.<br><a href="https://mastodon.social/tags/Data" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Data</span></a> <a href="https://mastodon.social/tags/Face" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Face</span></a> <a href="https://mastodon.social/tags/Phone" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Phone</span></a> <a href="https://mastodon.social/tags/Check" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Check</span></a> <a href="https://mastodon.social/tags/Verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Verification</span></a><br><a href="https://mastodon.social/tags/Message" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Message</span></a> <a href="https://mastodon.social/tags/Text" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Text</span></a> <a href="https://mastodon.social/tags/Encryption" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Encryption</span></a> <a href="https://mastodon.social/tags/Decryption" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Decryption</span></a> <a href="https://mastodon.social/tags/Cryption" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Cryption</span></a> <a href="https://mastodon.social/tags/crypter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>crypter</span></a> <a href="https://mastodon.social/tags/cypher" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>cypher</span></a><br><a href="https://mastodon.social/tags/Encrypt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Encrypt</span></a> <a href="https://mastodon.social/tags/Decrypt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Decrypt</span></a> <a href="https://mastodon.social/tags/Crypt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Crypt</span></a><br><a href="https://mastodon.social/tags/Infosec" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Infosec</span></a> <a href="https://mastodon.social/tags/netsec" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>netsec</span></a> <a href="https://mastodon.social/tags/cybersec" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>cybersec</span></a> <a href="https://mastodon.social/tags/CyberSecurity" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CyberSecurity</span></a><br><a href="https://mastodon.social/tags/windows" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>windows</span></a> <a href="https://mastodon.social/tags/windows11" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>windows11</span></a> <a href="https://mastodon.social/tags/windows10" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>windows10</span></a></p>
Tom de Jong<p>Call for Papers<br>16th International Conference on Interactive Theorem Proving — ITP'25</p><p>Reykjavik, Iceland<br>27 September – 3 October 2025</p><p><a href="https://icetcs.github.io/frocos-itp-tableaux25/itp/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">icetcs.github.io/frocos-itp-ta</span><span class="invisible">bleaux25/itp/</span></a></p><p>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.</p><p>- Abstract submission deadline: 12 March 2025<br>- Paper submission deadline: 19 March 2025<br>- Author notification: 23 May 2025<br>- Camera-ready copy due: 27 June 2025</p><p><a href="https://mathstodon.xyz/tags/formalization" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>formalization</span></a> <a href="https://mathstodon.xyz/tags/theoremproving" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>theoremproving</span></a> <a href="https://mathstodon.xyz/tags/proofassistants" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>proofassistants</span></a> <a href="https://mathstodon.xyz/tags/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>verification</span></a> <a href="https://mathstodon.xyz/tags/CfP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CfP</span></a></p>
KINEWS24<p>Multi-Agenten-Verifikation: KI prüft sich selbst</p><p>Agenten testen gegenseitig<br>Fehlererkennung in Echtzeit<br>Verbesserte Systemstabilität</p><p><a href="https://mastodon.social/tags/ai" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ai</span></a> <a href="https://mastodon.social/tags/ki" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ki</span></a> <a href="https://mastodon.social/tags/artificialintelligence" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>artificialintelligence</span></a> <a href="https://mastodon.social/tags/kuenstlicheintelligenz" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>kuenstlicheintelligenz</span></a> <a href="https://mastodon.social/tags/multiagentensysteme" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>multiagentensysteme</span></a> <a href="https://mastodon.social/tags/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>verification</span></a> </p><p><a href="https://kinews24.de/multi-agent-verifikation/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">kinews24.de/multi-agent-verifi</span><span class="invisible">kation/</span></a></p>
Hacker News<p>Long division verified via Hoare logic — <a href="https://www.cofault.com/2025/02/long-story-of-division.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">cofault.com/2025/02/long-story</span><span class="invisible">-of-division.html</span></a><br><a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HackerNews</span></a> <a href="https://mastodon.social/tags/LongDivision" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LongDivision</span></a> <a href="https://mastodon.social/tags/HoareLogic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HoareLogic</span></a> <a href="https://mastodon.social/tags/ComputerScience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ComputerScience</span></a> <a href="https://mastodon.social/tags/Verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Verification</span></a> <a href="https://mastodon.social/tags/Algorithms" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Algorithms</span></a></p>
Moved to https://mk.absturztau.be/@Linux<p><span>Now, I need to find an alternative service to Ente Auth that does not require self-hosting and can be used over multiple devices simultaneously while remaining in sync (so not hardware specific). <br><br></span><a href="https://misskey.de/tags/Auth" rel="nofollow noopener noreferrer" target="_blank">#Auth</a> <a href="https://misskey.de/tags/Authentication" rel="nofollow noopener noreferrer" target="_blank">#Authentication</a> <a href="https://misskey.de/tags/2Step" rel="nofollow noopener noreferrer" target="_blank">#2Step</a> <a href="https://misskey.de/tags/Verification" rel="nofollow noopener noreferrer" target="_blank">#Verification</a> <a href="https://misskey.de/tags/Security" rel="nofollow noopener noreferrer" target="_blank">#Security</a> <a href="https://misskey.de/tags/InfoSec" rel="nofollow noopener noreferrer" target="_blank">#InfoSec</a> <a href="https://misskey.de/tags/InformationSecurity" rel="nofollow noopener noreferrer" target="_blank">#InformationSecurity</a></p>
Shakthi Kannan<p>18th Interaction and Concurrency Experience 2025 workshop at 20th International Federated Conference on Distributed Computing Techniques June 16-20, 2025 Lille, France <a href="https://www.discotec.org/2025/satellite/ice" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">discotec.org/2025/satellite/ice</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/Concurrency" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Concurrency</span></a> <a href="https://mastodon.social/tags/Model" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Model</span></a> <a href="https://mastodon.social/tags/Verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Verification</span></a></p>
DW Innovation<p>Essential reading: Paul M. Barrett's meta article on fact-checking for the Tech Policy Blog.</p><p>After providing a short history of the discipline, he goes on to debunk three myths, namely that</p><p>...fact-checking censors free speech...<br>...is biased against conservatives...<br>...and just doesn't work.</p><p>👇 <br><a href="https://www.techpolicy.press/some-facts-about-fact-checking-defending-the-imperfect-search-for-truth-in-an-era-of-institutionalized-lying/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">techpolicy.press/some-facts-ab</span><span class="invisible">out-fact-checking-defending-the-imperfect-search-for-truth-in-an-era-of-institutionalized-lying/</span></a></p><p><a href="https://mastodon.social/tags/Disinformation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Disinformation</span></a> <a href="https://mastodon.social/tags/FactChecking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FactChecking</span></a> <a href="https://mastodon.social/tags/Verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Verification</span></a></p>
German Vidal<p>Hello World! </p><p>I'm a Prof. of <a href="https://sigmoid.social/tags/ComputerScience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ComputerScience</span></a> at VRAIN/UPV (València, Spain), mainly working on (explainable, symbolic) artificial <a href="https://sigmoid.social/tags/intelligence" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>intelligence</span></a> <a href="https://sigmoid.social/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://sigmoid.social/tags/XAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>XAI</span></a>, (<a href="https://sigmoid.social/tags/probabilistic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>probabilistic</span></a>) <a href="https://sigmoid.social/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>logic</span></a> <a href="https://sigmoid.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a>, term <a href="https://sigmoid.social/tags/rewriting" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>rewriting</span></a>, <a href="https://sigmoid.social/tags/causality" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>causality</span></a>, <a href="https://sigmoid.social/tags/concurrency" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>concurrency</span></a>, programming <a href="https://sigmoid.social/tags/languages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>languages</span></a>, <a href="https://sigmoid.social/tags/reversible" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>reversible</span></a> computing, program <a href="https://sigmoid.social/tags/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>verification</span></a>, and <a href="https://sigmoid.social/tags/debugging" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>debugging</span></a>. 
</p><p>I plan to use this account mostly for scientific matters, but not only. I'm also quite interested in <a href="https://sigmoid.social/tags/photography" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>photography</span></a>, <a href="https://sigmoid.social/tags/sciencefiction" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>sciencefiction</span></a>, <a href="https://sigmoid.social/tags/travel" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>travel</span></a>, <a href="https://sigmoid.social/tags/movies" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>movies</span></a>, <a href="https://sigmoid.social/tags/series" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>series</span></a>, etc, etc.</p>
Richard Martin-Nielsen<p><span class="h-card" translate="no"><a href="https://mastodon.online/@opcw" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>opcw</span></a></span> hiring a <a href="https://mastodon.social/tags/DataAnalyst" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>DataAnalyst</span></a> in <a href="https://mastodon.social/tags/OPCW" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OPCW</span></a> <a href="https://mastodon.social/tags/Verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Verification</span></a> division<br>Looking for inter alia <br> • 5+ years relevant experience in the management of quantitative information including information management systems; <a href="https://mastodon.social/tags/statistics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>statistics</span></a>, <a href="https://mastodon.social/tags/DataAnalysis" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>DataAnalysis</span></a> techniques and probability theory; databases, data warehouses, statistical tools, reporting and <a href="https://mastodon.social/tags/visualisation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>visualisation</span></a> applications<br><a href="https://jobs.opcw.org/job/job-inspectorate-data-analyst-p-3-_454.aspx" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jobs.opcw.org/job/job-inspecto</span><span class="invisible">rate-data-analyst-p-3-_454.aspx</span></a><br><a href="https://mastodon.social/tags/DataScienceJobs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>DataScienceJobs</span></a> <a href="https://mastodon.social/tags/GetFediHired" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GetFediHired</span></a> <a href="https://mastodon.social/tags/DisarmamentJobs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>DisarmamentJobs</span></a> <a href="https://mastodon.social/tags/DataScience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>DataScience</span></a> <a href="https://mastodon.social/tags/DataVisualisation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>DataVisualisation</span></a></p><p><a href="https://jobs.opcw.org/job/job-verification-data-analyst-p-3-_467.aspx" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jobs.opcw.org/job/job-verifica</span><span class="invisible">tion-data-analyst-p-3-_467.aspx</span></a></p>
ao<span class="h-card"><a class="u-url mention" href="https://woof.tech/@Purple" rel="nofollow noopener noreferrer" target="_blank">@<span>Purple</span></a></span> <span class="h-card"><a class="u-url mention" href="https://mastodon.social/@Gargron" rel="nofollow noopener noreferrer" target="_blank">@<span>Gargron</span></a></span><br><br>Hello, does <a class="hashtag" href="https://yusaao.com/tag/mastodon" rel="nofollow noopener noreferrer" target="_blank">#mastodon</a> somehow differ in <a class="hashtag" href="https://yusaao.com/tag/verification" rel="nofollow noopener noreferrer" target="_blank">#verification</a> from <a class="hashtag" href="https://yusaao.com/tag/akkoma" rel="nofollow noopener noreferrer" target="_blank">#akkoma</a> ?<br><br>My cute link shows ok on akkoma but mastodon doesn't seem to care unless an "@" is present ?<br><br>I thought the target instances is responsible for proving identity and the outside one will just go like "m'kay I believe you"<br><br>&lt;head&gt;<br>&lt;a rel="me" href="https://xyz.xyz/@xy"&gt;&lt;/a&gt; works for <a class="hashtag" href="https://yusaao.com/tag/mastodon" rel="nofollow noopener noreferrer" target="_blank">#mastodon</a> (I used it for years)<br><br>and <br><br>&lt;head&gt;<br>&lt;a rel="me" href="https://yusaao.com/ao"&gt;&lt;/a&gt;<br>For akkoma \ pleroma...<br><br>I'm <a class="hashtag" href="https://yusaao.com/tag/confused" rel="nofollow noopener noreferrer" target="_blank">#confused</a> :eveecoffee:<br><br>EDIT:<br>I added an "@" version to see if that'd work with mtd..<br>But no.<br>Strange
Andreas Scherbaum<p>Android: Google Play Store - You haven't set up purchase verification</p><p><a href="https://andreas.scherbaum.la/post/2025-01-02_android-google-play-store-you-havent-set-up-purchase-verification/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">andreas.scherbaum.la/post/2025</span><span class="invisible">-01-02_android-google-play-store-you-havent-set-up-purchase-verification/</span></a></p><p><a href="https://mastodon.social/tags/Android" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Android</span></a> <a href="https://mastodon.social/tags/PlayStore" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PlayStore</span></a> <a href="https://mastodon.social/tags/Apps" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Apps</span></a> <a href="https://mastodon.social/tags/Verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Verification</span></a> <a href="https://mastodon.social/tags/Google" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Google</span></a></p>
ajaxStardust<p>Is U Doin' Bui'ness?</p><p>According to <a href="https://social.vivaldi.net/tags/Google" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Google</span></a> <br>Set up <a href="https://social.vivaldi.net/tags/BIMI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>BIMI</span></a> </p><p>You can use the <a href="https://social.vivaldi.net/tags/BrandIndicatorsForMessageIdentification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>BrandIndicatorsForMessageIdentification</span></a> (BIMI) <a href="https://social.vivaldi.net/tags/standard" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>standard</span></a> to add your <a href="https://social.vivaldi.net/tags/organization" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>organization</span></a>’s logo to <a href="https://social.vivaldi.net/tags/outgoing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>outgoing</span></a> email messages sent from your organization. Email clients that support BIMI display the <a href="https://social.vivaldi.net/tags/logo" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>logo</span></a> along with your organization’s <a href="https://social.vivaldi.net/tags/messages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>messages</span></a> in the recipient's <a href="https://social.vivaldi.net/tags/mailbox" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mailbox</span></a>. <a href="https://social.vivaldi.net/tags/Logos" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logos</span></a> used with BIMI are <a href="https://social.vivaldi.net/tags/verified" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>verified</span></a> by a <a href="https://social.vivaldi.net/tags/thirdparty" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>thirdparty</span></a> so <a href="https://social.vivaldi.net/tags/recipients" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>recipients</span></a> can be sure logos in their inbox are <a href="https://social.vivaldi.net/tags/legitimate" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>legitimate</span></a>.<br>BIMI requires third-party certification for your domain and logo. The third-party <a href="https://social.vivaldi.net/tags/certification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>certification</span></a> must be a <a href="https://social.vivaldi.net/tags/VerifiedMarkCertificate" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>VerifiedMarkCertificate</span></a> (<a href="https://social.vivaldi.net/tags/VMC" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>VMC</span></a>) or a <a href="https://social.vivaldi.net/tags/CommonMarkCertificate" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CommonMarkCertificate</span></a> (<a href="https://social.vivaldi.net/tags/CMC" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CMC</span></a>)."</p><p><a href="https://support.google.com/a/answer/10911320" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">support.google.com/a/answer/10</span><span class="invisible">911320</span></a></p><p>Okay. So, who is the "Verified Third Party"?<br>@jloc0@sdf.org <span class="h-card" translate="no"><a href="https://social.vivaldi.net/@zombiewarrior" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>zombiewarrior</span></a></span> <span class="h-card" translate="no"><a href="https://beige.party/@OutOnTheMoors" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>OutOnTheMoors</span></a></span></p><p><a href="https://social.vivaldi.net/tags/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>verification</span></a> <a href="https://social.vivaldi.net/tags/identity" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>identity</span></a> <a href="https://social.vivaldi.net/tags/seniorsuperlatives" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>seniorsuperlatives</span></a></p>
Stefan Bohacek<p>Interesting story from <span class="h-card" translate="no"><a href="https://social.tedium.co/@tedium" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>tedium</span></a></span> about an extortion scheme targeting prominent personalities on Bluesky who don't own their own domain.</p><p>"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."</p><p><a href="https://tedium.co/2024/12/17/bluesky-impersonation-risks/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">tedium.co/2024/12/17/bluesky-i</span><span class="invisible">mpersonation-risks/</span></a></p><p>I wonder how this would play out in the fediverse.</p><p><a href="https://stefanbohacek.online/tags/bluesky" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>bluesky</span></a> <a href="https://stefanbohacek.online/tags/fediverse" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fediverse</span></a> <a href="https://stefanbohacek.online/tags/domains" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>domains</span></a> <a href="https://stefanbohacek.online/tags/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>verification</span></a> <a href="https://stefanbohacek.online/tags/cybersquatting" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>cybersquatting</span></a></p>
Yonggan<p><span class="h-card" translate="no"><a href="https://mastodon.com.pl/@m0bi" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>m0bi</span></a></span><span> </span><span class="h-card" translate="no"><a href="https://digitalcourage.social/@digitalcourage" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>digitalcourage</span></a></span><span> </span><span>@grindhold</span><span> is it following the browser language? </span><a href="https://iceshrimp.de/tags/verification" rel="nofollow noopener noreferrer" target="_blank">#verification</a><span> </span><a href="https://iceshrimp.de/tags/dhl" rel="nofollow noopener noreferrer" target="_blank">#dhl</a><span> </span><a href="https://iceshrimp.de/tags/packstation" rel="nofollow noopener noreferrer" target="_blank">#packstation</a></p>
Yonggan<p><span>TIL: Ihr braucht eine Packstation für euren Hackspace, wollt aber nicht durch die nervige Verifizierung durch?<br><br>Legt euer Konto einfach als Firmenkonto an. <br>Ihr müsst nur folgende Daten preisgeben:<br>Vorname, Nachname<br>Email, Passwort<br>Irgendeine Adresse<br><br>Fertig. Schön könnt ihr an Packstationen versenden.<br><br>Seid auch das nächste mal dabei, bei Post-Tipps mit </span><span class="h-card" translate="no"><a href="https://iceshrimp.de/@Yonggan" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>Yonggan</span></a></span><span>. </span><a href="https://iceshrimp.de/tags/verification" rel="nofollow noopener noreferrer" target="_blank">#verification</a><span> </span><a href="https://iceshrimp.de/tags/dhl" rel="nofollow noopener noreferrer" target="_blank">#dhl</a><span> </span><a href="https://iceshrimp.de/tags/packstation" rel="nofollow noopener noreferrer" target="_blank">#packstation</a></p>
Sebastian Lasse<p><a href="https://digitalcourage.social/tags/relme" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>relme</span></a> <a href="https://digitalcourage.social/tags/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>verification</span></a> <br>I wonder why large news organisations do not use rel="me" - <br>most use at least schema.org</p><p>publisher: {<br> "@type": "Organization",<br> logo: "<a href="https://cdn.prod.www.spiegel.de/public/spon/images/logos/der-spiegel-h60.png" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">cdn.prod.www.spiegel.de/public</span><span class="invisible">/spon/images/logos/der-spiegel-h60.png</span></a>",<br> name: "DER SPIEGEL",<br> sameAs: [<br> "<a href="https://www.facebook.com/derspiegel" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">facebook.com/derspiegel</span><span class="invisible"></span></a>",<br> "POTENTIAL_FEDI_URL" <br> ]<br>}</p><p>Would you consider if above <br>"mainEntityOfPage" is the same like the canonical URL <br>and <br>any fedi profile links to this URL</p><p>that this is something like a <br>"verified publisher" relation ?</p>
Miguel Afonso Caetano<p>Sorry, but I don't believe in for-profit social media companies... Ultimately, this has all elements to end badly for the users.</p><p>"When I spoke this week to Bluesky CEO Jay Graber, she was gratified by the new users. “It’s been a wild week,” she says. But she noted that this spike was one of several over the past few months. Bluesky, she says, is in it for the long haul. The idea is not to recreate classic Twitter, she says, but to reshape social media on the principle of openness and user control. Remember the cool way that the internet worked before those fluffy companies got all proprietary and evil? That’s the Bluesky vision, a digital version of the hippie dream. Graber’s word cloud is full of stuff like radical transparency, and she gushes about the AT Protocol, the open-source framework that Bluesky is built on. Without getting into the weeds on this, the bottom line is that by opening everything up, communities—instead of corporate control freaks—can shape Bluesky to allow for delightful customized experiences.</p><p>Take content moderation. To purge the service of illegalities and harassers, Bluesky has brought on contractors to assist the mere 20 or so people currently employed. But the bulk of the feed-policing is expected to be crowdsourced—because of Bluesky’s open design, committed outsiders can build systems to implement their own standards. Once this system flowers, users will be able to pick the regimen that suits their comfort level."</p><p><a href="https://www.wired.com/story/plaintext-bluesky-says-it-wont-screw-things-up/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">wired.com/story/plaintext-blue</span><span class="invisible">sky-says-it-wont-screw-things-up/</span></a></p><p><a href="https://tldr.nettime.org/tags/SocialMedia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SocialMedia</span></a> <a href="https://tldr.nettime.org/tags/SocialNetworks" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SocialNetworks</span></a> <a href="https://tldr.nettime.org/tags/BlueSky" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>BlueSky</span></a> <a href="https://tldr.nettime.org/tags/ContentModeration" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ContentModeration</span></a> <a href="https://tldr.nettime.org/tags/Verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Verification</span></a></p>
Norbert Preining<p>Long overdue, a new release of CafeOBJ - algebraic specification and verification language - CafeOBJ 1.6.2 released <a href="https://www.preining.info/blog/2024/11/cafeobj-1-6-2-released/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">preining.info/blog/2024/11/caf</span><span class="invisible">eobj-1-6-2-released/</span></a> <a href="https://mastodon.social/tags/cafeobj" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>cafeobj</span></a> <a href="https://mastodon.social/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> <a href="https://mastodon.social/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>logic</span></a> <a href="https://mastodon.social/tags/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>verification</span></a> <a href="https://mastodon.social/tags/formal_methods" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>formal_methods</span></a></p>
Jörn Franke<p>Verify the Safety of the Rust Standard Library</p><p><a href="https://aws.amazon.com/blogs/opensource/verify-the-safety-of-the-rust-standard-library/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">aws.amazon.com/blogs/opensourc</span><span class="invisible">e/verify-the-safety-of-the-rust-standard-library/</span></a></p><p><a href="https://mastodon.online/tags/rust" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>rust</span></a> <a href="https://mastodon.online/tags/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>verification</span></a> <a href="https://mastodon.online/tags/safe" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>safe</span></a> <a href="https://mastodon.online/tags/unsafe" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>unsafe</span></a> <a href="https://mastodon.online/tags/formalmethods" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>formalmethods</span></a></p>