I like the idea of a language intended from the start to be proved and it seems very compelling given coding agents. It's a good idea that others don't see coming -- so expect it to be frequently misunderstood and even verbally abused!

ladybugdb ( https://github.com/LadybugDB/ladybug ) appears to be an open source successor to Kuzu fwiw

Interesting that it seems like the application method is to melt the glue:

> To test its adhesive strength, researchers first glued two untreated polytetrafluoroethylene (PTFE) plates by sandwiching molten CyclicFP-fmoc between them and letting it cool at room temperature for 10 min.

Also notable that the glue substance is reusable:

> Remarkably, a simple ethanol wash completely stripped CyclicFP-fmoc from the target PTFE plates, leaving no trace behind. The recovered adhesive proved repeatedly reusable, reliably maintaining its adhesive strength of ~1.2 ± 0.1 MPa across multiple cycles.

Perhaps hot glue guns are going to get an update ;)

For anybody not getting the reference, standard glue gun glue is obviously applied freshly melted and hot, and it is dissolved/debonded cleanly with isopropyl alcohol.

But does not stick to "nonstick" surfaces, which the researchers claim this does.