our first defed was apparently for "mapmisia"

<p>Excited to have <span class="h-card" translate="no"><a href="https://mastodon.social/@shriramk" class="u-url mention">@<span>shriramk</span></a></span> in CU Boulder&#39;s CS Dept Colloquium (in-person &amp; online) April 23, 2024! Presenting on the Human Factors of Formal Methods.</p><p><a href="https://calendar.colorado.edu/event/cs-colloquium-shriram-krishnamurthi-on-the-human-factors-of-formal-methods" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">calendar.colorado.edu/event/cs</span><span class="invisible">-colloquium-shriram-krishnamurthi-on-the-human-factors-of-formal-methods</span></a></p><p><a href="https://mathstodon.xyz/tags/FormalMethods" class="mention hashtag" rel="tag">#<span>FormalMethods</span></a></p>

<p><span class="h-card" translate="no"><a href="https://mastodon.online/@danirabbit" class="u-url mention">@<span>danirabbit</span></a></span> I was taken on a mission trip to Uganda IN 2012 during that campaign lol</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.online/@danirabbit" class="u-url mention">@<span>danirabbit</span></a></span> <br />Barely? I think I recognize the token but having trouble pulling any data? A leader of some sort of military movement somewhere? ...africa?That&#39;s what I got. Now I&#39;ll look it up.</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@film_girl" class="u-url mention">@<span>film_girl</span></a></span> why do I suddenly feel old after reading the blog post?</p>

<p>Also happy 20th anniversary to Gmail. The only good April Fool’s joke. Thanks <span class="h-card" translate="no"><a href="https://inuh.net/@bradfitz" class="u-url mention">@<span>bradfitz</span></a></span> for the invite back in the day.</p>

<p>This is the worst day of the year but this one kinda gagged me. <a href="https://googelblog.com/products/registry/execute-your-best-ideas-with-google-registry-exe-domain/#" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">googelblog.com/products/regist</span><span class="invisible">ry/execute-your-best-ideas-with-google-registry-exe-domain/#</span></a></p>

<p><span class="h-card" translate="no"><a href="https://fosstodon.org/@kev" class="u-url mention">@<span>kev</span></a></span> I replied 👋🏻. Clearly, it didn&#39;t get to you, for whatever reason. But as it seems like I was the only one, go ahead and pull the plug.</p>

<p>Hey does anybody else remember Kony 2012 lmao</p>