[video] IDP-Z3: A truly declarative approach to programming

Post by pcarbonn » Wed, Nov 22, 2023, 9:35 AM UTC

Post by [deleted] » Wed, Nov 22, 2023, 9:46 AM UTC

pcarbonn wrote: post #2

Following a HN post on the IDP-Z3 knowledge base system yesterday, you might be interested in a talk I gave at Fosdem earlier this year.