shakedown.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A community for live music fans with roots in the jam scene. Shakedown Social is run by a team of volunteers (led by @clifff and @sethadam1) and funded by donations.

Administered by:

Server stats:

285
active users

#verification

1 post1 participant0 posts today
Strypey<p>Unlike BlueSky, the fediverse offers tools for account verification that are *not* controlled by a single corporation, and has for years;</p><p><a href="https://stefanbohacek.com/blog/verification-in-the-fediverse/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">stefanbohacek.com/blog/verific</span><span class="invisible">ation-in-the-fediverse/</span></a> </p><p><a href="https://mastodon.nzoss.nz/tags/BlueSky" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>BlueSky</span></a> <a href="https://mastodon.nzoss.nz/tags/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>verification</span></a> <a href="https://mastodon.nzoss.nz/tags/AccountVerification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AccountVerification</span></a></p>
DW Innovation<p>Can your distinguish real images from fake or manipulated ones?</p><p>Our colleagues over at DW Fact Check put together a <a href="https://mastodon.social/tags/quiz" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>quiz</span></a> that will help you improve your <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/skills" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>skills</span></a>.</p><p>👇 <br><a href="https://www.dw.com/en/real-or-fake-fact-checking-quiz-fake-news-ai-fake-ai-image-detection-debunking-verification/a-72104848" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">dw.com/en/real-or-fake-fact-ch</span><span class="invisible">ecking-quiz-fake-news-ai-fake-ai-image-detection-debunking-verification/a-72104848</span></a></p>
Kevin Karhan :verified:<p>:boost_ok: Anecdotal video from an alleged expat in Senegal: the US government is now <em>refusing to renew passports of citizens living abroad as a matter of policy</em>.</p><p>Source: <a href="https://www.tiktok.com/@drelizabethprof/video/7496171862674722054" rel="nofollow noopener noreferrer" target="_blank"><em>their TikTok</em></a> (<a href="https://web.archive.org/web/20250401000000*/https://www.tiktok.com/@drelizabethprof/video/7496171862674722054" rel="nofollow noopener noreferrer" target="_blank">archival copy</a>)</p><ul><li>Can <em>anyone confirm or deny this?</em></li></ul><p>I'd do so myself but I'm not a U.S. citizen (<em>thankfully!</em>) and don't know any I could subject to the stress of entering any embassy or consulate, knowing they won't get a renewal unless they have less than 12 months of validity on it...</p><p><a href="https://infosec.space/tags/USpol" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>USpol</span></a> <a href="https://infosec.space/tags/expats" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>expats</span></a> <a href="https://infosec.space/tags/Verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Verification</span></a> <a href="https://infosec.space/tags/OSINT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OSINT</span></a> <a href="https://infosec.space/tags/SourceChecking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SourceChecking</span></a> <a href="https://infosec.space/tags/Passport" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Passport</span></a> <a href="https://infosec.space/tags/Passport" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Passport</span></a> <a href="https://infosec.space/tags/Renewal" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Renewal</span></a> <a href="https://infosec.space/tags/Extenstion" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Extenstion</span></a> <a href="https://infosec.space/tags/Statelessness" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Statelessness</span></a> <a href="https://infosec.space/tags/Citizenship" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Citizenship</span></a> <a href="https://infosec.space/tags/USA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>USA</span></a> <a href="https://infosec.space/tags/US" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>US</span></a> <a href="https://infosec.space/tags/PleaseBoost" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PleaseBoost</span></a> <a href="https://infosec.space/tags/FollowerPower" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FollowerPower</span></a> <a href="https://infosec.space/tags/TikTok" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TikTok</span></a></p>
Techdirt<p><strong>Ctrl-Alt-Speech: Red Pills &amp; Blue Checks</strong></p> <p><a href="https://web.brid.gy/r/https://www.techdirt.com/2025/04/24/ctrl-alt-speech-red-pills-blue-checks/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">web.brid.gy/r/https://www.tech</span><span class="invisible">dirt.com/2025/04/24/ctrl-alt-speech-red-pills-blue-checks/</span></a></p>
The Nexus of Privacy<p>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:</p><ul><li><p><a href="https://bsky.app/profile/rudyfraser.com/post/3lndtfklhbk25" rel="nofollow noopener noreferrer" target="_blank">community-oriented verification</a>, along the lines that <span class="h-card" translate="no"><a href="https://bsky.brid.gy/r/https://bsky.app/profile/rudyfraser.com" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>rudyfraser.com</span></a></span> suggests, would be much more power-distributive and equitable</p></li><li><p>as <span class="h-card" translate="no"><a href="https://bsky.brid.gy/r/https://bsky.app/profile/ngerakines.me" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>ngerakines.me</span></a></span> notes, <a href="https://bsky.app/profile/ngerakines.me/post/3lng3ppn4hs2w" rel="nofollow noopener noreferrer" target="_blank">Bluesky's approach is missing something critical: consent</a></p></li><li><p>as <span class="h-card" translate="no"><a href="https://fedified.com/@DataDrivenMD" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>DataDrivenMD</span></a></span> points out, <a href="https://bsky.app/profile/datadrivenmd.social/post/3lnenixyqu22b" rel="nofollow noopener noreferrer" target="_blank">the current framework functionally disenfranchises community organizers who lack social networks with access to mainstream media and other institutions that are designed to exclude marginalized people</a></p></li><li><p>just like on Twitter, he people initially verified are overwhelmingly cis, white, and male; </p></li><li><p>the three initial external verifiers include the anti-trans NYTimes and one of their subsidiaries</p></li><li><p>Bluesky hasn't said anything about their process for making decisions about who's "notable" enough for them to verify and how they decide somebody's "authentic".</p></li></ul><p>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." </p><p>Is that really the important thing here? </p><p><a href="https://infosec.exchange/tags/bluesky" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>bluesky</span></a> <a href="https://infosec.exchange/tags/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>verification</span></a> <a href="https://infosec.exchange/tags/fediverse" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fediverse</span></a></p>
Marcus "MajorLinux" Summers<p>Or you can just verify yourself with a domain.</p><p>Bluesky is getting blue checkmarks and an official verification system </p><p><a href="https://www.engadget.com/social-media/bluesky-is-getting-blue-checkmarks-and-an-official-verification-system-173204662.html?src=rss" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">engadget.com/social-media/blue</span><span class="invisible">sky-is-getting-blue-checkmarks-and-an-official-verification-system-173204662.html?src=rss</span></a></p><p><a href="https://toot.majorshouse.com/tags/Bluesky" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Bluesky</span></a> <a href="https://toot.majorshouse.com/tags/Verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Verification</span></a> <a href="https://toot.majorshouse.com/tags/SocialMedia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SocialMedia</span></a> <a href="https://toot.majorshouse.com/tags/Tech" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Tech</span></a></p>
Chris Alemany🇺🇦🇨🇦🇪🇸<p>New Nazi place same as old Nazi place?<br><a href="https://mstdn.chrisalemany.ca/tags/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>verification</span></a> <a href="https://mstdn.chrisalemany.ca/tags/twitter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>twitter</span></a> <a href="https://mstdn.chrisalemany.ca/tags/x" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>x</span></a> <a href="https://mstdn.chrisalemany.ca/tags/bluesky" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>bluesky</span></a> <a href="https://mstdn.chrisalemany.ca/tags/bluesky" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>bluesky</span></a><br><a href="https://www.wired.com/story/bluesky-official-verification-blue-check/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">wired.com/story/bluesky-offici</span><span class="invisible">al-verification-blue-check/</span></a></p>
Jan de Muijnck-Hughes<p>A *gentle* reminder that, I have a funded <a href="https://discuss.systems/tags/PhD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PhD</span></a> position for UK students, available with myself and <span class="h-card" translate="no"><a href="https://types.pl/@bentnib" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>bentnib</span></a></span></p><p>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.</p><p>Deadline for getting in contact is: Thursday 20th March 2025</p><p>You will belong to <span class="h-card" translate="no"><a href="https://mastodon.acm.org/@StrathCyber" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>StrathCyber</span></a></span> and <span class="h-card" translate="no"><a href="https://mastodon.acm.org/@mspstrath" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>mspstrath</span></a></span>, as well as gaining access to <span class="h-card" translate="no"><a href="https://mastodon.scot/@spli" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>spli</span></a></span></p><p><a href="https://www.strath.ac.uk/studywithus/postgraduateresearchphdopportunities/science/computerinformationsciences/towardstype-drivenassuranceofcommunicatingsystems/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">strath.ac.uk/studywithus/postg</span><span class="invisible">raduateresearchphdopportunities/science/computerinformationsciences/towardstype-drivenassuranceofcommunicatingsystems/</span></a></p><p><a href="https://discuss.systems/tags/PL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PL</span></a> <a href="https://discuss.systems/tags/Idris" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Idris</span></a> <a href="https://discuss.systems/tags/TypeTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TypeTheory</span></a> <a href="https://discuss.systems/tags/Security" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Security</span></a> <a href="https://discuss.systems/tags/Verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Verification</span></a> <a href="https://discuss.systems/tags/FP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FP</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>
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>
Sebastiaan Ammerlaan 🇳🇱<p>Doing some work on my <a href="https://mastodon.nl/tags/website" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>website</span></a>—it was about time, the last time was three years ago. Still to do is an overhaul of the navigation bar and rewriting some texts, but at least I added my <a href="https://mastodon.nl/tags/mastodon" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mastodon</span></a> <a href="https://mastodon.nl/tags/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>verification</span></a> link and some nice pictures from projects from the last few years. </p><p><a href="https://mastodon.nl/tags/singer" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>singer</span></a> <a href="https://mastodon.nl/tags/singing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>singing</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>
Rob Sison<p>There's now a video up of the talk I gave at this year's seL4 Summit, on the status of UNSW's projects to verify Time Protection and Microkit-based userland OS services for the seL4 microkernel:</p><p><a href="https://youtu.be/7wcFx6OTEL4" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">youtu.be/7wcFx6OTEL4</span><span class="invisible"></span></a></p><p><a href="https://aus.social/tags/sel4summit" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>sel4summit</span></a> <a href="https://aus.social/tags/seL4" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>seL4</span></a> <a href="https://aus.social/tags/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>verification</span></a> <a href="https://aus.social/tags/operatingsystems" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>operatingsystems</span></a> <a href="https://aus.social/tags/microkernel" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>microkernel</span></a> <a href="https://aus.social/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://aus.social/tags/HOL4" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HOL4</span></a> <a href="https://aus.social/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ITP</span></a> <a href="https://aus.social/tags/modelchecking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>modelchecking</span></a> <a href="https://aus.social/tags/formalmethods" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>formalmethods</span></a> <a href="https://aus.social/tags/formalverification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>formalverification</span></a> <a href="https://aus.social/tags/formal_methods" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>formal_methods</span></a> <a href="https://aus.social/tags/formal_verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>formal_verification</span></a></p>
DW Innovation<p><a href="https://mastodon.social/tags/Webinar" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Webinar</span></a> note: On October 29th at 11:00 (CET), members of the veraAI project will discuss their work on AI-based audio verification tools – which are about to play an important role in the fight against disinformation and unlabeled synthetic media.</p><p>EBU people and associates (and basically all media professionals) are welcome to join (after registration with a company email address, that is).</p><p>Details over here:</p><p><a href="https://tech.ebu.ch/events/2024/veraai-audio-tools-to-counter-disinformation" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">tech.ebu.ch/events/2024/veraai</span><span class="invisible">-audio-tools-to-counter-disinformation</span></a></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/audio" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>audio</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>WikiProject AI Cleanup is all about fighting low-quality GenAI content and misinfo on Wikipedia.</p><p><span class="h-card" translate="no"><a href="https://mastodon.social/@404mediaco" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>404mediaco</span></a></span> has published a portrait of the group of editors trying to protect the free content online encyclopedia:</p><p><a href="https://www.404media.co/the-editors-protecting-wikipedia-from-ai-hoaxes" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">404media.co/the-editors-protec</span><span class="invisible">ting-wikipedia-from-ai-hoaxes</span></a></p><p><a href="https://mastodon.social/tags/Wikipedia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Wikipedia</span></a> <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/Verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Verification</span></a></p>
Stefan Bohacek<p>What are some other popular sites, like GitHub, that let you verify your account on your fediverse profile page?</p><p><a href="https://til.simonwillison.net/mastodon/verifying-github-on-mastodon" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">til.simonwillison.net/mastodon</span><span class="invisible">/verifying-github-on-mastodon</span></a></p><p><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/mastodon" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mastodon</span></a> <a href="https://stefanbohacek.online/tags/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>verification</span></a></p>
Ben Gleason<p>I'm having no luck with getting link <a href="https://mastodon.online/tags/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>verification</span></a> working on my profile. I've got a rel="me" link on my website bengleason.net. The site is https, and the rel link is visible in plain old html. And I've edited and reedited my profile to try to trigger verification. All without any <a href="https://mastodon.online/tags/checkmark" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>checkmark</span></a> on my <a href="https://mastodon.online/tags/profile" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>profile</span></a>.</p><p>This all worked fine on other instances, so it's a mystery why it won't work on Mastodon.online. </p><p>Does anyone have any advice?</p>
DW Innovation<p>"A platform that used to downgrade hoaxes, conspiracy theories and false claims has become one where even the boss now spreads the stuff. That change didn’t happen immediately, but the shift of X from a useful information source to a locus of misinformation has alarmed fact-checkers worldwide."</p><p>(via <span class="h-card" translate="no"><a href="https://journa.host/@Poynter" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>Poynter</span></a></span>)</p><p><a href="https://www.poynter.org/fact-checking/2024/how-elon-musk-twitter-takeover-accelerated-misinformation/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">poynter.org/fact-checking/2024</span><span class="invisible">/how-elon-musk-twitter-takeover-accelerated-misinformation/</span></a></p><p><a href="https://mastodon.social/tags/twitter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>twitter</span></a> <a href="https://mastodon.social/tags/x" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>x</span></a> <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/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>verification</span></a></p>
Marcus "MajorLinux" Summers<p>More information to help me feel safe about the rando in my car.</p><p>Uber's rider ID program is available everywhere in the US as of tomorrow </p><p><a href="https://www.engadget.com/transportation/ubers-rider-id-program-is-now-available-everywhere-in-the-us-143037313.html?src=rss&amp;guccounter=1" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">engadget.com/transportation/ub</span><span class="invisible">ers-rider-id-program-is-now-available-everywhere-in-the-us-143037313.html?src=rss&amp;guccounter=1</span></a></p><p><a href="https://toot.majorshouse.com/tags/Uber" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Uber</span></a> <a href="https://toot.majorshouse.com/tags/Drivers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Drivers</span></a> <a href="https://toot.majorshouse.com/tags/Riders" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Riders</span></a> <a href="https://toot.majorshouse.com/tags/Identification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Identification</span></a> <a href="https://toot.majorshouse.com/tags/US" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>US</span></a> <a href="https://toot.majorshouse.com/tags/Verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Verification</span></a> <a href="https://toot.majorshouse.com/tags/Tech" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Tech</span></a> <a href="https://toot.majorshouse.com/tags/RideSharing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>RideSharing</span></a></p>