List of fact-checking websites
Dozens of services for checking news information (both political and non-political) for different countries and regions.
https://en.wikipedia.org/wiki/List_of_fact-checking_websites
Recent searches
Search options
#verification
0 posts0 participants0 posts today
A *gentle* reminder that, I have a funded #PhD position for UK students, available with myself and @bentnib
This project will be looking at developing new methods for asserting the resilience of existing communicating systems by developing new static analysis methods derived from advanced programming language research.
Deadline for getting in contact is: Thursday 20th March 2025
You will belong to @StrathCyber and @mspstrath, as well as gaining access to @spli
www.strath.ac.ukTowards Type-Driven Assurance of Communicating Systems | University of Strathclyde
Call for Papers
16th International Conference on Interactive Theorem Proving — ITP'25
Reykjavik, Iceland
27 September – 3 October 2025
https://icetcs.github.io/frocos-itp-tableaux25/itp/
ITP is concerned with all aspects of interactive theorem proving, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and the formalization of mathematics.
- Abstract submission deadline: 12 March 2025
- Paper submission deadline: 19 March 2025
- Author notification: 23 May 2025
- Camera-ready copy due: 27 June 2025
icetcs.github.ioITP '25
Multi-Agenten-Verifikation: KI prüft sich selbst
Agenten testen gegenseitig
Fehlererkennung in Echtzeit
Verbesserte Systemstabilität
#ai #ki #artificialintelligence #kuenstlicheintelligenz #multiagentensysteme #verification
GIF
#Google plans to stop using insecure #SMS #verification in #Gmail
SMS messages are delivered by mobile carriers without #encryption, and they often go through intermediaries that can be compromised without your knowledge. Even if the line is secure, phone numbers have very little in the way of #security.
#2fa #privacy
Ars Technica · Google plans to stop using insecure SMS verification in Gmail
Essential 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.
Tech Policy Press · Some Facts About Fact-Checking: Defending the Imperfect Search for Truth in an Era of Institutionalized Lying | TechPolicy.PressFact-checking ensures a distinction between facts and falsehoods and that everything is not up for grabs because powerful people say so, writes Paul Barrett.
Doing some work on my #website—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 #mastodon #verification link and some nice pictures from projects from the last few years.
Replied in thread
@manisha
It's not Schadenfreude for me to like this happening, I just generally want to see corporate networks like BlueSky fail so the Fediverse can replace them. :V
I do find it insane that we had the #verification issue solved YEARS ago, before #BlueSky was even a thought, and before Elon decided to buy #Twitter, yet neither of them can get their shit together on the impersonation problem. We're just that much better than them, not because we're perfect, they just suck that much.
Is U Doin' Bui'ness?
According to #Google
Set up #BIMI
You can use the #BrandIndicatorsForMessageIdentification (BIMI) #standard to add your #organization’s logo to #outgoing email messages sent from your organization. Email clients that support BIMI display the #logo along with your organization’s #messages in the recipient's #mailbox. #Logos used with BIMI are #verified by a #thirdparty so #recipients can be sure logos in their inbox are #legitimate.
BIMI requires third-party certification for your domain and logo. The third-party #certification must be a #VerifiedMarkCertificate (#VMC) or a #CommonMarkCertificate (#CMC)."
https://support.google.com/a/answer/10911320
Okay. So, who is the "Verified Third Party"?
@jloc0@sdf.org @zombiewarrior @OutOnTheMoors
support.google.comSet up BIMI - Google Workspace Admin HelpYou can use the Brand Indicators for Message Identification (BIMI) standard to add your organization’s logo to outgoing email messages sent from your organization. Email clients that support BIMI disp
Interesting story from @tedium about an extortion scheme targeting prominent personalities on Bluesky who don't own their own domain.
"Cybersquatting is not a new issue, of course, but Bluesky’s decision to tie verification to domains as social proof shows the limitations of the strategy."
https://tedium.co/2024/12/17/bluesky-impersonation-risks/
I wonder how this would play out in the fediverse.
Tedium: The Dull Side of the Internet.So, Bluesky Has An Extortion ProblemAn apparent extortion scheme lit up Bluesky the other night. It raises some important questions about whether Bluesky is up to the task of moderation.
#Tinder update: Welp, thought I’d try #verification one more time before my subscription canceled. Believe it or not, it actually worked this time, though after 10 minutes of trying with the #accessibility setting on (and that’s with some usable vision). Anyway, after they detected supposed “suspicious ctivity”, let’s hope that never happens again, but I have my doubts. Bottom line, it’s technically #accessible, but not practically so. #CripTime, anyone…? #a11y
Bluesky has a hands-off approach to verification. Instead of proactively verifying notable accounts itself, the company encourages users to use a custom domain name as their handle in order to “self-verify.”
#bluesky #self #verification #domainname
https://www.engadget.com/social-media/bluesky-has-a-verification-problem-190047733.html
Engadget · Bluesky has a verification problem
TIL: Ihr braucht eine Packstation für euren Hackspace, wollt aber nicht durch die nervige Verifizierung durch?
Legt euer Konto einfach als Firmenkonto an.
Ihr müsst nur folgende Daten preisgeben:
Vorname, Nachname
Email, Passwort
Irgendeine Adresse
Fertig. Schön könnt ihr an Packstationen versenden.
Seid auch das nächste mal dabei, bei Post-Tipps mit @Yonggan. #verification #dhl #packstation
Finally making some progress with #IVy. Still unsure how to structure programs broadly, but getting the hang of writing and proving pre/post-conditions and invariants.
#relme #verification
I wonder why large news organisations do not use rel="me" -
most use at least schema.org
publisher: {
"@type": "Organization",
logo: "https://cdn.prod.www.spiegel.de/public/spon/images/logos/der-spiegel-h60.png",
name: "DER SPIEGEL",
sameAs: [
"https://www.facebook.com/derspiegel",
"POTENTIAL_FEDI_URL"
]
}
Would you consider if above
"mainEntityOfPage" is the same like the canonical URL
and
any fedi profile links to this URL
that this is something like a
"verified publisher" relation ?
Sorry, 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."
https://www.wired.com/story/plaintext-bluesky-says-it-wont-screw-things-up/
WIRED · Bluesky Says It Won’t Screw Things Up
Continued thread
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:
hax - A #Rust #verification tool
https://github.com/hacspec/hax
hax is a tool for high assurance translations that translates a large subset of Rust into formal languages such as F* or #Coq.
1/2
GitHubGitHub - hacspec/hax: A Rust verification toolA Rust verification tool. Contribute to hacspec/hax development by creating an account on GitHub.
#Webinar 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:
https://tech.ebu.ch/events/2024/veraai-audio-tools-to-counter-disinformation
tech.ebu.ch · veraAI audio tools to counter disinformationA webinar series on innovative AI-based fact-checking tools from the veraAI project
WikiProject AI Cleanup is all about fighting low-quality GenAI content and misinfo on Wikipedia.
@404mediaco has published a portrait of the group of editors trying to protect the free content online encyclopedia:
https://www.404media.co/the-editors-protecting-wikipedia-from-ai-hoaxes
404 Media · The Editors Protecting Wikipedia from AI HoaxesWikiProject AI Cleanup is protecting Wikipedia from the same kind of misleading AI-generated information that has plagued the rest of the internet.