OMG #logseq queries what in the hell is this marvel yahoo answers #DataLog

@404mediaco
Here is a rebuttal update:

But, in reality, the data OpenAI
does not retain is (1) data that OpenAI’s users elect not to retain, including ChatGPT conversations
users specifically choose to delete; and (2) data that OpenAI agrees not to retain under either its
negotiated agreements or general business terms with its customers. OpenAI commits not to retain
this data for a simple reason: because millions of individuals, businesses, and other organizations
use OpenAI’s services in a way that implicates uniquely private information—including sensitive
personal information, proprietary business data, and internal government documents.

https://storage.courtlistener.com/recap/gov.uscourts.nysd.612697/gov.uscourts.nysd.612697.558.0.pdf

#OpenAI #Privacy #DataLog #DataRetention

Nobody is talking about this anywhere and the media outlets haven’t picked up the story.

@404mediaco Have you seen this yet?

#OpenAI #Privacy #DataLog #DataRetention

nemo - A fast in-memory rule engine

https://github.com/knowsys/nemo

#Logic #DataAnalysis #RDF #Datalog

Readings shared April 22, 2025. https://jaalonso.github.io/vestigium/posts/2025/04/22-readings_shared_04-22-25 #CommonLisp #Datalog #Haskell #IsabelleHOL #LLMs #LeanProver #Logic #Math #Python

The inverse method is a good fit for Datalog theorem proving. ~ Philip Zucker. https://philipzucker.com/inverse_method #Datalog #Logic

[New Blog Post] The Inverse Method is a Good Fit for Datalog Theorem Proving #datalog #logic https://www.philipzucker.com/inverse_method/

🥸 Ah, #Scallop, the language of choice for those who can't decide between symbols and neurons, as if #AI needed more seasoning. 🧂 Just what we needed: another "revolutionary" tool, based on #Datalog, to baffle even the most dedicated programmers. ⚠️ Perfect for when you want your Python code to be even less comprehensible. 🐍
https://www.scallop-lang.org/ #programming #humor #HackerNews #ngated

Readings shared March 18, 2025. https://jaalonso.github.io/vestigium/posts/2025/03/18-readings_shared_03-18-25 #AI #ASP #ATP #CLP #CommonLisp #Datalog #FunctionalProgramming #Haskell #ITP #IsabelleHOL #Logic #LogicProgramming #Mace #Math #Otter #Prolog #Prover9 #SMT #Z3

Teaching logic programming: a review. ~ Serhiy O. Semerikov, Iryna S. Mintii, Natalia V. Moiseienko. https://acnsci.org/journal/index.php/cte/article/view/838/860 #LogicProgramming #Prolog #ASP #CLP #Datalog

The #Dusa Programming Language
Dusa is a logic programming language designed by Rob Simmons and Chris Martens, the first implementation of finite-choice logic programming. #datalog #logicprogramming #graphs #prolog #programminglanguages

https://dusa.rocks/docs/introductions/graph/

2024, was a year of #datalog and #prolog 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 #C
- #zig
- #gleam
I also fell in love with #ocaml but still haven't found a paid job for it
What is on your list?

Idea of #propertygraph on top of #rdf is interesting. It is marry 2 big camps and give more tools and power . #terminusdb go even forward and add more user friendly document based interface for #linkeddata on top of #jsonld that could be translated to #rdf. Unfortunately we still has no tools for #edge and on user device . I see that terminus #hdt store and effective #datalog engine improvemented in #rust give a hope

How cool to discover happy #mangle #datalog users! It is used in a schema analysis tool that is described here: https://techblog.citystoragesystems.com/p/nuance-preventing-schema-migrations

Q: What is a Deductive Database? A: Please read: http://dictionary.reference.com/browse/deductive+database. #LinkedData #DBMS #RDF #Datalog

John Sowa's presentation about Integrating Semantic Systems: http://www.jfsowa.com/talks/iss.pdf . #rdf #semweb #linkeddata #prolog #datalog

https://swi-prolog.discourse.group/t/whats-the-difference-between-prolog-and-datalog/3604

#datalog #lp #prolog

Anyone have a favorite #datalog implementation they prefer? I've been messing with Soufflé a bit. I couldn't figure out how to work with Mangle.

@jalcine #biscuit (an evolution of #macaroon, so more geared towards #capabilities) uses #Datalog to express complex conditions. Might be worth a look. https://en.wikipedia.org/wiki/Datalog https://github.com/biscuit-auth/biscuit/blob/main/SPECIFICATIONS.md

https://volodymyrpavlyshyn.medium.com/cozodb-database-for-ai-applications-d89fadc681fe

#cozodb is a #relational database with a #vectorsearch and #graph capability super changed by #datalog and another power it is embeddable and device friendly