#fv25<p><a href="https://ioc.exchange/tags/RoxannePerez" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>RoxannePerez</span></a> <a href="https://ioc.exchange/tags/rana" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>rana</span></a>'d <a href="https://ioc.exchange/tags/iyoSky" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>iyoSky</span></a> </p><p><a href="https://ioc.exchange/tags/WweNxt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>WweNxt</span></a> is almost over and i missed the first hour because i was attending an <a href="https://ioc.exchange/tags/accesible" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>accesible</span></a> <a href="https://ioc.exchange/tags/music" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>music</span></a> <a href="https://ioc.exchange/tags/creation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>creation</span></a> seminar held in the new branch of the <a href="https://ioc.exchange/tags/Kitchener" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Kitchener</span></a> <a href="https://ioc.exchange/tags/PublicLibrary" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PublicLibrary</span></a> <a href="https://ioc.exchange/tags/KPL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>KPL</span></a> where the presenter used a <a href="https://ioc.exchange/tags/vochlea" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>vochlea</span></a> <a href="https://ioc.exchange/tags/dubler" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>dubler</span></a> </p><p>Also got to talk to an <a href="https://ioc.exchange/tags/onlineEducation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>onlineEducation</span></a> specialist named Kyle who is based out of <a href="https://ioc.exchange/tags/Guelph" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Guelph</span></a> <a href="https://ioc.exchange/tags/Ontario" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Ontario</span></a>, as was the musician, who has their music published in some <a href="https://ioc.exchange/tags/musicLibraries" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>musicLibraries</span></a> which helped them get their music on some notable television series'. They used <a href="https://ioc.exchange/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</span></a> and had logic's "session musicians" (with some crowd input) create the backing tracks they sung over.</p><p>Earlier in the day i got to talk with my friend Sukh who was excited to learn the <a href="https://ioc.exchange/tags/Artiphon" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Artiphon</span></a> <a href="https://ioc.exchange/tags/Orba" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Orba</span></a></p><p><a href="https://ioc.exchange/tags/Nxt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Nxt</span></a> <a href="https://ioc.exchange/tags/Wwe" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Wwe</span></a> <a href="https://ioc.exchange/tags/wrestling" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>wrestling</span></a> <a href="https://ioc.exchange/tags/museodon" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>museodon</span></a></p>
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:
285active users
shakedown.social: About · Status · Profiles directory · Privacy policy
Mastodon: About · Get the app · Keyboard shortcuts · View source code · v4.3.7
#logic
2 posts · 2 participants · 0 posts today
Ingrid Hoeben Ⓥ 🇧🇪<p><a href="https://mastodon.online/tags/popular" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>popular</span></a> <a href="https://mastodon.online/tags/weetjes" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>weetjes</span></a> <a href="https://mastodon.online/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>logic</span></a></p>
David J. Atkinson<p><span class="h-card" translate="no"><a href="https://mastodon.social/@bsletten" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>bsletten</span></a></span> This is a great practical joke, but please be careful not to confabulate popular machine learning models with *all* of <a href="https://c.im/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a>. </p><p>For example, logic theorem proving is the oldest, most mature, and most mathematically rigorous of the subfields of AI. <a href="https://c.im/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</span></a> and <a href="https://c.im/tags/mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mathematics</span></a> are formally equivalent. The “Logic Theorist” in 1956, programmed by Newell, Simon and Shaw was arguably the first computational system to perform deduction using propositional <a href="https://c.im/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>logic</span></a>. It managed to prove 38 of the first 52 theorems of the “Principia Mathematica” (1927) by Whitehead and Russell. This breakthrough was a major impetus for the study of <a href="https://c.im/tags/ArtificialIntelligence" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ArtificialIntelligence</span></a> itself. </p><p>Automated theorem provers are used today to check the correctness of computer circuit design, formal specifications, software correctness, and serve as assistants to mathematicians for analyzing complex proofs.</p>
Eigh<p>🎶🎼🎹<br>Quote from <span class="h-card" translate="no"><a href="https://caneandable.social/@NoahCarver" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>NoahCarver</span></a></span>: <a href="https://dragonscave.space/tags/Blind" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Blind</span></a> <a href="https://dragonscave.space/tags/Musician" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Musician</span></a> hivemind, I'm talking with a young person interested in <a href="https://dragonscave.space/tags/songwriting" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>songwriting</span></a> who needs resources for learning <a href="https://dragonscave.space/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</span></a> and connecting with other <a href="https://dragonscave.space/tags/singers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>singers</span></a> / <a href="https://dragonscave.space/tags/songwriters" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>songwriters</span></a>. This isn't my field of study, so I'm reaching out to the networks. Any input would be greatly appreciated. <a href="https://dragonscave.space/tags/BlindMasto" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>BlindMasto</span></a> <a href="https://dragonscave.space/tags/BlindMastodon" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>BlindMastodon</span></a> <a href="https://dragonscave.space/tags/BlindFedi" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>BlindFedi</span></a> @mastoblind <a href="https://dragonscave.space/tags/Singer" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Singer</span></a> <a href="https://dragonscave.space/tags/SongWriter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SongWriter</span></a> <a href="https://dragonscave.space/tags/SingerSongwriter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SingerSongwriter</span></a> <a href="https://dragonscave.space/tags/Musicians" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Musicians</span></a></p>
Noah T. Carver 👨🏼🦯🇺🇦<p><a href="https://caneandable.social/tags/Blind" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Blind</span></a> <a href="https://caneandable.social/tags/Musician" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Musician</span></a> hivemind, I'm talking with a young person interested in <a href="https://caneandable.social/tags/songwriting" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>songwriting</span></a> who needs resources for learning <a href="https://caneandable.social/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</span></a> and connecting with other <a href="https://caneandable.social/tags/singers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>singers</span></a> / <a href="https://caneandable.social/tags/songwriters" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>songwriters</span></a>. This isn't my field of study, so I'm reaching out to the networks. Any input would be greatly appreciated. <a href="https://caneandable.social/tags/BlindMasto" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>BlindMasto</span></a> <a href="https://caneandable.social/tags/BlindMastodon" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>BlindMastodon</span></a> <a href="https://caneandable.social/tags/BlindFedi" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>BlindFedi</span></a> <span class="h-card" translate="no"><a href="https://a.gup.pe/u/mastoblind" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>mastoblind</span></a></span> <a href="https://caneandable.social/tags/Singer" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Singer</span></a> <a href="https://caneandable.social/tags/SongWriter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SongWriter</span></a> <a href="https://caneandable.social/tags/SingerSongwriter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SingerSongwriter</span></a> <a href="https://caneandable.social/tags/Musicians" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Musicians</span></a></p>
Amber Grey<p>Snow Patrol with Ghost, the Squier Jazz bass! I recorded each track, no loops, and added the most simple part layered as I could to get to the heart of the song as it is to me. You all say I cut off at the “good” part sometimes 🤣 so here’s the full experiment, hope you enjoy! Just like…breathe for a minute and chill with me practicing bass ok? I didn’t mix this. Just had fun with an effects chain. 👻🤍 <a href="https://mastodon.social/tags/music" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>music</span></a> <a href="https://mastodon.social/tags/bass" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>bass</span></a> <a href="https://mastodon.social/tags/guitar" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>guitar</span></a> <a href="https://mastodon.social/tags/SnowPatrol" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SnowPatrol</span></a> <a href="https://mastodon.social/tags/practice" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>practice</span></a> <a href="https://mastodon.social/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</span></a> <a href="https://mastodon.social/tags/chill" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>chill</span></a> <a href="https://mastodon.social/tags/musician" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>musician</span></a></p>
Snowshadow 🇨🇦<p>I don't understand how some people are outraged by and will never tolerate hypocrisy from a politician but will perform mental gymnastics to avoid the same from a religious leader.</p><p>Astonishing.</p><p><a href="https://mastodon.social/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>logic</span></a> <a href="https://mastodon.social/tags/HumanRightsViolations" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HumanRightsViolations</span></a> <a href="https://mastodon.social/tags/Religion" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Religion</span></a></p>
SpaceLifeForm<p><span class="h-card" translate="no"><a href="https://beige.party/@Alice" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>Alice</span></a></span> </p><p>I am 100% certain that your statement is a tautology.</p><p><a href="https://infosec.exchange/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</span></a></p>
James Koole 🇨🇦<p><span class="h-card" translate="no"><a href="https://social.lol/@ericmwalk" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>ericmwalk</span></a></span> My solution to this conundrum was to never get the bluetooth touch id keyboard for either my work Mac or my personal one. This way I don't miss it on one or the other. <a href="https://mstdn.ca/tags/winning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>winning</span></a> <a href="https://mstdn.ca/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>logic</span></a></p>
earthling<p>Twisted Logic; Puzzles, Paradoxes, and Big Questions by Leighton Vaughan Williams, 2024</p><p>Draws upon an array of popular and novel puzzles, problems, and paradoxes, and uses these to help understand and navigate our everyday world. Addresses some of the big questions. Aimed at all those interested in learning about weird and wonderful problems and paradoxes.</p><p><span class="h-card" translate="no"><a href="https://a.gup.pe/u/bookstodon" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>bookstodon</span></a></span> <br><a href="https://mastodon.social/tags/books" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>books</span></a> <br><a href="https://mastodon.social/tags/nonfiction" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>nonfiction</span></a> <br><a href="https://mastodon.social/tags/thinking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>thinking</span></a> <br><a href="https://mastodon.social/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>logic</span></a></p>
Martinic<p>Wake up fast with the Martinic AX73 stings in the Megaman X Boss Battle Theme | Synthwave Remix by Vital Wave.</p><p><a href="https://www.youtube.com/watch?v=EYKiZQDIyOg" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">youtube.com/watch?v=EYKiZQDIyOg</span><span class="invisible"></span></a></p><p><a href="https://mastodon.social/tags/VitalWave" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>VitalWave</span></a> <a href="https://mastodon.social/tags/MegamanX" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MegamanX</span></a> <a href="https://mastodon.social/tags/Martinic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Martinic</span></a> <a href="https://mastodon.social/tags/AX73" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AX73</span></a> <a href="https://mastodon.social/tags/Synth" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Synth</span></a> <a href="https://mastodon.social/tags/Synthesizer" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Synthesizer</span></a> <a href="https://mastodon.social/tags/80s" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>80s</span></a> <a href="https://mastodon.social/tags/MusicProducer" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MusicProducer</span></a> <a href="https://mastodon.social/tags/ElectronicMusic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ElectronicMusic</span></a> <a href="https://mastodon.social/tags/Trance" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Trance</span></a> <a href="https://mastodon.social/tags/Synthwave" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Synthwave</span></a> <a href="https://mastodon.social/tags/Retrowave" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Retrowave</span></a> <a href="https://mastodon.social/tags/Synthpop" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Synthpop</span></a> <a href="https://mastodon.social/tags/VST" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>VST</span></a> <a href="https://mastodon.social/tags/ProTools" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProTools</span></a> <a href="https://mastodon.social/tags/Reason" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Reason</span></a> <a href="https://mastodon.social/tags/Cubase" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Cubase</span></a> <a href="https://mastodon.social/tags/FLstudio" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FLstudio</span></a> <a href="https://mastodon.social/tags/Steinberg" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Steinberg</span></a> <a href="https://mastodon.social/tags/LogicPro" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicPro</span></a> <a href="https://mastodon.social/tags/Reaper" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Reaper</span></a> <a href="https://mastodon.social/tags/BitWig" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>BitWig</span></a> <a href="https://mastodon.social/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</span></a> <a href="https://mastodon.social/tags/LogicProX" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicProX</span></a> <a href="https://mastodon.social/tags/Ableton" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Ableton</span></a> <a href="https://mastodon.social/tags/StudioOne" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>StudioOne</span></a> <a href="https://mastodon.social/tags/Plugin" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Plugin</span></a></p>
IT News<p>Hackaday Links: April 13, 2025 - It’s been a while since we’ve dunked on an autonomous taxi foul-up, mainly because... - <a href="https://hackaday.com/2025/04/13/hackaday-links-april-13-2025/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">hackaday.com/2025/04/13/hackad</span><span class="invisible">ay-links-april-13-2025/</span></a> <a href="https://schleuss.online/tags/polyethyleneterephthalate" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>polyethyleneterephthalate</span></a> <a href="https://schleuss.online/tags/logicalfallacies" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>logicalfallacies</span></a> <a href="https://schleuss.online/tags/hackadaycolumns" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>hackadaycolumns</span></a> <a href="https://schleuss.online/tags/theengineerguy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>theengineerguy</span></a> <a href="https://schleuss.online/tags/hackadaylinks" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>hackadaylinks</span></a> <a href="https://schleuss.online/tags/amateurradio" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>amateurradio</span></a> <a href="https://schleuss.online/tags/autonomous" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>autonomous</span></a> <a href="https://schleuss.online/tags/sodabottle" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>sodabottle</span></a> <a href="https://schleuss.online/tags/robotaxi" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>robotaxi</span></a> <a href="https://schleuss.online/tags/startrek" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>startrek</span></a> <a href="https://schleuss.online/tags/driving" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>driving</span></a> <a href="https://schleuss.online/tags/slider" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>slider</span></a> <a href="https://schleuss.online/tags/dragon" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>dragon</span></a> <a href="https://schleuss.online/tags/spacex" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>spacex</span></a> <a href="https://schleuss.online/tags/fram2" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fram2</span></a> <a href="https://schleuss.online/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>logic</span></a> <a href="https://schleuss.online/tags/spock" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>spock</span></a> <a href="https://schleuss.online/tags/waymo" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>waymo</span></a> <a href="https://schleuss.online/tags/x" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>x</span></a>-ray <a href="https://schleuss.online/tags/pet" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>pet</span></a></p>
Artem Chernikov<p>A new Ph.D thesis prize is being established in honor of Zoé Chatzidakis, by Fondation Sciences Mathématiques de Paris.</p><p>This yearly award for an outstanding thesis in model theory will honor her scientific legacy and her commitment to the younger generation. </p><p><a href="https://www.helloasso.com/associations/fondation-sciences-mathematiques-de-paris/formulaires/7" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">helloasso.com/associations/fon</span><span class="invisible">dation-sciences-mathematiques-de-paris/formulaires/7</span></a></p><p><a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/ModelTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ModelTheory</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</span></a></p>
jm phone home<p><a href="https://mastodon.social/tags/atheist" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>atheist</span></a> <a href="https://mastodon.social/tags/god" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>god</span></a> <a href="https://mastodon.social/tags/religion" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>religion</span></a> <a href="https://mastodon.social/tags/bible" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>bible</span></a> <a href="https://mastodon.social/tags/faith" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>faith</span></a> <a href="https://mastodon.social/tags/church" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>church</span></a> <a href="https://mastodon.social/tags/atheism" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>atheism</span></a> <a href="https://mastodon.social/tags/noreligion" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>noreligion</span></a> <a href="https://mastodon.social/tags/religionfree" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>religionfree</span></a> <a href="https://mastodon.social/tags/antireligion" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>antireligion</span></a> <a href="https://mastodon.social/tags/freedomfromreligion" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>freedomfromreligion</span></a> <a href="https://mastodon.social/tags/goodwithoutgod" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>goodwithoutgod</span></a> <a href="https://mastodon.social/tags/nogod" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>nogod</span></a> <a href="https://mastodon.social/tags/godless" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>godless</span></a> <a href="https://mastodon.social/tags/heathen" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>heathen</span></a> <a href="https://mastodon.social/tags/nonbeliever" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>nonbeliever</span></a> <a href="https://mastodon.social/tags/skeptic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>skeptic</span></a> <a href="https://mastodon.social/tags/secular" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>secular</span></a> <a href="https://mastodon.social/tags/humanist" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>humanist</span></a> <a href="https://mastodon.social/tags/freethinker" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>freethinker</span></a> <a href="https://mastodon.social/tags/think" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>think</span></a> <a href="https://mastodon.social/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>logic</span></a> <a href="https://mastodon.social/tags/reason" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>reason</span></a> <a href="https://mastodon.social/tags/prayer" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>prayer</span></a> <a href="https://mastodon.social/tags/sin" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>sin</span></a> <a href="https://mastodon.social/tags/Christianity" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Christianity</span></a> <a href="https://mastodon.social/tags/nogodsnomasters" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>nogodsnomasters</span></a> <a href="https://mastodon.social/tags/islam" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>islam</span></a></p>
RanaldClouston<p>I'm pleased to say that I'm helping to organise the <a href="https://fediscience.org/tags/ANU" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ANU</span></a> <a href="https://fediscience.org/tags/LogicSummerSchool" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicSummerSchool</span></a> , which will be running in its 33rd straight year! The website <a href="https://comp.anu.edu.au/lss/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">comp.anu.edu.au/lss/</span><span class="invisible"></span></a> is mostly TBA notices at the moment, of course, but we do have the dates: 1-12 December. This is an international event and we hope to be able to have a limited number of grants available for students to use to travel to <a href="https://fediscience.org/tags/Canberra" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Canberra</span></a> . <a href="https://fediscience.org/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>logic</span></a></p>
petersuber<p>Today the editorial board of _Mathematical Logic Quarterly_ (pub'd by <a href="https://fediscience.org/tags/Wiley" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Wiley</span></a>) resigned and launched a new <a href="https://fediscience.org/tags/DiamondOA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>DiamondOA</span></a> journal on the same topics.<br><a href="https://open-access.network/services/news/artikel/ruecktritt-des-mlq-editorial-teams" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">open-access.network/services/n</span><span class="invisible">ews/artikel/ruecktritt-des-mlq-editorial-teams</span></a></p><p>See the open letter announcing their resignations and plans for the new journal.<br><a href="https://zml.international/files/zml-open-letter.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">zml.international/files/zml-op</span><span class="invisible">en-letter.pdf</span></a></p><p>The new journal has a German title but will publish in English, _Zeitschrift für Mathematische Logik und Grundlagen der Mathematik_.<br><a href="https://zml.international/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">zml.international/</span><span class="invisible"></span></a></p><p>I track these journal "declarations of independence" in the <a href="https://fediscience.org/tags/OpenAccessDirectory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OpenAccessDirectory</span></a> (<a href="https://fediscience.org/tags/OAD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OAD</span></a>), and just added an entry for this one, at the bottom in chronological order. <br><a href="https://oad.simmons.edu/oadwiki/Journal_declarations_of_independence#2025" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oad.simmons.edu/oadwiki/Journa</span><span class="invisible">l_declarations_of_independence#2025</span></a> </p><p>I also track them — and discussions of them — in the Open Access Tracking Project (<a href="https://fediscience.org/tags/OATP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OATP</span></a>, <span class="h-card" translate="no"><a href="https://fediscience.org/@oatp" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>oatp</span></a></span>). <br><a href="http://tagteam.harvard.edu/hubs/oatp/tag/oa.declarations_of_independence" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">http://</span><span class="ellipsis">tagteam.harvard.edu/hubs/oatp/</span><span class="invisible">tag/oa.declarations_of_independence</span></a></p><p><a href="https://fediscience.org/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</span></a> <a href="https://fediscience.org/tags/Mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mathematics</span></a> <a href="https://fediscience.org/tags/OpenAccess" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OpenAccess</span></a> <a href="https://fediscience.org/tags/ScholComm" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ScholComm</span></a></p>
Rowan Brad Quni<p><span class="h-card" translate="no"><a href="https://mastodon.world/@paninid" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>paninid</span></a></span> fast forward to the present and scientists who barely study <a href="https://mstdn.science/tags/philosophy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>philosophy</span></a> label <a href="https://mstdn.science/tags/metaphysics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>metaphysics</span></a> as <a href="https://mstdn.science/tags/pseudoscience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>pseudoscience</span></a> (forgetting what <a href="https://mstdn.science/tags/PhD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PhD</span></a> means), torment <a href="https://mstdn.science/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>logic</span></a> for the benefit of "elegant" <a href="https://mstdn.science/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> equations (e.g. antimatter, dark <a href="https://mstdn.science/tags/matter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>matter</span></a>), and design <a href="https://mstdn.science/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://mstdn.science/tags/systems" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>systems</span></a> that weaponize <a href="https://mstdn.science/tags/ethics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ethics</span></a> as justification for <a href="https://mstdn.science/tags/information" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>information</span></a> <a href="https://mstdn.science/tags/censorship" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>censorship</span></a> (<a href="https://mstdn.science/tags/ChatGPT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ChatGPT</span></a> "knows" but refuses to answer how to a hot wire a car or commit murder while claiming no <a href="https://mstdn.science/tags/opinion" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>opinion</span></a>, ignorant that words and actions are different)</p>
Coach Pāṇini ®<p><a href="https://mastodon.world/tags/Aristotle" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Aristotle</span></a> named five interlinked Noble Sciences which together make up <a href="https://mastodon.world/tags/Philosophy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Philosophy</span></a>. </p><p>- <a href="https://mastodon.world/tags/Metaphysics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Metaphysics</span></a>: the study of existence, the nature of the universe and all its contents</p><p>- <a href="https://mastodon.world/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</span></a>: the ways we may know something, the set of permissible conclusions we may draw based on our perceptions, and some sensible rules of deduction and inference</p><p>- <a href="https://mastodon.world/tags/Ethics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Ethics</span></a>: what we know about man and what we may deduce and infer (through Logic) about acceptable interactions between pairs of individuals</p><p>1/2</p>
Metin Seven 🎨<p>“𝙳𝚎𝚎𝚙 𝚒𝚗 𝚝𝚑𝚎 𝚑𝚞𝚖𝚊𝚗 𝚞𝚗𝚌𝚘𝚗𝚜𝚌𝚒𝚘𝚞𝚜 𝚒𝚜 𝚊 𝚙𝚎𝚛𝚟𝚊𝚜𝚒𝚟𝚎 𝚗𝚎𝚎𝚍 𝚏𝚘𝚛 𝚊 𝚕𝚘𝚐𝚒𝚌𝚊𝚕 𝚞𝚗𝚒𝚟𝚎𝚛𝚜𝚎 𝚝𝚑𝚊𝚝 𝚖𝚊𝚔𝚎𝚜 𝚜𝚎𝚗𝚜𝚎. 𝙱𝚞𝚝 𝚝𝚑𝚎 𝚛𝚎𝚊𝚕 𝚞𝚗𝚒𝚟𝚎𝚛𝚜𝚎 𝚒𝚜 𝚊𝚕𝚠𝚊𝚢𝚜 𝚘𝚗𝚎 𝚜𝚝𝚎𝚙 𝚋𝚎𝚢𝚘𝚗𝚍 𝚕𝚘𝚐𝚒𝚌.”</p><p>― 𝘍𝘳𝘢𝘯𝘬 𝘏𝘦𝘳𝘣𝘦𝘳𝘵, 𝘋𝘶𝘯𝘦</p><p><a href="https://graphics.social/tags/quote" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>quote</span></a> <a href="https://graphics.social/tags/quotes" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>quotes</span></a> <a href="https://graphics.social/tags/thoughts" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>thoughts</span></a> <a href="https://graphics.social/tags/philosophy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>philosophy</span></a> <a href="https://graphics.social/tags/wisdom" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>wisdom</span></a> <a href="https://graphics.social/tags/dune" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>dune</span></a> <a href="https://graphics.social/tags/universe" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>universe</span></a> <a href="https://graphics.social/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>logic</span></a> <a href="https://graphics.social/tags/human" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>human</span></a> <a href="https://graphics.social/tags/humans" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>humans</span></a> <a href="https://graphics.social/tags/humanity" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>humanity</span></a></p>
Michael Hansen<p>Are there any other <a href="https://social.vivaldi.net/tags/accessible" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>accessible</span></a> audio and <a href="https://social.vivaldi.net/tags/music" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>music</span></a> apps for IPhone and IPad besides ableton, garageband, logic and tape it?<br><a href="https://social.vivaldi.net/tags/accessible" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>accessible</span></a> <a href="https://social.vivaldi.net/tags/accessibility" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>accessibility</span></a> <a href="https://social.vivaldi.net/tags/ableton" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ableton</span></a> <a href="https://social.vivaldi.net/tags/audio" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>audio</span></a> <a href="https://social.vivaldi.net/tags/blind" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>blind</span></a> <a href="https://social.vivaldi.net/tags/garageband" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>garageband</span></a> <a href="https://social.vivaldi.net/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>logic</span></a> <a href="https://social.vivaldi.net/tags/music" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>music</span></a> <a href="https://social.vivaldi.net/tags/recording" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>recording</span></a></p>
ExploreLive feeds
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.
Create accountLoginDrag & drop to upload