Frank McSherry
@frankmcsherry.bsky.social
And many thanks due to @dov.dev and @antiguru.bsky.social, who both asked questions and proposed good ideas.
November 2, 2025 at 8:22 PM
And many thanks due to @dov.dev and @antiguru.bsky.social, who both asked questions and proposed good ideas.
One thing I like is that I stopped being a bad researcher and .. did some reading rather than only writing. There are some papers about columnar Datalog already (links at the end)! However, I don't think I fully understand them yet. More reading required!
October 9, 2025 at 6:33 PM
One thing I like is that I stopped being a bad researcher and .. did some reading rather than only writing. There are some papers about columnar Datalog already (links at the end)! However, I don't think I fully understand them yet. More reading required!
The closest I've found is github.com/kparc/ksimple which I'll work through, but .. most of the write-ups seem to conflate the esoteria of monadic/dyadic glyphs with the implementation architecture you might use, and .. boy do I want to read about the latter without trudging through the former.
GitHub - kparc/ksimple: k/simple is a bare minimum k interpreter for learning purposes by arthur whitney
k/simple is a bare minimum k interpreter for learning purposes by arthur whitney - kparc/ksimple
github.com
August 29, 2025 at 5:27 PM
The closest I've found is github.com/kparc/ksimple which I'll work through, but .. most of the write-ups seem to conflate the esoteria of monadic/dyadic glyphs with the implementation architecture you might use, and .. boy do I want to read about the latter without trudging through the former.
It turns out that datatoad seems to be *faster*, at least once the data are loaded in. The interpreted reading of the file input, using regexes, does seem to be a fair bit faster in datafrog. But then the evaluation gets done almost a second faster with the toad.
Weird times, folks.
Weird times, folks.
August 14, 2025 at 11:11 PM
It turns out that datatoad seems to be *faster*, at least once the data are loaded in. The interpreted reading of the file input, using regexes, does seem to be a fair bit faster in datafrog. But then the evaluation gets done almost a second faster with the toad.
Weird times, folks.
Weird times, folks.
The datafrog numbers, with the same plan (we think) hardcoded in, and explicit u32 types everywhere, gives us ...
August 14, 2025 at 11:10 PM
The datafrog numbers, with the same plan (we think) hardcoded in, and explicit u32 types everywhere, gives us ...
The datatoad numbers have lightly improved while we have been working the tries for the Galen queries, now at around 10s (formerly, like .. ten minutes? oh those days of easy improvements).
August 14, 2025 at 11:08 PM
The datatoad numbers have lightly improved while we have been working the tries for the Galen queries, now at around 10s (formerly, like .. ten minutes? oh those days of easy improvements).