AI editors like Cursor and AI app tools like Lovable highlight the failure of programming languages to support expressing features at a high level, or even just as separate concerns. It’s an obvious point, so this must have been reflected over. Any good references? Any new work to rectify this?
Thanks, looking forward. If you semantically see data structures as facts derived by a rule, then you get interesting parallels between PL GC and IVM (reachability with refcounts, putback evaluation, or differential dataflow). Souffle always accumulates (non-starter in a persistent db system).
Years ago I worked with a high school intern at RelationalAI. She wrote a generic formulation of n-clique in Rel (~Datalog + generic prog). We discussed perspectives (eg algos vs constraints) and found a lovely paper. I am curious if interesting viewpoints can be added.
dl.acm.org/doi/10.1145/...
Some fond memories from our trip to Costa Rica. It's really a fantastic country if you love animals. Feel free to reach out if you are thinking about going and need some recommendations.
Last couple of years I have done a few snowshoe trips in the Whistler area when we visit for skiing. Compared to Washington (where I live), there is even more snow, more glaciers, and more moody views with hundreds of summits. And, it is virtually empty.
There are three problems to address in Datalog systems with structured data:
- Efficiency (not too many bits, ideally no random insert/access)
- Parallel alloc (multiple threads and distributed)
- Maintenance (essentially GC)
I haven't seen any solution to all. I'm very curious what you do!
Interesting work, thanks. How do you compute the internal unique id that is used? (sorry, I poked around a little in the source code, but couldn't find the relevant code - if you have a pointer that'd be cool)
Some of the surreal scenes from hiking trips this summer in Washington State.
I started reading books again, after hiatus of 20 years where I was 'busy'. The most exciting so far is Project Hail Mary. The way it celebrates science is fantastic. I am now listening to the audiobook with my kid. The book is quite appropriate for tweens and higher. www.audible.com/pd/Project-H...
I've only had time to scan the book so far, but it looks very approachable. Frankly I've always had a bit of a problem with the density of TLA+ material. This new book looks great.
Great introduction of the mission to Europe. Too bad it takes so long to get there!! I can't wait. www.youtube.com/watch?v=DJO_...
If you could use time to de-stress and get confirmation that intelligent life exists on Earth, then the BBC Solar System series with Brian Cox is fantastic. I've been enjoying the intuitive explanations of chemistry and physics happening on other planets - www.pbs.org/wgbh/nova/se...
