Hacker News Reader

luke_galeaon Everyone is wrong about that Slack flowchart

There is a library in Ruby to generate graphviz from state machines: https://github.com/state-machines/state_machines-graphviz

luke_galeaon Everyone is wrong about that Slack flowchart

I think the slack flowchart is a great example of where declarative programming really shines.

You might enjoy this talk about rules engines where I simplify part of Slack's notification logic: https://youtu.be/mDnntrhk-8g?si=K1_8pU-Ck1fsCUM5

Fun stuff!

luke_galeaon Use Prolog to improve LLM's reasoning

Super cool. I dig generating rules from within the LLM, but I'm not sure Prolog is the right choice in 2024.

I love Prolog and had the opportunity to use it "in anger" years ago to handle temporal logic in a scheduling app. Great experience, but I've found that more modern rules engines like Drools (anything using the Rete algorithm) are a MUCH better fit for most use cases these days.

If you are into this stuff, you might like the talk I gave on rules engines, prolog and how it led to erlang & elixir. https://www.youtube.com/watch?v=mDnntrhk-8g&t=1s