啊？简单说下我的想法： 现在latex不好看，公式是给人看的，不是给llm看的，严重增加了我这种小白看数学类资料的难度。
显而易见，这是不好的。
所以就需要一种语言 1.他的定义是函数式的，这样我只要search base找到这个函数或者注释就知道定义啦 2.他的验证是可以直接运行程序验证的，类似这个，这样我加一个mcp tool，再选上自动运行，就可以一键托管agent了并debug了。
（类似我们改完一个项目后跑一下验证一下结果，我们现在…。
{dede:pagebreak/}
请问27寸4K显示器哪个好呀？ 
有什么是虚拟机代替不了物理机的? 
有人说24GB和48GB内存容量是新一代电脑平台最均衡的方案，真的是这样吗？电脑内存应该如何选？ 
为什么人到中年，很少有身材苗条的？ 
Flutter 为什么没有一款好用的UI框架？ 
近期的舆论***中舆论几乎全部无用，是否可以说舆论已经失效？舆论无用？ 
为什么 Bun 选择了 Zig 以及 JSCore？ 
有没有可能在安卓手机上直接运行Linux？ 
山西一职工「1 岁工作、22 岁退休」，冒领养老金 69 万，此事该如何追责？谁该赔偿财政损失？ 
怎么看待B站舞蹈区和某些风格比较暴露的up？ 
爱尔兰一机构化粪池发现近 800 幼童遗骨，具体是怎么回事？ 
以前很多人家里都有家庭***，为什么现在几乎看不到了？ 
为什么人到中年，很少有身材苗条的？ 
为什么美国医生看一个病人要半个小时左右，而中国医生五分钟就能看一个？ 
爱尔兰一机构化粪池发现近 800 幼童遗骨，具体是怎么回事？ 
如何评价 Next.js？
