啊？简单说下我的想法： 现在latex不好看，公式是给人看的，不是给llm看的，严重增加了我这种小白看数学类资料的难度。
显而易见，这是不好的。
所以就需要一种语言 1.他的定义是函数式的，这样我只要search base找到这个函数或者注释就知道定义啦 2.他的验证是可以直接运行程序验证的，类似这个，这样我加一个mcp tool，再选上自动运行，就可以一键托管agent了并debug了。
（类似我们改完一个项目后跑一下验证一下结果，我们现在…。
{dede:pagebreak/}
程序员需要用到内置kvm功能的显示器吗？或者是外置的kvm切换器吗？ 
目前中国男性有什么困境？ 
27寸显示器是否有必要到4K？ 
为何雷军天天健身，却无健身痕迹? 
J***a现在好找工作吗？ 
PHP现在真的已经过时了吗？ 
如果在野外发现了一只大熊猫，很脏，领回家给他洗个澡，再养几天，犯法吗？ 
不限制语言，客户端GUI开发用什么好？ 
如何评价89式重机枪？ 
为什么中国盛产“巨婴”，一到国外就通情达理？ 
ElasticSearch在项目中具体怎么用？ 
冬天也要穿胸罩吗? 
如何评价前端框架 Solid? 
延边大学毕业典礼上，食堂阿姨的发言为什么能让许多同学落泪？ 
你断舍离后，生活有真的好起来了吗？ 
买到烂尾楼到底该有多绝望？ 
