AllQuakes - EMSC<p>🔔<a href="https://masto.ai/tags/Earthquake" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Earthquake</span></a> (<a href="https://masto.ai/tags/gempa" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>gempa</span></a>) M2.9 strikes 185 km W of <a href="https://masto.ai/tags/Mas" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mas</span></a> (<a href="https://masto.ai/tags/Indonesia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Indonesia</span></a>) 21 min ago. More info: <a href="https://m.emsc.eu/?id=1782754" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">m.emsc.eu/?id=1782754</span><span class="invisible"></span></a></p>
Recent searches
No recent searches
Search options
Only available when logged in.
mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!
Administered by:
Server stats:
3.2Kactive users
mathstodon.xyz: About · Status · Profiles directory · Privacy policy
Mastodon: About · Get the app · Keyboard shortcuts · View source code · v4.3.6
#mas
5 posts · 5 participants · 1 post today
AllQuakes - EMSC<p>🔔<a href="https://masto.ai/tags/Earthquake" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Earthquake</span></a> (<a href="https://masto.ai/tags/gempa" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>gempa</span></a>) M2.9 strikes 176 km W of <a href="https://masto.ai/tags/Mas" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mas</span></a> (<a href="https://masto.ai/tags/Indonesia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Indonesia</span></a>) 15 min ago. More info: <a href="https://m.emsc.eu/?id=1782386" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">m.emsc.eu/?id=1782386</span><span class="invisible"></span></a></p>
José A. Alonso<p>Readings shared March 11, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/03/11-readings_shared_03-11-25" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/03/11-readings_shared_03-11-25</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="tag">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="tag">#<span>ATP</span></a> <a href="https://mathstodon.xyz/tags/Emacs" class="mention hashtag" rel="tag">#<span>Emacs</span></a> <a href="https://mathstodon.xyz/tags/FormalVerification" class="mention hashtag" rel="tag">#<span>FormalVerification</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="tag">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="tag">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="tag">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/Jape" class="mention hashtag" rel="tag">#<span>Jape</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="tag">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="tag">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="tag">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="tag">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/MAS" class="mention hashtag" rel="tag">#<span>MAS</span></a> <a href="https://mathstodon.xyz/tags/Mace" class="mention hashtag" rel="tag">#<span>Mace</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="tag">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Otter" class="mention hashtag" rel="tag">#<span>Otter</span></a> <a href="https://mathstodon.xyz/tags/PVS" class="mention hashtag" rel="tag">#<span>PVS</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="tag">#<span>Prolog</span></a> <a href="https://mathstodon.xyz/tags/SMLs" class="mention hashtag" rel="tag">#<span>SMLs</span></a> <a href="https://mathstodon.xyz/tags/SMT" class="mention hashtag" rel="tag">#<span>SMT</span></a> <a href="https://mathstodon.xyz/tags/Scala" class="mention hashtag" rel="tag">#<span>Scala</span></a> <a href="https://mathstodon.xyz/tags/Z3" class="mention hashtag" rel="tag">#<span>Z3</span></a></p>
José A. Alonso<p>Can proof assistants verify multi-agent systems? ~ Julian Alfredo Mendez, Timotheus Kampik. <a href="https://arxiv.org/abs/2503.06812" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="">arxiv.org/abs/2503.06812</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/MAS" class="mention hashtag" rel="tag">#<span>MAS</span></a> <a href="https://mathstodon.xyz/tags/FormalVerification" class="mention hashtag" rel="tag">#<span>FormalVerification</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="tag">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Scala" class="mention hashtag" rel="tag">#<span>Scala</span></a></p>
AllQuakes - EMSC<p>🔔<a href="https://masto.ai/tags/Earthquake" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Earthquake</span></a> (<a href="https://masto.ai/tags/gempa" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>gempa</span></a>) M2.9 strikes 137 km NE of <a href="https://masto.ai/tags/Mas" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mas</span></a> (<a href="https://masto.ai/tags/Indonesia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Indonesia</span></a>) 14 min ago. More info: <a href="https://m.emsc.eu/?id=1781231" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">m.emsc.eu/?id=1781231</span><span class="invisible"></span></a></p>
AllQuakes - EMSC<p>🔔<a href="https://masto.ai/tags/Earthquake" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Earthquake</span></a> (<a href="https://masto.ai/tags/gempa" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>gempa</span></a>) M3.8 strikes 181 km W of <a href="https://masto.ai/tags/Mas" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mas</span></a> (<a href="https://masto.ai/tags/Indonesia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Indonesia</span></a>) 11 min ago. More info: <a href="https://m.emsc.eu/?id=1779972" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">m.emsc.eu/?id=1779972</span><span class="invisible"></span></a></p>
AllQuakes - EMSC<p>🔔<a href="https://masto.ai/tags/Earthquake" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Earthquake</span></a> (<a href="https://masto.ai/tags/gempa" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>gempa</span></a>) M2.6 strikes 147 km NE of <a href="https://masto.ai/tags/Mas" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mas</span></a> (<a href="https://masto.ai/tags/Indonesia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Indonesia</span></a>) 17 min ago. More info: <a href="https://m.emsc.eu/?id=1779761" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">m.emsc.eu/?id=1779761</span><span class="invisible"></span></a></p>
AllQuakes - EMSC<p>🔔<a href="https://masto.ai/tags/Earthquake" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Earthquake</span></a> (<a href="https://masto.ai/tags/gempa" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>gempa</span></a>) M4.6 strikes 183 km W of <a href="https://masto.ai/tags/Mas" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mas</span></a> (<a href="https://masto.ai/tags/Indonesia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Indonesia</span></a>) 52 min ago. More info: <a href="https://m.emsc.eu/?id=1779632" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">m.emsc.eu/?id=1779632</span><span class="invisible"></span></a></p>
AllQuakes - EMSC<p>🔔<a href="https://masto.ai/tags/Earthquake" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Earthquake</span></a> (<a href="https://masto.ai/tags/gempa" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>gempa</span></a>) M4.0 strikes 185 km W of <a href="https://masto.ai/tags/Mas" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mas</span></a> (<a href="https://masto.ai/tags/Indonesia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Indonesia</span></a>) 7 min ago. More info: <a href="https://m.emsc.eu/?id=1778537" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">m.emsc.eu/?id=1778537</span><span class="invisible"></span></a></p>
AllQuakes - EMSC<p>🔔<a href="https://masto.ai/tags/Earthquake" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Earthquake</span></a> (<a href="https://masto.ai/tags/gempa" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>gempa</span></a>) M3.0 strikes 156 km NE of <a href="https://masto.ai/tags/Mas" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mas</span></a> (<a href="https://masto.ai/tags/Indonesia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Indonesia</span></a>) 9 min ago. More info: <a href="https://m.emsc.eu/?id=1778393" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">m.emsc.eu/?id=1778393</span><span class="invisible"></span></a></p>
AllQuakes - EMSC<p>🔔<a href="https://masto.ai/tags/Earthquake" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Earthquake</span></a> (<a href="https://masto.ai/tags/gempa" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>gempa</span></a>) M3.7 strikes 192 km W of <a href="https://masto.ai/tags/Mas" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mas</span></a> (<a href="https://masto.ai/tags/Indonesia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Indonesia</span></a>) 8 min ago. More info: <a href="https://m.emsc.eu/?id=1777311" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">m.emsc.eu/?id=1777311</span><span class="invisible"></span></a></p>
AllQuakes - EMSC<p>🔔<a href="https://masto.ai/tags/Earthquake" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Earthquake</span></a> (<a href="https://masto.ai/tags/gempa" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>gempa</span></a>) M3.2 strikes 181 km W of <a href="https://masto.ai/tags/Mas" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mas</span></a> (<a href="https://masto.ai/tags/Indonesia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Indonesia</span></a>) 9 min ago. More info: <a href="https://m.emsc.eu/?id=1775226" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">m.emsc.eu/?id=1775226</span><span class="invisible"></span></a></p>
AllQuakes - EMSC<p>🔔<a href="https://masto.ai/tags/Earthquake" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Earthquake</span></a> (<a href="https://masto.ai/tags/gempa" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>gempa</span></a>) M3.6 strikes 181 km W of <a href="https://masto.ai/tags/Mas" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mas</span></a> (<a href="https://masto.ai/tags/Indonesia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Indonesia</span></a>) 8 min ago. More info: <a href="https://m.emsc.eu/?id=1774702" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">m.emsc.eu/?id=1774702</span><span class="invisible"></span></a></p>
AllQuakes - EMSC<p>🔔<a href="https://masto.ai/tags/Earthquake" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Earthquake</span></a> (<a href="https://masto.ai/tags/gempa" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>gempa</span></a>) M3.0 strikes 182 km W of <a href="https://masto.ai/tags/Mas" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mas</span></a> (<a href="https://masto.ai/tags/Indonesia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Indonesia</span></a>) 25 min ago. More info: <a href="https://m.emsc.eu/?id=1774570" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">m.emsc.eu/?id=1774570</span><span class="invisible"></span></a></p>
AllQuakes - EMSC<p>🔔<a href="https://masto.ai/tags/Earthquake" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Earthquake</span></a> (<a href="https://masto.ai/tags/gempa" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>gempa</span></a>) M3.3 strikes 183 km W of <a href="https://masto.ai/tags/Mas" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mas</span></a> (<a href="https://masto.ai/tags/Indonesia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Indonesia</span></a>) 9 min ago. More info: <a href="https://m.emsc.eu/?id=1774464" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">m.emsc.eu/?id=1774464</span><span class="invisible"></span></a></p>
AllQuakes - EMSC<p>🔔<a href="https://masto.ai/tags/Earthquake" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Earthquake</span></a> (<a href="https://masto.ai/tags/gempa" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>gempa</span></a>) M3.0 strikes 186 km W of <a href="https://masto.ai/tags/Mas" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mas</span></a> (<a href="https://masto.ai/tags/Indonesia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Indonesia</span></a>) 8 min ago. More info: <a href="https://m.emsc.eu/?id=1774462" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">m.emsc.eu/?id=1774462</span><span class="invisible"></span></a></p>
AllQuakes - EMSC<p>🔔<a href="https://masto.ai/tags/Earthquake" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Earthquake</span></a> (<a href="https://masto.ai/tags/gempa" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>gempa</span></a>) M3.1 strikes 176 km W of <a href="https://masto.ai/tags/Mas" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mas</span></a> (<a href="https://masto.ai/tags/Indonesia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Indonesia</span></a>) 19 min ago. More info: <a href="https://m.emsc.eu/?id=1774235" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">m.emsc.eu/?id=1774235</span><span class="invisible"></span></a></p>
AllQuakes - EMSC<p>🔔<a href="https://masto.ai/tags/Earthquake" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Earthquake</span></a> (<a href="https://masto.ai/tags/gempa" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>gempa</span></a>) M4.1 strikes 179 km W of <a href="https://masto.ai/tags/Mas" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mas</span></a> (<a href="https://masto.ai/tags/Indonesia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Indonesia</span></a>) 12 min ago. More info: <a href="https://m.emsc.eu/?id=1774216" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">m.emsc.eu/?id=1774216</span><span class="invisible"></span></a></p>
AllQuakes - EMSC<p>🔔<a href="https://masto.ai/tags/Earthquake" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Earthquake</span></a> (<a href="https://masto.ai/tags/gempa" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>gempa</span></a>) M3.3 strikes 177 km W of <a href="https://masto.ai/tags/Mas" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mas</span></a> (<a href="https://masto.ai/tags/Indonesia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Indonesia</span></a>) 15 min ago. More info: <a href="https://m.emsc.eu/?id=1774175" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">m.emsc.eu/?id=1774175</span><span class="invisible"></span></a></p>
AllQuakes - EMSC<p>🔔<a href="https://masto.ai/tags/Earthquake" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Earthquake</span></a> (<a href="https://masto.ai/tags/gempa" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>gempa</span></a>) M4.0 strikes 179 km W of <a href="https://masto.ai/tags/Mas" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mas</span></a> (<a href="https://masto.ai/tags/Indonesia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Indonesia</span></a>) 10 min ago. More info: <a href="https://m.emsc.eu/?id=1774099" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">m.emsc.eu/?id=1774099</span><span class="invisible"></span></a></p>
SearchLive 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