Recent searches

No recent searches

Search options

Only available when logged in.
mastodon.world is one of the many independent Mastodon servers you can use to participate in the fediverse.
Generic Mastodon server for anyone to use.

Administered by:

Server stats:

8.1K
active users

mastodon.world: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.4.0

#logic

33 posts31 participants4 posts today
OccuWorld<p>Logic - Spectator</p><p><a href="https://www.youtube.com/watch?v=mNlL3dyLAyk" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">youtube.com/watch?v=mNlL3dyLAy</span><span class="invisible">k</span></a></p><p>I'm a citizen of truth, love and loyalty<br>Every person on the planet is royalty</p><p><a href="https://syzito.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://syzito.xyz/tags/Spectator" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Spectator</span></a> <a href="https://syzito.xyz/tags/HipHop" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>HipHop</span></a> <a href="https://syzito.xyz/tags/Music" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Music</span></a> <a href="https://syzito.xyz/tags/PeoplesArmy" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PeoplesArmy</span></a> <a href="https://syzito.xyz/tags/Power" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Power</span></a> <a href="https://syzito.xyz/tags/Oppression" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Oppression</span></a> <a href="https://syzito.xyz/tags/Suffering" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Suffering</span></a> <a href="https://syzito.xyz/tags/Spin" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Spin</span></a> <a href="https://syzito.xyz/tags/Colonialism" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Colonialism</span></a> <a href="https://syzito.xyz/tags/Extractivisim" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Extractivisim</span></a> <a href="https://syzito.xyz/tags/Suffering" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Suffering</span></a> <a href="https://syzito.xyz/tags/Watching" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Watching</span></a></p>
NFL News<p>Will Detroit Lions call Cowboys? <a href="https://www.rawchili.com/nfl/254194/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">rawchili.com/nfl/254194/</span><span class="invisible"></span></a> <a href="https://channels.im/tags/Aidan" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Aidan</span></a> <a href="https://channels.im/tags/AidanHutchinson" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AidanHutchinson</span></a> <a href="https://channels.im/tags/American" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>American</span></a> <a href="https://channels.im/tags/AmericanFootball" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AmericanFootball</span></a> <a href="https://channels.im/tags/Bengals" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Bengals</span></a> <a href="https://channels.im/tags/Cincinnati" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Cincinnati</span></a> <a href="https://channels.im/tags/CincinnatiBengals" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CincinnatiBengals</span></a> <a href="https://channels.im/tags/Cowboys" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Cowboys</span></a> <a href="https://channels.im/tags/Dallas" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Dallas</span></a> <a href="https://channels.im/tags/DallasCowboys" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DallasCowboys</span></a> <a href="https://channels.im/tags/detroit" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>detroit</span></a> <a href="https://channels.im/tags/DetroitLions" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DetroitLions</span></a> <a href="https://channels.im/tags/DetroitLions" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DetroitLions</span></a> <a href="https://channels.im/tags/Exclude" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Exclude</span></a> <a href="https://channels.im/tags/ExcludeFromPaywallLogicTesting" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ExcludeFromPaywallLogicTesting</span></a> <a href="https://channels.im/tags/Football" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Football</span></a> <a href="https://channels.im/tags/from" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>from</span></a> <a href="https://channels.im/tags/Hub" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Hub</span></a> <a href="https://channels.im/tags/Hutchinson" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Hutchinson</span></a> <a href="https://channels.im/tags/lions" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lions</span></a> <a href="https://channels.im/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://channels.im/tags/Micah" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Micah</span></a> <a href="https://channels.im/tags/MicahParsons" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MicahParsons</span></a> <a href="https://channels.im/tags/National" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>National</span></a> <a href="https://channels.im/tags/NationalSports" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>NationalSports</span></a> <a href="https://channels.im/tags/news" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>news</span></a> <a href="https://channels.im/tags/NFL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>NFL</span></a> <a href="https://channels.im/tags/NFLHub" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>NFLHub</span></a> <a href="https://channels.im/tags/Nittany" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Nittany</span></a> <a href="https://channels.im/tags/Parsons" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Parsons</span></a> <a href="https://channels.im/tags/Paywall" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Paywall</span></a> <a href="https://channels.im/tags/Penn" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Penn</span></a> <a href="https://channels.im/tags/PennStateNittanyLionsFootball" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PennStateNittanyLionsFootball</span></a> <a href="https://channels.im/tags/Sports" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Sports</span></a> <a href="https://channels.im/tags/SportsNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SportsNews</span></a> <a href="https://channels.im/tags/State" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>State</span></a> <a href="https://channels.im/tags/Testing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Testing</span></a></p>
Bytes Europe<p>Can MPS fix class sizes? The politics, the policy and the price tag <a href="https://www.byteseu.com/1246567/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">byteseu.com/1246567/</span><span class="invisible"></span></a> <a href="https://pubeurope.com/tags/exclude" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>exclude</span></a> <a href="https://pubeurope.com/tags/ExcludeFromPaywallLogicTesting" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ExcludeFromPaywallLogicTesting</span></a> <a href="https://pubeurope.com/tags/from" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>from</span></a> <a href="https://pubeurope.com/tags/K12" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>K12</span></a> <a href="https://pubeurope.com/tags/local" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>local</span></a> <a href="https://pubeurope.com/tags/LocalNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LocalNews</span></a> <a href="https://pubeurope.com/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://pubeurope.com/tags/Milwaukee" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Milwaukee</span></a> <a href="https://pubeurope.com/tags/MilwaukeePublicSchools" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MilwaukeePublicSchools</span></a> <a href="https://pubeurope.com/tags/News" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>News</span></a> <a href="https://pubeurope.com/tags/paywall" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>paywall</span></a> <a href="https://pubeurope.com/tags/Politics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Politics</span></a> <a href="https://pubeurope.com/tags/primary" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>primary</span></a> <a href="https://pubeurope.com/tags/PrimaryU0026SecondarySchooling" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PrimaryU0026SecondarySchooling</span></a>(K12) <a href="https://pubeurope.com/tags/public" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>public</span></a> <a href="https://pubeurope.com/tags/Schooling" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Schooling</span></a> <a href="https://pubeurope.com/tags/schools" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>schools</span></a> <a href="https://pubeurope.com/tags/Secondary" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Secondary</span></a> <a href="https://pubeurope.com/tags/testing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>testing</span></a> <a href="https://pubeurope.com/tags/u0026" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>u0026</span></a></p>
All for Gardening<p>“Zinnias” is this week’s Homestyle Garden Photo Contest pick <a href="https://www.allforgardening.com/1390988/zinnias-is-this-weeks-homestyle-garden-photo-contest-pick/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">allforgardening.com/1390988/zi</span><span class="invisible">nnias-is-this-weeks-homestyle-garden-photo-contest-pick/</span></a> #@exclude <a href="https://vive.im/tags/affiliate" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>affiliate</span></a> <a href="https://vive.im/tags/contest" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>contest</span></a> <a href="https://vive.im/tags/detroit" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>detroit</span></a> <a href="https://vive.im/tags/ExcludeFromPaywallLogicTesting" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ExcludeFromPaywallLogicTesting</span></a> <a href="https://vive.im/tags/from" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>from</span></a> <a href="https://vive.im/tags/garden" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>garden</span></a> <a href="https://vive.im/tags/home" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>home</span></a> <a href="https://vive.im/tags/HomeU0026Garden" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>HomeU0026Garden</span></a> <a href="https://vive.im/tags/improvement" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>improvement</span></a> <a href="https://vive.im/tags/local" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>local</span></a> <a href="https://vive.im/tags/LocalAffiliateHomeImprovement" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LocalAffiliateHomeImprovement</span></a> <a href="https://vive.im/tags/LocalNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LocalNews</span></a> <a href="https://vive.im/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://vive.im/tags/Marimo" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Marimo</span></a>. <a href="https://vive.im/tags/news" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>news</span></a> <a href="https://vive.im/tags/Overall" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Overall</span></a> <a href="https://vive.im/tags/OverallPositive" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OverallPositive</span></a> <a href="https://vive.im/tags/Paywall" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Paywall</span></a> <a href="https://vive.im/tags/photo" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>photo</span></a> <a href="https://vive.im/tags/positive" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>positive</span></a> <a href="https://vive.im/tags/testing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>testing</span></a> <a href="https://vive.im/tags/the" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>the</span></a> <a href="https://vive.im/tags/TheDetroitNewsGardenPhotoContest" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TheDetroitNewsGardenPhotoContest</span></a> <a href="https://vive.im/tags/u0026" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>u0026</span></a></p>
Lupposofi<p>All-new in SEP, Algorithmic Fairness by Deborah Hellman</p><p><a href="https://plato.stanford.edu/entries/algorithmic-fairness/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">plato.stanford.edu/entries/alg</span><span class="invisible">orithmic-fairness/</span></a></p><p><a href="https://mementomori.social/tags/algorithm" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>algorithm</span></a> <a href="https://mementomori.social/tags/fairness" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fairness</span></a> <a href="https://mementomori.social/tags/llm" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>llm</span></a> <a href="https://mementomori.social/tags/ai" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ai</span></a> <a href="https://mementomori.social/tags/machinelearning" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>machinelearning</span></a> <a href="https://mementomori.social/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logic</span></a> <a href="https://mementomori.social/tags/information" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>information</span></a> <a href="https://mementomori.social/tags/reasoning" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>reasoning</span></a> <a href="https://mementomori.social/tags/epistemology" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>epistemology</span></a> <a href="https://mementomori.social/tags/filosofia" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>filosofia</span></a> <a href="https://mementomori.social/tags/philosophy" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>philosophy</span></a> <a href="https://mementomori.social/tags/sep" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sep</span></a> <a href="https://mementomori.social/tags/concepts" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>concepts</span></a> <a href="https://mementomori.social/tags/moralPhilosophy" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>moralPhilosophy</span></a> <a href="https://mementomori.social/tags/ethics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ethics</span></a> <a href="https://mementomori.social/tags/new" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>new</span></a></p>
DaLetra<p>Veja a letra da música “Flexicution” de Logic<br><a href="https://musician.social/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://musician.social/tags/Flexicution" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Flexicution</span></a><br><a href="https://daletra.com.br/logic/letra/flexicution.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">daletra.com.br/logic/letra/fle</span><span class="invisible">xicution.html</span></a></p>
Nick Byrd, Ph.D.<p>Ever wondered how students argue or <a href="https://nerdculture.de/tags/debate" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>debate</span></a> with each other?</p><p>Many instructors witness it, but they rarely document it.</p><p>This paper reports how students in the U.S. and China developed, presented, and evaluated arguments about juvenile court.</p><p><a href="https://doi.org/10.1080/0163853X.2025.2494967" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">doi.org/10.1080/0163853X.2025.</span><span class="invisible">2494967</span></a></p><p><a href="https://nerdculture.de/tags/edu" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>edu</span></a> <a href="https://nerdculture.de/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logic</span></a></p>
Anselm "Two Sheds" Schüler<p>Has anybody else else seen the notation #(S) where S is a set to denote the "size" of S (which is never an infinite cardinal)?</p><p>Specifically, if |S| is a natural number, then #(S) = |S|, but when |S| is an infinite cardinal, #(S) = ∞, where ∞ is a symbolic constant only used for this purpose</p><p><a href="https://ieji.de/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>math</span></a> <a href="https://ieji.de/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logic</span></a></p>
DimaLink<p>BufColor – mysterious process with style of MS DOS and 8 bit</p><p><a href="https://dimalinkeng.blogspot.com/2025/07/bufcolor-mysterious-process-with-style.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">dimalinkeng.blogspot.com/2025/</span><span class="invisible">07/bufcolor-mysterious-process-with-style.html</span></a></p><p><a href="https://mastodon.social/tags/freebasic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>freebasic</span></a> <a href="https://mastodon.social/tags/retroprogramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>retroprogramming</span></a> <a href="https://mastodon.social/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logic</span></a> <a href="https://mastodon.social/tags/earlymsdos" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>earlymsdos</span></a> <a href="https://mastodon.social/tags/msdos" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>msdos</span></a> <a href="https://mastodon.social/tags/8bit" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>8bit</span></a> <a href="https://mastodon.social/tags/colors" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>colors</span></a> <a href="https://mastodon.social/tags/colorfull" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>colorfull</span></a> <a href="https://mastodon.social/tags/collumns" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>collumns</span></a> <a href="https://mastodon.social/tags/rows" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>rows</span></a> <a href="https://mastodon.social/tags/pickcolor" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>pickcolor</span></a> <a href="https://mastodon.social/tags/16color" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>16color</span></a> <a href="https://mastodon.social/tags/retrogame" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>retrogame</span></a> <a href="https://mastodon.social/tags/simplegame" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>simplegame</span></a> <a href="https://mastodon.social/tags/fastgame" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fastgame</span></a> <a href="https://mastodon.social/tags/relaxgame" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>relaxgame</span></a> <a href="https://mastodon.social/tags/early90sgame" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>early90sgame</span></a> <a href="https://mastodon.social/tags/arcade" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>arcade</span></a> <a href="https://mastodon.social/tags/80s" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>80s</span></a> <a href="https://mastodon.social/tags/lines" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lines</span></a> <a href="https://mastodon.social/tags/sortitems" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sortitems</span></a> <a href="https://mastodon.social/tags/sortthings" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sortthings</span></a> <a href="https://mastodon.social/tags/gamedev" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>gamedev</span></a> <a href="https://mastodon.social/tags/devlog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>devlog</span></a></p>
US<p><a href="https://www.europesays.com/us/102562/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">europesays.com/us/102562/</span><span class="invisible"></span></a> Detroit startups can apply for new grant program <a href="https://pubeurope.com/tags/Business" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Business</span></a> <a href="https://pubeurope.com/tags/Detroit" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Detroit</span></a> <a href="https://pubeurope.com/tags/DetroitStartups" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DetroitStartups</span></a> <a href="https://pubeurope.com/tags/Economy" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Economy</span></a> <a href="https://pubeurope.com/tags/Entrepreneurship" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Entrepreneurship</span></a> <a href="https://pubeurope.com/tags/Exclude" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Exclude</span></a> <a href="https://pubeurope.com/tags/ExcludeFromPaywallLogicTesting" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ExcludeFromPaywallLogicTesting</span></a> <a href="https://pubeurope.com/tags/from" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>from</span></a> <a href="https://pubeurope.com/tags/Government" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Government</span></a> <a href="https://pubeurope.com/tags/GovernmentGrants" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GovernmentGrants</span></a> <a href="https://pubeurope.com/tags/grants" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>grants</span></a> <a href="https://pubeurope.com/tags/Johnson" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Johnson</span></a> <a href="https://pubeurope.com/tags/kevin" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>kevin</span></a> <a href="https://pubeurope.com/tags/KevinJohnson" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>KevinJohnson</span></a> <a href="https://pubeurope.com/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://pubeurope.com/tags/MI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MI</span></a> <a href="https://pubeurope.com/tags/Neutral" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Neutral</span></a> <a href="https://pubeurope.com/tags/Overall" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Overall</span></a> <a href="https://pubeurope.com/tags/OverallNeutral" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OverallNeutral</span></a> <a href="https://pubeurope.com/tags/Paywall" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Paywall</span></a> <a href="https://pubeurope.com/tags/Small" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Small</span></a> <a href="https://pubeurope.com/tags/SmallBusiness" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SmallBusiness</span></a> <a href="https://pubeurope.com/tags/Startups" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Startups</span></a> <a href="https://pubeurope.com/tags/Testing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Testing</span></a> <a href="https://pubeurope.com/tags/UnitedStates" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>UnitedStates</span></a> <a href="https://pubeurope.com/tags/UnitedStates" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>UnitedStates</span></a> <a href="https://pubeurope.com/tags/US" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>US</span></a></p>
Lupposofi<p>All-new in SEP: Preference Logic</p><p><a href="https://plato.stanford.edu/entries/logic-preference/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">plato.stanford.edu/entries/log</span><span class="invisible">ic-preference/</span></a></p><p><a href="https://mementomori.social/tags/sep" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sep</span></a> <a href="https://mementomori.social/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logic</span></a> <a href="https://mementomori.social/tags/logiikka" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logiikka</span></a> <a href="https://mementomori.social/tags/philosophy" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>philosophy</span></a> <a href="https://mementomori.social/tags/filosofia" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>filosofia</span></a> <a href="https://mementomori.social/tags/preference" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>preference</span></a> <a href="https://mementomori.social/tags/belief" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>belief</span></a> <a href="https://mementomori.social/tags/choice" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>choice</span></a></p>
Androcat<p>Let's say there is a Mystery Machine.<br>It responds to input in various ways.<br>You can't get to its internal logic, but there's plenty of examples of input/output pairs, and you can make more as much as you can be bothered to fiddle with it.</p><p>Would it be possible, through trial and error, to make a machine that meaningfully interacts with the Mystery Machine?</p><p><a href="https://toot.cat/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logic</span></a> <a href="https://toot.cat/tags/science" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>science</span></a></p>
José A. Alonso<p>Readings shared July 28, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/07/29-readings_shared_07-28-25" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/07/29-readings_shared_07-28-25</span></a> <a href="https://mathstodon.xyz/tags/FormalVerification" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FormalVerification</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/ProofAssistant" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProofAssistant</span></a></p>
US<p><a href="https://www.europesays.com/us/101281/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">europesays.com/us/101281/</span><span class="invisible"></span></a> 3 dead, police shoot suspect at Grand Sierra Resort <a href="https://pubeurope.com/tags/abuse" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>abuse</span></a> <a href="https://pubeurope.com/tags/Connect" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Connect</span></a> <a href="https://pubeurope.com/tags/death" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>death</span></a> <a href="https://pubeurope.com/tags/DeathU0026Tragedy" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DeathU0026Tragedy</span></a> <a href="https://pubeurope.com/tags/Exclude" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Exclude</span></a> <a href="https://pubeurope.com/tags/ExcludeFromPaywallLogicTesting" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ExcludeFromPaywallLogicTesting</span></a> <a href="https://pubeurope.com/tags/from" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>from</span></a> <a href="https://pubeurope.com/tags/Headlines" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Headlines</span></a> <a href="https://pubeurope.com/tags/local" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>local</span></a> <a href="https://pubeurope.com/tags/LocalConnect" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LocalConnect</span></a> <a href="https://pubeurope.com/tags/LocalNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LocalNews</span></a> <a href="https://pubeurope.com/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://pubeurope.com/tags/News" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>News</span></a> <a href="https://pubeurope.com/tags/Nv" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Nv</span></a> <a href="https://pubeurope.com/tags/Paywall" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Paywall</span></a> <a href="https://pubeurope.com/tags/Reno" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Reno</span></a> <a href="https://pubeurope.com/tags/Testing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Testing</span></a> <a href="https://pubeurope.com/tags/TopStories" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TopStories</span></a> <a href="https://pubeurope.com/tags/Tragedy" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Tragedy</span></a> <a href="https://pubeurope.com/tags/u0026" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>u0026</span></a> <a href="https://pubeurope.com/tags/Violence" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Violence</span></a> <a href="https://pubeurope.com/tags/ViolenceU0026Abuse" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ViolenceU0026Abuse</span></a></p>
News Beep<p>3 dead, police shoot suspect at Grand Sierra Resort</p><p>5:45 p.m. update: Three people were killed in a shooting Monday morning at the Grand Sierra Resort in…<br><a href="https://newsbeep.org/tags/NewsBeep" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>NewsBeep</span></a> <a href="https://newsbeep.org/tags/News" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>News</span></a> <a href="https://newsbeep.org/tags/Headlines" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Headlines</span></a> <a href="https://newsbeep.org/tags/Abuse" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Abuse</span></a> <a href="https://newsbeep.org/tags/Connect" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Connect</span></a> <a href="https://newsbeep.org/tags/Death" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Death</span></a> <a href="https://newsbeep.org/tags/Deathu0026Tragedy" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Deathu0026Tragedy</span></a> <a href="https://newsbeep.org/tags/Exclude" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Exclude</span></a> <a href="https://newsbeep.org/tags/ExcludefromPaywallLogicTesting" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ExcludefromPaywallLogicTesting</span></a> <a href="https://newsbeep.org/tags/from" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>from</span></a> <a href="https://newsbeep.org/tags/Local" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Local</span></a> <a href="https://newsbeep.org/tags/LocalConnect" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LocalConnect</span></a> <a href="https://newsbeep.org/tags/localnews" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>localnews</span></a> <a href="https://newsbeep.org/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://newsbeep.org/tags/NV" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>NV</span></a> <a href="https://newsbeep.org/tags/Paywall" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Paywall</span></a> <a href="https://newsbeep.org/tags/Reno" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Reno</span></a> <a href="https://newsbeep.org/tags/Testing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Testing</span></a> <a href="https://newsbeep.org/tags/Tragedy" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Tragedy</span></a> <a href="https://newsbeep.org/tags/u0026" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>u0026</span></a> <a href="https://newsbeep.org/tags/UnitedStates" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>UnitedStates</span></a> <a href="https://newsbeep.org/tags/Us" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Us</span></a> <a href="https://newsbeep.org/tags/USA" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>USA</span></a> <a href="https://newsbeep.org/tags/Violence" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Violence</span></a> <a href="https://newsbeep.org/tags/Violenceu0026Abuse" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Violenceu0026Abuse</span></a><br><a href="https://www.newsbeep.com/26006/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">newsbeep.com/26006/</span><span class="invisible"></span></a></p>
Follow GOLF<p><a href="https://www.fogolf.com/1019424/how-good-is-charlie-woods-will-tiger-be-at-junior-pga-championships-at-purdue/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">fogolf.com/1019424/how-good-is</span><span class="invisible">-charlie-woods-will-tiger-be-at-junior-pga-championships-at-purdue/</span></a> How good is Charlie Woods? Will Tiger be at Junior PGA Championships at Purdue? #@exclude #10 <a href="https://vive.im/tags/BIG" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BIG</span></a> <a href="https://vive.im/tags/Big10Hub" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Big10Hub</span></a> <a href="https://vive.im/tags/Boilermakers" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Boilermakers</span></a> <a href="https://vive.im/tags/Content" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Content</span></a> <a href="https://vive.im/tags/ExcludeFromPaywallLogicTesting" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ExcludeFromPaywallLogicTesting</span></a> <a href="https://vive.im/tags/from" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>from</span></a> <a href="https://vive.im/tags/Golf" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Golf</span></a> <a href="https://vive.im/tags/Hub" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Hub</span></a> <a href="https://vive.im/tags/Indiana" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Indiana</span></a> <a href="https://vive.im/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logic</span></a> <a href="https://vive.im/tags/news" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>news</span></a> <a href="https://vive.im/tags/overall" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>overall</span></a> <a href="https://vive.im/tags/OverallPositive" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OverallPositive</span></a> <a href="https://vive.im/tags/Paywall" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Paywall</span></a> <a href="https://vive.im/tags/pga" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>pga</span></a> <a href="https://vive.im/tags/PgaTour" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PgaTour</span></a> <a href="https://vive.im/tags/Positive" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Positive</span></a> <a href="https://vive.im/tags/purdue" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>purdue</span></a> <a href="https://vive.im/tags/PurdueBoilermakers" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PurdueBoilermakers</span></a> <a href="https://vive.im/tags/PurdueSportsContentSharing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PurdueSportsContentSharing</span></a> <a href="https://vive.im/tags/PurdueUniversity" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PurdueUniversity</span></a> <a href="https://vive.im/tags/sharing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sharing</span></a> <a href="https://vive.im/tags/sports" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sports</span></a> <a href="https://vive.im/tags/SportsNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SportsNews</span></a> <a href="https://vive.im/tags/testing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>testing</span></a> <a href="https://vive.im/tags/tiger" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>tiger</span></a> <a href="https://vive.im/tags/TigerWoods" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TigerWoods</span></a> <a href="https://vive.im/tags/Tour" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Tour</span></a> <a href="https://vive.im/tags/University" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>University</span></a> <a href="https://vive.im/tags/woods" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>woods</span></a></p>
Bytes Europe<p>Pennsylvania needs comprehensive strategy for energy dominance <a href="https://www.byteseu.com/1235708/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">byteseu.com/1235708/</span><span class="invisible"></span></a> <a href="https://pubeurope.com/tags/alternative" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>alternative</span></a> <a href="https://pubeurope.com/tags/donald" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>donald</span></a> <a href="https://pubeurope.com/tags/DonaldTrump" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DonaldTrump</span></a> <a href="https://pubeurope.com/tags/Energy" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Energy</span></a> <a href="https://pubeurope.com/tags/EnergyPolicies" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>EnergyPolicies</span></a> <a href="https://pubeurope.com/tags/EnergyU0026Utilities" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>EnergyU0026Utilities</span></a> <a href="https://pubeurope.com/tags/exclude" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>exclude</span></a> <a href="https://pubeurope.com/tags/ExcludeFromPaywallLogicTesting" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ExcludeFromPaywallLogicTesting</span></a> <a href="https://pubeurope.com/tags/from" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>from</span></a> <a href="https://pubeurope.com/tags/Government" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Government</span></a> <a href="https://pubeurope.com/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://pubeurope.com/tags/Neutral" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Neutral</span></a> <a href="https://pubeurope.com/tags/Nuclear" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Nuclear</span></a> <a href="https://pubeurope.com/tags/NuclearEnergy" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>NuclearEnergy</span></a> <a href="https://pubeurope.com/tags/Overall" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Overall</span></a> <a href="https://pubeurope.com/tags/OverallNeutral" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OverallNeutral</span></a> <a href="https://pubeurope.com/tags/paywall" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>paywall</span></a> <a href="https://pubeurope.com/tags/pennsylvania" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>pennsylvania</span></a> <a href="https://pubeurope.com/tags/policies" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>policies</span></a> <a href="https://pubeurope.com/tags/Politics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Politics</span></a> <a href="https://pubeurope.com/tags/renewable" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>renewable</span></a> <a href="https://pubeurope.com/tags/RenewableU0026AlternativeEnergy" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>RenewableU0026AlternativeEnergy</span></a> <a href="https://pubeurope.com/tags/testing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>testing</span></a> <a href="https://pubeurope.com/tags/trump" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>trump</span></a> <a href="https://pubeurope.com/tags/u0026" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>u0026</span></a> <a href="https://pubeurope.com/tags/utilities" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>utilities</span></a></p>
DimaLink<p>Earthworms and IronClast – Two art games for weekend!</p><p><a href="https://dimalinkeng.blogspot.com/2025/07/earthworms-and-ironclast-two-art-games.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">dimalinkeng.blogspot.com/2025/</span><span class="invisible">07/earthworms-and-ironclast-two-art-games.html</span></a></p><p><a href="https://mastodon.social/tags/videogames" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>videogames</span></a> <a href="https://mastodon.social/tags/pcgames" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>pcgames</span></a> <a href="https://mastodon.social/tags/gamer" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>gamer</span></a> <a href="https://mastodon.social/tags/steam" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>steam</span></a> <a href="https://mastodon.social/tags/earthworms" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>earthworms</span></a> <a href="https://mastodon.social/tags/ironclast" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ironclast</span></a> <a href="https://mastodon.social/tags/quest" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>quest</span></a> <a href="https://mastodon.social/tags/pointandclick" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>pointandclick</span></a> <a href="https://mastodon.social/tags/mystics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mystics</span></a> <a href="https://mastodon.social/tags/threeinrow" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>threeinrow</span></a> <a href="https://mastodon.social/tags/victorianstyle" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>victorianstyle</span></a> <a href="https://mastodon.social/tags/beautifulart" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>beautifulart</span></a> <a href="https://mastodon.social/tags/steampunk" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>steampunk</span></a> <a href="https://mastodon.social/tags/robots" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>robots</span></a> <a href="https://mastodon.social/tags/19century" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>19century</span></a> <a href="https://mastodon.social/tags/lovecraft" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lovecraft</span></a> <a href="https://mastodon.social/tags/artgames" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>artgames</span></a> <a href="https://mastodon.social/tags/mysterious" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mysterious</span></a> <a href="https://mastodon.social/tags/stylish" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>stylish</span></a> <a href="https://mastodon.social/tags/visual" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>visual</span></a> <a href="https://mastodon.social/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logic</span></a> <a href="https://mastodon.social/tags/likequest" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>likequest</span></a> <a href="https://mastodon.social/tags/dream" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>dream</span></a> <a href="https://mastodon.social/tags/dreampop" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>dreampop</span></a> <a href="https://mastodon.social/tags/clouds" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>clouds</span></a> <a href="https://mastodon.social/tags/golden" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>golden</span></a> <a href="https://mastodon.social/tags/sunlight" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sunlight</span></a></p>
Tatjana Scheffler<p><a href="https://2025.esslli.eu/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">2025.esslli.eu/</span><span class="invisible"></span></a> <a href="https://fediscience.org/tags/ESSLLI2025" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ESSLLI2025</span></a> ! <a href="https://fediscience.org/tags/rub" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>rub</span></a> <a href="https://fediscience.org/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logic</span></a> <a href="https://fediscience.org/tags/language" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>language</span></a></p>
José A. Alonso<p>Formalized formal logic (in Lean4). <a href="https://formalizedformallogic.github.io/Book/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">formalizedformallogic.github.i</span><span class="invisible">o/Book/</span></a> <a href="https://mathstodon.xyz/tags/FormalVerification" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FormalVerification</span></a> <a href="https://mathstodon.xyz/tags/ProofAssistant" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProofAssistant</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a></p>
TrendingLive feeds
About