'/%3e%3cpath%20d='M50.3943%2022.237V39.5876H43.5185V22.7481C43.5185%2019.2029%2042.0411%2017.3949%2039.036%2017.3949C35.7325%2017.3949%2034.0778%2019.5338%2034.0778%2023.7585V32.9759H27.2434V23.7585C27.2434%2019.5338%2025.5857%2017.3949%2022.2822%2017.3949C19.2949%2017.3949%2017.8027%2019.2029%2017.8027%2022.7481V39.5876H10.9298V22.237C10.9298%2018.6918%2011.835%2015.8754%2013.6453%2013.7877C15.5128%2011.7049%2017.9623%2010.6355%2021.0028%2010.6355C24.522%2010.6355%2027.1813%2011.9885%2028.9542%2014.6917L30.665%2017.5633L32.3788%2014.6917C34.1517%2011.9885%2036.811%2010.6355%2040.3243%2010.6355C43.3619%2010.6355%2045.8114%2011.7049%2047.6847%2013.7877C49.4931%2015.8734%2050.3963%2018.6899%2050.3943%2022.237Z'%20fill='white'/%3e%3cdefs%3e%3clinearGradient%20id='paint0_linear_89_8'%20x1='30.5'%20y1='0'%20x2='30.5'%20y2='65'%20gradientUnits='userSpaceOnUse'%3e%3cstop%20stop-color='%236364FF'/%3e%3cstop%20offset='1'%20stop-color='%23563ACC'/%3e%3c/linearGradient%3e%3c/defs%3e%3c/svg%3e)
José A. Alonso<p>Readings shared March 15, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/03/15-readings_shared_03-15-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/03/15-readings_shared_03-15-25</span></a> <a href="https://mathstodon.xyz/tags/ACL2" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ACL2</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/CHR" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CHR</span></a> <a href="https://mathstodon.xyz/tags/Constraint" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Constraint</span></a> <a href="https://mathstodon.xyz/tags/Constraints" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Constraints</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/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/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicProgramming</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/NLP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>NLP</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prolog</span></a></p>
101010.pl is one of the many independent Mastodon servers you can use to participate in the fediverse.
101010.pl czyli najstarszy polski serwer Mastodon. Posiadamy wpisy do 2048 znaków.
Administered by:
Server stats:
503active users
101010.pl: About · Status · Profiles directory · Privacy policy
Mastodon: About · Get the app · Keyboard shortcuts · View source code · v4.4.0-alpha.5
#chr
0 posts · 0 participants · 0 posts today
José A. Alonso<p>Principles of rule-based programming. ~ Thom Frühwirth. <a href="https://books.google.com/books/?id=ciVOEQAAQBAJ" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">books.google.com/books/?id=ciV</span><span class="invisible">OEQAAQBAJ</span></a> <a href="https://mathstodon.xyz/tags/CHR" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CHR</span></a> <a href="https://mathstodon.xyz/tags/Constraint" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Constraint</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicProgramming</span></a></p>
Thomas Jensen<p>I solved my <a href="https://fosstodon.org/tags/wireguard" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>wireguard</span></a> problem — slow egress through my <a href="https://fosstodon.org/tags/mikrotik" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mikrotik</span></a> <a href="https://fosstodon.org/tags/chr" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>chr</span></a>. I was "working" with the <span class="h-card" translate="no"><a href="https://mastodon.social/@kagihq" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>kagihq</span></a></span> 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" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">blog.cavelab.dev/2025/01/optim</span><span class="invisible">izing-wireguard-on-chr/</span></a></p><p><a href="https://fosstodon.org/tags/homelab" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>homelab</span></a> <a href="https://fosstodon.org/tags/networking" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>networking</span></a></p>
Thomas Jensen<p>Upgrading the <a href="https://fosstodon.org/tags/Proxmox" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Proxmox</span></a> server hosting my <a href="https://fosstodon.org/tags/mikrotik" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mikrotik</span></a> <a href="https://fosstodon.org/tags/CHR" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CHR</span></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" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">blog.cavelab.dev/2024/11/upgra</span><span class="invisible">de-proxmox-hosting-router/</span></a></p>
enbgospel<p>The 47th ASCAP Christian Music Awards celebrated the remarkable achievements of Matthew West and Brandon Lake in the heart of Nashville. With West recognized as Christian Songwriter of the Year and Lake earning the title Christian Songwriter/Artist of the Year, the event showcased stellar performanc...<br><a href="https://convo.casa/tags/Christian_News" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Christian_News</span></a> <a href="https://convo.casa/tags/ASCAP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ASCAP</span></a> <a href="https://convo.casa/tags/ASCAP_Christian_Music_Awards" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ASCAP_Christian_Music_Awards</span></a> <a href="https://convo.casa/tags/Brandon_Lake" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Brandon_Lake</span></a> <a href="https://convo.casa/tags/Christian_gospel" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Christian_gospel</span></a> <a href="https://convo.casa/tags/Chr" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Chr</span></a>...<br><a href="https://en.bgospel.com/ascap-honors-matthew-west-and-brandon-lake/?feed_id=690&_unique_id=66fa15636af69" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">en.bgospel.com/ascap-honors-ma</span><span class="invisible">tthew-west-and-brandon-lake/?feed_id=690&_unique_id=66fa15636af69</span></a></p>
Andres Karjus<p>Our <a href="https://mastodon.social/tags/CUDAN2023" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CUDAN2023</span></a> Cultural Data Analytics Conference 2023 starting now, with <span class="h-card" translate="no"><a href="https://fediscience.org/@schichmax" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>schichmax</span></a></span> opening with a little overview of the field's history. We are streaming the whole thing too! Daily links here: cudan.tlu.ee/conference/<br>First keynote: Petter Holme on structures and networks in time.<br><a href="https://mastodon.social/tags/CUDAN" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CUDAN</span></a> <a href="https://mastodon.social/tags/DH" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DH</span></a> <a href="https://mastodon.social/tags/digitalhumanities" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>digitalhumanities</span></a> <a href="https://mastodon.social/tags/computationalhumanities" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>computationalhumanities</span></a> <a href="https://mastodon.social/tags/CHR" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CHR</span></a> <a href="https://mastodon.social/tags/culturalanalytics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>culturalanalytics</span></a></p>
realcaseyrollins ✝️<p><span class=""><span class="h-card"><a class="u-url mention" href="https://berserker.town/@thor" rel="nofollow noopener" target="_blank">@<span>thor</span></a></span> </span>Not exactly what you’re describing, but close, I think.</p><p>My instincts tell me that what you’re referring to is <a class="hashtag" href="https://social.teci.world/tag/chr" rel="nofollow noopener" target="_blank">#CHR</a>-adjacent</p>
Redqueen<p><a href="https://troet.cafe/tags/vorstellung" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>vorstellung</span></a> <a href="https://troet.cafe/tags/neuhier" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>neuhier</span></a> <br>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" target="_blank">#<span>laufen</span></a> <a href="https://troet.cafe/tags/joggen" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>joggen</span></a> <a href="https://troet.cafe/tags/meditation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>meditation</span></a> <a href="https://troet.cafe/tags/katzen" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>katzen</span></a> <a href="https://troet.cafe/tags/gesunde" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>gesunde</span></a> Ernährung <a href="https://troet.cafe/tags/vegan" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>vegan</span></a> <a href="https://troet.cafe/tags/Natur" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Natur</span></a> <a href="https://troet.cafe/tags/wandern" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>wandern</span></a> <a href="https://troet.cafe/tags/alternativmedizin" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>alternativmedizin</span></a> <a href="https://troet.cafe/tags/supboard" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>supboard</span></a> <a href="https://troet.cafe/tags/chr" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>chr</span></a> <a href="https://troet.cafe/tags/mittelalter" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mittelalter</span></a> <a href="https://troet.cafe/tags/heilfasten" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>heilfasten</span></a> <a href="https://troet.cafe/tags/r%C3%A4uchern" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>räuchern</span></a> <a href="https://troet.cafe/tags/weltraum" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>weltraum</span></a> <a href="https://troet.cafe/tags/mps" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mps</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