声明式还在发力

https://mp.weixin.qq.com/s/JAOiJC6ugwVYsNF1jD4vGw （应该贴原文链接的，另外感觉还是得弄个bib数据库好一些）写了Elixir之父jose的看法，说程序数据库替代lsp（Datalog又发力了），运行时观测性替代调试性。（还是得调研一些观测性结构化数据的东西，不仅限于rust，因为不一定成熟，还有其他语言特别成熟的东西）

目前我从codeql角度已经对程序数据库有所了解，但是结构化运行时数据库这一块还不是特别了解。感觉可以调研一下。声明式感觉真是人机交互的一个不能说最终吧，但确实是十分重要的方式。即使如lean，也会在声明一些东西后，结合推理规则做自动推理。

今天电脑坏了之后又被迫独处焦虑思考了一天，得到以下结论

要了解一些基金股票和经济的基本概念。
要了解自己配主机是否能提供足够的实用价值。是否为刚需。是不是需求没被挖掘出来，只是被迫接受了。
程序运行时可观测性
现在有哪些方法可以实现组合性的最优，该如何抽象问题？我现在有什么问题都还没有完全清楚。
还有