See https://cacm.acm.org/magazines/2023/6/273222-the-silent-revolution-of-sat/fulltext and also modern production rules engines like https://drools.org/ Oddly, back when “expert system shells” were cool people thought 10,000 rules were difficult to handle, now 1,000,000 might not be a problem at all. Back then the RETE algorithm was still under development and people were using linear search and not hash tables... - Source: Hacker News / 5 months ago

Drools – an open-source business rule management system that allows developers to create and manage complex decision logic. Source: about 1 year ago

- Drools - Available in JVM environments (Java, Scala and similar) - uses FEEL for expression language. Source: about 1 year ago

GoRules is a modern, open-source rules engine designed for high performance and scalability. Our mission is to democratise rules engines and drive early adoption. Rules engines are very useful as they allow business users to easily understand and modify core business logic with little help from developers. You can think of us as a modern, less memory-hungry version of Drools that will be available in many... Source: about 1 year ago

Is this something like Drools? It's quite uncommon but it is used in situations where certain sets of business rules change a lot and you want business analysts to be able to quickly change them in a simple graphical UI. Source: over 2 years ago

Onin | London, UK or similar timezone | REMOTE | React Native, Swift, Objective-C | £120K and £100K options + Private Health Insurance + 33 days holiday (incl. Bank holidays) The app: https://onin.co With a founding team of just two we closed a seed round of £2.75M in July 2022. We’ve since hired two engineers. We plan on keeping the engineering team as small as possible with a highly selective hiring process. Our... - Source: Hacker News / over 1 year ago

Hey, it’s Ryan here (co-founder of YC-backed Muzz, the world's largest Muslim dating app). I’m now building Onin, an end-to-end encrypted (E2EE) calendar and chat app that makes organising your personal and social life simple and secure. Source: over 1 year ago