bolha.us

4 posts4 participants0 posts today

The Nexus of PrivacyThe 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:<ul><li><a href="https://bsky.app/profile/rudyfraser.com/post/3lndtfklhbk25" rel="nofollow noopener noreferrer" target="_blank">community-oriented verification</a>, along the lines that <a href="https://bsky.brid.gy/r/https://bsky.app/profile/rudyfraser.com" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@rudyfraser.com</a> suggests, would be much more power-distributive and equitable</li><li>as <a href="https://bsky.brid.gy/r/https://bsky.app/profile/ngerakines.me" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@ngerakines.me</a> 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></li><li>as <a href="https://fedified.com/@DataDrivenMD" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@DataDrivenMD</a> 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></li><li>just like on Twitter, he people initially verified are overwhelmingly cis, white, and male; </li><li>the three initial external verifiers include the anti-trans NYTimes and one of their subsidiaries</li><li>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".</li></ul>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." Is that really the important thing here? <a href="https://infosec.exchange/tags/bluesky" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#bluesky</a> <a href="https://infosec.exchange/tags/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#verification</a> <a href="https://infosec.exchange/tags/fediverse" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#fediverse</a>

Marcus "MajorLinux" SummersOr you can just verify yourself with a domain.Bluesky is getting blue checkmarks and an official verification system <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">https://www.engadget.com/social-media/bluesky-is-getting-blue-checkmarks-and-an-official-verification-system-173204662.html?src=rss</a><a href="https://toot.majorshouse.com/tags/Bluesky" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Bluesky</a> <a href="https://toot.majorshouse.com/tags/Verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Verification</a> <a href="https://toot.majorshouse.com/tags/SocialMedia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SocialMedia</a> <a href="https://toot.majorshouse.com/tags/Tech" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Tech</a>

FinchHaven sfba<a href="https://mastodon.social/@danie10" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@danie10</a> "Only approved organisations can verify, and I'd expect that to be for their official accounts or employees, not everyone.""..not everyone"Which has been a major part of the discussion on <a href="https://sfba.social/tags/Github" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Github</a>Personally I could not care less about BlueskyIt's just always interesting to see the opening salvos (and yours has not been the only one I've seen) of the next Big PR Blitz(tm)<a href="https://sfba.social/tags/Mastodon" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Mastodon</a> <a href="https://sfba.social/tags/Fediverse" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Fediverse</a> <a href="https://sfba.social/tags/Bluesky" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Bluesky</a> <a href="https://sfba.social/tags/Verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Verification</a>

Hacker NewsA New Form of Verification on Bluesky<a href="https://bsky.social/about/blog/04-21-2025-verification" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://bsky.social/about/blog/04-21-2025-verification</a><a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#HackerNews</a> <a href="https://mastodon.social/tags/Bluesky" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Bluesky</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/SocialMedia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SocialMedia</a> <a href="https://mastodon.social/tags/Innovation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Innovation</a> <a href="https://mastodon.social/tags/TechNews" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#TechNews</a> #2025

Hacker NewsThe Importance of Fact-Checking<a href="https://lithub.com/on-the-episode-that-changed-ira-glasss-this-american-life-forever/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://lithub.com/on-the-episode-that-changed-ira-glasss-this-american-life-forever/</a><a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#HackerNews</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/Importance" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Importance</a> <a href="https://mastodon.social/tags/Media" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Media</a> <a href="https://mastodon.social/tags/Literacy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Literacy</a> <a href="https://mastodon.social/tags/Truth" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Truth</a> <a href="https://mastodon.social/tags/Verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Verification</a>

JP de VooghtGreat CACM article about UK's Horizon Post Office scandal <a href="https://mastodon.social/tags/Software" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Software</a> <a href="https://mastodon.social/tags/QA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#QA</a> <a href="https://mastodon.social/tags/Validation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Validation</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/Society" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Society</a> <a href="https://cacm.acm.org/news/how-software-bugs-led-to-one-of-the-greatest-miscarriages-of-justice-in-british-history/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://cacm.acm.org/news/how-software-bugs-led-to-one-of-the-greatest-miscarriages-of-justice-in-british-history/</a>

Hacker NewsClean, a formal verification DSL for ZK circuits in Lean4<a href="https://blog.zksecurity.xyz/posts/clean/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://blog.zksecurity.xyz/posts/clean/</a><a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#HackerNews</a> <a href="https://mastodon.social/tags/Clean" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Clean</a> <a href="https://mastodon.social/tags/ZK" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ZK</a> <a href="https://mastodon.social/tags/circuits" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#circuits</a> <a href="https://mastodon.social/tags/Lean4" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Lean4</a> <a href="https://mastodon.social/tags/formal" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#formal</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/DSL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#DSL</a>

cyb_detectiveList of fact-checking websitesDozens of services for checking news information (both political and non-political) for different countries and regions.<a href="https://en.wikipedia.org/wiki/List_of_fact-checking_websites" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://en.wikipedia.org/wiki/List_of_fact-checking_websites</a><a href="https://infosec.exchange/tags/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#verification</a> <a href="https://infosec.exchange/tags/factchecking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#factchecking</a>

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>

Moved to https://mk.absturztau.be/@LinuxNow, 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). <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>

PrivacyDigest<a href="https://mas.to/tags/Google" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Google</a> plans to stop using insecure <a href="https://mas.to/tags/SMS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SMS</a> <a href="https://mas.to/tags/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#verification</a> in <a href="https://mas.to/tags/Gmail" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Gmail</a> SMS messages are delivered by mobile carriers without <a href="https://mas.to/tags/encryption" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#encryption</a>, 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 <a href="https://mas.to/tags/security" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#security</a>. <a href="https://mas.to/tags/2fa" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#2fa</a> <a href="https://mas.to/tags/privacy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#privacy</a><a href="https://arstechnica.com/gadgets/2025/02/google-plans-to-stop-using-insecure-sms-verification-in-gmail/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://arstechnica.com/gadgets/2025/02/google-plans-to-stop-using-insecure-sms-verification-in-gmail/</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>

Sebastiaan Ammerlaan 🇳🇱Doing some work on my <a href="https://mastodon.nl/tags/website" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#website</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">#mastodon</a> <a href="https://mastodon.nl/tags/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#verification</a> link and some nice pictures from projects from the last few years. <a href="https://mastodon.nl/tags/singer" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#singer</a> <a href="https://mastodon.nl/tags/singing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#singing</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>

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>

Danie van der MerweWhy and How News Media and Brands should Self-Verify on the Bluesky Social NetworkIt is actually a free and pretty quick process. Sadly, many brand entities or celebrities do not know how to do it, and often do not even know that it can be done very easily (maybe because they are used to having to apply and pay for such a servic ...continuesSee <a href="https://gadgeteer.co.za/why-news-media-and-brands-should-self-verify-on-bluesky-social-network/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://gadgeteer.co.za/why-news-media-and-brands-should-self-verify-on-bluesky-social-network/</a><a href="https://mastodon.social/tags/bluesky" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#bluesky</a> <a href="https://mastodon.social/tags/technology" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#technology</a> <a href="https://mastodon.social/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>

José A. AlonsoReadings shared October 25, 2024. <a href="https://jaalonso.github.io/vestigium/posts/2024/10/25-readings_shared_10-25-24" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://jaalonso.github.io/vestigium/posts/2024/10/25-readings_shared_10-25-24</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LeanProver</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a> <a href="https://mathstodon.xyz/tags/ASP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ASP</a> <a href="https://mathstodon.xyz/tags/CLP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CLP</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LLMs</a> <a href="https://mathstodon.xyz/tags/GenerativeAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#GenerativeAI</a> <a href="https://mathstodon.xyz/tags/Rust" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Rust</a> <a href="https://mathstodon.xyz/tags/Verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Verification</a>

José A. AlonsoVerifying the Rust Standard Library. ~ Rahul Kumar et als. <a href="https://www.soundandcomplete.org/vstte2024/vstte2024-invited.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.soundandcomplete.org/vstte2024/vstte2024-invited.pdf</a> <a href="https://mathstodon.xyz/tags/Rust" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Rust</a> <a href="https://mathstodon.xyz/tags/Verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Verification</a>

Recent searches

Search options

Administered by:

Server stats:

#verification