I feel like I’m always poking journalists and other public figures to get verified on Mastodon… part of this is a lack of knowledge around the topic and the fact that joinmastodon.org kind of buries the details of “how” in the docs.
This is a really nice touch recently added to Mastodon: when you search for profiles, it now shows you if they've completed link verification for a domain.
In English and German, there will be updates on the cat and mouse game of faking and debunking news content + discussions with other journalists, media creators, and OSINT people + demos of useful tools. You can also have a 💬 + a ☕ with our colleague Anna Schild.
The ultimate yak shave: to implement its last generation of #LispMachines, Symbolics developed a complete #EDA toolset in #CommonLisp called NS that enabled them to design and verify their ASICs, gate arrays, and boards from architecture to photomasks for manufacturing.
Mastodon allows you to verify yourself as the owner of your website. If your website is well-known, then this will in effect verify your identity as well.
Here's how to verify you are the owner of a website:
The assault by Palestinian militant group #Hamas on #Israel and Israel's counter attacks have led to a great extent of human suffering – and to a flood of #disinformation on social media.
DW's #factchecking team has produced a video that documents several viral fakes and explains how to debunk them.
Here's an #AI tool that arrives just in time: The PRISA media group has created an audio #verification and #deepfake detection service for voices in Spanish.
Their goal: Support #journalists (e.g. when covering election campaigns) and foster trust in the face of #disinformation.
Remarkable: The creators also address the problem of powerful people claiming their voices have been cloned after saying something embarrassing.
In the concluding part of this webinar series, we are now ready to apply advanced verification to a complex DUT. From a verification point of view, one of the most error-prone characteristics of complex DUTs is the number of simultaneous activities on multiple interfaces. Unfortunately, there is very little awareness about the...
Burden of #proof is always tricky when a complex, poorly understood and documented piece of software need to be validated. This might encourage higher standards of #documentation and #verification to be maintained, as well as the necessary logs that enable assertions to be checked.
"Higgins (...) thinks of himself and his @Bellingcat colleagues as 'an open community of amateurs on a collaborative hunt for evidence... an online collective, investigating war crimes and picking apart disinformation, basing our findings on clues that are openly available on the internet.' As such, he can get going on his day’s work while eating breakfast and getting the kids to eat theirs."
This whitepaper https://www.aldec.com/en/company/blog/190--development-of-real-time-sdr-systems-with-aldec-hes describes a method by which the designer can leverage the rapid signal prototyping capability in GNU Radio and use it in co-simulation with Aldec Riviera-PRO....
📸 Where exactly is this? with coordinates, please.
📮 just to me with an answer. Explain how you did it
🤝 reply to all for collaboration
🌈have fun
(We are mildly dissatisfied with how things are going on Twitter, to say the least, but, like other parts of the OSINT community, haven’t found an adequate alternative home yet)
(1/2) By now you've probably heard about #Sora and the latest wave of #AI-driven text-to-#video tools. It's all quite spectacular, but far from perfect. If you take a closer look, it's still possible to detect synthetic content. Essential pro tips: Play everything in slow motion. Consider real world physics – and logic.
#Loki is our open-source solution designed to automate the process of verifying #factuality. It provides a comprehensive pipeline for dissecting long texts into individual claims, assessing their worthiness for #verification, generating queries for evidence search, crawling for evidence, and ultimately verifying the claims
> interesting, does anyone have any experience with this tool? #ai
Enhancing the Simulation Testbench for VHDL-based FPGA DesignsPart 3: Advanced Testbench for a Complex DUT (www.aldec.com)
In the concluding part of this webinar series, we are now ready to apply advanced verification to a complex DUT. From a verification point of view, one of the most error-prone characteristics of complex DUTs is the number of simultaneous activities on multiple interfaces. Unfortunately, there is very little awareness about the...
Blending GNU Radio and Aldec Riviera-PRO for verification of Software Defined Radio
This whitepaper https://www.aldec.com/en/company/blog/190--development-of-real-time-sdr-systems-with-aldec-hes describes a method by which the designer can leverage the rapid signal prototyping capability in GNU Radio and use it in co-simulation with Aldec Riviera-PRO....