Login

Recent searches

No recent searches

Search options

Not available on writing.exchange.
writing.exchange is one of the many independent Mastodon servers you can use to participate in the fediverse.
A small, intentional community for poets, authors, and every kind of writer.

Administered by:

Server stats:

328
active users

writing.exchange: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

#programacionfuncional

0 posts0 participants0 posts today
José A. Alonso<p>Readings shared March 19, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/03/19-readings_shared_03-19-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/19-readings_shared_03-19-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/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CompSci</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/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/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgramaciónFuncional</span></a> <a href="https://mathstodon.xyz/tags/Programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Programming</span></a></p>
Vicente ⁂<p>mis gustos: <a href="https://mstdn.mx/tags/matematicas" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>matematicas</span></a> <a href="https://mstdn.mx/tags/programacion" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programacion</span></a> <a href="https://mstdn.mx/tags/programacionfuncional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programacionfuncional</span></a> (<a href="https://mstdn.mx/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>haskell</span></a>) <a href="https://mstdn.mx/tags/anime" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>anime</span></a> <a href="https://mstdn.mx/tags/manga" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>manga</span></a> <a href="https://mstdn.mx/tags/videojuegos" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>videojuegos</span></a> <a href="https://mstdn.mx/tags/filosof%C3%ADa" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>filosofía</span></a> <a href="https://mstdn.mx/tags/pol%C3%ADtica" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>política</span></a> <a href="https://mstdn.mx/tags/ciencia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ciencia</span></a></p>
ExploreLive feeds
About