Mastodon en masto.es

jbz🦾 Major Quantum Computing Advance Made Obsolete by Teenager | Quanta Magazine｢ 18-year-old Ewin Tang has proven that classical computers can solve the “recommendation problem” nearly as fast as quantum computers. The result eliminates one of the best examples of quantum speedup ｣<a href="https://www.quantamagazine.org/teenager-finds-classical-alternative-to-quantum-recommendation-algorithm-20180731/" rel="nofollow noopener" translate="no" target="_blank">https://www.quantamagazine.org/teenager-finds-classical-alternative-to-quantum-recommendation-algorithm-20180731/</a><a href="https://indieweb.social/tags/quantumcomputing" class="mention hashtag" rel="nofollow noopener" target="_blank">#quantumcomputing</a> <a href="https://indieweb.social/tags/compsci" class="mention hashtag" rel="nofollow noopener" target="_blank">#compsci</a> <a href="https://indieweb.social/tags/science" class="mention hashtag" rel="nofollow noopener" target="_blank">#science</a>

José A. Alonso<a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener" target="_blank">#MULCIA</a>: Research associate in formalization of mathematics at ICL. <a href="https://tinyurl.com/22cmbns5" rel="nofollow noopener" translate="no" target="_blank">https://tinyurl.com/22cmbns5</a> <a href="https://mathstodon.xyz/tags/PhD" class="mention hashtag" rel="nofollow noopener" target="_blank">#PhD</a> <a href="https://mathstodon.xyz/tags/PostDoc" class="mention hashtag" rel="nofollow noopener" target="_blank">#PostDoc</a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener" target="_blank">#CompSci</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#Math</a>

Gemma ⭐️🔰🇺🇸 🇵🇭 🎐<a href="https://mstdn.plus/tags/Anonymity" class="mention hashtag" rel="nofollow noopener" target="_blank">#Anonymity</a>, forgetfulness, and forgiveness are essential aspects of digital <a href="https://mstdn.plus/tags/privacy" class="mention hashtag" rel="nofollow noopener" target="_blank">#privacy</a> and <a href="https://mstdn.plus/tags/security" class="mention hashtag" rel="nofollow noopener" target="_blank">#security</a>. They are every bit as essential to the functioning of a healthy society as the traditional "Three A's" of information security: access controls, authentication of identity, and accounting (or accountability, if you prefer).<a href="https://mstdn.plus/tags/infosec" class="mention hashtag" rel="nofollow noopener" target="_blank">#infosec</a> <a href="https://mstdn.plus/tags/compsci" class="mention hashtag" rel="nofollow noopener" target="_blank">#compsci</a> <a href="https://mstdn.plus/tags/philosophy" class="mention hashtag" rel="nofollow noopener" target="_blank">#philosophy</a> <a href="https://mstdn.plus/tags/morality" class="mention hashtag" rel="nofollow noopener" target="_blank">#morality</a> <a href="https://mstdn.plus/tags/ethics" class="mention hashtag" rel="nofollow noopener" target="_blank">#ethics</a> <a href="https://mstdn.plus/tags/politics" class="mention hashtag" rel="nofollow noopener" target="_blank">#politics</a> <a href="https://mstdn.plus/tags/sociology" class="mention hashtag" rel="nofollow noopener" target="_blank">#sociology</a>

@haitchfiveThe Big OOPs: Anatomy of a Thirty-five-year Mistake – BSC 2025by Casey Muratori<a href="https://www.youtube.com/watch?v=wo84LFzx5nI" rel="nofollow noopener" translate="no" target="_blank">https://www.youtube.com/watch?v=wo84LFzx5nI</a>I don't watch or attend a lot of conferences and talks these days, probably for the same reasons you shouldn't watch as much tv and believe it all as you used to.But to me, at least, this is a deep and serious one worth your time in a fundamental way. If you are a programmer who actually cares about code and people who are exposed to that code.<a href="https://oldbytes.space/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#programming</a> <a href="https://oldbytes.space/tags/oops" class="mention hashtag" rel="nofollow noopener" target="_blank">#oops</a> <a href="https://oldbytes.space/tags/compsci" class="mention hashtag" rel="nofollow noopener" target="_blank">#compsci</a>

LobstersThe MonTana Mini Computer <a href="https://lobste.rs/s/wvy1o7" rel="nofollow noopener" translate="no" target="_blank">https://lobste.rs/s/wvy1o7</a> <a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="nofollow noopener" target="_blank">#compsci</a> <a href="https://mastodon.social/tags/retrocomputing" class="mention hashtag" rel="nofollow noopener" target="_blank">#retrocomputing</a> <a href="https://mtmc.cs.montana.edu" rel="nofollow noopener" translate="no" target="_blank">https://mtmc.cs.montana.edu</a>

José A. Alonso<a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener" target="_blank">#MULCIA</a>: Postdoc in AI (including logic), University of Bergen (Norway). <a href="https://tinyurl.com/2237r8xo" rel="nofollow noopener" translate="no" target="_blank">https://tinyurl.com/2237r8xo</a> <a href="https://mathstodon.xyz/tags/PostDoc" class="mention hashtag" rel="nofollow noopener" target="_blank">#PostDoc</a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener" target="_blank">#CompSci</a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#AI</a>

José A. AlonsoReadings shared July 18, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/07/19-readings_shared_07-18-25" rel="nofollow noopener" translate="no" target="_blank">https://jaalonso.github.io/vestigium/posts/2025/07/19-readings_shared_07-18-25</a> <a href="https://mathstodon.xyz/tags/ACL2" class="mention hashtag" rel="nofollow noopener" target="_blank">#ACL2</a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener" target="_blank">#CompSci</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/Rocq" class="mention hashtag" rel="nofollow noopener" target="_blank">#Rocq</a> <a href="https://mathstodon.xyz/tags/Rust" class="mention hashtag" rel="nofollow noopener" target="_blank">#Rust</a> <a href="https://mathstodon.xyz/tags/Teaching" class="mention hashtag" rel="nofollow noopener" target="_blank">#Teaching</a>

LobstersSuper Mario Bros is (Computationally) Hard <a href="https://lobste.rs/s/pz8p8c" rel="nofollow noopener" translate="no" target="_blank">https://lobste.rs/s/pz8p8c</a> <a href="https://mastodon.social/tags/video" class="mention hashtag" rel="nofollow noopener" target="_blank">#video</a> <a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="nofollow noopener" target="_blank">#compsci</a> <a href="https://mastodon.social/tags/games" class="mention hashtag" rel="nofollow noopener" target="_blank">#games</a> <a href="https://www.youtube.com/watch?v=unLPk4H1hto" rel="nofollow noopener" translate="no" target="_blank">https://www.youtube.com/watch?v=unLPk4H1hto</a>

LobstersHow do you compute the midpoint of an interval? (2014) <a href="https://lobste.rs/s/t8dsm3" rel="nofollow noopener" translate="no" target="_blank">https://lobste.rs/s/t8dsm3</a> <a href="https://mastodon.social/tags/pdf" class="mention hashtag" rel="nofollow noopener" target="_blank">#pdf</a> <a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="nofollow noopener" target="_blank">#compsci</a> <a href="https://hal.science/file/index/docid/576641/filename/computing-midpoint.pdf" rel="nofollow noopener" translate="no" target="_blank">https://hal.science/file/index/docid/576641/filename/computing-midpoint.pdf</a>

José A. AlonsoTeaching software specification (Experience report). ~ Cameron Moy, Daniel Patterson. <a href="https://ccs.neu.edu/~camoy/pub/lsl.pdf" rel="nofollow noopener" translate="no" target="_blank">https://ccs.neu.edu/~camoy/pub/lsl.pdf</a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener" target="_blank">#CompSci</a> <a href="https://mathstodon.xyz/tags/Teaching" class="mention hashtag" rel="nofollow noopener" target="_blank">#Teaching</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#LeanProver</a> <a href="https://mathstodon.xyz/tags/ACL2" class="mention hashtag" rel="nofollow noopener" target="_blank">#ACL2</a>

José A. AlonsoCSLib: An open-source Lean 4 library formalizing a significant subsetof undergraduate-level computer science. ~ Clark Barrett et als. <a href="https://docs.google.com/presentation/d/1aJFM3EaI4LcppHR_2YFQHiBjUfMMhMKxCeM3BfINi48" rel="nofollow noopener" translate="no" target="_blank">https://docs.google.com/presentation/d/1aJFM3EaI4LcppHR_2YFQHiBjUfMMhMKxCeM3BfINi48</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#LeanProver</a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener" target="_blank">#CompSci</a>

José A. Alonso<a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener" target="_blank">#MULCIA</a>: Applied researcher in formal methods (Lean4) at Axiomatic_AI. <a href="https://tinyurl.com/ylsqbu6e" rel="nofollow noopener" translate="no" target="_blank">https://tinyurl.com/ylsqbu6e</a> <a href="https://mathstodon.xyz/tags/Jobs" class="mention hashtag" rel="nofollow noopener" target="_blank">#Jobs</a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener" target="_blank">#CompSci</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#LeanProver</a>

LobstersIris-WebP: Fast, efficient WebP encoder by <a href="https://disobey.net/@gianni" class="u-url mention" rel="nofollow noopener" target="_blank">@gianni</a> <a href="https://lobste.rs/s/qckjst" rel="nofollow noopener" translate="no" target="_blank">https://lobste.rs/s/qckjst</a> <a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="nofollow noopener" target="_blank">#compsci</a> <a href="https://mastodon.social/tags/web" class="mention hashtag" rel="nofollow noopener" target="_blank">#web</a> <a href="https://halide.cx/iris" rel="nofollow noopener" translate="no" target="_blank">https://halide.cx/iris</a>

LobstersIntroduction to the Par Language via <a href="https://mathstodon.xyz/@4ad" class="u-url mention" rel="nofollow noopener" target="_blank">@4ad</a> <a href="https://lobste.rs/s/22rvk3" rel="nofollow noopener" translate="no" target="_blank">https://lobste.rs/s/22rvk3</a> <a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="nofollow noopener" target="_blank">#compsci</a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener" target="_blank">#plt</a> <a href="https://faiface.github.io/par-lang/" rel="nofollow noopener" translate="no" target="_blank">https://faiface.github.io/par-lang/</a>

Joshua GrochowHas anyone played around with encouraging (but not requiring) students to teach one another?One way of demonstrating mastery of the material is teaching it to others. I feel like if student A says "Student B really helped me understand the material" that increases my Bayesian posterior that student B understood the material really well (and also that student A understood it, since presumably after student B explained it, student A understood it at least better than they did before).I wouldn't do this as the only, or even major, part of their grade, but it seems like if the grade is to reflect learning, that teaching it to others certainly reflects on their learning.(Additional context: this is for a university-level elective technical course in Comp Sci, for 3rd and 4th-years mostly. I generally do flipped classroom and alternative grading - some combo of ungrading, mastery-based, standards-based, but I'm open to ideas. The class has about 55 students, so whatever it is can take some time but not be *too* time-intensive on me & the one TA.)<a href="https://mathstodon.xyz/tags/AlternativeGrading" class="mention hashtag" rel="nofollow noopener" target="_blank">#AlternativeGrading</a> <a href="https://mathstodon.xyz/tags/grading" class="mention hashtag" rel="nofollow noopener" target="_blank">#grading</a> <a href="https://mathstodon.xyz/tags/teaching" class="mention hashtag" rel="nofollow noopener" target="_blank">#teaching</a> <a href="https://mathstodon.xyz/tags/education" class="mention hashtag" rel="nofollow noopener" target="_blank">#education</a> <a href="https://mathstodon.xyz/tags/CSEd" class="mention hashtag" rel="nofollow noopener" target="_blank">#CSEd</a> <a href="https://mathstodon.xyz/tags/ComputerScience" class="mention hashtag" rel="nofollow noopener" target="_blank">#ComputerScience</a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener" target="_blank">#CompSci</a>

LobstersImproving AVIF in Open Source by <a href="https://disobey.net/@gianni" class="u-url mention" rel="nofollow noopener" target="_blank">@gianni</a> <a href="https://lobste.rs/s/hvo6lf" rel="nofollow noopener" translate="no" target="_blank">https://lobste.rs/s/hvo6lf</a> <a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="nofollow noopener" target="_blank">#compsci</a> <a href="https://halide.cx/blog/improving-avif-in-open-source/index.html" rel="nofollow noopener" translate="no" target="_blank">https://halide.cx/blog/improving-avif-in-open-source/index.html</a>

José A. Alonso<a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener" target="_blank">#MULCIA</a>: Doctoral/Postdoctoral Position in Formal Methods and Verification, Konstanz (Germany). <a href="https://tinyurl.com/ysyqy3g5" rel="nofollow noopener" translate="no" target="_blank">https://tinyurl.com/ysyqy3g5</a> <a href="https://mathstodon.xyz/tags/PhD" class="mention hashtag" rel="nofollow noopener" target="_blank">#PhD</a> <a href="https://mathstodon.xyz/tags/PostDoc" class="mention hashtag" rel="nofollow noopener" target="_blank">#PostDoc</a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener" target="_blank">#CompSci</a>

José A. Alonso<a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener" target="_blank">#MULCIA</a>: 2 Postdoc Positions in Homotopy Type Theory, University of Nottingham (UK). <a href="https://tinyurl.com/ysld3f5r" rel="nofollow noopener" translate="no" target="_blank">https://tinyurl.com/ysld3f5r</a> <a href="https://mathstodon.xyz/tags/PostDoc" class="mention hashtag" rel="nofollow noopener" target="_blank">#PostDoc</a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener" target="_blank">#CompSci</a>

José A. Alonso<a href="https://mathstodon.xyz/tags/MULCIA" class="mention hashtag" rel="nofollow noopener" target="_blank">#MULCIA</a>: PhD positions in formal methods and planning, Gothenburg (Sweden) <a href="https://tinyurl.com/ywa5vee6" rel="nofollow noopener" translate="no" target="_blank">https://tinyurl.com/ywa5vee6</a> <a href="https://mathstodon.xyz/tags/PhD" class="mention hashtag" rel="nofollow noopener" target="_blank">#PhD</a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener" target="_blank">#CompSci</a>

Charo del GenioNew paper! How can we detect the presence of communities in networks with higher-order interactions? For instance, by maximizing hypermodularity! Also, this formulation will allow you to leverage tensor spectral methods to do it. Additionally, the paper also argues that the "overfitting" of modularity methods is actually just people applying them where they are not supposed to be used. And, as a byproduct, there is an explanation of why higher-order SVD works so well in classification tasks in machine learning. Oh, the code is available to use in your own projects (link in the first comment). And moreover, the code includes an efficient data structure for higher-order networks that is independent from the community detection method and that you can also use in your own work. 😎<a href="https://journals.aps.org/prresearch/abstract/10.1103/58dr-wktc" rel="nofollow noopener" translate="no" target="_blank">https://journals.aps.org/prresearch/abstract/10.1103/58dr-wktc</a><a href="https://mathstodon.xyz/tags/networks" class="mention hashtag" rel="nofollow noopener" target="_blank">#networks</a> <a href="https://mathstodon.xyz/tags/complexity" class="mention hashtag" rel="nofollow noopener" target="_blank">#complexity</a> <a href="https://mathstodon.xyz/tags/physics" class="mention hashtag" rel="nofollow noopener" target="_blank">#physics</a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#maths</a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener" target="_blank">#CompSci</a> <a href="https://mathstodon.xyz/tags/graphs" class="mention hashtag" rel="nofollow noopener" target="_blank">#graphs</a> <a href="https://mathstodon.xyz/tags/higherorder" class="mention hashtag" rel="nofollow noopener" target="_blank">#higherorder</a> <a href="https://mathstodon.xyz/tags/hypergraphs" class="mention hashtag" rel="nofollow noopener" target="_blank">#hypergraphs</a> <a href="https://mathstodon.xyz/tags/community" class="mention hashtag" rel="nofollow noopener" target="_blank">#community</a> <a href="https://mathstodon.xyz/tags/detection" class="mention hashtag" rel="nofollow noopener" target="_blank">#detection</a> <a href="https://mathstodon.xyz/tags/algorithm" class="mention hashtag" rel="nofollow noopener" target="_blank">#algorithm</a> <a href="https://mathstodon.xyz/tags/communitystructure" class="mention hashtag" rel="nofollow noopener" target="_blank">#communitystructure</a> <a href="https://mathstodon.xyz/tags/modularity" class="mention hashtag" rel="nofollow noopener" target="_blank">#modularity</a> <a href="https://mathstodon.xyz/tags/hypermodularity" class="mention hashtag" rel="nofollow noopener" target="_blank">#hypermodularity</a>

Búsquedas recientes

Opciones de búsqueda

Administrado por:

Estadísticas del servidor:

#compsci