burakemirSplit #mangle #datalog repo into go and Rust repos and moved from GitHub to Codeberg today ... getting organized: https://codeberg.org/TauCeti
@avsm @ryan Thanks @ both, saw the feature calculus example wirh "dep:...", that makes sense. I will read the paper. I made a model of a Rust package ecosystem using #mangle datalog (throw in target specific dependencies...). Package management is fascinating and hypergraphs seem like the right kind of structure.
Temporal knowledge graphs in #Mangle with DatalogMTL ... Release coming soon, please try it out. https://github.com/google/mangle/commit/77dd1714eee0a1e08faade291bcb760abed91305
★PinkishAbyss★
2025 is the year where there are not one but *two* #Mangle Datalog releases: v0.4.0 for your hacking pleasure.
An API to properly support "external" predicates support may be the most exciting thing, but there were also many bugfixes. Thanks to everyone who contributed!
There are many datalog implementations, but there is only one that has a mangle in its logo. #Mangle #datalog
*En route* to ICFP/SPLASH 2025 and specifically REBASE. I haven't been to conferences in a long time and realized that - even if there is a lot of ideas being exposed and written about - I should write and talk a lot more, especially #Mangle #Datalog. I realize the #Datalog resurgence isn't actually widely known, but also during preparation had unexpected discussions with new team mates who happened to be souffle users. Classic case of unevenly distributed future. If you are on team Datalog and still around for the OOPSLA days, let's talk!
My elder daughter, who helped me press the button when I open-sourced #Mangle a few years ago, asked me what a mangle is. I found this great explanation "Mangle's a fantastic piece of machinery ..." https://youtu.be/FxLdobQ-gbI?feature=shared&t=480
What does it have to do with programming? Well, on one level, Mangle's evaluation is like turning the crank on the data ... 😉
#mangle in the "news"... An editor's pick, no less! 😉
Seriously, even if the release was actually years ago and nothing whatsoever changed recently, I appreciate the "publicity". Making datalog more widely known is a major project goal. Every additional user, PR, odd article contributes to that. Not gonna lie, this made my day!
#mangle datalog is an idea whose time has come. It won't kill SQL, but give us a handle on explainable data modeling and integration, a knowledge graph semantics more practical than binary predicates.
Hacker NewsMangle – a language for deductive database programming
https://github.com/google/mangle
#HackerNews #Mangle #Database #DeductiveProgramming #Google #OpenSource
