datomic/datalog freaks me out how it is able to just resolve any set of constraints you put in Part of me is legit slightly afraid might be able to factor primes in polynomial time 😬

Posters: Malcolm_Ocean. Malcolm_Ocean

3 likes recorded by the source corpus.

Topics: Software

View Post: https://x.com/Malcolm_Ocean/status/1312395198530453504