Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Administered by:

Server stats:

3K
active users

mathstodon.xyz: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.6

#chr

0 posts0 participants0 posts today
Public
José A. Alonso

Principles of rule-based programming. ~ Thom Frühwirth. books.google.com/books/?id=ciV

Google BooksPrinciples of Rule-Based ProgrammingThe book provides a unified overview of concepts and features of a comprehensive variety of rule-based programming languages. They have applications in diverse areas such as workflow systems, the Semantic Web, decision support, optimization problems, simulation and modeling, software engineering, program verification and security, and artificial intelligence. Through clear definitions, helpful explanations, concrete examples and instructive exercises with selected solutions, the reader will gain a thorough understanding of rule-based formalisms, systems and programming languages. The rule-based formalisms presented are Multiset Transformation, Term Rewriting Systems, Colored Petri Nets and Logical Algorithms. The rule-based systems are Production Rules, Event-Condition-Action Rules and Datalog. The rule-based programming languages are Functional Programming, Constraint Logic Programming and Concurrent Constraint Programming. By embedding these approaches into Constraint Handling Rules, a powerful and versatile programming language, it provides a common platform for understanding and comparison as well as execution and analysis of rule-based approaches. The book is ideal for researchers, students and programmers who want to learn about the power and potential of rule-based programming and understand its characteristic features and abilities.
Public
Thomas Jensen

I solved my #wireguard problem — slow egress through my #mikrotik #chr. I was "working" with the @kagihq Assistant while troubleshooting. My first time using an AI assistant, I am fairly impressed 🙂 blog.cavelab.dev/2025/01/optim

Cavelab blog · Optimizing WireGuard on MikroTik CHRI’ve been having a strange problem with outgoing WireGuard traffic, the problem has probably always been there — I just haven’t noticed, until now. Outgoing WireGuard traffic is very slow, while incoming is what I’d except with my 750/750 fiber internet connection. This lead me down a rabbit hole of testing performance internally, which I documented in a previous blog post. That turned out to be a queue issue on the SFP+ port on my MikroTik CHR router. Could this also be queue related?
#homelab#networking
Public *
Brian Rogers

I'm slowly reading "Essentials of Constraint Programming" by Thom Frühwirth and Slim Abdennadher. I have been enjoying learning #Prolog, #LogicProgramming, and #CHR #ConstraintHandlingRules, 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.
goodreads.com/book/show/110530

GoodreadsEssentials of Constraint Programming (Cognitive Technol…The book is a short, concise and complete presentation …
SearchLive feeds
About