kolektiva.social

4 posts4 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>

KINEWS24Multi-Agenten-Verifikation: KI prüft sich selbstAgenten testen gegenseitig Fehlererkennung in Echtzeit Verbesserte Systemstabilität<a href="https://mastodon.social/tags/ai" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ai</a> <a href="https://mastodon.social/tags/ki" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ki</a> <a href="https://mastodon.social/tags/artificialintelligence" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#artificialintelligence</a> <a href="https://mastodon.social/tags/kuenstlicheintelligenz" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#kuenstlicheintelligenz</a> <a href="https://mastodon.social/tags/multiagentensysteme" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#multiagentensysteme</a> <a href="https://mastodon.social/tags/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#verification</a> <a href="https://kinews24.de/multi-agent-verifikation/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://kinews24.de/multi-agent-verifikation/</a>

Hacker NewsLong division verified via Hoare logic — <a href="https://www.cofault.com/2025/02/long-story-of-division.html" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.cofault.com/2025/02/long-story-of-division.html</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/LongDivision" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LongDivision</a> <a href="https://mastodon.social/tags/HoareLogic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#HoareLogic</a> <a href="https://mastodon.social/tags/ComputerScience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ComputerScience</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/Algorithms" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Algorithms</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>

Shakthi Kannan18th Interaction and Concurrency Experience 2025 workshop at 20th International Federated Conference on Distributed Computing Techniques June 16-20, 2025 Lille, France <a href="https://www.discotec.org/2025/satellite/ice" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.discotec.org/2025/satellite/ice</a> <a href="https://mastodon.social/tags/Concurrency" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Concurrency</a> <a href="https://mastodon.social/tags/Model" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Model</a> <a href="https://mastodon.social/tags/Verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Verification</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>

German VidalHello World! I'm a Prof. of <a href="https://sigmoid.social/tags/ComputerScience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ComputerScience</a> at VRAIN/UPV (València, Spain), mainly working on (explainable, symbolic) artificial <a href="https://sigmoid.social/tags/intelligence" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#intelligence</a> <a href="https://sigmoid.social/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AI</a> <a href="https://sigmoid.social/tags/XAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#XAI</a>, (<a href="https://sigmoid.social/tags/probabilistic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#probabilistic</a>) <a href="https://sigmoid.social/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logic</a> <a href="https://sigmoid.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programming</a>, term <a href="https://sigmoid.social/tags/rewriting" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#rewriting</a>, <a href="https://sigmoid.social/tags/causality" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#causality</a>, <a href="https://sigmoid.social/tags/concurrency" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#concurrency</a>, programming <a href="https://sigmoid.social/tags/languages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#languages</a>, <a href="https://sigmoid.social/tags/reversible" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#reversible</a> computing, program <a href="https://sigmoid.social/tags/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#verification</a>, and <a href="https://sigmoid.social/tags/debugging" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#debugging</a>.  I plan to use this account mostly for scientific matters, but not only. I'm also quite interested in <a href="https://sigmoid.social/tags/photography" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#photography</a>, <a href="https://sigmoid.social/tags/sciencefiction" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#sciencefiction</a>, <a href="https://sigmoid.social/tags/travel" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#travel</a>, <a href="https://sigmoid.social/tags/movies" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#movies</a>, <a href="https://sigmoid.social/tags/series" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#series</a>, etc, etc.

HACKthePRISONScan i just say that putting a :verified: or :bluecheck: or whatever emoji next to your name has exactly one use case: when you are mocking how easy it is to do.i can't believe the number of week-old accounts who insist on verifying as though 1) anybody cares or 2) it actually matters.if you need to verify, post a fucking email address or phone number or pgp signature or literally any other actual verification metric. --------- Hashtags --------- <a href="https://kolektiva.social/tags/verified" class="mention hashtag" rel="tag">#verified</a> <a href="https://kolektiva.social/tags/bluecheck" class="mention hashtag" rel="tag">#bluecheck</a> <a href="https://kolektiva.social/tags/emoji" class="mention hashtag" rel="tag">#emoji</a> <a href="https://kolektiva.social/tags/mocking" class="mention hashtag" rel="tag">#mocking</a> <a href="https://kolektiva.social/tags/verifying" class="mention hashtag" rel="tag">#verifying</a> <a href="https://kolektiva.social/tags/verify" class="mention hashtag" rel="tag">#verify</a> <a href="https://kolektiva.social/tags/email" class="mention hashtag" rel="tag">#email</a> <a href="https://kolektiva.social/tags/emailAddress" class="mention hashtag" rel="tag">#emailAddress</a> <a href="https://kolektiva.social/tags/phone" class="mention hashtag" rel="tag">#phone</a> <a href="https://kolektiva.social/tags/phoneNumber" class="mention hashtag" rel="tag">#phoneNumber</a> <a href="https://kolektiva.social/tags/pgp" class="mention hashtag" rel="tag">#pgp</a> <a href="https://kolektiva.social/tags/pgpSignature" class="mention hashtag" rel="tag">#pgpSignature</a> <a href="https://kolektiva.social/tags/pgpKey" class="mention hashtag" rel="tag">#pgpKey</a> <a href="https://kolektiva.social/tags/verification" class="mention hashtag" rel="tag">#verification</a>

Recent searches

Search options

Administered by:

Server stats:

#verification