Fosstodon

3 posts3 participants1 post today

José A. AlonsoReadings shared April 22, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/04/22-readings_shared_04-22-25" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://jaalonso.github.io/vestigium/posts/2025/04/22-readings_shared_04-22-25</a> <a href="https://mathstodon.xyz/tags/CommonLisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CommonLisp</a> <a href="https://mathstodon.xyz/tags/Datalog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Datalog</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LLMs</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LeanProver</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a> <a href="https://mathstodon.xyz/tags/Python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Python</a>

José A. AlonsoThe inverse method is a good fit for Datalog theorem proving. ~ Philip Zucker. <a href="https://philipzucker.com/inverse_method" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://philipzucker.com/inverse_method</a> <a href="https://mathstodon.xyz/tags/Datalog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Datalog</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a>

Philip Zucker[New Blog Post] The Inverse Method is a Good Fit for Datalog Theorem Proving <a href="https://types.pl/tags/datalog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#datalog</a> <a href="https://types.pl/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logic</a> <a href="https://www.philipzucker.com/inverse_method/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.philipzucker.com/inverse_method/</a>

N-gated Hacker News🥸 Ah, <a href="https://mastodon.social/tags/Scallop" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Scallop</a>, the language of choice for those who can't decide between symbols and neurons, as if <a href="https://mastodon.social/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AI</a> needed more seasoning. 🧂 Just what we needed: another "revolutionary" tool, based on <a href="https://mastodon.social/tags/Datalog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Datalog</a>, to baffle even the most dedicated programmers. ⚠️ Perfect for when you want your Python code to be even less comprehensible. 🐍 <a href="https://www.scallop-lang.org/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.scallop-lang.org/</a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programming</a> <a href="https://mastodon.social/tags/humor" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#humor</a> <a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#HackerNews</a> <a href="https://mastodon.social/tags/ngated" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ngated</a>

José A. AlonsoReadings shared March 18, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/03/18-readings_shared_03-18-25" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://jaalonso.github.io/vestigium/posts/2025/03/18-readings_shared_03-18-25</a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AI</a> <a href="https://mathstodon.xyz/tags/ASP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ASP</a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ATP</a> <a href="https://mathstodon.xyz/tags/CLP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CLP</a> <a href="https://mathstodon.xyz/tags/CommonLisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CommonLisp</a> <a href="https://mathstodon.xyz/tags/Datalog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Datalog</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FunctionalProgramming</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a> <a href="https://mathstodon.xyz/tags/Mace" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Mace</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a> <a href="https://mathstodon.xyz/tags/Otter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Otter</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a> <a href="https://mathstodon.xyz/tags/Prover9" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prover9</a> <a href="https://mathstodon.xyz/tags/SMT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SMT</a> <a href="https://mathstodon.xyz/tags/Z3" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Z3</a>

José A. AlonsoTeaching logic programming: a review. ~ Serhiy O. Semerikov, Iryna S. Mintii, Natalia V. Moiseienko. <a href="https://acnsci.org/journal/index.php/cte/article/view/838/860" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://acnsci.org/journal/index.php/cte/article/view/838/860</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a> <a href="https://mathstodon.xyz/tags/ASP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ASP</a> <a href="https://mathstodon.xyz/tags/CLP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CLP</a> <a href="https://mathstodon.xyz/tags/Datalog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Datalog</a>

LavX NewsUnlocking AI's Potential: Introducing Scallop, the Neurosymbolic Programming LanguageIn a groundbreaking development, researchers at the University of Pennsylvania have unveiled Scallop, a neurosymbolic programming language that merges deep learning with symbolic reasoning. This innov...<a href="https://news.lavx.hu/article/unlocking-ai-s-potential-introducing-scallop-the-neurosymbolic-programming-language" rel="nofollow noopener noreferrer" target="_blank">https://news.lavx.hu/article/unlocking-ai-s-potential-introducing-scallop-the-neurosymbolic-programming-language</a><a href="https://mastodon.cloud/tags/news" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#news</a> <a href="https://mastodon.cloud/tags/tech" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#tech</a> <a href="https://mastodon.cloud/tags/NeurosymbolicAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#NeurosymbolicAI</a> <a href="https://mastodon.cloud/tags/Scallop" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Scallop</a> <a href="https://mastodon.cloud/tags/Datalog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Datalog</a>

Felix 🇺🇦🚴‍♂️🇨🇦🇬🇱🇩🇰🇲🇽🇵🇦 🇪🇺The <a href="https://norden.social/tags/Dusa" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Dusa</a> Programming Language Dusa is a logic programming language designed by Rob Simmons and Chris Martens, the first implementation of finite-choice logic programming. <a href="https://norden.social/tags/datalog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#datalog</a> <a href="https://norden.social/tags/logicprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logicprogramming</a> <a href="https://norden.social/tags/graphs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#graphs</a> <a href="https://norden.social/tags/prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#prolog</a> <a href="https://norden.social/tags/programminglanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programminglanguages</a> <a href="https://dusa.rocks/docs/introductions/graph/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://dusa.rocks/docs/introductions/graph/</a>

vp2024, was a year of <a href="https://fosstodon.org/tags/datalog" class="mention hashtag" rel="tag">#datalog</a> and <a href="https://fosstodon.org/tags/prolog" class="mention hashtag" rel="tag">#prolog</a> and just a bit of hashtag#rust I love to learn languages. I have few options this year I more and more see a need for system languages to make hashtag#edgeai a reality, but I also see Python everywhere - renew my hashtag#python. I see that language has gone far in the last years - renew and learn modern <a href="https://fosstodon.org/tags/C" class="mention hashtag" rel="tag">#C</a> - <a href="https://fosstodon.org/tags/zig" class="mention hashtag" rel="tag">#zig</a> - <a href="https://fosstodon.org/tags/gleam" class="mention hashtag" rel="tag">#gleam</a> I also fell in love with <a href="https://fosstodon.org/tags/ocaml" class="mention hashtag" rel="tag">#ocaml</a> but still haven't found a paid job for it What is on your list?

vpIdea of <a href="https://fosstodon.org/tags/propertygraph" class="mention hashtag" rel="tag">#propertygraph</a> on top of <a href="https://fosstodon.org/tags/rdf" class="mention hashtag" rel="tag">#rdf</a> is interesting. It is marry 2 big camps and give more tools and power . <a href="https://fosstodon.org/tags/terminusdb" class="mention hashtag" rel="tag">#terminusdb</a> go even forward and add more user friendly document based interface for <a href="https://fosstodon.org/tags/linkeddata" class="mention hashtag" rel="tag">#linkeddata</a> on top of <a href="https://fosstodon.org/tags/jsonld" class="mention hashtag" rel="tag">#jsonld</a> that could be translated to <a href="https://fosstodon.org/tags/rdf" class="mention hashtag" rel="tag">#rdf</a>. Unfortunately we still has no tools for <a href="https://fosstodon.org/tags/edge" class="mention hashtag" rel="tag">#edge</a> and on user device . I see that terminus <a href="https://fosstodon.org/tags/hdt" class="mention hashtag" rel="tag">#hdt</a> store and effective <a href="https://fosstodon.org/tags/datalog" class="mention hashtag" rel="tag">#datalog</a> engine improvemented in <a href="https://fosstodon.org/tags/rust" class="mention hashtag" rel="tag">#rust</a> give a hope

burakemirHow cool to discover happy <a href="https://discuss.systems/tags/mangle" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#mangle</a> <a href="https://discuss.systems/tags/datalog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#datalog</a> users! It is used in a schema analysis tool that is described here: <a href="https://techblog.citystoragesystems.com/p/nuance-preventing-schema-migrations" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://techblog.citystoragesystems.com/p/nuance-preventing-schema-migrations</a>

docteurklein<a href="https://types.pl/@lenary" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@lenary</a> <a href="https://hci.social/@chrisamaphone" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@chrisamaphone</a> I was talking about datalog because <a href="https://mastodon.social/tags/rustlang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#rustlang</a> has polonius <a href="https://rust-lang.github.io/polonius/what_is_polonius.html" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://rust-lang.github.io/polonius/what_is_polonius.html</a> which directly references <a href="https://mastodon.social/tags/datalog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#datalog</a> to implement borrow checking <a href="https://smallcultfollowing.com/babysteps/blog/2018/04/27/an-alias-based-formulation-of-the-borrow-checker/#datalog" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://smallcultfollowing.com/babysteps/blog/2018/04/27/an-alias-based-formulation-of-the-borrow-checker/#datalog</a>

jnpn<a href="https://swi-prolog.discourse.group/t/whats-the-difference-between-prolog-and-datalog/3604" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://swi-prolog.discourse.group/t/whats-the-difference-between-prolog-and-datalog/3604</a><a href="https://mastodon.social/tags/datalog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#datalog</a> <a href="https://mastodon.social/tags/lp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#lp</a> <a href="https://mastodon.social/tags/prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#prolog</a>

J3RN :emacs: :haskell:Anyone have a favorite <a href="https://fosstodon.org/tags/datalog" class="mention hashtag" rel="tag">#datalog</a> implementation they prefer? I've been messing with Soufflé a bit. I couldn't figure out how to work with Mangle.

Lawrence Pritchard Waterhouse<a href="https://todon.eu/@jalcine" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@jalcine</a> <a href="https://ioc.exchange/tags/biscuit" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#biscuit</a> (an evolution of <a href="https://ioc.exchange/tags/macaroon" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#macaroon</a>, so more geared towards <a href="https://ioc.exchange/tags/capabilities" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#capabilities</a>) uses <a href="https://ioc.exchange/tags/Datalog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Datalog</a> to express complex conditions. Might be worth a look. <a href="https://en.wikipedia.org/wiki/Datalog" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://en.wikipedia.org/wiki/Datalog</a> <a href="https://github.com/biscuit-auth/biscuit/blob/main/SPECIFICATIONS.md" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://github.com/biscuit-auth/biscuit/blob/main/SPECIFICATIONS.md</a>

vp<a href="https://volodymyrpavlyshyn.medium.com/cozodb-database-for-ai-applications-d89fadc681fe" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://volodymyrpavlyshyn.medium.com/cozodb-database-for-ai-applications-d89fadc681fe</a><a href="https://fosstodon.org/tags/cozodb" class="mention hashtag" rel="tag">#cozodb</a> is a <a href="https://fosstodon.org/tags/relational" class="mention hashtag" rel="tag">#relational</a> database with a <a href="https://fosstodon.org/tags/vectorsearch" class="mention hashtag" rel="tag">#vectorsearch</a> and <a href="https://fosstodon.org/tags/graph" class="mention hashtag" rel="tag">#graph</a> capability super changed by <a href="https://fosstodon.org/tags/datalog" class="mention hashtag" rel="tag">#datalog</a> and another power it is embeddable and device friendly

vp<a href="https://volodymyrpavlyshyn.medium.com/personal-knowledge-graphs-semantic-entity-persistence-in-datalog-deductive-databases-b722ed80e7d4" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://volodymyrpavlyshyn.medium.com/personal-knowledge-graphs-semantic-entity-persistence-in-datalog-deductive-databases-b722ed80e7d4</a>Lets model <a href="https://fosstodon.org/tags/personalknowledgegraphs" class="mention hashtag" rel="tag">#personalknowledgegraphs</a> in a <a href="https://fosstodon.org/tags/datalog" class="mention hashtag" rel="tag">#datalog</a> and <a href="https://fosstodon.org/tags/deductive" class="mention hashtag" rel="tag">#deductive</a> <a href="https://fosstodon.org/tags/database" class="mention hashtag" rel="tag">#database</a>. How to express entities and complex <a href="https://fosstodon.org/tags/ontology" class="mention hashtag" rel="tag">#ontology</a> rules

vp<a href="https://fosstodon.org/tags/prolog" class="mention hashtag" rel="tag">#prolog</a> - based on idea of horn clause and first order logic. You have terms and few logical operation together with homoiconisity and ability to write meta interpreters. It is just blow my minds. In modern world we still widely use <a href="https://fosstodon.org/tags/datalog" class="mention hashtag" rel="tag">#datalog</a> as simpler and limited data oriented language. Lisp , prolog was designed for <a href="https://fosstodon.org/tags/ai" class="mention hashtag" rel="tag">#ai</a> and reasoning . Smalltalk was a first language that master <a href="https://fosstodon.org/tags/agents" class="mention hashtag" rel="tag">#agents</a> .

vpI try to connect few dots - <a href="https://fosstodon.org/tags/multimodal" class="mention hashtag" rel="tag">#multimodal</a> <a href="https://fosstodon.org/tags/databases" class="mention hashtag" rel="tag">#databases</a> , <a href="https://fosstodon.org/tags/relational" class="mention hashtag" rel="tag">#relational</a> <a href="https://fosstodon.org/tags/graphs" class="mention hashtag" rel="tag">#graphs</a> and <a href="https://fosstodon.org/tags/commonlogic" class="mention hashtag" rel="tag">#commonlogic</a> and <a href="https://fosstodon.org/tags/datalog" class="mention hashtag" rel="tag">#datalog</a> and <a href="https://fosstodon.org/tags/prolog" class="mention hashtag" rel="tag">#prolog</a> for <a href="https://fosstodon.org/tags/onlologes" class="mention hashtag" rel="tag">#onlologes</a> and constrains . Some times your ontology is dynamic and derived from data patterns . I keen to teach <a href="https://fosstodon.org/tags/llms" class="mention hashtag" rel="tag">#llms</a> to do a bit of <a href="https://fosstodon.org/tags/prolog" class="mention hashtag" rel="tag">#prolog</a> . More I play with schema for graphs more I see a lot of work for solvers .

burakemirA nice 2017 <a href="https://discuss.systems/tags/datalog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#datalog</a> for static analysis survey by Ben Greenman: <a href="https://users.cs.utah.edu/~blg/resources/notes/datalog-for-static-analysis/datalog-for-static-analysis.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://users.cs.utah.edu/~blg/resources/notes/datalog-for-static-analysis/datalog-for-static-analysis.pdf</a>

Recent searches

Search options

Administered by:

Server stats:

#datalog