News for hackers. Stuff that matters.
Re:[video] IDP-Z3: A truly declarative approach to programming by pcarbonn on Wednesday November 22, 2023 @04:35AM (#38377046)
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.