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?

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.

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...