mastodon.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
The original server operated by the Mastodon gGmbH non-profit

Administered by:

Server stats:

356K
active users
Tariq<p>&quot; 𝗠𝗮𝘁𝗵𝘀 𝗣𝗿𝗼𝗼𝗳𝘀 𝗶𝗻 𝗟𝗲𝗮𝗻 - 𝗙𝗶𝗿𝘀𝘁 𝗦𝘁𝗲𝗽𝘀 &quot; 🚀</p><p>Designed specifically for beginners struggling to get started with other courses and guides.</p><p>* Simple bite-sized examples.<br />* Focus on concepts, introduced gradually.<br />* One easy exercise per chapter.</p><p>.. all to build confidence, not demolish it !</p><p><a href="https://www.amazon.com/dp/B0DWHS1RDJ" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://www.</span><span class="">amazon.com/dp/B0DWHS1RDJ</span><span class="invisible"></span></a></p><p><a href="https://mastodon.social/tags/maths" class="mention hashtag" rel="tag">#<span>maths</span></a> <a href="https://mastodon.social/tags/lean" class="mention hashtag" rel="tag">#<span>lean</span></a> <a href="https://mastodon.social/tags/mathlib" class="mention hashtag" rel="tag">#<span>mathlib</span></a> <a href="https://mastodon.social/tags/lean4" class="mention hashtag" rel="tag">#<span>lean4</span></a></p>
Tariq<p>&quot;I&#39;m just 10. &quot;</p><p>This was before Oct 7.</p><p>It&#39;s been going on for 75 f**ing years.</p><p><a href="https://www.youtube.com/watch?v=c4CnoqvI_bQ" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://www.</span><span class="">youtube.com/watch?v=c4CnoqvI_bQ</span><span class="invisible"></span></a></p>
Tariq<p>Argentine Tango - a thread.</p><p>.. about the dance, the music, the culture around it, and a bit of history too.</p><p>(caveat - i&#39;m no expert, just an enthusiast)</p><p>Let&#39;s start with a fun taster - a dance to one of the 3 main genres of music within tango culture - the milonga - we&#39;ll talk more about it later.</p><p>Enjoy it - but if you do want to watch more carefully, notice the most important element of tango - connection!</p><p><a href="https://www.youtube.com/watch?v=YFyTwSoAjyI" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://www.</span><span class="">youtube.com/watch?v=YFyTwSoAjyI</span><span class="invisible"></span></a></p><p><a href="https://mastodon.social/tags/tango" class="mention hashtag" rel="tag">#<span>tango</span></a> <a href="https://mastodon.social/tags/argentinetango" class="mention hashtag" rel="tag">#<span>argentinetango</span></a> <a href="https://mastodon.social/tags/dance" class="mention hashtag" rel="tag">#<span>dance</span></a> <a href="https://mastodon.social/tags/music" class="mention hashtag" rel="tag">#<span>music</span></a></p>
Tariq<p>If you struggled with the traditional <a href="https://mastodon.social/tags/Prolog" class="mention hashtag" rel="tag">#<span>Prolog</span></a> textbooks .. this short course was developed just for you.</p><p>✅ Develop understanding through hands-on bite-size examples.</p><p>✅ Example code is minimal to avoid distraction.</p><p>✅ Talk through how new ideas work, step-by-step.</p><p>✅ Avoid terminology and jargon if it is likely to hinder more than help.</p><p>YouTube: <a href="https://www.youtube.com/@prologbyexample/videos" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">youtube.com/@prologbyexample/v</span><span class="invisible">ideos</span></a></p><p>Web: <a href="https://prologbyexample.blogspot.com/p/toc.html" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">prologbyexample.blogspot.com/p</span><span class="invisible">/toc.html</span></a></p><p>GitHub: <a href="https://github.com/prologbyexample/code" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="">github.com/prologbyexample/code</span><span class="invisible"></span></a></p><p>Book: <a href="https://www.amazon.com/dp/B0BTQ7P69H/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://www.</span><span class="">amazon.com/dp/B0BTQ7P69H/</span><span class="invisible"></span></a></p><p><a href="https://mastodon.social/tags/AI" class="mention hashtag" rel="tag">#<span>AI</span></a> <a href="https://mastodon.social/tags/logic" class="mention hashtag" rel="tag">#<span>logic</span></a> <a href="https://mastodon.social/tags/metaprogramming" class="mention hashtag" rel="tag">#<span>metaprogramming</span></a></p>
Tariq<p>The 2nd Edition of &quot;Make Your Own Mandelbrot&quot; is out!</p><p>✅ updated to <a href="https://mastodon.social/tags/Python" class="mention hashtag" rel="tag">#<span>Python</span></a> 3<br />✅ <a href="https://mastodon.social/tags/fractals" class="mention hashtag" rel="tag">#<span>fractals</span></a> → easy <a href="https://mastodon.social/tags/maths" class="mention hashtag" rel="tag">#<span>maths</span></a> → DIY <a href="https://mastodon.social/tags/python" class="mention hashtag" rel="tag">#<span>python</span></a><br />✅ expts in filters, 3d landscapes<br />✅ new chapter on Distance Estimation Methods for very detailed renders (see cover image)<br />✅ all code <a href="https://mastodon.social/tags/opensource" class="mention hashtag" rel="tag">#<span>opensource</span></a> on GitHub </p><p><a href="https://amazon.com/dp/B0CQS8JYJC" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="">amazon.com/dp/B0CQS8JYJC</span><span class="invisible"></span></a></p>
Tariq<p>that&#39;s definitely not a &quot;butterfly keyboard&quot;</p>
Tariq<p>Apple is now selling the Lumon Terminal Pro.</p><p><a href="https://www.apple.com/mac/lumon-terminal-pro/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">apple.com/mac/lumon-terminal-p</span><span class="invisible">ro/</span></a></p><p><a href="https://mastodon.social/tags/severance" class="mention hashtag" rel="tag">#<span>severance</span></a> <a href="https://mastodon.social/tags/apple" class="mention hashtag" rel="tag">#<span>apple</span></a></p>
Tariq<p><a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="tag">#<span>haskell</span></a> beginner here.</p><p>Is there a &quot;natural number&quot; type so I can use Nat and not Int which is technically incorrect (based on a textbook example)</p><p>myrep :: Int -&gt; b -&gt; [b]<br />myrep 1 x = [x]<br />myrep n x = x : myrep (n - 1) x</p>
Tariq<p><a href="https://mastodon.social/tags/Iran" class="mention hashtag" rel="tag">#<span>Iran</span></a> releases 85 second video of underground facility. </p><p><a href="https://www.youtube.com/watch?v=v_vPw69VjdI" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://www.</span><span class="">youtube.com/watch?v=v_vPw69VjdI</span><span class="invisible"></span></a></p>
Jess👾<p>So, we're to the literally masked thugs black bagging people in the street in broad daylight stage of fascism. Good to know.</p><p><a href="https://youtu.be/PuFIs7OkzYY?feature=shared" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">youtu.be/PuFIs7OkzYY?feature=s</span><span class="invisible">hared</span></a></p><p><a href="https://bsky.app/profile/paleofuture.bsky.social/post/3llayvzabtk23" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">bsky.app/profile/paleofuture.b</span><span class="invisible">sky.social/post/3llayvzabtk23</span></a></p><p>Edit: Video shows multiple people in black jackets and hoodies and face masks approaching a Turkish woman in a headscarf on the street, arguing with her briefly, then cuffing her and leading her away to their SUV.</p><p>BlueSky skeet is a statement from Tufts University confirming that one of their graduate students was detained by immigration authorities and her lawyer can not get in contact with her.</p>
Tariq<p>On Tyranny.<br />-------------------</p><p>“Whosoever of you sees an evil,<br />let him change it with his hand;</p><p>and if he is not able to do so,<br />then [let him change it] with his tongue;</p><p>and if he is not able to do so, then with his heart [..]”</p><p><a href="https://mastodon.social/tags/gaza" class="mention hashtag" rel="tag">#<span>gaza</span></a> <a href="https://mastodon.social/tags/palestine" class="mention hashtag" rel="tag">#<span>palestine</span></a> <a href="https://mastodon.social/tags/genocide" class="mention hashtag" rel="tag">#<span>genocide</span></a> <a href="https://mastodon.social/tags/uspol" class="mention hashtag" rel="tag">#<span>uspol</span></a> <a href="https://mastodon.social/tags/warcrimes" class="mention hashtag" rel="tag">#<span>warcrimes</span></a></p>
Arbella Bet-Shlimon<p>As always in <a href="https://spore.social/tags/uspol" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>uspol</span></a>, what’s controversial here is not that an American bomb leveled an entire apartment building in <a href="https://spore.social/tags/Yemen" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Yemen</span></a> killing 53 people (both Republicans and Democrats believe such operations are permissible), only that the plans to do so were discussed on an unsecured chat <a href="https://spore.social/tags/signal" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>signal</span></a> <a href="https://spore.social/tags/signalgate" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>signalgate</span></a></p>
Tariq<p>&quot;Fighting age male of middle-east appearance&quot; caught in the act.</p><p><a href="https://mastodon.social/tags/uspol" class="mention hashtag" rel="tag">#<span>uspol</span></a> <a href="https://mastodon.social/tags/ukpol" class="mention hashtag" rel="tag">#<span>ukpol</span></a> <a href="https://mastodon.social/tags/satire" class="mention hashtag" rel="tag">#<span>satire</span></a></p>
Mihai Martoiu Ticu<p>Just another day under occupation.<br /><a href="https://archive.ph/DqCgf" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="">archive.ph/DqCgf</span><span class="invisible"></span></a></p>
Tariq<p>Good to see an exhibition against colonialism, apartheid and genocide in <a href="https://mastodon.social/tags/Cornwall" class="mention hashtag" rel="tag">#<span>Cornwall</span></a> today.</p><p>It is a small organisation that organises as much as it can on a tiny budget.</p><p>That makes their effort even more special.</p><p><a href="https://mastodon.social/tags/art" class="mention hashtag" rel="tag">#<span>art</span></a> <a href="https://mastodon.social/tags/palestine" class="mention hashtag" rel="tag">#<span>palestine</span></a> <a href="https://mastodon.social/tags/ukpol" class="mention hashtag" rel="tag">#<span>ukpol</span></a> <a href="https://mastodon.social/tags/genocide" class="mention hashtag" rel="tag">#<span>genocide</span></a></p>
abadidea<p>an ominous I-am-under-NDA-coded warning to immediately uninstall atop has been posted by a reputable tech blogger. <a href="https://rachelbythebay.com/w/2025/03/25/atop/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">rachelbythebay.com/w/2025/03/2</span><span class="invisible">5/atop/</span></a></p>
Council Estate Media<p>Israel is gunning down children with Apache helicopters.</p><p>You read that right...</p><p><a href="https://www.councilestatemedia.uk/p/israel-is-gunning-down-children-with" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">councilestatemedia.uk/p/israel</span><span class="invisible">-is-gunning-down-children-with</span></a></p>
Aaron Reuland<p>Playing with text as texture. Text as pixels almost.</p><p><a href="https://mstdn.social/tags/creativeCoding" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>creativeCoding</span></a> <a href="https://mstdn.social/tags/poetry" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>poetry</span></a> <a href="https://mstdn.social/tags/algorithmicart" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>algorithmicart</span></a> <a href="https://mstdn.social/tags/p5js" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>p5js</span></a> <a href="https://mstdn.social/tags/javascript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>javascript</span></a></p>
screwlisp<p><a href="https://archives.anonradio.net/202503260000_screwtape.mp3" rel="nofollow noopener" target="_blank"><span class="invisible">https://</span><span class="ellipsis">archives.anonradio.net/2025032</span><span class="invisible">60000_screwtape.mp3</span></a> <a href="https://mastodon.sdf.org/tags/archive" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>archive</span></a><br><a href="https://mastodon.sdf.org/tags/LispyGopherClimate" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LispyGopherClimate</span></a> <a href="https://mastodon.sdf.org/tags/weekly" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>weekly</span></a> <a href="https://mastodon.sdf.org/tags/technology" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>technology</span></a> <a href="https://mastodon.sdf.org/tags/podcast" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>podcast</span></a> <br>- <a href="https://mastodon.sdf.org/tags/climateCrisis" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>climateCrisis</span></a> <a href="https://mastodon.sdf.org/tags/haiku" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>haiku</span></a> by <span class="h-card"><a href="https://climatejustice.social/@kentpitman" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>kentpitman</span></a></span><br>- Kent vs billionaires' <a href="https://mastodon.sdf.org/tags/welfare" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>welfare</span></a> payments<br><a href="https://netsettlement.blogspot.com/" rel="nofollow noopener" target="_blank"><span class="invisible">https://</span><span class="">netsettlement.blogspot.com/</span><span class="invisible"></span></a><br>- "Shark restaurant" a simple, original sanity test of 32B high performance <a href="https://mastodon.sdf.org/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a><br><a href="https://codeberg.org/tfw/shark-restaurant-ai-sanity-test/src/branch/master/sanity-test.lisp" rel="nofollow noopener" target="_blank"><span class="invisible">https://</span><span class="ellipsis">codeberg.org/tfw/shark-restaur</span><span class="invisible">ant-ai-sanity-test/src/branch/master/sanity-test.lisp</span></a><br>- My own <a href="https://mastodon.sdf.org/tags/commonLisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>commonLisp</span></a> <a href="https://mastodon.sdf.org/tags/gamedev" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>gamedev</span></a> <a href="https://mastodon.sdf.org/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> trajectory, upsides and downsides.<br>- More short live-action <a href="https://mastodon.sdf.org/tags/McCLIM" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>McCLIM</span></a> video requests noted.<br><a href="https://toobnix.org/w/qAnmJAKv1mhuwem7jJ1cJz" rel="nofollow noopener" target="_blank"><span class="invisible">https://</span><span class="ellipsis">toobnix.org/w/qAnmJAKv1mhuwem7</span><span class="invisible">jJ1cJz</span></a><br>- More lisp history from <span class="h-card"><a href="https://mastodon.social/@symbolics" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>symbolics</span></a></span> <span class="h-card"><a href="https://mastodon.social/@rzeta0" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>rzeta0</span></a></span></p>
Tariq<p>just started learning <a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="tag">#<span>haskell</span></a> </p><p>the exercise wants us to return undefined for divisor zero</p><p>divTuple :: (Eq a, Fractional a) =&gt; (a, a) -&gt; a<br />divTuple (x, y) <br /> | y == 0 = undefined<br /> | otherwise = x / y</p><p>but when I run it, I seem to get an &quot;crash&quot; rather than a value of type undefined:</p><p>ghci&gt; divTuple (4,0)<br />*** Exception: Prelude.undefined<br />CallStack (from HasCallStack):<br /> undefined, called at 04-syntax-in-functions.hs:21:16 in main:Main</p><p>is this right?</p>
Tansy Hoskins 🍉 🍉<p>Went to a Tax The Rich protest tonight ahead of the Spring budget tomorrow. </p><p>The budget looks set to slash more public services, and give corporate handouts while attacking the poorest people in Britain.</p><p>The figure that stuck with me: Last year the collective wealth of UK billionaires increased by £35 million EVERY FECKING DAY!</p><p>What a disgusting system we are living under.</p><p>[Source: Oxfam]</p>
DB 🌱💦<p>Stuart Humphryes, @official_babelcolour, cleaned &amp; enhanced this autochrome taken at the first Paris Air Show, at the Grand Palais, by Léon Gimpel, on September 30th, 1909, less than 6 years after the Wright Brothers' first successful flight. </p><p>This is the autochrome's original colour, and has not been not colourised. </p><p><a href="https://mstdn.ca/tags/Autochrome" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Autochrome</span></a> <a href="https://mstdn.ca/tags/Photography" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Photography</span></a> <a href="https://mstdn.ca/tags/Paris" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Paris</span></a> <a href="https://mstdn.ca/tags/ColourPhotography" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ColourPhotography</span></a> <a href="https://mstdn.ca/tags/AirShow" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AirShow</span></a> <a href="https://mstdn.ca/tags/History" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>History</span></a></p>
David Amos<p>Really enjoying Ghost’s new ActivityPub feature by <span class="h-card" translate="no"><a href="https://activitypub.ghost.org/" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>index@activitypub.ghost.org</span></a></span>.</p><p>It’s been a while since something genuinely felt like the future of the web, and this really does. As more features come online, I might even make that my primary social web account.</p><p>Think about that. My blog could be the medium through which I interact with the rest of the web!</p><p>If you want to get a head start, you can already follow my blog <span class="h-card" translate="no"><a href="https://thoughtcicles.xyz/" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>index@thoughtcicles.xyz</span></a></span>. I’ll post more about this, soon.</p>
Tariq<p>full hearing</p><p><a href="https://www.youtube.com/watch?v=Q6wnliPbXv8" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://www.</span><span class="">youtube.com/watch?v=Q6wnliPbXv8</span><span class="invisible"></span></a></p>
Denny Vrandečić<p>Today is the 30th anniversary of the&nbsp;launch of the first wiki&nbsp;by&nbsp;Ward Cunningham. A page that anyone could edit. Right from the browser. It was generally seen as a bad idea. What if people did bad things?</p><p>Originally to support the software development community in creating a repository of software design patterns, wikis were later used for many other goals (even an&nbsp;encyclopedia!), and became part of Web 2.0, together with blogs, fora and social media.</p><p>Thank you, <span class="h-card" translate="no"><a href="https://mastodon.radio/@k9ox" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>k9ox</span></a></span> </p><p><a href="https://wikiindex.org/w/30th_WikiBirthday#WikiBirthdayCars" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">wikiindex.org/w/30th_WikiBirth</span><span class="invisible">day#WikiBirthdayCars</span></a></p>