Keka<p>Keka v1.4.8 for <a href="https://techhub.social/tags/macOS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>macOS</span></a>💻 is out now!</p><p>VoiceOver enhancements 🗣️<br>Some bugs fixed bug🐞</p><p>What’s new? <a href="https://r.keka.io/?v=1.4.8" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">r.keka.io/?v=1.4.8</span><span class="invisible"></span></a> <br>Get it on <a href="https://download.keka.io" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">download.keka.io</span><span class="invisible"></span></a> </p><p><a href="https://techhub.social/tags/Apple" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Apple</span></a> <a href="https://techhub.social/tags/ARM" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ARM</span></a> <a href="https://techhub.social/tags/MAS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MAS</span></a> <a href="https://techhub.social/tags/apps" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>apps</span></a> </p><p>Thanks for the continued love and feedback to all users! ❤️</p><p>Special thanks in this update:</p><p>@chrisl64squares<br> <br>zephyr73 <br>@math65</p><p>Thanks to all the translators 🌍! In this update:</p><p>🇨🇳 <br>@_maxsky</p><p>🇮🇹 <br>@vinboisoft</p><p>🇫🇷 <br>@marccroteau<br> <br>🇷🇺 <br>@nitrodox<br> </p><p><a href="https://techhub.social/tags/app" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>app</span></a> <a href="https://techhub.social/tags/translation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>translation</span></a> <a href="https://techhub.social/tags/localization" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>localization</span></a></p>
Recent searches
No recent searches
Search options
Only available when logged in.
c.im is one of the many independent Mastodon servers you can use to participate in the fediverse.
C.IM is a general, mainly English-speaking Mastodon instance.
Administered by:
Server stats:
2.9Kactive users
c.im: About · Status · Profiles directory · Privacy policy
Mastodon: About · Get the app · Keyboard shortcuts · View source code · v4.3.6
#mas
6 posts · 5 participants · 0 posts today
Robsonlee<p>📈 Singapore's stock market sees a boost! MAS-led measures drive a 56% surge in shares traded & a 42% rise in market value to SGD 29.6B in Feb 2025. While institutional investments grow, retail investor trust must also be strengthened. 🏦💰 Read Ms. Kang Wan Chern's insights on trust-building in The Straits Times.</p><p>For more details click our linkedin post<br><a href="https://www.linkedin.com/feed/update/urn:li:activity:7310514487009189889/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">linkedin.com/feed/update/urn:l</span><span class="invisible">i:activity:7310514487009189889/</span></a></p><p><a href="https://mastodon.social/tags/Singapore" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Singapore</span></a> <a href="https://mastodon.social/tags/StockMarket" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>StockMarket</span></a> <a href="https://mastodon.social/tags/Investing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Investing</span></a> <a href="https://mastodon.social/tags/MAS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MAS</span></a> <a href="https://mastodon.social/tags/Finance" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Finance</span></a> <a href="https://mastodon.social/tags/RetailInvestors" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>RetailInvestors</span></a> <a href="https://mastodon.social/tags/SGX" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SGX</span></a></p>
LOVE NBA<p><a href="https://www.lovenba.com/1558641/" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://www.</span><span class="">lovenba.com/1558641/</span><span class="invisible"></span></a> NS Matrix Deers v Bishrelt Metal | Full Basketball Game | <a href="https://channels.im/tags/BCLASIA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>BCLASIA</span></a> – EAST 2025 #25.03.2025 <a href="https://channels.im/tags/Basketball" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Basketball</span></a> <a href="https://channels.im/tags/BasketballLiveStream" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>BasketballLiveStream</span></a> <a href="https://channels.im/tags/BasketballVideos" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>BasketballVideos</span></a> <a href="https://channels.im/tags/BCLAsiaEast" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>BCLAsiaEast</span></a> <a href="https://channels.im/tags/BCLAsiaEast2025" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>BCLAsiaEast2025</span></a> <a href="https://channels.im/tags/BishreltMetal" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>BishreltMetal</span></a> <a href="https://channels.im/tags/BishreltMetal" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>BishreltMetal</span></a>(MGL) <a href="https://channels.im/tags/ClubCompetition" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ClubCompetition</span></a> <a href="https://channels.im/tags/fiba" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fiba</span></a> <a href="https://channels.im/tags/FullGame" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FullGame</span></a> <a href="https://channels.im/tags/LIVE" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LIVE</span></a> <a href="https://channels.im/tags/livestream" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>livestream</span></a> <a href="https://channels.im/tags/Malaysia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Malaysia</span></a>(MAS) <a href="https://channels.im/tags/MAS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MAS</span></a> <a href="https://channels.im/tags/MGL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MGL</span></a> <a href="https://channels.im/tags/Mongolia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mongolia</span></a>(MGL) <a href="https://channels.im/tags/NSMatrixDeers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>NSMatrixDeers</span></a> <a href="https://channels.im/tags/NSMatrixDeers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>NSMatrixDeers</span></a>(MAS) <a href="https://channels.im/tags/NSMVBMT25" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>NSMVBMT25</span></a>.03.2025</p>
ButterWord<p>La organización apunta a más bitcoin con el stock 'Strife': ¿Cómo funciona? - Táctica (NASDAQ: MSTR) <a href="https://mastodon.social/tags/apunta" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>apunta</span></a> <a href="https://mastodon.social/tags/Bitcoin" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Bitcoin</span></a> <a href="https://mastodon.social/tags/como" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>como</span></a> <a href="https://mastodon.social/tags/con" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>con</span></a> <a href="https://mastodon.social/tags/Estrategia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Estrategia</span></a> <a href="https://mastodon.social/tags/funciona" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>funciona</span></a> <a href="https://mastodon.social/tags/m%C3%A1s" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>más</span></a> <a href="https://mastodon.social/tags/MSTR" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MSTR</span></a> <a href="https://mastodon.social/tags/NASDAQ" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>NASDAQ</span></a> <a href="https://mastodon.social/tags/stock" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>stock</span></a> <a href="https://mastodon.social/tags/Strife" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Strife</span></a> <a href="https://mastodon.social/tags/ButterWord" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ButterWord</span></a> <a href="https://mastodon.social/tags/Spanish_News" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Spanish_News</span></a> Comenta tu opinión 👇<br><a href="https://butterword.com/la-organizacion-apunta-a-mas-bitcoin-con-el-stock-strife-como-funciona-tactica-nasdaq-mstr/?feed_id=13682&_unique_id=67e2c03b348fc" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">butterword.com/la-organizacion</span><span class="invisible">-apunta-a-mas-bitcoin-con-el-stock-strife-como-funciona-tactica-nasdaq-mstr/?feed_id=13682&_unique_id=67e2c03b348fc</span></a></p>
ButterWord<p>Grados de arriendo de coaching de baloncesto universitario para hombres de Indiana, Texas, Minnesota, Iowa Jobs y más <a href="https://mastodon.social/tags/alquiler" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>alquiler</span></a> <a href="https://mastodon.social/tags/baloncesto" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>baloncesto</span></a> <a href="https://mastodon.social/tags/coaching" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>coaching</span></a> <a href="https://mastodon.social/tags/Grados" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Grados</span></a> <a href="https://mastodon.social/tags/hombres" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>hombres</span></a> <a href="https://mastodon.social/tags/Indiana" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Indiana</span></a> <a href="https://mastodon.social/tags/Iowa" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Iowa</span></a> <a href="https://mastodon.social/tags/Jobs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Jobs</span></a> <a href="https://mastodon.social/tags/m%C3%A1s" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>más</span></a> <a href="https://mastodon.social/tags/Minnesota" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Minnesota</span></a> <a href="https://mastodon.social/tags/para" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>para</span></a> <a href="https://mastodon.social/tags/Texas" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Texas</span></a> <a href="https://mastodon.social/tags/universitario" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>universitario</span></a> <a href="https://mastodon.social/tags/ButterWord" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ButterWord</span></a> <a href="https://mastodon.social/tags/Spanish_News" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Spanish_News</span></a> Comenta tu opinión 👇<br><a href="https://butterword.com/grados-de-arriendo-de-coaching-de-baloncesto-universitario-para-hombres-de-indiana-texas-minnesota-iowa-jobs-y-mas/?feed_id=13630&_unique_id=67e2ad74451f9" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">butterword.com/grados-de-arrie</span><span class="invisible">ndo-de-coaching-de-baloncesto-universitario-para-hombres-de-indiana-texas-minnesota-iowa-jobs-y-mas/?feed_id=13630&_unique_id=67e2ad74451f9</span></a></p>
Steve Koll<p>Tegels van het <a href="https://mastodon.social/tags/museum" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>museum</span></a> <a href="https://mastodon.social/tags/MAS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MAS</span></a> in <a href="https://mastodon.social/tags/Antwerpen" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Antwerpen</span></a> blijven niet goed plakken.</p><p>Het probleem is niet in een handomdraai opgelost.</p><p><a href="https://www.demorgen.be/nieuws/antwerpen-riskeert-miljoenenfactuur-tegels-van-het-mas-vormen-ernstig-veiligheidsrisico-bij-stormweer~b93ba3a5/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">demorgen.be/nieuws/antwerpen-r</span><span class="invisible">iskeert-miljoenenfactuur-tegels-van-het-mas-vormen-ernstig-veiligheidsrisico-bij-stormweer~b93ba3a5/</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.7 strikes 48 km E 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>) 18 min ago. More info: <a href="https://m.emsc.eu/?id=1785648" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">m.emsc.eu/?id=1785648</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.7 strikes 135 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>) 25 min ago. More info: <a href="https://m.emsc.eu/?id=1785249" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">m.emsc.eu/?id=1785249</span><span class="invisible"></span></a></p>
techUpdate.io<p>5 Profi-Tipps für Homebrew auf dem Mac</p><p><a href="https://techupdate.io/apple/5-profi-tipps-fuer-homebrew-auf-dem-mac/50223/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">techupdate.io/apple/5-profi-ti</span><span class="invisible">pps-fuer-homebrew-auf-dem-mac/50223/</span></a></p><p><a href="https://mastodon.social/tags/macos" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>macos</span></a> <a href="https://mastodon.social/tags/automation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>automation</span></a> <a href="https://mastodon.social/tags/homebrew" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>homebrew</span></a> <a href="https://mastodon.social/tags/macpoweruser" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>macpoweruser</span></a> <a href="https://mastodon.social/tags/terminaltips" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>terminaltips</span></a> <a href="https://mastodon.social/tags/brewfile" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>brewfile</span></a> <a href="https://mastodon.social/tags/mas" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mas</span></a> <a href="https://mastodon.social/tags/macbookpro" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>macbookpro</span></a> <a href="https://mastodon.social/tags/appledeveloper" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>appledeveloper</span></a> <a href="https://mastodon.social/tags/productivityhacks" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>productivityhacks</span></a></p>
ButterWord<p>Meta intenta evitar que Sarah Wynn-Williams venda más memorias mordaces <a href="https://mastodon.social/tags/evitar" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>evitar</span></a> <a href="https://mastodon.social/tags/intenta" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>intenta</span></a> <a href="https://mastodon.social/tags/m%C3%A1s" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>más</span></a> <a href="https://mastodon.social/tags/memorias" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>memorias</span></a> <a href="https://mastodon.social/tags/Meta" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Meta</span></a> <a href="https://mastodon.social/tags/mordaces" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mordaces</span></a> <a href="https://mastodon.social/tags/Sarah" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Sarah</span></a> <a href="https://mastodon.social/tags/venda" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>venda</span></a> <a href="https://mastodon.social/tags/WynnWilliams" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>WynnWilliams</span></a> <a href="https://mastodon.social/tags/ButterWord" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ButterWord</span></a> <a href="https://mastodon.social/tags/Spanish_News" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Spanish_News</span></a> Comenta tu opinión 👇<br><a href="https://butterword.com/meta-intenta-evitar-que-sarah-wynn-williams-venda-mas-memorias-mordaces/?feed_id=12239&_unique_id=67d8a3169502a" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">butterword.com/meta-intenta-ev</span><span class="invisible">itar-que-sarah-wynn-williams-venda-mas-memorias-mordaces/?feed_id=12239&_unique_id=67d8a3169502a</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 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>) 11 min ago. More info: <a href="https://m.emsc.eu/?id=1783517" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">m.emsc.eu/?id=1783517</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.4 strikes 158 km SE 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=1783232" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">m.emsc.eu/?id=1783232</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.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>
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" rel="nofollow noopener noreferrer" translate="no" target="_blank"><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="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ATP</span></a> <a href="https://mathstodon.xyz/tags/Emacs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Emacs</span></a> <a href="https://mathstodon.xyz/tags/FormalVerification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FormalVerification</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/Jape" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Jape</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/MAS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MAS</span></a> <a href="https://mathstodon.xyz/tags/Mace" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mace</span></a> <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/Otter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Otter</span></a> <a href="https://mathstodon.xyz/tags/PVS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PVS</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prolog</span></a> <a href="https://mathstodon.xyz/tags/SMLs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SMLs</span></a> <a href="https://mathstodon.xyz/tags/SMT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SMT</span></a> <a href="https://mathstodon.xyz/tags/Scala" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Scala</span></a> <a href="https://mathstodon.xyz/tags/Z3" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<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" rel="nofollow noopener noreferrer" translate="no" target="_blank"><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="nofollow noopener noreferrer" target="_blank">#<span>MAS</span></a> <a href="https://mathstodon.xyz/tags/FormalVerification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FormalVerification</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Scala" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<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>
TrumpDefensa confía en el modelo de Airbus para el rearme europeo tras la espantada de Trump El Gobie...<br><br><a href="https://www.moncloa.com/2025/03/09/defensa-airbus-rearme-trump-3178820/" rel="nofollow noopener noreferrer" target="_blank">https://www.moncloa.com/2025/03/09/defensa-airbus-rearme-trump-3178820/</a><br><br><a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Defensa" target="_blank">#Defensa</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Lo" target="_blank">#Lo</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/más" target="_blank">#más</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/visto" target="_blank">#visto</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Portada" target="_blank">#Portada</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/airbus" target="_blank">#airbus</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/trump" target="_blank">#trump</a><br><br><a href="https://awakari.com/pub-msg.html?id=EdDuxdDVka8VEFQxAuU09UsG1dg" rel="nofollow noopener noreferrer" target="_blank">Event Attributes</a>
TrumpAbascal se sube a la ola trumpista para esquivar la guerra interna de Vox El pago de 60.000 euros...<br><br><a href="https://www.moncloa.com/2025/03/09/abascal-ola-trumpista-3122738/" rel="nofollow noopener noreferrer" target="_blank">https://www.moncloa.com/2025/03/09/abascal-ola-trumpista-3122738/</a><br><br><a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Lo" target="_blank">#Lo</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/más" target="_blank">#más</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/visto" target="_blank">#visto</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Noticias" target="_blank">#Noticias</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/de" target="_blank">#de</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Vox" target="_blank">#Vox</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Portada" target="_blank">#Portada</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/2" target="_blank">#2</a><br><br><a href="https://awakari.com/pub-msg.html?id=6CteT1NZ91aj8TxOcKMVxET0gGe" rel="nofollow noopener noreferrer" target="_blank">Event Attributes</a>
TrumpDefensa confía en el modelo de Airbus para el rearme europeo tras la espantada de Trump El Gobie...<br><br><a href="https://www.moncloa.com/2025/03/09/defensa-airbus-rearme-trump-3178820/" rel="nofollow noopener noreferrer" target="_blank">https://www.moncloa.com/2025/03/09/defensa-airbus-rearme-trump-3178820/</a><br><br><a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Defensa" target="_blank">#Defensa</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Lo" target="_blank">#Lo</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/más" target="_blank">#más</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/visto" target="_blank">#visto</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/Portada" target="_blank">#Portada</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/airbus" target="_blank">#airbus</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/trump" target="_blank">#trump</a><br><br><a href="https://awakari.com/pub-msg.html?id=SI8guwWzULWdccMfGd9iY4PpRJ2" rel="nofollow noopener noreferrer" target="_blank">Event Attributes</a>
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