Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
shakedown.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A community for live music fans with roots in the jam scene. Shakedown Social is run by a team of volunteers (led by @clifff and @sethadam1) and funded by donations.

Administered by:

Server stats:

252
active users

shakedown.social: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

#toxiv_bot_toot

0 posts0 participants0 posts today
Trending<p>It's Monday! These hashtags have recently been trending each Monday.</p><p><a href="https://mastodon.bot/tags/PhotoMonday" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PhotoMonday</span></a><br><a href="https://mastodon.bot/tags/Monsterdon" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Monsterdon</span></a><br><a href="https://mastodon.bot/tags/MonochromeMonday" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MonochromeMonday</span></a><br><a href="https://mastodon.bot/tags/Fotomontag" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Fotomontag</span></a><br><a href="https://mastodon.bot/tags/MondayMotivation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MondayMotivation</span></a><br><a href="https://mastodon.bot/tags/toxiv_bot_toot" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>toxiv_bot_toot</span></a></p>
arXiv cs.LO bot<p>Domains and Classifying Topoi</p><p>Jonathan Sterling, Lingyuan Ye<br><a href="https://arxiv.org/abs/2505.13096" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">arxiv.org/abs/2505.13096</span><span class="invisible"></span></a> <a href="https://arxiv.org/pdf/2505.13096" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">arxiv.org/pdf/2505.13096</span><span class="invisible"></span></a> <a href="https://arxiv.org/html/2505.13096" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">arxiv.org/html/2505.13096</span><span class="invisible"></span></a></p><p>arXiv:2505.13096v1 Announce Type: new <br>Abstract: We explore a new connection between synthetic domain theory and Grothendieck topoi related to the distributive lattice classifier. In particular, all the axioms of synthetic domain theory (including the inductive fixed point object and the chain completeness of the dominance) emanate from a countable version of the synthetic quasi-coherence principle that has emerged as a central feature in the unification of synthetic algebraic geometry, synthetic Stone duality, and synthetic category theory. The duality between quasi-coherent algebras and affine spaces in a topos with a distributive lattice object provides a new set of techniques for reasoning synthetically about domain-like structures, and reveals a broad class of (higher) sheaf models for synthetic domain theory.</p><p><a href="https://mastoxiv.page/tags/toXiv_bot_toot" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>toXiv_bot_toot</span></a></p>
Trending<p><a href="https://mastodon.bot/tags/MondayMotivation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MondayMotivation</span></a> is now trending across Mastodon</p><p><a href="https://mastodon.bot/tags/Mastobada" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mastobada</span></a> is now trending across Mastodon</p><p><a href="https://mastodon.bot/tags/toxiv_bot_toot" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>toxiv_bot_toot</span></a> is now trending across Mastodon</p>
Trendy Toots<p>Today's top ten tag trends:</p><p>10: <a href="https://mastodon.social/tags/K%C3%B6nigreichDeutschland" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>KönigreichDeutschland</span></a><br>9: <a href="https://mastodon.social/tags/reichsburger" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>reichsburger</span></a><br>8: <a href="https://mastodon.social/tags/motherearth" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>motherearth</span></a><br>7: <a href="https://mastodon.social/tags/TuneTuesday" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TuneTuesday</span></a><br>6: <a href="https://mastodon.social/tags/limerickanything" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>limerickanything</span></a><br>5: <a href="https://mastodon.social/tags/eurovision2025" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>eurovision2025</span></a><br>4: <a href="https://mastodon.social/tags/ESC2025" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ESC2025</span></a><br>3: <a href="https://mastodon.social/tags/esc" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>esc</span></a><br>2: <a href="https://mastodon.social/tags/eurovision" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>eurovision</span></a><br>1: <a href="https://mastodon.social/tags/toxiv_bot_toot" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>toxiv_bot_toot</span></a></p><p><a href="https://mastodon.social/tags/trendytoots" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>trendytoots</span></a> 📈</p>
arXiv cs.PL bot<p>Rod Bustall: In Memoriam</p><p>J Strother Moore, Gordon Plotkin, David Rydeheard, Don Sannella<br><a href="https://arxiv.org/abs/2505.06456" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">arxiv.org/abs/2505.06456</span><span class="invisible"></span></a> <a href="https://arxiv.org/pdf/2505.06456" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">arxiv.org/pdf/2505.06456</span><span class="invisible"></span></a> <a href="https://arxiv.org/html/2505.06456" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">arxiv.org/html/2505.06456</span><span class="invisible"></span></a></p><p>arXiv:2505.06456v1 Announce Type: new <br>Abstract: This is an obituary of Rod Burstall, written in his honour. Rod was a prominent computer scientist whose contributions span over forty years. Most of his career was spent at Edinburgh University. He lead the team programming Freddy, the first hand-eye assembly robot, with much of his effort being devoted to the development of the POP-2 programming language. He became interested in a mathematical approach to software development: he recognised the central role of structural induction; his work on reasoning about mutable data structures was an influential precursor of separation logic; he was the first to point out the connection between program proof and modal logic; and he was responsible for the idea that stores are mappings from locations to their contents.<br> As part of his quest for correctness of programs, Rod, with John Darlington, undertook the first major work on program transformation. His interest in novel programming languages continued with the experimental language HOPE, developed with Don Sannella and David MacQueen. Robin Milner's Standard ML and its relatives integrated ideas from Hope, and Rod was an active member of the Standard ML design team. Rod pioneered the use of algebraic and categorical techniques in programming. He and Joseph Goguen proposed the first algebraic specification language. Rod was an early user of categorical ideas, in particular developing computational category theory with David Rydeheard.<br> The interplay between programming and correctness proofs is again evident in Rod's contributions to automated proof support systems. For example, he led Randy Pollack, Zhaohui Luo, and others in the Lego proof assistant, which implemented type systems supporting interactive proof development. Finally, Rod, with James McKinna, investigated notions of programs packaged with proofs of their correctness, anticipating the topic of proof-carrying code.</p><p><a href="https://mastoxiv.page/tags/toXiv_bot_toot" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>toXiv_bot_toot</span></a></p>
arXiv cs.CR bot<p>Measuring the Accuracy and Effectiveness of PII Removal Services</p><p>Jiahui He, Pete Snyder, Hamed Haddadi, Fabi\'an E. Bustamante, Gareth Tyson<br><a href="https://arxiv.org/abs/2505.06989" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">arxiv.org/abs/2505.06989</span><span class="invisible"></span></a> <a href="https://arxiv.org/pdf/2505.06989" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">arxiv.org/pdf/2505.06989</span><span class="invisible"></span></a> <a href="https://arxiv.org/html/2505.06989" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">arxiv.org/html/2505.06989</span><span class="invisible"></span></a></p><p>arXiv:2505.06989v1 Announce Type: new <br>Abstract: This paper presents the first large-scale empirical study of commercial personally identifiable information (PII) removal systems -- commercial services that claim to improve privacy by automating the removal of PII from data broker's databases. Popular examples of such services include DeleteMe, Mozilla Monitor, Incogni, among many others. The claims these services make may be very appealing to privacy-conscious Web users, but how effective these services actually are at improving privacy has not been investigated. This work aims to improve our understanding of commercial PII removal services in multiple ways. First, we conduct a user study where participants purchase subscriptions from four popular PII removal services, and report (i) what PII the service find, (ii) from which data brokers, (iii) whether the service is able to have the information removed, and (iv) whether the identified information actually is PII describing the participant. And second, by comparing the claims and promises the services makes (e.g. which and how many data brokers each service claims to cover). We find that these services have significant accuracy and coverage issues that limit the usefulness of these services as a privacy-enhancing technology. For example, we find that the measured services are unable to remove the majority of the identified PII records from data broker's (48.2% of the successfully removed found records) and that most records identified by these services are not PII about the user (study participants found that only 41.1% of records identified by these services were PII about themselves).</p><p><a href="https://mastoxiv.page/tags/toXiv_bot_toot" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>toXiv_bot_toot</span></a></p>
Trendy Toots<p>Today's top ten tag trends:</p><p>10: <a href="https://mastodon.social/tags/PhotoMonday" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PhotoMonday</span></a><br>9: <a href="https://mastodon.social/tags/Fotomontag" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Fotomontag</span></a><br>8: <a href="https://mastodon.social/tags/millionsmissing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>millionsmissing</span></a><br>7: <a href="https://mastodon.social/tags/webcomicday" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>webcomicday</span></a><br>6: <a href="https://mastodon.social/tags/altmotherasongorpoem" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>altmotherasongorpoem</span></a><br>5: <a href="https://mastodon.social/tags/pkk" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>pkk</span></a><br>4: <a href="https://mastodon.social/tags/starmer" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>starmer</span></a><br>3: <a href="https://mastodon.social/tags/FotoVorschlag" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FotoVorschlag</span></a><br>2: <a href="https://mastodon.social/tags/toxiv_bot_toot" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>toxiv_bot_toot</span></a><br>1: <a href="https://mastodon.social/tags/monsterdon" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>monsterdon</span></a></p><p><a href="https://mastodon.social/tags/trendytoots" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>trendytoots</span></a> 📈</p>
Trending<p><a href="https://mastodon.bot/tags/MonochromeMonday" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MonochromeMonday</span></a> is now trending across Mastodon</p><p><a href="https://mastodon.bot/tags/Mastobada" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mastobada</span></a> is now trending across Mastodon</p><p><a href="https://mastodon.bot/tags/toxiv_bot_toot" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>toxiv_bot_toot</span></a> is now trending across Mastodon</p>
Trendy Toots<p>Today's top ten tag trends:</p><p>10: <a href="https://mastodon.social/tags/Fotomontag" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Fotomontag</span></a><br>9: <a href="https://mastodon.social/tags/cincodemayo" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>cincodemayo</span></a><br>8: <a href="https://mastodon.social/tags/alcatraz" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>alcatraz</span></a><br>7: <a href="https://mastodon.social/tags/skype" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>skype</span></a><br>6: <a href="https://mastodon.social/tags/zapfenstreich" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>zapfenstreich</span></a><br>5: <a href="https://mastodon.social/tags/mastobada" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mastobada</span></a><br>4: <a href="https://mastodon.social/tags/misquoteoreggcornstarwars" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>misquoteoreggcornstarwars</span></a><br>3: <a href="https://mastodon.social/tags/MetGala" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MetGala</span></a><br>2: <a href="https://mastodon.social/tags/toxiv_bot_toot" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>toxiv_bot_toot</span></a><br>1: <a href="https://mastodon.social/tags/monsterdon" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>monsterdon</span></a></p><p><a href="https://mastodon.social/tags/trendytoots" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>trendytoots</span></a> 📈</p>
Trending<p><a href="https://mastodon.bot/tags/MonochromeMonday" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MonochromeMonday</span></a> is now trending across Mastodon</p><p><a href="https://mastodon.bot/tags/Alcatraz" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Alcatraz</span></a> is now trending across Mastodon</p><p><a href="https://mastodon.bot/tags/toxiv_bot_toot" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>toxiv_bot_toot</span></a> is now trending across Mastodon</p>
Trendy Toots<p>Today's top ten tag trends:</p><p>10: <a href="https://mastodon.social/tags/the5ws" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>the5ws</span></a><br>9: <a href="https://mastodon.social/tags/anzacday" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>anzacday</span></a><br>8: <a href="https://mastodon.social/tags/ThursdayFiveList" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ThursdayFiveList</span></a><br>7: <a href="https://mastodon.social/tags/ThrowbackThursday" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ThrowbackThursday</span></a><br>6: <a href="https://mastodon.social/tags/musiquinta" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>musiquinta</span></a><br>5: <a href="https://mastodon.social/tags/ahoy25" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ahoy25</span></a><br>4: <a href="https://mastodon.social/tags/kyiv" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>kyiv</span></a><br>3: <a href="https://mastodon.social/tags/thingsmoviecharactersinvent" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>thingsmoviecharactersinvent</span></a><br>2: <a href="https://mastodon.social/tags/makershour" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>makershour</span></a><br>1: <a href="https://mastodon.social/tags/toxiv_bot_toot" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>toxiv_bot_toot</span></a></p><p><a href="https://mastodon.social/tags/trendytoots" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>trendytoots</span></a> 📈</p>
Trending<p><a href="https://mastodon.bot/tags/The5Ws" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>The5Ws</span></a> is now trending across Mastodon</p><p><a href="https://mastodon.bot/tags/toxiv_bot_toot" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>toxiv_bot_toot</span></a> is now trending across Mastodon</p>
ExploreLive feeds
About