Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
sfba.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for the San Francisco Bay Area. Come on in and join us!

Administered by:

Server stats:

2.4K
active users

sfba.social: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.4

#constraint

0 posts0 participants0 posts today
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 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/15-readings_shared_03-15-25</span></a> <a href="https://mathstodon.xyz/tags/ACL2" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ACL2</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/CHR" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CHR</span></a> <a href="https://mathstodon.xyz/tags/Constraint" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Constraint</span></a> <a href="https://mathstodon.xyz/tags/Constraints" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Constraints</span></a> <a href="https://mathstodon.xyz/tags/Emacs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Emacs</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/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/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/MachineLearning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MachineLearning</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/NLP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>NLP</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prolog</span></a></p>
José A. Alonso<p>Principles of rule-based programming. ~ Thom Frühwirth. <a href="https://books.google.com/books/?id=ciVOEQAAQBAJ" rel="nofollow noopener noreferrer" 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 noreferrer" target="_blank">#<span>CHR</span></a> <a href="https://mathstodon.xyz/tags/Constraint" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Constraint</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicProgramming</span></a></p>
:rss: Hacker News<p>Clang Static Analyzer and the Z3 constraint solver<br><a href="https://www.cambus.net/clang-static-analyzer-and-the-z3-constraint-solver/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">cambus.net/clang-static-analyz</span><span class="invisible">er-and-the-z3-constraint-solver/</span></a><br><a href="https://rss-mstdn.studiofreesia.com/tags/ycombinator" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ycombinator</span></a> <a href="https://rss-mstdn.studiofreesia.com/tags/llvm" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>llvm</span></a> <a href="https://rss-mstdn.studiofreesia.com/tags/clang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>clang</span></a> <a href="https://rss-mstdn.studiofreesia.com/tags/scan_build" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>scan_build</span></a> <a href="https://rss-mstdn.studiofreesia.com/tags/static" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>static</span></a> <a href="https://rss-mstdn.studiofreesia.com/tags/analysis" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>analysis</span></a> <a href="https://rss-mstdn.studiofreesia.com/tags/constraint" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>constraint</span></a> <a href="https://rss-mstdn.studiofreesia.com/tags/solver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>solver</span></a> <a href="https://rss-mstdn.studiofreesia.com/tags/cambus_net" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>cambus_net</span></a></p>
ExploreLive feeds
About