Mastodon en masto.es

José A. Alonso<a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="nofollow noopener" target="_blank">#Exercitium</a>: Problemas de programación con Haskell (marzo de 2016). <a href="https://jaalonso.github.io/exercitium/2016/03" rel="nofollow noopener" translate="no" target="_blank">https://jaalonso.github.io/exercitium/2016/03</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener" target="_blank">#ProgramaciónFuncional</a> <a href="https://mathstodon.xyz/tags/Matem%C3%A1ticas" class="mention hashtag" rel="nofollow noopener" target="_blank">#Matemáticas</a>

José A. Alonso<a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="nofollow noopener" target="_blank">#Exercitium</a>: Problemas de programación con Haskell (abril de 2016). <a href="https://jaalonso.github.io/exercitium/2016/04" rel="nofollow noopener" translate="no" target="_blank">https://jaalonso.github.io/exercitium/2016/04</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener" target="_blank">#ProgramaciónFuncional</a> <a href="https://mathstodon.xyz/tags/Matem%C3%A1ticas" class="mention hashtag" rel="nofollow noopener" target="_blank">#Matemáticas</a>

José A. AlonsoIn-order traversal in Haskell and Rust. ~ James Bowen. <a href="https://mmhaskell.com/blog/2025/8/11/in-order-traversal-in-haskell-and-rust" rel="nofollow noopener" translate="no" target="_blank">https://mmhaskell.com/blog/2025/8/11/in-order-traversal-in-haskell-and-rust</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#FunctionalProgramming</a> <a href="https://mathstodon.xyz/tags/RustLang" class="mention hashtag" rel="nofollow noopener" target="_blank">#RustLang</a>

José A. AlonsoReadings shared August 10, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/08/11-readings_shared_08-10-25" rel="nofollow noopener" translate="no" target="_blank">https://jaalonso.github.io/vestigium/posts/2025/08/11-readings_shared_08-10-25</a> <a href="https://mathstodon.xyz/tags/Agda" class="mention hashtag" rel="nofollow noopener" target="_blank">#Agda</a> <a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#CategoryTheory</a> <a href="https://mathstodon.xyz/tags/CoqProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#CoqProver</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#FunctionalProgramming</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#Math</a> <a href="https://mathstodon.xyz/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#OCaml</a>

José A. Alonso<a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="nofollow noopener" target="_blank">#Exercitium</a>: Problemas de programación con Haskell (mayo de 2016). <a href="https://jaalonso.github.io/exercitium/2016/05" rel="nofollow noopener" translate="no" target="_blank">https://jaalonso.github.io/exercitium/2016/05</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener" target="_blank">#ProgramaciónFuncional</a> <a href="https://mathstodon.xyz/tags/Matem%C3%A1ticas" class="mention hashtag" rel="nofollow noopener" target="_blank">#Matemáticas</a>

José A. Alonso<a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="nofollow noopener" target="_blank">#Exercitium</a>: Problemas de programación con Haskell (noviembre de 2016). <a href="https://jaalonso.github.io/exercitium/2016/11" rel="nofollow noopener" translate="no" target="_blank">https://jaalonso.github.io/exercitium/2016/11</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener" target="_blank">#ProgramaciónFuncional</a> <a href="https://mathstodon.xyz/tags/Matem%C3%A1ticas" class="mention hashtag" rel="nofollow noopener" target="_blank">#Matemáticas</a>

José A. AlonsoDomain-specific tensor languages. ~ Jean-Philippe Bernardy, Patrik Jansson. <a href="https://www.cambridge.org/core/journals/journal-of-functional-programming/article/domainspecific-tensor-languages/19B95794B66C66E117DFCFC7A21E22D5" rel="nofollow noopener" translate="no" target="_blank">https://www.cambridge.org/core/journals/journal-of-functional-programming/article/domainspecific-tensor-languages/19B95794B66C66E117DFCFC7A21E22D5</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#FunctionalProgramming</a>

José A. AlonsoReadings shared August 9, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/08/10-readings_shared_08-09-25" rel="nofollow noopener" translate="no" target="_blank">https://jaalonso.github.io/vestigium/posts/2025/08/10-readings_shared_08-09-25</a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#AI</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#FunctionalProgramming</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/IMO" class="mention hashtag" rel="nofollow noopener" target="_blank">#IMO</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener" target="_blank">#LLMs</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#LeanProver</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#LogicProgramming</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#Math</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#Prolog</a>

José A. Alonso<a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="nofollow noopener" target="_blank">#Exercitium</a>: Problemas de programación con Haskell (diciembre de 2016). <a href="https://jaalonso.github.io/exercitium/2016/12" rel="nofollow noopener" translate="no" target="_blank">https://jaalonso.github.io/exercitium/2016/12</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener" target="_blank">#ProgramaciónFuncional</a> <a href="https://mathstodon.xyz/tags/Matem%C3%A1ticas" class="mention hashtag" rel="nofollow noopener" target="_blank">#Matemáticas</a>

José A. AlonsoTruly functional solutions to the longest uptrend problem (Functional pearl). ~ Alexander Dinges, Ralf Hinze. <a href="https://dl.acm.org/doi/pdf/10.1145/3747520" rel="nofollow noopener" translate="no" target="_blank">https://dl.acm.org/doi/pdf/10.1145/3747520</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#FunctionalProgramming</a>

José A. AlonsoTeaching introductory functional programming using Haskelite. ~ Pedro Vasconcelos. <a href="https://arxiv.org/abs/2508.03640" rel="nofollow noopener" translate="no" target="_blank">https://arxiv.org/abs/2508.03640</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#FunctionalProgramming</a>

José A. AlonsoReadings shared August 8, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/08/09-readings_shared_08-08-25" rel="nofollow noopener" translate="no" target="_blank">https://jaalonso.github.io/vestigium/posts/2025/08/09-readings_shared_08-08-25</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#FunctionalProgramming</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener" target="_blank">#LLMs</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#LeanProver</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#Math</a> <a href="https://mathstodon.xyz/tags/Reasoning" class="mention hashtag" rel="nofollow noopener" target="_blank">#Reasoning</a>

José A. Alonso<a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="nofollow noopener" target="_blank">#Exercitium</a>: Problemas de programación con Haskell (enero de 2017). <a href="https://jaalonso.github.io/exercitium/2017/01" rel="nofollow noopener" translate="no" target="_blank">https://jaalonso.github.io/exercitium/2017/01</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener" target="_blank">#ProgramaciónFuncional</a> <a href="https://mathstodon.xyz/tags/Matem%C3%A1ticas" class="mention hashtag" rel="nofollow noopener" target="_blank">#Matemáticas</a>

José A. Alonso<a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="nofollow noopener" target="_blank">#Exercitium</a>: Problemas de programación con Haskell (febrero de 2017). <a href="https://jaalonso.github.io/exercitium/2017/02" rel="nofollow noopener" translate="no" target="_blank">https://jaalonso.github.io/exercitium/2017/02</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener" target="_blank">#ProgramaciónFuncional</a> <a href="https://mathstodon.xyz/tags/Matem%C3%A1ticas" class="mention hashtag" rel="nofollow noopener" target="_blank">#Matemáticas</a>

José A. AlonsoReadings shared August 6, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/08/07-readings_shared_08-06-25" rel="nofollow noopener" translate="no" target="_blank">https://jaalonso.github.io/vestigium/posts/2025/08/07-readings_shared_08-06-25</a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#AI</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#FunctionalProgramming</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#Math</a> <a href="https://mathstodon.xyz/tags/Neurosymbolic" class="mention hashtag" rel="nofollow noopener" target="_blank">#Neurosymbolic</a>

Woke Leftist TrashStreaming tonight. Might publish the tigerbeetle-hs package or just pick a library or language extension and see what we can learn. Last one before I take a summer break!The stream will return in September on TUESDAY evenings at the same time.<a href="https://twitch.tv/agentultra" rel="nofollow noopener" translate="no" target="_blank">https://twitch.tv/agentultra</a><a href="https://types.pl/tags/haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#haskell</a>

José A. Alonso<a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="nofollow noopener" target="_blank">#Exercitium</a>: Problemas de programación con Haskell (marzo de 2017). <a href="https://jaalonso.github.io/exercitium/2017/03" rel="nofollow noopener" translate="no" target="_blank">https://jaalonso.github.io/exercitium/2017/03</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener" target="_blank">#ProgramaciónFuncional</a> <a href="https://mathstodon.xyz/tags/Matem%C3%A1ticas" class="mention hashtag" rel="nofollow noopener" target="_blank">#Matemáticas</a>

José A. Alonso<a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="nofollow noopener" target="_blank">#Exercitium</a>: Problemas de programación con Haskell (abril de 2017). <a href="https://jaalonso.github.io/exercitium/2017/04" rel="nofollow noopener" translate="no" target="_blank">https://jaalonso.github.io/exercitium/2017/04</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener" target="_blank">#ProgramaciónFuncional</a> <a href="https://mathstodon.xyz/tags/Matem%C3%A1ticas" class="mention hashtag" rel="nofollow noopener" target="_blank">#Matemáticas</a>

José A. Alonso<a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="nofollow noopener" target="_blank">#Exercitium</a>: Problemas de programación con Haskell (mayo de 2017). <a href="https://jaalonso.github.io/exercitium/2017/05" rel="nofollow noopener" translate="no" target="_blank">https://jaalonso.github.io/exercitium/2017/05</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener" target="_blank">#ProgramaciónFuncional</a> <a href="https://mathstodon.xyz/tags/Matem%C3%A1ticas" class="mention hashtag" rel="nofollow noopener" target="_blank">#Matemáticas</a>

José A. Alonso<a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="nofollow noopener" target="_blank">#Exercitium</a>: Problemas de programación con Haskell (junio de 2017). <a href="https://jaalonso.github.io/exercitium/2017/06" rel="nofollow noopener" translate="no" target="_blank">https://jaalonso.github.io/exercitium/2017/06</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener" target="_blank">#ProgramaciónFuncional</a> <a href="https://mathstodon.xyz/tags/Matem%C3%A1ticas" class="mention hashtag" rel="nofollow noopener" target="_blank">#Matemáticas</a>

Búsquedas recientes

Opciones de búsqueda

Administrado por:

Estadísticas del servidor:

#haskell