 1.3版本出来有日子了，我一直没升级，几个方面原因，担心主题、插件适配问题，自己又没时间改，之前列的一些主题要完善的功能，也一直搁置了，看了下更新的内容，我主...
清明节前，公司下午三点左右就放假了，由于手头上还有事儿，所以没提前走，想着路上人会很多，没想到这么多，好在不回老家，提前一周爸妈他们回去扫墓了，正清明就不跑了。 正常下班接对象下班，这条路也常走，快经过黄龙山隧道的时候，车确实太多了，我要隧道后左转，而且隧...
在常规的数学解题中，模型只需要“答对最终数值”即可，但数学定理证明不同，它要求极度严苛的逻辑链条，任何一句自然语言的模棱两可，都可能导致整个证明的崩塌。那么，如何让 AI 从“猜答案”走向“严谨证明”，成为复杂推理具有挑战的课题。为了解答这个问题，我们开源了专门用于数学形式化与定理证明的模型 —— LongCat-Flash-Prover。
偷个懒，本文只有问题是我提，答案是豆包回...
今天一位博客朋友向我反映：在使用我站点主题后行内代码块（code 标签）不能正常加载自定义字体。 定位问题 打开开发人员工具切换到“元素”面板，选择“已计算”。选择指定段落文字，在“已计算”搜索框随机输入字符以过滤属性值，即可看到最底下的“呈现的字体”。 我发现“呈现的字体”并非设定的字体，而是本地
早上天刚蒙蒙亮，我突然听到楼下有个小朋友喊我儿子的名字，大声叫他下来玩。我打开摄像头一看，原来是隔壁的小朋友。他去市区读书了，很少回来，估计是昨晚就回来了，所以一早就来叫我儿子。他和他哥哥跟我儿子关系很好，以前在这里读书时基本形影不离，不管在学校还是在家，几乎都待在一起。小时候两人经常打架，你咬我一口，我推你摔跤。 最近儿子突然对我的小时候特别感兴趣，一直追着问我小时候玩什么...
各位亲爱的读者，这是一篇用AI写的总结。最近一段时间，我对网站的LanternTown主题进行了一次全面的优化和升级。今天想和大家分享一下这次优化的过程和成果，希望能给同样在运营个人博客的朋友们一些参考。优化内容概览视觉风格优化民国旧报纸风格 ：采用了思源宋体作为主要字体，配合泛黄的背景色和轻微的纸张纹理，营造出浓郁的民国旧报纸氛围精致的装饰元素 ：添加了传统的装饰线条、水印效果（"似水流年...
