最新

有没有人注意到最近Claude的代码质量下降了？它开始忽视指令，重复同样的错误，并且生成的代码质量明显降低。这是Linux上的原生Claude应用（不是Cursor或其他集成）。还有其他人遇到这个问题吗？

我制作了一个小工具，用来理解我的提示是多么（不）合理。

Thiele机器是一种经过形式验证的通用计算模型，在多个关键方面超越了图灵机。它在Coq中进行了全面证明（包括内核定理和普遍性包含），并提供了用于仿真的Python实现，同时还包括用于潜在FPGA/ASIC构建的Verilog硬件设计。其核心思想是：通过使用μ-bit在现实世界约束下进行更严格的计算，带来了范式的转变，与物理学（例如，诺特定理）和混沌系统中的涌现现象相结合。 该仓库包含一篇13章的论文（PDF和源代码）、证明和探索工具。它面向热衷于形式方法的爱好者、人工智能研究人员以及对可验证的、自适应推理感兴趣的硬件开发者，超越传统限制。欢迎对证明、涌现章节或硬件实现提供反馈，让我们一起合作！

一个起初只是玩笑的副项目：映射“我很好”可以被解读的所有方式。<p>最终构建了一个完整的关系智能工具： - 模糊信息解码器（映射了22种“好”的变体） - 交流模式分析 - 基于RAG的响应草拟 - 错误类型及其严重性和恢复建议<p>该架构将沟通视为一个领域问题。信息具有上下文/语气/时机，模式聚合成信号，错误有根本原因和恢复路径。<p>技术：Effect-TS、SQLite、LanceDB。全部本地，优先考虑隐私。没有云端。<p>在lifeops.in上有演示<p>想知道HN对将系统思维应用于模糊人类问题的看法。