Mathstodon

0 posts0 participants0 posts today

José A. AlonsoReadings shared March 15, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/03/15-readings_shared_03-15-25" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://jaalonso.github.io/vestigium/posts/2025/03/15-readings_shared_03-15-25</a> <a href="https://mathstodon.xyz/tags/ACL2" class="mention hashtag" rel="tag">#ACL2</a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="tag">#AI</a> <a href="https://mathstodon.xyz/tags/CHR" class="mention hashtag" rel="tag">#CHR</a> <a href="https://mathstodon.xyz/tags/Constraint" class="mention hashtag" rel="tag">#Constraint</a> <a href="https://mathstodon.xyz/tags/Constraints" class="mention hashtag" rel="tag">#Constraints</a> <a href="https://mathstodon.xyz/tags/Emacs" class="mention hashtag" rel="tag">#Emacs</a> <a href="https://mathstodon.xyz/tags/FormalVerification" class="mention hashtag" rel="tag">#FormalVerification</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="tag">#FunctionalProgramming</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="tag">#Haskell</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="tag">#ITP</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="tag">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="tag">#Logic</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="tag">#LogicProgramming</a> <a href="https://mathstodon.xyz/tags/MachineLearning" class="mention hashtag" rel="tag">#MachineLearning</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="tag">#Math</a> <a href="https://mathstodon.xyz/tags/NLP" class="mention hashtag" rel="tag">#NLP</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="tag">#Prolog</a>

José A. AlonsoPrinciples of rule-based programming. ~ Thom Frühwirth. <a href="https://books.google.com/books/?id=ciVOEQAAQBAJ" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://books.google.com/books/?id=ciVOEQAAQBAJ</a> <a href="https://mathstodon.xyz/tags/CHR" class="mention hashtag" rel="tag">#CHR</a> <a href="https://mathstodon.xyz/tags/Constraint" class="mention hashtag" rel="tag">#Constraint</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="tag">#LogicProgramming</a>

Thomas JensenI solved my <a href="https://fosstodon.org/tags/wireguard" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#wireguard</a> problem — slow egress through my <a href="https://fosstodon.org/tags/mikrotik" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#mikrotik</a> <a href="https://fosstodon.org/tags/chr" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#chr</a>. I was "working" with the <a href="https://mastodon.social/@kagihq" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@kagihq</a> Assistant while troubleshooting. My first time using an AI assistant, I am fairly impressed 🙂 <a href="https://blog.cavelab.dev/2025/01/optimizing-wireguard-on-chr/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://blog.cavelab.dev/2025/01/optimizing-wireguard-on-chr/</a><a href="https://fosstodon.org/tags/homelab" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#homelab</a> <a href="https://fosstodon.org/tags/networking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#networking</a>

Thomas JensenUpgrading the <a href="https://fosstodon.org/tags/Proxmox" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Proxmox</a> server hosting my <a href="https://fosstodon.org/tags/mikrotik" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#mikrotik</a> <a href="https://fosstodon.org/tags/CHR" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CHR</a> router. I first downloaded the updates, before taking the VM down. <a href="https://blog.cavelab.dev/2024/11/upgrade-proxmox-hosting-router/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://blog.cavelab.dev/2024/11/upgrade-proxmox-hosting-router/</a>

Brian RogersI'm slowly reading "Essentials of Constraint Programming" by Thom Frühwirth and Slim Abdennadher. I have been enjoying learning <a href="https://infosec.exchange/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a>, <a href="https://infosec.exchange/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a>, and <a href="https://infosec.exchange/tags/CHR" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CHR</a> <a href="https://infosec.exchange/tags/ConstraintHandlingRules" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ConstraintHandlingRules</a>, but I am struggling with this book. I'm not familiar with the mathematical notation and I've also just not had much free time to read it. <a href="https://www.goodreads.com/book/show/11053064-essentials-of-constraint-programming" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.goodreads.com/book/show/11053064-essentials-of-constraint-programming</a>

Andres KarjusOur <a href="https://mastodon.social/tags/CUDAN2023" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CUDAN2023</a> Cultural Data Analytics Conference 2023 starting now, with <a href="https://fediscience.org/@schichmax" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@schichmax</a> opening with a little overview of the field's history. We are streaming the whole thing too! Daily links here: cudan.tlu.ee/conference/ First keynote: Petter Holme on structures and networks in time. <a href="https://mastodon.social/tags/CUDAN" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CUDAN</a> <a href="https://mastodon.social/tags/DH" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#DH</a> <a href="https://mastodon.social/tags/digitalhumanities" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#digitalhumanities</a> <a href="https://mastodon.social/tags/computationalhumanities" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#computationalhumanities</a> <a href="https://mastodon.social/tags/CHR" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CHR</a> <a href="https://mastodon.social/tags/culturalanalytics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#culturalanalytics</a>

Redqueen<a href="https://troet.cafe/tags/vorstellung" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#vorstellung</a> <a href="https://troet.cafe/tags/neuhier" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#neuhier</a> Hallo zusammen, ich freue mich mastodon gefunden zu haben und stelle mich kurz vor. Ich komme aus Norddeutschland und interessiere mich für Themen wie <a href="https://troet.cafe/tags/laufen" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#laufen</a> <a href="https://troet.cafe/tags/joggen" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#joggen</a> <a href="https://troet.cafe/tags/meditation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#meditation</a> <a href="https://troet.cafe/tags/katzen" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#katzen</a> <a href="https://troet.cafe/tags/gesunde" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#gesunde</a> Ernährung <a href="https://troet.cafe/tags/vegan" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#vegan</a> <a href="https://troet.cafe/tags/Natur" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Natur</a> <a href="https://troet.cafe/tags/wandern" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#wandern</a> <a href="https://troet.cafe/tags/alternativmedizin" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#alternativmedizin</a> <a href="https://troet.cafe/tags/supboard" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#supboard</a> <a href="https://troet.cafe/tags/chr" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#chr</a> <a href="https://troet.cafe/tags/mittelalter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#mittelalter</a> <a href="https://troet.cafe/tags/heilfasten" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#heilfasten</a> <a href="https://troet.cafe/tags/r%C3%A4uchern" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#räuchern</a> <a href="https://troet.cafe/tags/weltraum" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#weltraum</a> <a href="https://troet.cafe/tags/mps" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#mps</a>

Recent searches

Search options

Administered by:

Server stats:

#chr