Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
ohai.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A cozy, fast and secure Mastodon server where everyone is welcome. Run by the folks at ohai.is.

Administered by:

Server stats:

1.8K
active users

ohai.social: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.4.0-nightly.2025-04-15

#atp

1 post1 participant0 posts today
France | République française<p><a href="https://www.europesays.com/fr/46285/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">europesays.com/fr/46285/</span><span class="invisible"></span></a> « Je ne veux pas être considéré comme le successeur de Rafa », tranche Alcaraz <a href="https://pubeurope.com/tags/Actualit%C3%A9" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Actualité</span></a> <a href="https://pubeurope.com/tags/ATP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ATP</span></a> <a href="https://pubeurope.com/tags/Calendrier" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Calendrier</span></a> <a href="https://pubeurope.com/tags/classement" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>classement</span></a> <a href="https://pubeurope.com/tags/CoupeDavis" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CoupeDavis</span></a> <a href="https://pubeurope.com/tags/F1" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>F1</span></a> <a href="https://pubeurope.com/tags/FedCup" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FedCup</span></a> <a href="https://pubeurope.com/tags/Formula1" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Formula1</span></a> <a href="https://pubeurope.com/tags/Formula1" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Formula1</span></a> <a href="https://pubeurope.com/tags/Formule1" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Formule1</span></a> <a href="https://pubeurope.com/tags/Formule1" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Formule1</span></a> <a href="https://pubeurope.com/tags/FR" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FR</span></a> <a href="https://pubeurope.com/tags/France" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>France</span></a> <a href="https://pubeurope.com/tags/infos" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>infos</span></a> <a href="https://pubeurope.com/tags/JeuxOlympiques" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>JeuxOlympiques</span></a> <a href="https://pubeurope.com/tags/LeScanSport" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LeScanSport</span></a> <a href="https://pubeurope.com/tags/Masters1000" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Masters1000</span></a> <a href="https://pubeurope.com/tags/Masters500" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Masters500</span></a> <a href="https://pubeurope.com/tags/MastersSeries" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MastersSeries</span></a> <a href="https://pubeurope.com/tags/OpenD" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OpenD</span></a>'australie <a href="https://pubeurope.com/tags/r%C3%A9sultats" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>résultats</span></a> <a href="https://pubeurope.com/tags/RolandGarros" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>RolandGarros</span></a> <a href="https://pubeurope.com/tags/Sports" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Sports</span></a> <a href="https://pubeurope.com/tags/Tennis" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Tennis</span></a> <a href="https://pubeurope.com/tags/UsOpen" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>UsOpen</span></a> <a href="https://pubeurope.com/tags/wimbledon" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>wimbledon</span></a> <a href="https://pubeurope.com/tags/WTA" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>WTA</span></a></p>
RainSMediaRadio<p>ICYMI: Alcaraz Triumphs Over Musetti to Claim Monte Carlo Masters Title in 2025 <a href="https://www.rainsmediaradio.com/2025/04/alcaraz-triumphs-over-musetti-to-claim.html?utm_source=dlvr.it&amp;utm_medium=mastodon" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">rainsmediaradio.com/2025/04/al</span><span class="invisible">caraz-triumphs-over-musetti-to-claim.html?utm_source=dlvr.it&amp;utm_medium=mastodon</span></a> Follow, Like &amp; Share <a href="https://mastodon.social/tags/Alcaraz" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Alcaraz</span></a> <a href="https://mastodon.social/tags/MonteCarloMasters" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MonteCarloMasters</span></a> <a href="https://mastodon.social/tags/Tennis" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Tennis</span></a> <a href="https://mastodon.social/tags/ATP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ATP</span></a> <a href="https://mastodon.social/tags/ClayCourt" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ClayCourt</span></a></p>
José A. Alonso<p>Readings shared April 13, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/04/13-readings_shared_04-13-25" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/04/13-readings_shared_04-13-25</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ATP</span></a> <a href="https://mathstodon.xyz/tags/Coq" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Coq</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Mace4" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Mace4</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Prover9" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prover9</span></a> <a href="https://mathstodon.xyz/tags/SetTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SetTheory</span></a></p>
Manc AvGeek<p>Bonus Photo of the Day 2 13th April 2025.</p><p>G-JATP, British Aerospace Advanced Turbo Prop (ATP) in British Aerospace's in-house livery, operating a display flight at Woodford Air Show, 26th June 1993.<br>The number 227 on the lower forward fuselage was it's show number at the Paris Air Show the week before.</p><p><a href="https://social.teamb.space/tags/Manchester" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Manchester</span></a> <a href="https://social.teamb.space/tags/Woodford" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Woodford</span></a> <a href="https://social.teamb.space/tags/EGCD" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>EGCD</span></a> <a href="https://social.teamb.space/tags/AirShow" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AirShow</span></a> <a href="https://social.teamb.space/tags/BritishAerospace" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BritishAerospace</span></a> <a href="https://social.teamb.space/tags/AdvancedTurboProp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AdvancedTurboProp</span></a> <a href="https://social.teamb.space/tags/ATP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ATP</span></a> <a href="https://social.teamb.space/tags/BAE" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BAE</span></a><br><a href="https://social.teamb.space/tags/AvGeek" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AvGeek</span></a> <a href="https://social.teamb.space/tags/aviation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>aviation</span></a> <a href="https://social.teamb.space/tags/planespotting" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>planespotting</span></a> <a href="https://social.teamb.space/tags/photography" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>photography</span></a></p>
NoticiasDestacadas<p>🎾 Alcaraz vs Fils: Montecarlo se prepara para otro partidazo</p><p>El talento de Carlos Alcaraz se enfrenta a la potencia de Arthur Fils en un duelo que promete ser puro espectáculo sobre tierra batida. ¿Quién parte como favorito? ¿Qué dicen los expertos?</p><p>🔗 <a href="https://www.noticiasdestacadas.es/carlos-alcaraz-vs-arthur-fils-montecarlo-se-prepara-para-otro-show" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">noticiasdestacadas.es/carlos-a</span><span class="invisible">lcaraz-vs-arthur-fils-montecarlo-se-prepara-para-otro-show</span></a> </p><p><a href="https://mastodon.social/tags/Montecarlo" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Montecarlo</span></a> <a href="https://mastodon.social/tags/Alcaraz" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Alcaraz</span></a> <a href="https://mastodon.social/tags/ArthurFils" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ArthurFils</span></a> <a href="https://mastodon.social/tags/Tenis" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Tenis</span></a> <a href="https://mastodon.social/tags/ATP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ATP</span></a></p>
José A. Alonso<p>Readings shared April 10, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/04/10-readings_shared_04-10-25" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/04/10-readings_shared_04-10-25</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ATP</span></a> <a href="https://mathstodon.xyz/tags/CommonLisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CommonLisp</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Programming</span></a> <a href="https://mathstodon.xyz/tags/Reasoning" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Reasoning</span></a></p>
José A. Alonso<p>Reasoning about AI’s reasoning. ~ Höjer Key. <a href="https://www.researchgate.net/publication/390527852_Reasoning_about_AI's_reasoning" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">researchgate.net/publication/3</span><span class="invisible">90527852_Reasoning_about_AI's_reasoning</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ATP</span></a></p>
France | République française<p><a href="https://www.europesays.com/fr/12741/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">europesays.com/fr/12741/</span><span class="invisible"></span></a> Zverev mord (déjà) la poussière à Monte-Carlo, Rune abandonne <a href="https://pubeurope.com/tags/Actualit%C3%A9" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Actualité</span></a> <a href="https://pubeurope.com/tags/AlexanderZverev" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AlexanderZverev</span></a> <a href="https://pubeurope.com/tags/ATP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ATP</span></a> <a href="https://pubeurope.com/tags/Calendrier" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Calendrier</span></a> <a href="https://pubeurope.com/tags/classement" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>classement</span></a> <a href="https://pubeurope.com/tags/CoupeDavis" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CoupeDavis</span></a> <a href="https://pubeurope.com/tags/FedCup" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FedCup</span></a> <a href="https://pubeurope.com/tags/FR" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FR</span></a> <a href="https://pubeurope.com/tags/France" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>France</span></a> <a href="https://pubeurope.com/tags/infos" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>infos</span></a> <a href="https://pubeurope.com/tags/JeuxOlympiques" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>JeuxOlympiques</span></a> <a href="https://pubeurope.com/tags/Masters1000" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Masters1000</span></a> <a href="https://pubeurope.com/tags/Masters500" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Masters500</span></a> <a href="https://pubeurope.com/tags/MastersSeries" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MastersSeries</span></a> <a href="https://pubeurope.com/tags/OpenD" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OpenD</span></a>'australie <a href="https://pubeurope.com/tags/r%C3%A9sultats" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>résultats</span></a> <a href="https://pubeurope.com/tags/RolandGarros" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>RolandGarros</span></a> <a href="https://pubeurope.com/tags/Sports" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Sports</span></a> <a href="https://pubeurope.com/tags/Tennis" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Tennis</span></a> <a href="https://pubeurope.com/tags/UsOpen" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>UsOpen</span></a> <a href="https://pubeurope.com/tags/wimbledon" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>wimbledon</span></a> <a href="https://pubeurope.com/tags/WTA" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>WTA</span></a></p>
Stars Actu<p>Tennis Monte-Carlo : Rublev / Monfils en direct, live et streaming (+ score en temps réel et résultat final) <a href="https://www.stars-actu.fr/2025/04/tennis-monte-carlo-rublev-monfils-en-direct-live-et-streaming-score-en-temps-reel-et-resultat-final/?utm_source=dlvr.it&amp;utm_medium=mastodon" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">stars-actu.fr/2025/04/tennis-m</span><span class="invisible">onte-carlo-rublev-monfils-en-direct-live-et-streaming-score-en-temps-reel-et-resultat-final/?utm_source=dlvr.it&amp;utm_medium=mastodon</span></a> <a href="https://mastodon.social/tags/Sports" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Sports</span></a> <a href="https://mastodon.social/tags/atp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>atp</span></a> <a href="https://mastodon.social/tags/Ga%C3%ABlMonfils" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GaëlMonfils</span></a> <a href="https://mastodon.social/tags/tennis" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>tennis</span></a></p>
Thế Giới Trong Tầm Tay<p>Lorenzo Musetti đã vượt qua thử thách khó khăn từ Buyunchaokete tại ATP Monte Carlo Masters, giành chiến thắng kịch tính với tỷ số 4-6, 7-5, 6-3. Sắp tới, anh sẽ đối đầu với Jiri Lehecka. Cùng theo dõi những diễn biến hấp dẫn tiếp theo! <a href="https://mastodon.social/tags/ATP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ATP</span></a> <a href="https://mastodon.social/tags/MonteCarlo" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MonteCarlo</span></a> <a href="https://mastodon.social/tags/Musetti" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Musetti</span></a> <a href="https://mastodon.social/tags/Tennis" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Tennis</span></a> <a href="https://ift.tt/aqjNy3u" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">ift.tt/aqjNy3u</span><span class="invisible"></span></a></p>
José A. Alonso<p>Readings shared April 7, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/04/07-readings_shared_04-07-25" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/04/07-readings_shared_04-07-25</span></a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ATP</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Minlog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Minlog</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prolog</span></a> <a href="https://mathstodon.xyz/tags/SMT" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SMT</span></a></p>
France | République française<p><a href="https://www.europesays.com/fr/7750/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">europesays.com/fr/7750/</span><span class="invisible"></span></a> Giovanni Mpetshi Perricard éliminé à Monte-Carlo par sa bête noire <a href="https://pubeurope.com/tags/Actualit%C3%A9" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Actualité</span></a> <a href="https://pubeurope.com/tags/ATP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ATP</span></a> <a href="https://pubeurope.com/tags/Calendrier" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Calendrier</span></a> <a href="https://pubeurope.com/tags/classement" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>classement</span></a> <a href="https://pubeurope.com/tags/CoupeDavis" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CoupeDavis</span></a> <a href="https://pubeurope.com/tags/FedCup" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FedCup</span></a> <a href="https://pubeurope.com/tags/FR" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FR</span></a> <a href="https://pubeurope.com/tags/France" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>France</span></a> <a href="https://pubeurope.com/tags/infos" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>infos</span></a> <a href="https://pubeurope.com/tags/JeuxOlympiques" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>JeuxOlympiques</span></a> <a href="https://pubeurope.com/tags/Masters1000" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Masters1000</span></a> <a href="https://pubeurope.com/tags/Masters500" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Masters500</span></a> <a href="https://pubeurope.com/tags/MastersSeries" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MastersSeries</span></a> <a href="https://pubeurope.com/tags/OpenD" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OpenD</span></a>'australie <a href="https://pubeurope.com/tags/r%C3%A9sultats" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>résultats</span></a> <a href="https://pubeurope.com/tags/RolandGarros" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>RolandGarros</span></a> <a href="https://pubeurope.com/tags/Sports" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Sports</span></a> <a href="https://pubeurope.com/tags/Tennis" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Tennis</span></a> <a href="https://pubeurope.com/tags/UsOpen" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>UsOpen</span></a> <a href="https://pubeurope.com/tags/wimbledon" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>wimbledon</span></a> <a href="https://pubeurope.com/tags/WTA" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>WTA</span></a></p>
Thế Giới Trong Tầm Tay<p>Buyunchaokete của Trung Quốc đã tỏa sáng tại vòng loại Monte-Carlo Masters, đánh bại Albert Ramos-Vinolas với tỷ số 6-4, 6-4. Đây là lần đầu tiên anh vào sân trong giải ATP Masters 1000. Hãy chờ đón màn đối đầu với Lorenzo Musetti sắp tới! <a href="https://mastodon.social/tags/ATP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ATP</span></a> <a href="https://mastodon.social/tags/MonteCarloMasters" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MonteCarloMasters</span></a> <a href="https://mastodon.social/tags/Tennis" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Tennis</span></a> <a href="https://mastodon.social/tags/Buyunchaokete" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Buyunchaokete</span></a> <a href="https://ift.tt/TNXnQg3" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">ift.tt/TNXnQg3</span><span class="invisible"></span></a></p>
Stars Actu<p>Tennis Monte-Carlo : Monfils / Marozsan en direct, live et streaming (+ score en temps réel et résultat final) <a href="https://www.stars-actu.fr/2025/04/tennis-monte-carlo-monfils-marozsan-en-direct-live-et-streaming-score-en-temps-reel-et-resultat-final/?utm_source=dlvr.it&amp;utm_medium=mastodon" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">stars-actu.fr/2025/04/tennis-m</span><span class="invisible">onte-carlo-monfils-marozsan-en-direct-live-et-streaming-score-en-temps-reel-et-resultat-final/?utm_source=dlvr.it&amp;utm_medium=mastodon</span></a> <a href="https://mastodon.social/tags/Sports" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Sports</span></a> <a href="https://mastodon.social/tags/atp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>atp</span></a> <a href="https://mastodon.social/tags/Ga%C3%ABlMonfils" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GaëlMonfils</span></a> <a href="https://mastodon.social/tags/tennis" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>tennis</span></a></p>
José A. Alonso<p>Stronger SMT solvers for proof assistants (Proofs, quantifier simplification, strategy schedules). ~ Hans-Jörg Schurr. <a href="https://schurr.io/pubs/phd-thesis.pdf" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">schurr.io/pubs/phd-thesis.pdf</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ATP</span></a> <a href="https://mathstodon.xyz/tags/SMT" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SMT</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IsabelleHOL</span></a></p>
iokevins<p>Watched Corentin Denolly (Q) 🇫🇷 vs. Aleksandar Kovacevic 🇺🇸 - 2025 ATP 250 U.S. Men's Clay Court Championships (presented by Fayez Sarofim &amp; Co.), Day 5, Round of 16 play on Stadium Court, at the River Oaks Country Club in Houston, Texas.</p><p>Chair umpire: Ana Carvalho 🇧🇷</p><p>🎾 🇺🇸</p><p><a href="https://mastodon.social/tags/CorentinDenolly" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CorentinDenolly</span></a> <a href="https://mastodon.social/tags/Denolly" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Denolly</span></a> <a href="https://mastodon.social/tags/AleksandarKovacevic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AleksandarKovacevic</span></a> <a href="https://mastodon.social/tags/Kovacevic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Kovacevic</span></a> <a href="https://mastodon.social/tags/Tennis" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Tennis</span></a> <a href="https://mastodon.social/tags/HoustonOpen" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>HoustonOpen</span></a> <a href="https://mastodon.social/tags/Houston" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Houston</span></a> <a href="https://mastodon.social/tags/Texas" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Texas</span></a> <a href="https://mastodon.social/tags/RiverOaksCountryClub" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>RiverOaksCountryClub</span></a> <a href="https://mastodon.social/tags/ATP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ATP</span></a></p>
Alo Japan<p><a href="https://www.alojapan.com/1234618/naomi-osakas-coach-thinks-daniil-medvedev-has-said-something-contradictory-recently-and-explains-why/" rel="nofollow noopener" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">alojapan.com/1234618/naomi-osa</span><span class="invisible">kas-coach-thinks-daniil-medvedev-has-said-something-contradictory-recently-and-explains-why/</span></a> Naomi Osaka’s coach thinks Daniil Medvedev has said something ‘contradictory’ recently and explains why <a href="https://channels.im/tags/ATP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ATP</span></a> <a href="https://channels.im/tags/DaniilMedvedev" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DaniilMedvedev</span></a> <a href="https://channels.im/tags/NAOMIOSAKA" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>NAOMIOSAKA</span></a> <a href="https://channels.im/tags/news" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>news</span></a> <a href="https://channels.im/tags/Osaka" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Osaka</span></a> <a href="https://channels.im/tags/OsakaNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OsakaNews</span></a> <a href="https://channels.im/tags/PatrickMouratoglou" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PatrickMouratoglou</span></a> <a href="https://channels.im/tags/%E5%A4%A7%E9%98%AA" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>大阪</span></a> <a href="https://channels.im/tags/%E5%A4%A7%E9%98%AA%E5%BA%9C" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>大阪府</span></a> Daniil Medvedev has struggled for form recently and is yet to reach a tour-level final in 2025. The former world number one suffered another shocking defeat in Miami, as Medvedev lost to Jaume Munar in the second round, 2-6, 3-6. His loss to Munar came off…</p>
Stars Actu<p>Tennis Miami : la finale Mensik / Djokovic en direct, live et streaming (+ score en temps réel et résultat final) <a href="https://www.stars-actu.fr/2025/03/tennis-miami-la-finale-mensik-djokovic-en-direct-live-et-streaming-score-en-temps-reel-et-resultat-final/?utm_source=dlvr.it&amp;utm_medium=mastodon" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">stars-actu.fr/2025/03/tennis-m</span><span class="invisible">iami-la-finale-mensik-djokovic-en-direct-live-et-streaming-score-en-temps-reel-et-resultat-final/?utm_source=dlvr.it&amp;utm_medium=mastodon</span></a> <a href="https://mastodon.social/tags/Sports" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Sports</span></a> <a href="https://mastodon.social/tags/atp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>atp</span></a> <a href="https://mastodon.social/tags/NovakDjokovic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>NovakDjokovic</span></a> <a href="https://mastodon.social/tags/tennis" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>tennis</span></a></p>
Keiran Rowell<p><a href="https://youtube.com/watch?v=YnAA1YBT0tQ&amp;si=he39R0Btb3Yhv8D8" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">youtube.com/watch?v=YnAA1YBT0t</span><span class="invisible">Q&amp;si=he39R0Btb3Yhv8D8</span></a></p><p>A molecular atlas revealing the location and structural detail of <a href="https://mastodon.social/tags/mitochondria" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mitochondria</span></a> using <a href="https://mastodon.social/tags/CryoTomography" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CryoTomography</span></a>. Beautiful insight into the positioning of the <a href="https://mastodon.social/tags/ATP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ATP</span></a> synthesase machines and how the energy formation supercomplexes are placed.</p><p><a href="https://mastodon.social/tags/respirasome" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>respirasome</span></a> <a href="https://mastodon.social/tags/structuralbiology" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>structuralbiology</span></a></p>
Thế Giới Trong Tầm Tay<p>Novak Djokovic vừa thiết lập kỷ lục trở thành tay vợt lớn tuổi nhất vào bán kết ATP Masters 1000 tại Miami. Ở tuổi 37 và 10 tháng, anh đã đánh bại Sebastian Korda và đang hướng tới danh hiệu Miami Open thứ bảy. Hướng tới trận đấu kịch tính với Grigor Dimitrov! <a href="https://mastodon.social/tags/Djokovic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Djokovic</span></a> <a href="https://mastodon.social/tags/ATP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ATP</span></a> <a href="https://mastodon.social/tags/Tennis" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Tennis</span></a> <a href="https://mastodon.social/tags/MiamiOpen" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MiamiOpen</span></a> <a href="https://ift.tt/DbPC7Nu" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">ift.tt/DbPC7Nu</span><span class="invisible"></span></a></p>
ExploreLive feeds
About