每日摘要 · Hacker News
· 11 黑客新闻
为了找回写代码的乐趣，我在周末挑战用纯 C 语言手写一个仅 1024 字节的 Python 解释器。没有宏技巧，也没有依赖库，目标就是让代码看起来像 Python。从最初的 512 字节尝试失败，到最终实现支持变量赋值、算术运算、if/while/for 循环、函数定义与调用以及缩进块等核心功能。这个微型解释器通过递归下降解析器直接执行源码，利用 C 语言的调用栈处理递归，甚至用跳转回退的方式实…
Liquid Network 官方确认发生安全事件，自称白帽黑客的群体从 Liquid Federation 钱包中提走了约 4000 BTC，价值高达 3.2 亿美元。Blockstream 团队正尝试通过链上签名消息与对方沟通。目前已知资金是通过 SideSwap PAK 通道转出，但该密钥并未被泄露。受此影响，各大交易所已暂停 LBTC 的存取款，桥接节点也被临时关闭，导致整个 Liqui…
- ▲ 27纯素饮食四周：炎症与衰老信号改变
德国弗莱堡大学医院与美国加州大学圣地亚哥分校联合开展了一项涉及48名健康成年人的研究。参与者被随机分为两组，分别进行为期四周的纯素饮食或高肉类饮食。研究人员分析了超过80万个DNA位点的甲基化情况。结果显示，纯素饮食组在炎症反应、细胞生长及生物衰老相关的信号通路中出现了显著变化，mTOR通路活性降低，而胰岛素作用及细胞修复通路增强。免疫细胞组成也发生改变，中性粒细胞减少，CD4+ T细胞增加，提…
- ▲ 20数学即将进入音乐学院吗？
就在 Claude 完成 Fermat's Last Theorem 的形式化证明当周，一篇关于 Spherical Hadwiger Theorem 的论文出现在我的收件箱中。这篇由湖南大学 Wang & Wu 撰写的预印本，似乎借助 OpenAI Codex 证明了这一自 1974 年以来的猜想。OpenAI 曾预测数学家是受 LLM 冲击最大的职业，如今这一预言似乎正在应验。这让我联想到古…
- ▲ 16日本急救人员：别帮我们摆鞋子
在日本，客人进门后主人帮忙整理鞋子是常见的待客礼仪，但在紧急救援现场，这种善意可能适得其反。Kanazawa 的消防部门通过 Instagram 视频提醒公众：急救人员脱下的鞋子位置经过精心计算，是为了让担架员能迅速穿鞋并平稳搬运病人。如果好心人擅自调整鞋子方向，可能导致急救延误约 30 秒，甚至影响病人安全。消防员 Daisuke Yamashita 表示，比起整理鞋子，提前准备好病人的 My…
我们常觉得小说开头沉闷，直到某个瞬间被彻底吸引。文章探讨了阅读体验中的这种奇妙转折：从最初的平淡无奇到后来的沉浸其中。作者指出，这种变化并非偶然，而是叙事节奏、人物塑造和情节推进共同作用的结果。无论是经典文学还是现代作品，这种“从无聊到精彩”的过程都是读者与文本建立深层连接的关键。理解这一点，能帮助我们更好地欣赏小说的魅力，也能让创作者更精准地把握读者的心理节奏。
做市商是交易所流动性的生命线，却时刻面临被更敏锐的交易者“收割”的风险。文章深入解析了做市商的核心盈利模式——赚取买卖价差（spread），以及他们必须应对的库存风险（inventory risk）。当价格剧烈波动时，做市商若未保持 delta neutral，极易在被动接单后遭受巨额亏损。为了对冲风险，做市商常利用 BTC 与 ETH 的相关性，或在不同交易所进行跨平台对冲。然而，真正的挑战在…
Ponytail 是一个专为 AI 编程助手设计的规则集，旨在模拟资深工程师的极简编码风格。它强制 AI 遵循 YAGNI 原则，优先使用标准库和现有依赖，拒绝过度设计。测试数据显示，Ponytail 能减少 54% 的代码量，降低 20% 的成本，同时保持 100% 的安全性。该插件支持 Claude Code、Copilot CLI、Gemini CLI 等 14 种主流 AI 代理，通过…
Hard-Chat 是一个运行在浏览器中的零痕迹终端聊天工具，由 Hardlint Cybersecurity Team 开发。它利用 WebRTC 建立真正的点对点连接，无需中央服务器中转消息，也不存储任何历史记录。所有对话内容均通过 AES-GCM 256 位进行端到端加密，仅凭一个 100 字符的 Room Key 即可在双方设备间直接通信。关闭标签页后，所有密钥和聊天记录瞬间从内存中消失…
大语言模型擅长理解数学意图，却在算术计算上频频出错。MathKernel 作为一个证据感知的多引擎数学内核，旨在扭转这一局面。它将 LLM 的角色限定为解析意图与规划，而将精确计算、符号推导及形式化验证交给内核处理。无论是作为 Python 库还是 MCP 服务器，MathKernel 都能为每一次计算结果打上明确的信任标签，并记录完整的推导路径。从精确算术到形式化证明，它确保近似输入的祖先信息…
在开发 postmarketOS 的 ARM64 裸机 hypervisor 时，我遇到了一个诡异的故障：一旦启用 CTR_EL0 拦截，手机就会随机死机。排查过程排除了寄存器损坏和硬件越界，最终锁定在一个看似无害的数组排序操作上。由于 ARM 架构的 Icache 与 Dcache 不连贯，动态修改代码段导致了指令缓存失效。更深层的挖掘揭示了一个微架构层面的陷阱：动态跳转指令 blr 触发了分…