是什么让陀思妥耶夫斯基的作品不朽
本文探讨了陀思妥耶夫斯基作品经久不衰的原因。作者引用布罗茨基的观点，认为陀思妥耶夫斯基对金钱的认知，即视六千卢布为巨款，使他与大多数人的心理状态相通，能够以更普遍的视角描绘生活，并引发读者共鸣。文章还探讨了陀思妥耶夫斯基的写作风格，认为其作品的深刻之处不仅在于其主题和同情心，还在于他对俄语的娴熟运用，以及他能够充分列举对立观点的写作技巧。此外，文章还探讨了作家财务状况与其作品质量之间的潜在联系，认为财务困境或许是激发伟大作品的催化剂。
阅读更多玩具太多：美国家庭的玩具过剩现象
本文探讨了美国家庭玩具过剩的现象。玩具数量过多不仅给父母带来整理的压力，也让孩子不知所措，反而不利于创造性玩耍。文章分析了玩具过剩的原因，包括玩具价格下降、线上购物便利、二手交易平台兴起、玩具广告增多以及学校的生日礼物政策变化等。专家建议，家长应关注那些具有“社会意义”的玩具，例如可以与其他孩子一起玩耍的玩具，以及那些开放式、需要想象力和创造力的简单玩具，例如积木等。
阅读更多单页谷歌分析面板：OnePageGA
OnePageGA是一个简单易用的单页谷歌分析面板，旨在简化GA4的使用。它提供所有关键指标的概览、预构建报告、自定义指标、深入分析和过滤功能、电商追踪、UTM和活动追踪、事件和目标追踪、简单的漏斗报告、周期比较、无限页面浏览量、实时访客以及暗黑模式。OnePageGA提供三种价位：个人版（每月10美元）、商业版（每月99美元）和代理版（每站点每月20美元起），并提供14天免费试用。
阅读更多TIL：Bash中一些令人惊讶的代码执行源
本文介绍了Bash中两种令人惊讶的代码执行源。第一种是算术表达式，例如在`[[ ]]`中使用`-eq`进行比较时，变量会被进行算术运算，攻击者可以利用此特性注入恶意代码。第二种是使用`test -v`或`[[ -v ]]`检查变量是否设置时，同样可能执行嵌入的命令。这两种情况在CI系统中尤其危险，因为这些系统通常使用大量的shell脚本和YAML文件。
阅读更多密钥透明度与被遗忘权
本文探讨了Fedi-E2EE公钥目录规范如何在提供密钥透明度和去中心化PKI的同时，不与GDPR的“被遗忘权”冲突。作者认为，密钥透明度和被遗忘权看似矛盾，但可以通过“加密粉碎”技术进行调和。加密粉碎指存储加密数据，并在收到删除请求时删除密钥而非数据本身。文章详细阐述了加密粉碎的法律依据和技术可行性，并提出了一种基于Argon2id密码KDF的明文承诺方案，以防止公钥目录服务器在解密明文时作弊。该方案利用最近的Merkle树根来增加KDF盐值的多样性，并截断结果以使盐值碰撞更有可能发生，从而提高安全性。
阅读更多WebGPU 的未来发展方向
本文总结了最近一次 GPU for the Web 工作组会议的关键内容，主要讨论了 WebGPU 的未来发展方向。会议重点关注 WebGPU 规范的进展，力求使其达到 W3C 候选推荐状态。此外，会议还优先讨论了 WebGPU 的新功能，包括针对 AI 的子群组、纹理缓冲区和 UMA 缓冲区映射，以及用于渲染算法的无绑定、多重绘制间接、64 位原子操作等。其他讨论主题还包括兼容模式、WebXR 集成和 Canvas2D 互操作性。会议鼓励开发者积极提供反馈，以确保 WebGPU 满足他们的需求。
阅读更多他最热门的歌曲销量超过了任何一首披头士的歌，为什么你没听说过他？
尼日利亚音乐家王子尼科·姆巴尔加的歌曲《甜蜜的母亲》在非洲的销量超过了披头士乐队的《我想握住你的手》，成为非洲历史上最受欢迎的歌曲。然而，姆巴尔加本人却鲜为人知。文章讲述了姆巴尔加的生平，他在17岁时因比夫拉战争逃往喀麦隆，在那里掌握了吉他演奏技巧。1997年，姆巴尔加因车祸去世，但他的故事却未被全球媒体报道。
阅读更多大型语言模型：世界模型还是表面统计？
本文探讨了大型语言模型（LLM）究竟是学习了世界模型还是仅仅是表面统计数据。作者以训练一个只学习奥赛罗棋谱的GPT模型（Othello-GPT）为例，发现该模型不仅能生成合法的棋步，其内部表征还展现出与棋盘结构相似的几何形状。通过一种名为“探针”的技术，作者发现训练后的Othello-GPT的内部表征包含了棋盘状态信息。此外，通过干预模型的中间激活，作者可以控制模型的预测，这表明模型确实在利用其内部的世界模型进行预测。最后，作者提出了一种名为“基于干预的归因”的方法，用于解释模型的预测，并生成了“潜在显著性图”，展示了模型是如何根据棋盘状态进行预测的。
阅读更多美国史上最大规模水坝拆除项目后，鲑鱼重返历史栖息地产卵
克拉马斯河上的四座大型水坝被拆除后不到一个月，数百条鲑鱼就回到了几十年来被切断的水域，在凉爽的溪流中产卵。尤罗克部落拍摄的视频显示，数百条鲑鱼已经到达了前铁门大坝和科普科大坝之间的支流，这对这条新获得自由的水道来说是一个充满希望的迹象。当地部落几十年来一直梦想着看到这一幕，他们一直在努力拆除四座水电站大坝，这些大坝阻碍了鲑鱼沿着俄勒冈州和加利福尼亚州边界长达400多英里（644公里）的克拉马斯河及其支流的通道。水坝拆除后，有害藻华的浓度降低，水温也降低了。专家们已经统计到42个鲑鱼卵巢，并在斯宾塞溪一天内统计到多达115条奇努克鲑鱼。
阅读更多太空海盗篮球游戏“天空叛逆者”登陆GitHub
“天空叛逆者”是一款P2P终端游戏，背景设定在2101年的太空，玩家将扮演太空海盗，通过篮球比赛争夺生存资源。该游戏由Rust语言开发，可在Linux、MacOS和Windows系统上运行，并提供Arch Linux发行版软件包。玩家可以通过SSH连接至游戏服务器或下载最新版本进行本地游戏。游戏目前处于开发阶段，版本更新频繁，存档可能不兼容。
阅读更多FaSTer：雅达利ST数字杂志
本文介绍了1986年出版的雅达利ST数字杂志FaSTer。该杂志以软盘形式发行，包含文章、游戏、软件评测等内容，并具有独特的用户界面。作者回顾了该杂志的特点、价格、内容以及与其他类似杂志的比较，并分享了个人体验和下载链接。
阅读更多从字符串到抽象语法树：解析
文章探讨了如何将字符串解析成抽象语法树 (AST) 的过程，以及该过程背后的理论基础。文章首先介绍了形式语法，包括乔姆斯基层级、正则语言、上下文无关语法等概念。然后，文章详细解释了有限状态自动机 (FSA) 和下推自动机 (PDA) 如何用于识别正则语言和上下文无关语法。文章还讨论了实际解析器中的两种主要方法：自顶向下和自底向上，以及解析器组合子的概念和优势。最后，文章简要介绍了图灵机、线性有界自动机和无限制语法，并讨论了错误处理在解析过程中的重要性。
阅读更多圣地亚哥两岁幼童后院被蛇咬伤，医疗账单高达25万美元
圣地亚哥一名两岁幼童在自家后院玩耍时被响尾蛇咬伤。尽管治疗及时，使用了30瓶抗蛇毒血清Anavip，最终得以康复，但医疗费用却高达29.7万美元，其中抗蛇毒血清费用就占了21.3万美元。文章指出，抗蛇毒血清价格高昂，医院的加价行为是重要原因。尽管保险承担了大部分费用，但这起事件凸显了抗蛇毒血清价格高昂，以及缺乏有效竞争导致的医疗费用负担问题。
阅读更多
xpander.ai 的 Agent Graph System 使 AI 代理的可靠性提高四倍
以色列初创公司 xpander.ai 推出了 Agent Graph System (AGS)，这是一种构建更可靠、高效的多步骤 AI 代理的新方法，它基于 OpenAI 的 GPT-4o 等底层 AI 模型。AGS 使用基于图形的工作流，逐步引导代理进行适当的 API 调用，解决了多步骤 AI 代理在复杂 API 模式或不可预测响应方面遇到的挑战。通过基准测试，xpander.ai 证明 AGS 与其代理接口配合使用，可使 AI 代理在多步骤任务中的成功率达到 98%，而传统方法的成功率仅为 24%。AGS 简化了流程，确保工具以正确的顺序使用，并始终遵循模式。
阅读更多C++ Mixins 的一个想法
本文探讨了在 C++ 中使用 Mixins 的一种思路，类似 Rust 的 trait 和 C++ concept，旨在改进代码复用和框架设计。作者提出了一种基于 CRTP（奇异递归模板模式）的 Mixin 实现方案，并以 Clone trait 为例进行了说明。该方案允许在编译时检查类是否实现了特定接口，并能避免虚函数表带来的开销。作者还讨论了如何利用该方案实现类似 Rust 的关联类型和侵入式引用计数。虽然 C++ 标准库中的 concept 已具备类似功能，但作者认为这种方案仍然具有一定的价值，尤其是在早期 C++ 版本中。
阅读更多LuaJIT之旅：如何从LuaJIT引擎中抓取调用栈信息以进行性能分析
本文讲述了如何为LuaJIT实现一个基于BPF的通用零插桩分析器。与之前的工作不同，这次使用了OpenTelemetry eBPF分析器，通过一个小型BPF程序从堆栈中抓取最少的信息，并将其传递给用户态程序进行处理。文章详细解释了LuaJIT的跟踪JIT机制及其优势，以及如何克服跟踪爆炸问题。然后，文章探讨了如何对LuaJIT程序进行性能分析，比较了perf、gdb采样和LuaJIT内置分析器的优缺点，并最终确定使用基于eBPF的零插桩分析器。文章详细介绍了如何识别LuaJIT解释器和JIT帧，如何获取LuaJIT上下文指针，以及如何遍历Lua语言堆栈。最后，文章总结了eBPF程序和用户态程序的工作流程，并展示了实际效果。
阅读更多GitHub - ufmg-smite/lean-smt：用于将 Lean 目标转换为 SMT 解算器的策略
lean-smt项目受SMTCoq启发，旨在提供可将Lean目标转换为SMT解算器的策略。该项目目前处于测试阶段，支持未解释函数和线性整数/实数算术（带量词）理论，位向量理论的支持处于实验阶段。lean-smt依赖于lean-cvc5 FFI，目前仅支持Linux (x86_64) 和 macOS (AArch64)。主要策略`smt`将当前目标转换为SMT查询，发送给cvc5，并在解算器返回unsat时在Lean中重放cvc5的证明。
阅读更多Python真的那么慢吗？
本文作者通过基准测试比较了不同Python版本（包括CPython 2.7、3.8至3.13以及PyPy）与Node.js和Rust的性能。测试用例包括斐波那契数列计算和冒泡排序。结果显示，Python 3.11版本在性能上有了显著提升，PyPy的表现也令人印象深刻，速度接近Node.js。作者还讨论了asyncio、JIT编译器和GIL对Python性能的影响，并提供了测试代码和脚本。最终结论是，Python的性能并非一成不变，开发者需要根据实际情况进行评估。
阅读更多盐粒大小的相机将改变成像技术
普林斯顿大学和华盛顿大学的研究人员开发了一种“元光学”相机，其大小与一粒盐相当。这款超紧凑相机系统采用了被称为“超表面”的技术，该技术布满了160万个圆柱形立柱，其生产方式与计算机芯片类似。这款相机是同类产品中首个能够生成与传统相机质量相当的全彩图像的设备，而传统相机的体积要大50万倍。研究人员利用纳米结构的“超表面”和新颖的硬件设计方法，并结合AI图像后处理技术，突破了以往元光学成像设备的局限，实现了高质量成像。这项技术为医疗成像、消费电子产品、无人机和望远镜等领域带来了新的可能性。
阅读更多Mastodon的不足之处及改进方案
本文分析了去中心化社交平台Mastodon的几个主要弱点，并探讨了相应的改进方案。主要问题包括无法引用帖子、无法查看所有回复、跨服务器只能看到部分用户信息、缺乏全局搜索和算法推荐、无法定时发布帖子以及用户身份与服务器绑定等。文章详细介绍了针对这些问题的短期和长期改进措施，例如正在开发的引用帖子功能、获取全部回复的改进、用户资料数据同步、联邦宇宙搜索引擎项目、以及关于用户身份迁移和数据备份的讨论。此外，文章还探讨了服务器的管理、回复控制、以及其他改进方向，例如ActivityPub测试套件和增量备份等。
阅读更多Fern公司招聘后端工程师
Fern是一家YC孵化的初创公司，致力于为REST API提供高质量的SDK和文档。该公司位于纽约布鲁克林，目前团队规模不足10人。他们正在招聘一位后端工程师，要求有4年以上后端或全栈开发经验，精通TypeScript和至少另一门编程语言，并有从零开始项目的经验。薪资范围为16.8万至19.2万美元，另有1.8万美元的近办公室居住补贴，以及股票期权、一日三餐和全面的医疗保险。
阅读更多LLäMmlein 1B & 120M：全新德语解码模型
本文介绍了两个全新研发的德语解码模型LLäMmlein 1B和120M。该项目涵盖了数据预处理、自定义分词器创建以及训练设置优化等关键步骤。通过在SuperGLEBer基准测试中的评估，LLäMmlein模型表现出与同等规模模型相当或更优的性能，其中1B模型甚至能与更大规模的模型相媲美。目前，预印本、基础模型和聊天调优模型均已发布，代码和数据也将很快开源。
阅读更多VLTI拍摄的恒星WOH G64图像
这张图像是由欧洲南方天文台甚大望远镜干涉仪（ESO的VLTI）上的GRAVITY仪器拍摄的恒星WOH G64。这是第一张银河系外恒星的特写照片，这颗恒星位于大麦哲伦星云中，距离地球超过16万光年。图像中心明亮的椭圆形是一个包裹着恒星的尘埃茧。周围较暗的椭圆环可能是尘埃环的内缘，但需要更多观测来证实这一特征。
阅读更多ChromeOS 的终结是廉价安卓笔记本电脑的新曙光
本文分析了谷歌计划将 ChromeOS 与安卓系统合并的原因和意义。 ChromeOS 的局限性在于缺乏原生安卓应用支持和对 x86 架构的依赖，使其在面对苹果的 Arm 芯片和 iPad 的竞争中处于劣势。合并安卓系统可以解决这些问题，并借助 Gemini AI 和谷歌定制芯片，在 Arm 笔记本电脑市场与苹果和微软竞争。文章还探讨了高通与 Arm 的法律纠纷对 Arm 生态系统的影响，以及谷歌自研芯片的进展。作者认为，这次合并对谷歌来说是一个关键时刻，它有机会重新定义其在个人计算领域的愿景，但能否成功还有待观察。
阅读更多Emacs Ninja - 代码转换语言
本文探讨了Emacs中一个鲜为人知的特性——代码转换语言（CCL）。CCL是一种字节码解释器，用于文本编码和解码，拥有自己的虚拟机和一套简单的指令集。作者通过示例代码演示了CCL如何进行字符串处理、算术运算等操作，例如字符转换、ROT13加密、阶乘计算等，并与Emacs Lisp的性能进行了比较。作者还尝试用CCL实现图灵完备的系统，例如Rule 110，但最终发现CCL由于I/O限制，无法实现循环输入输出，因此并非图灵完备。文章最后总结了CCL的优缺点，指出其性能提升不稳定、代码难以编写和维护等问题，并对CCL的未来发展表达了担忧。
阅读更多IBM 量子计算实现 2022 年提出的 100x100 性能挑战
IBM 在首届量子开发者大会上宣布，其量子计算机已成功实现两年前提出的 100x100 性能挑战，即运行包含 100 个量子比特和 100 个门深度的量子电路。最新版本的 Heron R2 芯片具备 156 个量子比特，并通过硬件、中间件和软件的改进，能够精确运行包含 5000 个双量子比特门的电路，运算速度超过 150,000 CLOPS。此外，IBM 还发布了新的软件工具和 Qiskit 函数库，以帮助开发者更轻松地构建和运行量子算法，并展示了连接多个量子芯片的 Flamingo 和 Crossbill 技术，为未来的量子计算发展奠定了基础。
阅读更多聆听低语：真正有效的Web计时攻击
本文介绍了利用计时攻击发现Web漏洞的新方法，并提供了实际案例。作者通过改进计时攻击技术，使其更加精确和高效，能够在几秒内可靠地检测到亚毫秒级的时间差异。文章重点介绍了三种关键攻击技术：发现隐藏的攻击面、服务器端注入漏洞和错误配置的反向代理。此外，作者还讨论了如何使计时攻击更加实用，包括减少网络和服务器噪声、利用单包攻击等。文章还提供了一个CTF挑战，帮助读者练习新的技能。
阅读更多