Toootim

13 הודעות9 משתתפיםות0 הודעות היום

Hourly Otters (New)Heyo, here's an <a href="https://mas.to/tags/Otter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Otter</a>

Hourly Otters (New)Here's an <a href="https://mas.to/tags/Otter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Otter</a>!

Mark A. RaynerDay 6: I believe they have accepted me as one of their own, though I'm worried about Larry, who keeps asking: "Is it just me, or do I smell wet dog?"<a href="https://mas.to/tags/dog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#dog</a> <a href="https://mas.to/tags/dogs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#dogs</a> <a href="https://mas.to/tags/otter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#otter</a> <a href="https://mas.to/tags/otters" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#otters</a> <a href="https://mas.to/tags/humor" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#humor</a> <a href="https://mas.to/tags/humour" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#humour</a>

José A. AlonsoReadings shared March 14, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/03/14-readings_shared_03-14-25" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://jaalonso.github.io/vestigium/posts/2025/03/14-readings_shared_03-14-25</a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ATP</a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CompSci</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FunctionalProgramming</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LLMs</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LeanProver</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/Mace" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Mace</a> <a href="https://mathstodon.xyz/tags/MachineLearning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MachineLearning</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a> <a href="https://mathstodon.xyz/tags/Otter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Otter</a> <a href="https://mathstodon.xyz/tags/PVS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PVS</a> <a href="https://mathstodon.xyz/tags/TypeTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#TypeTheory</a>

Hourly Otters (New)Look at this <a href="https://mas.to/tags/Otter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Otter</a>!

José A. AlonsoCurso "Razonamiento automático (2005-06)". <a href="https://jaalonso.github.io/cursos/d-ra-05" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://jaalonso.github.io/cursos/d-ra-05</a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ATP</a> <a href="https://mathstodon.xyz/tags/Otter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Otter</a> <a href="https://mathstodon.xyz/tags/Mace" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Mace</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/PVS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PVS</a>

Hourly Otters (New)Heyo, here's an <a href="https://mas.to/tags/Otter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Otter</a>

José A. AlonsoReadings shared March 12, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/03/12-readings_shared_03-12-25" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://jaalonso.github.io/vestigium/posts/2025/03/12-readings_shared_03-12-25</a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AI</a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ATP</a> <a href="https://mathstodon.xyz/tags/Constraints" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Constraints</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/Jape" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Jape</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LeanProver</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a> <a href="https://mathstodon.xyz/tags/Mace" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Mace</a> <a href="https://mathstodon.xyz/tags/MachineLearning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MachineLearning</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a> <a href="https://mathstodon.xyz/tags/NLP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#NLP</a> <a href="https://mathstodon.xyz/tags/Otter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Otter</a> <a href="https://mathstodon.xyz/tags/PVS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PVS</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a>

Hourly Otters (New)<a href="https://mas.to/tags/Otter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Otter</a>

José A. AlonsoCurso "Razonamiento automático (2004-05)". <a href="https://jaalonso.github.io/cursos/d-ra-04" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://jaalonso.github.io/cursos/d-ra-04</a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ATP</a> <a href="https://mathstodon.xyz/tags/Otter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Otter</a> <a href="https://mathstodon.xyz/tags/Mace" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Mace</a> <a href="https://mathstodon.xyz/tags/Jape" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Jape</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/PVS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PVS</a>

José A. AlonsoCurso "Demostración automática de teoremas (2004-05)". <a href="https://jaalonso.github.io/cursos/dat-04" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://jaalonso.github.io/cursos/dat-04</a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ATP</a> <a href="https://mathstodon.xyz/tags/Otter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Otter</a> <a href="https://mathstodon.xyz/tags/Mace" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Mace</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a>

José A. AlonsoReadings 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">https://jaalonso.github.io/vestigium/posts/2025/03/11-readings_shared_03-11-25</a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AI</a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ATP</a> <a href="https://mathstodon.xyz/tags/Emacs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Emacs</a> <a href="https://mathstodon.xyz/tags/FormalVerification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FormalVerification</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/Jape" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Jape</a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LLMs</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LeanProver</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a> <a href="https://mathstodon.xyz/tags/MAS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MAS</a> <a href="https://mathstodon.xyz/tags/Mace" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Mace</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a> <a href="https://mathstodon.xyz/tags/Otter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Otter</a> <a href="https://mathstodon.xyz/tags/PVS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PVS</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a> <a href="https://mathstodon.xyz/tags/SMLs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SMLs</a> <a href="https://mathstodon.xyz/tags/SMT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SMT</a> <a href="https://mathstodon.xyz/tags/Scala" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Scala</a> <a href="https://mathstodon.xyz/tags/Z3" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Z3</a>

Hourly Otters (New)<a href="https://mas.to/tags/Otter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Otter</a>

José A. AlonsoCurso "Razonamiento automático (2003-04)". <a href="https://jaalonso.github.io/cursos/d-ra-03/index.html" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://jaalonso.github.io/cursos/d-ra-03/index.html</a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ATP</a> <a href="https://mathstodon.xyz/tags/Otter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Otter</a> <a href="https://mathstodon.xyz/tags/Mace" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Mace</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/Jape" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Jape</a> <a href="https://mathstodon.xyz/tags/PVS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PVS</a>

José A. AlonsoCurso "Demostración automática de teoremas (2002-03)". <a href="https://jaalonso.github.io/cursos/dat-02/index.html" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://jaalonso.github.io/cursos/dat-02/index.html</a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ATP</a> <a href="https://mathstodon.xyz/tags/Otter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Otter</a> <a href="https://mathstodon.xyz/tags/Mace" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Mace</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a>

Hourly Otters (New)Picture of an <a href="https://mas.to/tags/Otter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Otter</a>

Hourly Otters (New)Look at this <a href="https://mas.to/tags/Otter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Otter</a>!

Hourly Otters (New)HourlyOtters presents: a <a href="https://mas.to/tags/Otter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Otter</a>!

חיפושים אחרונים

אפשרויות חיפוש

מנוהל ע"י:

סטטיסטיקות שרת:

#otter