Helvede

0 posts0 participants0 posts today

Tom de JongCall for Papers 16th International Conference on Interactive Theorem Proving — ITP'25Reykjavik, Iceland 27 September – 3 October 2025<a href="https://icetcs.github.io/frocos-itp-tableaux25/itp/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://icetcs.github.io/frocos-itp-tableaux25/itp/</a>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<a href="https://mathstodon.xyz/tags/formalization" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#formalization</a> <a href="https://mathstodon.xyz/tags/theoremproving" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#theoremproving</a> <a href="https://mathstodon.xyz/tags/proofassistants" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#proofassistants</a> <a href="https://mathstodon.xyz/tags/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#verification</a> <a href="https://mathstodon.xyz/tags/CfP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CfP</a>

DW InnovationEssential reading: Paul M. Barrett's meta article on fact-checking for the Tech Policy Blog.After providing a short history of the discipline, he goes on to debunk three myths, namely that...fact-checking censors free speech... ...is biased against conservatives... ...and just doesn't work.👇 <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">https://www.techpolicy.press/some-facts-about-fact-checking-defending-the-imperfect-search-for-truth-in-an-era-of-institutionalized-lying/</a><a href="https://mastodon.social/tags/Disinformation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Disinformation</a> <a href="https://mastodon.social/tags/FactChecking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FactChecking</a> <a href="https://mastodon.social/tags/Verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Verification</a>

ajaxStardustIs U Doin' Bui'ness?According to <a href="https://social.vivaldi.net/tags/Google" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Google</a> Set up <a href="https://social.vivaldi.net/tags/BIMI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#BIMI</a> You can use the <a href="https://social.vivaldi.net/tags/BrandIndicatorsForMessageIdentification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#BrandIndicatorsForMessageIdentification</a> (BIMI) <a href="https://social.vivaldi.net/tags/standard" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#standard</a> to add your <a href="https://social.vivaldi.net/tags/organization" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#organization</a>’s logo to <a href="https://social.vivaldi.net/tags/outgoing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#outgoing</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">#logo</a> along with your organization’s <a href="https://social.vivaldi.net/tags/messages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#messages</a> in the recipient's <a href="https://social.vivaldi.net/tags/mailbox" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#mailbox</a>. <a href="https://social.vivaldi.net/tags/Logos" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logos</a> used with BIMI are <a href="https://social.vivaldi.net/tags/verified" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#verified</a> by a <a href="https://social.vivaldi.net/tags/thirdparty" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#thirdparty</a> so <a href="https://social.vivaldi.net/tags/recipients" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#recipients</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">#legitimate</a>. 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">#certification</a> must be a <a href="https://social.vivaldi.net/tags/VerifiedMarkCertificate" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#VerifiedMarkCertificate</a> (<a href="https://social.vivaldi.net/tags/VMC" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#VMC</a>) or a <a href="https://social.vivaldi.net/tags/CommonMarkCertificate" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CommonMarkCertificate</a> (<a href="https://social.vivaldi.net/tags/CMC" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CMC</a>)."<a href="https://support.google.com/a/answer/10911320" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://support.google.com/a/answer/10911320</a>Okay. So, who is the "Verified Third Party"? @jloc0@sdf.org <a href="https://social.vivaldi.net/@zombiewarrior" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@zombiewarrior</a> <a href="https://beige.party/@OutOnTheMoors" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@OutOnTheMoors</a><a href="https://social.vivaldi.net/tags/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#verification</a> <a href="https://social.vivaldi.net/tags/identity" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#identity</a> <a href="https://social.vivaldi.net/tags/seniorsuperlatives" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#seniorsuperlatives</a>

Stefan BohacekInteresting story from <a href="https://social.tedium.co/@tedium" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@tedium</a> 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."<a href="https://tedium.co/2024/12/17/bluesky-impersonation-risks/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://tedium.co/2024/12/17/bluesky-impersonation-risks/</a>I wonder how this would play out in the fediverse.<a href="https://stefanbohacek.online/tags/bluesky" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#bluesky</a> <a href="https://stefanbohacek.online/tags/fediverse" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#fediverse</a> <a href="https://stefanbohacek.online/tags/domains" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#domains</a> <a href="https://stefanbohacek.online/tags/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#verification</a> <a href="https://stefanbohacek.online/tags/cybersquatting" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#cybersquatting</a>

YongganTIL: 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 <a href="https://iceshrimp.de/@Yonggan" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@Yonggan</a>. <a href="https://iceshrimp.de/tags/verification" rel="nofollow noopener noreferrer" target="_blank">#verification</a> <a href="https://iceshrimp.de/tags/dhl" rel="nofollow noopener noreferrer" target="_blank">#dhl</a> <a href="https://iceshrimp.de/tags/packstation" rel="nofollow noopener noreferrer" target="_blank">#packstation</a>

Miguel Afonso CaetanoSorry, but I don't believe in for-profit social media companies... Ultimately, this has all elements to end badly for the users."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.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."<a href="https://www.wired.com/story/plaintext-bluesky-says-it-wont-screw-things-up/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.wired.com/story/plaintext-bluesky-says-it-wont-screw-things-up/</a><a href="https://tldr.nettime.org/tags/SocialMedia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SocialMedia</a> <a href="https://tldr.nettime.org/tags/SocialNetworks" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SocialNetworks</a> <a href="https://tldr.nettime.org/tags/BlueSky" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#BlueSky</a> <a href="https://tldr.nettime.org/tags/ContentModeration" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ContentModeration</a> <a href="https://tldr.nettime.org/tags/Verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Verification</a>

Rob SisonThere'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:<a href="https://youtu.be/7wcFx6OTEL4" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://youtu.be/7wcFx6OTEL4</a><a href="https://aus.social/tags/sel4summit" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#sel4summit</a> <a href="https://aus.social/tags/seL4" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#seL4</a> <a href="https://aus.social/tags/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#verification</a> <a href="https://aus.social/tags/operatingsystems" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#operatingsystems</a> <a href="https://aus.social/tags/microkernel" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#microkernel</a> <a href="https://aus.social/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#IsabelleHOL</a> <a href="https://aus.social/tags/HOL4" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#HOL4</a> <a href="https://aus.social/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ITP</a> <a href="https://aus.social/tags/modelchecking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#modelchecking</a> <a href="https://aus.social/tags/formalmethods" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#formalmethods</a> <a href="https://aus.social/tags/formalverification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#formalverification</a> <a href="https://aus.social/tags/formal_methods" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#formal_methods</a> <a href="https://aus.social/tags/formal_verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#formal_verification</a>

Jan :rust: :ferris:hax - A <a href="https://floss.social/tags/Rust" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Rust</a> <a href="https://floss.social/tags/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#verification</a> tool<a href="https://github.com/hacspec/hax" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://github.com/hacspec/hax</a>hax is a tool for high assurance translations that translates a large subset of Rust into formal languages such as F* or <a href="https://floss.social/tags/Coq" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Coq</a>.1/2<a href="https://floss.social/tags/Proof" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Proof</a> <a href="https://floss.social/tags/Hax" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Hax</a> <a href="https://floss.social/tags/FStar" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FStar</a> <a href="https://floss.social/tags/ProgrammingLanguage" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ProgrammingLanguage</a> <a href="https://floss.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OCaml</a> <a href="https://floss.social/tags/RustLang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#RustLang</a>

DW Innovation<a href="https://mastodon.social/tags/Webinar" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Webinar</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.EBU people and associates (and basically all media professionals) are welcome to join (after registration with a company email address, that is).Details over here:<a href="https://tech.ebu.ch/events/2024/veraai-audio-tools-to-counter-disinformation" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://tech.ebu.ch/events/2024/veraai-audio-tools-to-counter-disinformation</a><a href="https://mastodon.social/tags/ai" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ai</a> <a href="https://mastodon.social/tags/audio" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#audio</a> <a href="https://mastodon.social/tags/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#verification</a>

DW InnovationWikiProject AI Cleanup is all about fighting low-quality GenAI content and misinfo on Wikipedia.<a href="https://mastodon.social/@404mediaco" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@404mediaco</a> has published a portrait of the group of editors trying to protect the free content online encyclopedia:<a href="https://www.404media.co/the-editors-protecting-wikipedia-from-ai-hoaxes" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.404media.co/the-editors-protecting-wikipedia-from-ai-hoaxes</a><a href="https://mastodon.social/tags/Wikipedia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Wikipedia</a> <a href="https://mastodon.social/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AI</a> <a href="https://mastodon.social/tags/Verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Verification</a>

DW Innovation"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."(via <a href="https://journa.host/@Poynter" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@Poynter</a>)<a href="https://www.poynter.org/fact-checking/2024/how-elon-musk-twitter-takeover-accelerated-misinformation/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.poynter.org/fact-checking/2024/how-elon-musk-twitter-takeover-accelerated-misinformation/</a><a href="https://mastodon.social/tags/twitter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#twitter</a> <a href="https://mastodon.social/tags/x" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#x</a> <a href="https://mastodon.social/tags/disinformation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#disinformation</a> <a href="https://mastodon.social/tags/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#verification</a>

DW InnovationHere's a new <a href="https://mastodon.social/tags/tool" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#tool</a> to help fight <a href="https://mastodon.social/tags/disinfo" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#disinfo</a> and facilitate <a href="https://mastodon.social/tags/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#verification</a>:SPOT is an <a href="https://mastodon.social/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AI</a>-driven natural language interface for geospatial searches in <a href="https://mastodon.social/tags/OpenStreetMap" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OpenStreetMap</a>. 🗺 🔍 Fetch an image you need to check.Identify an info pattern.Provide instructions: "Show me a parking space within 200 meters of a communications tower and a power pole in Legnago, Italy".Receive a really good result on an interactive map. 🙌 Details & a call for beta testers in this post: <a href="https://innovation.dw.com/articles/geolocation-verification-with-ai-our-solution" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://innovation.dw.com/articles/geolocation-verification-with-ai-our-solution</a>

DW InnovationWorking in the domain of <a href="https://mastodon.social/tags/disinformation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#disinformation</a> countering / <a href="https://mastodon.social/tags/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#verification</a>? Here's an interesting <a href="https://mastodon.social/tags/cfp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#cfp</a>:The <a href="https://mastodon.social/tags/Cambridge" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Cambridge</a> Disinformation <a href="https://mastodon.social/tags/Summit" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Summit</a> will convene global thought leaders to discuss research regarding the efficacy of potential interventions to mitigate the harms from disinformation. Papers will be selected for presentation at the Summit by an interdisciplinary committee.<a href="https://www.jbs.cam.ac.uk/events/cambridge-disinformation-summit-2025/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.jbs.cam.ac.uk/events/cambridge-disinformation-summit-2025/</a>The call is open until 25.10.24.The summit will take place in Cambridge (UK) in April 2025.

DW InnovationHi there. We 're back from our break. 👋 And he have an interesting link to share: <a href="https://www.dw.com/en/fact-check-how-do-i-spot-audio-deepfakes/a-69934521" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.dw.com/en/fact-check-how-do-i-spot-audio-deepfakes/a-69934521</a>In this article, Tom Sparrow discusses <a href="https://mastodon.social/tags/audio" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#audio</a> <a href="https://mastodon.social/tags/deepfakes" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#deepfakes</a> – which are not only dangerous, but also easy to make and hard to debunk. No need to panic, though: With sharp senses, the right tools, and the help of experts, there's almost always a way to find out if a soundfile is real or fake. 👂 Btw it's nice to see some of our own <a href="https://mastodon.social/tags/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#verification</a> <a href="https://mastodon.social/tags/tools" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#tools</a> and tutorials featured here as well. 🙌

Strypey"Mastodon offers a mechanism for external websites to claim an account as being affiliated using a green background and check mark icon. In other words, Mastodon makes no claims about who an account belongs to, just that a particular website has vouched for it."<a href="https://mastodon.nzoss.nz/tags/DanPhiffer" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#DanPhiffer</a>, 2022<a href="https://themarkup.org/levelup/2022/12/22/how-we-verified-ourselves-on-mastodon-and-how-you-can-too" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://themarkup.org/levelup/2022/12/22/how-we-verified-ourselves-on-mastodon-and-how-you-can-too</a><a href="https://mastodon.nzoss.nz/tags/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#verification</a>

Stefan BohacekSome recent articles I wrote about the <a href="https://stefanbohacek.online/tags/fediverse" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#fediverse</a>:"A lot of people think that the pentacle was chosen because of its occult or satanic connotations."<a href="https://stefanbohacek.com/blog/the-history-of-the-fediverse-logo/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://stefanbohacek.com/blog/the-history-of-the-fediverse-logo/</a>Analysis of the usage of link verification feature.<a href="https://stefanbohacek.com/blog/verification-in-the-fediverse/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://stefanbohacek.com/blog/verification-in-the-fediverse/</a>A look at custom emoji used across the fediverse.<a href="https://stefanbohacek.com/blog/custom-fediverse-emoji/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://stefanbohacek.com/blog/custom-fediverse-emoji/</a><a href="https://stefanbohacek.online/tags/emoji" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#emoji</a> <a href="https://stefanbohacek.online/tags/verified" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#verified</a> <a href="https://stefanbohacek.online/tags/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#verification</a> <a href="https://stefanbohacek.online/tags/mastodon" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#mastodon</a>

Stefan BohacekI looked at how people use verification in the fediverse.<a href="https://stefanbohacek.com/blog/verification-in-the-fediverse/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://stefanbohacek.com/blog/verification-in-the-fediverse/</a><a href="https://stefanbohacek.online/tags/FediverseExplorations" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FediverseExplorations</a> <a href="https://stefanbohacek.online/tags/fediverse" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#fediverse</a> <a href="https://stefanbohacek.online/tags/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#verification</a> <a href="https://stefanbohacek.online/tags/verified" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#verified</a> <a href="https://stefanbohacek.online/tags/data" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#data</a> <a href="https://stefanbohacek.online/tags/dataviz" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#dataviz</a>

Stefan BohacekFollow-up question. Which approach do you prefer?<a href="https://stefanbohacek.online/tags/fediverse" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#fediverse</a> <a href="https://stefanbohacek.online/tags/mastodon" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#mastodon</a> <a href="https://stefanbohacek.online/tags/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#verification</a> <a href="https://stefanbohacek.online/tags/verified" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#verified</a> <a href="https://stefanbohacek.online/tags/SocialMedia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SocialMedia</a> <a href="https://stefanbohacek.online/tags/poll" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#poll</a>

DW Innovation"The 10 points outlined here might help fact-checkers effectively plan and study for future elections everywhere."(via <a href="https://journa.host/@Poynter" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@Poynter</a>)<a href="https://www.poynter.org/fact-checking/2024/how-to-fact-check-elections-voting/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.poynter.org/fact-checking/2024/how-to-fact-check-elections-voting/</a><a href="https://mastodon.social/tags/factchecking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#factchecking</a> <a href="https://mastodon.social/tags/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#verification</a> <a href="https://mastodon.social/tags/elections" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#elections</a>

DW InnovationGAI and LLMs: The future of verification? 🤖🔍 Some tools could be a game-changer, but we need to tread carefully. <a href="https://mastodon.social/@lxplm" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@lxplm</a> discusses the potential, challenges, and ethical implications: <a href="https://innovation.dw.com/articles/gai-llms-content-verification-proceed-with-caution" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://innovation.dw.com/articles/gai-llms-content-verification-proceed-with-caution</a><a href="https://mastodon.social/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AI</a> <a href="https://mastodon.social/tags/disinformation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#disinformation</a> <a href="https://mastodon.social/tags/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#verification</a> <a href="https://mastodon.social/tags/factchecking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#factchecking</a> <a href="https://mastodon.social/tags/tools" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#tools</a>

Recent searches

Search options

Administered by:

Server stats:

#verification