med-mastodon.com is one of the many independent Mastodon servers you can use to participate in the fediverse.
Medical community on Mastodon

Administered by:

Server stats:

351
active users

#haskell

28 posts11 participants2 posts today
Woke Leftist Trash<p>I think I might’ve got the first cut of tigerbeetle-hs nearly done. </p><p><a href="https://types.pl/tags/haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>haskell</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Exercitium</span></a>: Problemas de programación con Haskell (abril de 2022). <a href="https://jaalonso.github.io/exercitium/2022/04" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/exercitium/</span><span class="invisible">2022/04</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/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProgramaciónFuncional</span></a> <a href="https://mathstodon.xyz/tags/Matem%C3%A1ticas" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Matemáticas</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Exercitium</span></a>: Problemas de programación con Haskell (mayo de 2022). <a href="https://jaalonso.github.io/exercitium/2022/05" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/exercitium/</span><span class="invisible">2022/05</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/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProgramaciónFuncional</span></a> <a href="https://mathstodon.xyz/tags/Matem%C3%A1ticas" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Matemáticas</span></a></p>
José A. Alonso<p>Readings shared July 29, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/07/30-readings_shared_07-29-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/07/30-readings_shared_07-29-25</span></a> <a href="https://mathstodon.xyz/tags/CoqProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CoqProver</span></a> <a href="https://mathstodon.xyz/tags/FormalVerification" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FormalVerification</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/IMO" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IMO</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/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/MachineLearning" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MachineLearning</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/ProofAssistant" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProofAssistant</span></a> <a href="https://mathstodon.xyz/tags/Rocq" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Rocq</span></a> <a href="https://mathstodon.xyz/tags/Rust" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Rust</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Exercitium</span></a>: Problemas de programación con Haskell (junio de 2022). <a href="https://jaalonso.github.io/exercitium/2022/06" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/exercitium/</span><span class="invisible">2022/06</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/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProgramaciónFuncional</span></a> <a href="https://mathstodon.xyz/tags/Matem%C3%A1ticas" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Matemáticas</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Exercitium</span></a>: Problemas de programación con Haskell (julio de 2022). <a href="https://jaalonso.github.io/exercitium/2022/07" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/exercitium/</span><span class="invisible">2022/07</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/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProgramaciónFuncional</span></a> <a href="https://mathstodon.xyz/tags/Matem%C3%A1ticas" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Matemáticas</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Exercitium</span></a>: Problemas de programación con Haskell (noviembre de 2018). <a href="https://jaalonso.github.io/exercitium/2018/11" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/exercitium/</span><span class="invisible">2018/11</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/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProgramaciónFuncional</span></a> <a href="https://mathstodon.xyz/tags/Matem%C3%A1ticas" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Matemáticas</span></a></p>
José A. Alonso<p>Comparing codes: Spiral matrix (another matrix layer problem). ~ James Bowen. <a href="https://mmhaskell.com/blog/2025/7/28/spiral-matrix-another-matrix-layer-problem" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">mmhaskell.com/blog/2025/7/28/s</span><span class="invisible">piral-matrix-another-matrix-layer-problem</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/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Rust" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Rust</span></a></p>
José A. Alonso<p>Readings shared July 28, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/07/29-readings_shared_07-28-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/07/29-readings_shared_07-28-25</span></a> <a href="https://mathstodon.xyz/tags/FormalVerification" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FormalVerification</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/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LeanProver</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/ProofAssistant" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProofAssistant</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Exercitium</span></a>: Problemas de programación con Haskell (diciembre de 2018). <a href="https://jaalonso.github.io/exercitium/2018/12" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/exercitium/</span><span class="invisible">2018/12</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/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProgramaciónFuncional</span></a> <a href="https://mathstodon.xyz/tags/Matem%C3%A1ticas" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Matemáticas</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Exercitium</span></a>: Problemas de programación con Haskell (enero de 2019). <a href="https://jaalonso.github.io/exercitium/2019/01" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/exercitium/</span><span class="invisible">2019/01</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/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProgramaciónFuncional</span></a> <a href="https://mathstodon.xyz/tags/Matem%C3%A1ticas" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Matemáticas</span></a></p>
José A. Alonso<p>Readings shared July 27, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/07/28-readings_shared_07-27-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/07/28-readings_shared_07-27-25</span></a> <a href="https://mathstodon.xyz/tags/AI4Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI4Math</span></a> <a href="https://mathstodon.xyz/tags/Agda" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Agda</span></a> <a href="https://mathstodon.xyz/tags/FormalVerification" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FormalVerification</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/ProofAssistants" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProofAssistants</span></a> <a href="https://mathstodon.xyz/tags/Rocq" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Rocq</span></a></p>
Jacket<p><a href="https://tech.lgbt/tags/Functional" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Functional</span></a> programing will probably become the most popular paradigm of <a href="https://tech.lgbt/tags/quantum" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>quantum</span></a> computing. It's impossible for now to copy a qubit so any algorithms has to be written in a stateless way. At the moment, quantum algorithms are written in a more declarative manner cause we are still figuring out how to do anything with those machine. There is some attempts at creating functional languages for quantum computers but at the moment you can't run them on hardware. I'm talking here about <a href="https://tech.lgbt/tags/Quipper" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Quipper</span></a>, <a href="https://tech.lgbt/tags/QML" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>QML</span></a>, and <a href="https://tech.lgbt/tags/Silq" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Silq</span></a> but I'm convinced that this will be the way once we will figure out how to make a quantum computer stable. Quipper is based on <a href="https://tech.lgbt/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a>. I just find it cool.</p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Exercitium</span></a>: Problemas de programación con Haskell (febrero de 2019). <a href="https://jaalonso.github.io/exercitium/2019/02" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/exercitium/</span><span class="invisible">2019/02</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/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProgramaciónFuncional</span></a> <a href="https://mathstodon.xyz/tags/Matem%C3%A1ticas" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Matemáticas</span></a></p>
José A. Alonso<p>Formally verified suffix array construction (in Isabelle/HOL). ~ Louis Cheung, Alistair Moffat, Christine Rizkallah. <a href="https://link.springer.com/article/10.1007/s10817-025-09735-8" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">link.springer.com/article/10.1</span><span class="invisible">007/s10817-025-09735-8</span></a> <a href="https://mathstodon.xyz/tags/FormalVerification" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FormalVerification</span></a> <a href="https://mathstodon.xyz/tags/ProofAssistants" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProofAssistants</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/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a></p>
José A. Alonso<p>Readings shared July 26, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/07/27-readings_shared_07-26-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/07/27-readings_shared_07-26-25</span></a> <a href="https://mathstodon.xyz/tags/Emacs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Emacs</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/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/OrgMode" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OrgMode</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Exercitium</span></a>: Problemas de programación con Haskell (marzo de 2019). <a href="https://jaalonso.github.io/exercitium/2019/03" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/exercitium/</span><span class="invisible">2019/03</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/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProgramaciónFuncional</span></a> <a href="https://mathstodon.xyz/tags/Matem%C3%A1ticas" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Matemáticas</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Exercitium</span></a>: Problemas de programación con Haskell (abril de 2019). <a href="https://jaalonso.github.io/exercitium/2019/04" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/exercitium/</span><span class="invisible">2019/04</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/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProgramaciónFuncional</span></a> <a href="https://mathstodon.xyz/tags/matematicas" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>matematicas</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Exercitium</span></a>: Problemas de programación con Haskell (mayo de 2019). <a href="https://jaalonso.github.io/exercitium/2019/05" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/exercitium/</span><span class="invisible">2019/05</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/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProgramaciónFuncional</span></a> <a href="https://mathstodon.xyz/tags/Matem%C3%A1ticas" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Matemáticas</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Exercitium</span></a>: Problemas de programación con Haskell (junio de 2019). <a href="https://jaalonso.github.io/exercitium/2019/06" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/exercitium/</span><span class="invisible">2019/06</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/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProgramaciónFuncional</span></a> <a href="https://mathstodon.xyz/tags/Matem%C3%A1ticas" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Matemáticas</span></a></p>