Compsci Weekly<p>The problem with OOL is not the OO (2009)</p><p><a href="https://www.rebol.com/article/0425.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">rebol.com/article/0425.html</span><span class="invisible"></span></a></p><p>Discussions: <a href="https://discu.eu/q/https://www.rebol.com/article/0425.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">discu.eu/q/https://www.rebol.c</span><span class="invisible">om/article/0425.html</span></a></p><p><a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compsci</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>plt</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a></p>
Recent searches
No recent searches
Search options
Only available when logged in.
social.tchncs.de is one of the many independent Mastodon servers you can use to participate in the fediverse.
A friendly server from Germany – which tends to attract techy people, but welcomes everybody. This is one of the oldest Mastodon instances.
Administered by:
Server stats:
3.9Kactive users
social.tchncs.de: About · Profiles directory · Privacy policy
Mastodon: About · Get the app · Keyboard shortcuts · View source code · v4.3.6
#compsci
40 posts · 20 participants · 6 posts today
José A. Alonso<p>Curso "Lógica informática (2010-11)". <a href="https://jaalonso.github.io/cursos/li-10" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/cursos/li-1</span><span class="invisible">0</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</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/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CompSci</span></a></p>
Lobsters<p>How to borrow memory (2021) <a href="https://lobste.rs/s/r6l5s4" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">lobste.rs/s/r6l5s4</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compsci</span></a><br><a href="https://www.falsifian.org/blog/2021/06/04/catalytic/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">falsifian.org/blog/2021/06/04/</span><span class="invisible">catalytic/</span></a></p>
Compsci Weekly<p>UCLA Researchers Released OpenVLThinker-7B: A Reinforcement Learning Driven Model for Enhancing Complex Visual Reasoning and Step-by-Step Problem Solving in Multimodal Systems</p><p><a href="https://www.marktechpost.com/2025/03/28/ucla-researchers-released-openvlthinker-7b-a-reinforcement-learning-driven-model-for-enhancing-complex-visual-reasoning-and-step-by-step-problem-solving-in-multimodal-systems/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">marktechpost.com/2025/03/28/uc</span><span class="invisible">la-researchers-released-openvlthinker-7b-a-reinforcement-learning-driven-model-for-enhancing-complex-visual-reasoning-and-step-by-step-problem-solving-in-multimodal-systems/</span></a></p><p>Discussions: <a href="https://discu.eu/q/https://www.marktechpost.com/2025/03/28/ucla-researchers-released-openvlthinker-7b-a-reinforcement-learning-driven-model-for-enhancing-complex-visual-reasoning-and-step-by-step-problem-solving-in-multimodal-systems/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">discu.eu/q/https://www.marktec</span><span class="invisible">hpost.com/2025/03/28/ucla-researchers-released-openvlthinker-7b-a-reinforcement-learning-driven-model-for-enhancing-complex-visual-reasoning-and-step-by-step-problem-solving-in-multimodal-systems/</span></a></p><p><a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compsci</span></a> <a href="https://mastodon.social/tags/machinelearning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>machinelearning</span></a></p>
Compsci Weekly<p>.arpa, rDNS and a few magical ICMP hacks</p><p><a href="https://sdomi.pl/weblog/24-arpa-hacks/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">sdomi.pl/weblog/24-arpa-hacks/</span><span class="invisible"></span></a></p><p>Discussions: <a href="https://discu.eu/q/https://sdomi.pl/weblog/24-arpa-hacks/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">discu.eu/q/https://sdomi.pl/we</span><span class="invisible">blog/24-arpa-hacks/</span></a></p><p><a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compsci</span></a> <a href="https://mastodon.social/tags/networking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>networking</span></a></p>
Ruby Weekly<p>fast-mcp: ConnectAI modelsto your Railsapps withease</p><p><a href="https://github.com/yjacquin/fast-mcp" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">github.com/yjacquin/fast-mcp</span><span class="invisible"></span></a></p><p>Discussions: <a href="https://discu.eu/q/https://github.com/yjacquin/fast-mcp" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">discu.eu/q/https://github.com/</span><span class="invisible">yjacquin/fast-mcp</span></a></p><p><a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compsci</span></a> <a href="https://mastodon.social/tags/machinelearning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>machinelearning</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a> <a href="https://mastodon.social/tags/rails" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>rails</span></a> <a href="https://mastodon.social/tags/ruby" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ruby</span></a> <a href="https://mastodon.social/tags/webdev" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>webdev</span></a></p>
Compsci Weekly<p>OpenWrt Two Approval</p><p><a href="https://openwrt.org/voting/2025-02-12-openwrt-two" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">openwrt.org/voting/2025-02-12-</span><span class="invisible">openwrt-two</span></a></p><p>Discussions: <a href="https://discu.eu/q/https://openwrt.org/voting/2025-02-12-openwrt-two" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">discu.eu/q/https://openwrt.org</span><span class="invisible">/voting/2025-02-12-openwrt-two</span></a></p><p><a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compsci</span></a> <a href="https://mastodon.social/tags/hardware" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>hardware</span></a> <a href="https://mastodon.social/tags/networking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>networking</span></a> <a href="https://mastodon.social/tags/openwrt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>openwrt</span></a></p>
Compsci Weekly<p>Horseless intelligence</p><p><a href="https://nedbatchelder.com/blog/202503/horseless_intelligence.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">nedbatchelder.com/blog/202503/</span><span class="invisible">horseless_intelligence.html</span></a></p><p>Discussions: <a href="https://discu.eu/q/https://nedbatchelder.com/blog/202503/horseless_intelligence.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">discu.eu/q/https://nedbatcheld</span><span class="invisible">er.com/blog/202503/horseless_intelligence.html</span></a></p><p><a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compsci</span></a> <a href="https://mastodon.social/tags/machinelearning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>machinelearning</span></a></p>
Compsci Weekly<p>[R] [D] My (Mostly Failed) Attempt to Improve Transformers by Enriching Embeddings with the Last Hidden State – Why It Didn't Scale</p><p><a href="https://www.eloidereynal.com/p/a-partially-failed-attempt-at-improving?r=4ksqg3&showWelcomeOnShare=false" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">eloidereynal.com/p/a-partially</span><span class="invisible">-failed-attempt-at-improving?r=4ksqg3&showWelcomeOnShare=false</span></a></p><p>Discussions: <a href="https://discu.eu/q/https://www.eloidereynal.com/p/a-partially-failed-attempt-at-improving?r=4ksqg3&showWelcomeOnShare=false" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">discu.eu/q/https://www.eloider</span><span class="invisible">eynal.com/p/a-partially-failed-attempt-at-improving?r=4ksqg3&showWelcomeOnShare=false</span></a></p><p><a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compsci</span></a> <a href="https://mastodon.social/tags/machinelearning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>machinelearning</span></a></p>
Compsci Weekly<p>How To Become A Hacker: A Step-By-Step Guide</p><p><a href="https://sebastiancarlos.medium.com/how-to-become-a-hacker-a-step-by-step-guide-94902dc425b0" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">sebastiancarlos.medium.com/how</span><span class="invisible">-to-become-a-hacker-a-step-by-step-guide-94902dc425b0</span></a></p><p>Discussions: <a href="https://discu.eu/q/https://sebastiancarlos.medium.com/how-to-become-a-hacker-a-step-by-step-guide-94902dc425b0" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">discu.eu/q/https://sebastianca</span><span class="invisible">rlos.medium.com/how-to-become-a-hacker-a-step-by-step-guide-94902dc425b0</span></a></p><p><a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compsci</span></a> <a href="https://mastodon.social/tags/cryptography" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>cryptography</span></a> <a href="https://mastodon.social/tags/linux" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>linux</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a> <a href="https://mastodon.social/tags/security" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>security</span></a> <a href="https://mastodon.social/tags/unix" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>unix</span></a></p>
Compsci Weekly<p>spade - A work in progress HDL that doesn't make you want to pull your hair out</p><p><a href="https://gitlab.com/spade-lang/spade" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">gitlab.com/spade-lang/spade</span><span class="invisible"></span></a></p><p>Discussions: <a href="https://discu.eu/q/https://gitlab.com/spade-lang/spade" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">discu.eu/q/https://gitlab.com/</span><span class="invisible">spade-lang/spade</span></a></p><p><a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compsci</span></a> <a href="https://mastodon.social/tags/hardware" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>hardware</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>plt</span></a></p>
Compsci Weekly<p>Data demand some damn respect</p><p><a href="https://taylor.town/flat-scraps-002" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">taylor.town/flat-scraps-002</span><span class="invisible"></span></a></p><p>Discussions: <a href="https://discu.eu/q/https://taylor.town/flat-scraps-002" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">discu.eu/q/https://taylor.town</span><span class="invisible">/flat-scraps-002</span></a></p><p><a href="https://mastodon.social/tags/compilers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compilers</span></a> <a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compsci</span></a> <a href="https://mastodon.social/tags/rant" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>rant</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MULCIA</span></a>: Professor in logic and verification in Computer Science at the Technical University of Munich (TUM). <a href="https://tinyurl.com/23m8e3nm" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">tinyurl.com/23m8e3nm</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/Jobs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Jobs</span></a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CompSci</span></a></p>
José A. Alonso<p>Readings shared March 28, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/03/28-readings_shared_03-28-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/28-readings_shared_03-28-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/Calculemus" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Calculemus</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/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</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/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicProgramming</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/Philosophy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Philosophy</span></a> <a href="https://mathstodon.xyz/tags/Programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Programming</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prolog</span></a></p>
Compsci Weekly<p>My first foray into EmuDev: A CHIP-8 interpreter</p><p><a href="https://github.com/lukefidalgo/EMU-8" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">github.com/lukefidalgo/EMU-8</span><span class="invisible"></span></a></p><p>Discussions: <a href="https://discu.eu/q/https://github.com/lukefidalgo/EMU-8" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">discu.eu/q/https://github.com/</span><span class="invisible">lukefidalgo/EMU-8</span></a></p><p><a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compsci</span></a> <a href="https://mastodon.social/tags/emudev" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>emudev</span></a></p>
Compsci Weekly<p>SpecTec has been adopted</p><p><a href="https://webassembly.org/news/2025-03-27-spectec/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">webassembly.org/news/2025-03-2</span><span class="invisible">7-spectec/</span></a></p><p>Discussions: <a href="https://discu.eu/q/https://webassembly.org/news/2025-03-27-spectec/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">discu.eu/q/https://webassembly</span><span class="invisible">.org/news/2025-03-27-spectec/</span></a></p><p><a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compsci</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>plt</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a> <a href="https://mastodon.social/tags/programminglanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programminglanguages</span></a> <a href="https://mastodon.social/tags/webassembly" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>webassembly</span></a></p>
Lisp & Scheme Weekly<p>Can jank beat Clojure's error reporting?</p><p><a href="https://jank-lang.org/blog/2025-03-28-error-reporting/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jank-lang.org/blog/2025-03-28-</span><span class="invisible">error-reporting/</span></a></p><p>Discussions: <a href="https://discu.eu/q/https://jank-lang.org/blog/2025-03-28-error-reporting/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">discu.eu/q/https://jank-lang.o</span><span class="invisible">rg/blog/2025-03-28-error-reporting/</span></a></p><p><a href="https://mastodon.social/tags/clojure" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>clojure</span></a> <a href="https://mastodon.social/tags/compilers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compilers</span></a> <a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compsci</span></a> <a href="https://mastodon.social/tags/cpp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>cpp</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>plt</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a></p>
José A. Alonso<p>Soluciones de exámenes de Lógica informática (2000-07). <a href="https://web.archive.org/web/https://www.cs.us.es/~jalonso/cursos/li-08/temas/examenes-li.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">web.archive.org/web/https://ww</span><span class="invisible">w.cs.us.es/~jalonso/cursos/li-08/temas/examenes-li.pdf</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</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/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CompSci</span></a></p>
José A. Alonso<p>Ejercicios de "Lógica informática" (2009-10). <a href="https://web.archive.org/web/https://www.cs.us.es/~jalonso/cursos/li-09/temas/ejercicios-LI-2009-10.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">web.archive.org/web/https://ww</span><span class="invisible">w.cs.us.es/~jalonso/cursos/li-09/temas/ejercicios-LI-2009-10.pdf</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</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/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CompSci</span></a></p>
José A. Alonso<p>Temas de "Lógica informática" (2009-10). <a href="https://web.archive.org/web/https://www.cs.us.es/~jalonso/cursos/li-09/temas/temas-LI-2009-10.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">web.archive.org/web/https://ww</span><span class="invisible">w.cs.us.es/~jalonso/cursos/li-09/temas/temas-LI-2009-10.pdf</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</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/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CompSci</span></a></p>
ExploreLive feeds
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.
Create accountLoginDrag & drop to upload