马斯克声称特斯拉FSD（完全自动驾驶）可以行驶1万英里无需人工干预，相当于一年一次。但这并非好事，这意味着他的自动驾驶出租车根本不安全。特斯拉车主报告平均每500英里就需要人工干预，而马斯克的数据远超此数值。即使相信马斯克的说法，他的自动驾驶出租车每年至少会发生一次事故！相比之下，人类司机每10万英里才发生一次小事故，Waymo则为每230万英里一次。而且，乘客坐在后座能如何避免自动驾驶出租车的碰撞？
阅读更多
本文探讨了在公司绩效评估中发生的“语境坍塌”现象，即不同部门经理对工程师的同一项工作理解和评价存在巨大差异，导致评估结果不公正，优秀工程师被低估。文章分析了导致这种现象的多种因素，包括领域盲点、技术偏见、可见性偏差、经理的游说能力、固有偏见、评分标准不一致、时间限制以及对成长和影响的重视程度不同等。文章还提出了一些解决方法，例如进行领域相关的绩效评估、进行跨部门预评估、让工程师参与绩效总结、使用标准化模板、设立专门的表彰类别、持续进行绩效评估等。最终，文章呼吁重新思考绩效评估体系的设计，建立一个更加公正、全面、能够反映工程师实际贡献的绩效评估体系，避免人才流失。
阅读更多
Convo-Lang 是一种开源的 AI 原生编程语言和生态系统，专为构建大型语言模型 (LLM) 的强大、结构化提示和代理工作流程而设计，支持 GPT-4、Claude、Llama 等模型。它使用类似自然语言的语法，但增加了结构、状态和变量，简化了 LLM 应用的构建、测试和维护。Convo-Lang 支持多模型切换，方便连接知识库，并提供自定义推理算法，使得构建复杂的 AI 应用变得更加容易。
阅读更多
LMCache 是一款用于大语言模型 (LLM) 的缓存引擎扩展，通过在 GPU、CPU DRAM 和本地磁盘等多个位置存储可重用文本的键值对缓存，显著减少了尾部延迟并提高了吞吐量，尤其在长上下文场景下效果更佳。它能够重用任何被重用的文本的键值对缓存（不一定是前缀），从而节省宝贵的 GPU 运算周期并减少用户响应延迟。结合 vLLM 使用，LMCache 在多轮问答和 RAG 等 LLM 应用场景中实现了 3-10 倍的延迟节省和 GPU 周期减少。
阅读更多
Kraftful，一家由Y Combinator等顶级风投支持的初创公司，正在招聘经验丰富的工程师。该公司利用OpenAI等大型语言模型，将分散的用户反馈转化为可操作的产品需求，帮助团队构建用户真正需要的产品。Kraftful已帮助5万多支产品团队，实现了34%的月环比MRR增长，并获得了众多知名企业的信赖。此次招聘旨在进一步加速其火箭般的增长，为工程师提供一个重塑产品开发未来的机会。
阅读更多
本文介绍了一个基于MLIR和egglog库的Python表达式玩具编译器。该编译器利用E-Graph进行等式饱和和术语重写，对Python表达式进行优化，并将其编译成MLIR。编译器包含表达式模型、内置函数、Term IR、转换层、优化层以及MLIR代码生成和LLVM后端等多个模块。通过符号解释Python函数，将函数转换为IR表示，应用优化规则，最终生成高效的MLIR代码，并通过LLVM进行编译和执行。
阅读更多
Scheme语言的宏系统引入了“卫生”机制，以避免宏展开时变量命名冲突。文章深入探讨了Scheme中标识符的概念，它不仅包含符号名称，还包含词法上下文和历史上下文。`bound-identifier=?`和`free-identifier=?`谓词用于比较标识符的等价性，前者关注宏展开后绑定标识符的可替换性，后者关注自由标识符的可替换性。文章通过多个例子展示了这两种等价关系的差异，以及历史上下文在宏卫生机制中的作用，最终阐述了Scheme如何通过标识符的历史信息来保证宏的卫生性，避免变量名冲突。
阅读更多
10月24日上午，谷歌云的全球IAM服务出现故障，导致数十种GCP产品出现身份验证失败。依赖于谷歌托管后端存储的Cloudflare Workers KV也随之宕机，影响了访问、WARP和其他零信任功能。运行在GCP上的Anthropic也遭遇文件上传失败和错误率上升。7.5小时后，所有服务才完全恢复。此次故障暴露了云服务间的紧密依赖关系，以及单点故障的巨大风险。
阅读更多
作者花费近三周时间游历突尼斯，从繁华都市到偏远沙漠，领略了其独特的自然风光和历史遗迹。然而，更吸引作者的是突尼斯波澜起伏的政治：从曾经的民主到如今的准独裁统治，总统赛义德的崛起更像是一场意外。文章详细讲述了突尼斯从独立到赛义德执政的复杂历史，包括布尔吉巴的世俗化改革和专制统治，本·阿里时期的经济发展和独裁统治，以及阿拉伯春天后的政治动荡和赛义德的权力攫取。赛义德的执政风格独特，其经济政策导致通货膨胀和商品短缺，引发民众不满。文章以其独特的视角和丰富的细节，为读者展现了一个充满矛盾和魅力的突尼斯。
阅读更多
OmniParser 是一个用于将用户界面截图解析成结构化易于理解的元素的综合方法，这显著增强了 GPT-4V 生成可准确落地到界面相应区域的动作的能力。最近更新的 OmniParser V2 实现了在 Screen Spot Pro 基准测试中 39.5% 的最新技术水平，并推出了 OmniTool，允许用户通过选择的视觉模型控制 Windows 11 虚拟机。该项目提供了详细的安装说明和演示，模型权重可在 Hugging Face 上获取。
阅读更多
告别单点预测！概率时间序列预测为预测分析带来了革命性变化。它不再仅仅给出单一预测值，而是提供包含多种可能结果及其概率的完整概率分布，让决策更精准可靠。研究表明，概率方法显著提升了预测精度，降低了误差，尤其在极端事件预测方面表现突出。金融、医疗、制造业等领域都从中受益匪浅，例如更精准的风险评估、资源分配和库存管理。这篇文章深入探讨了概率预测的原理、方法（包括贝叶斯方法、高斯过程和深度概率模型）以及在各个领域的应用，并介绍了数据预处理、模型选择、不确定性校准等关键技术。
阅读更多
arXivLabs是一个允许合作者直接在arXiv网站上开发和分享新功能的框架。参与arXivLabs的个人和组织都认同并接受了arXiv关于开放性、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，并且只与遵守这些价值观的合作伙伴合作。如果您有想法能够为arXiv社区增值，请了解更多关于arXivLabs的信息。
阅读更多
一位程序员爸爸接到来自产品经理（他妻子）的任务：为他们最大的客户（他幼儿园的孩子）开发一个新功能。需求文档是一张模糊不清的学校作业截图。他将截图上传到Claude AI，8分钟后完成了游戏原型，10分钟后发布上线。虽然目前用户数量有限，但这位爸爸相信持续的用户教育能带来未来增长。
阅读更多
这款名为Claude Code Usage Monitor的终端监控工具，能够实时追踪你使用Claude AI时代币的消耗情况。它以直观的进度条显示代币使用情况和剩余时间，并能预测代币耗尽时间，支持Pro、Max5、Max20等多种计划，并能自动切换到自定义最大值模式。此外，它还具有警告系统、自定义重置时间等功能，界面简洁美观，大大提升了用户体验。
阅读更多
研究人员通过强化学习训练了100辆自动驾驶汽车，在高峰时段的高速公路上行驶，以缓解交通拥堵并降低油耗。这些自动驾驶汽车通过学习最大化能源效率，同时保持车辆通行量并安全地与人类驾驶员一起行驶，从而有效地平滑交通流。实验结果表明，即使只有一小部分自动驾驶汽车参与，也能显著改善整体交通状况和燃油效率。这项研究为大规模部署自动驾驶汽车以改善交通状况提供了宝贵的经验。
阅读更多
Anukari是一款基于完全交互式3D物理模拟的软件合成器和效果处理器。用户可以通过拖放质量和弹簧等物理组件来设计自己的3D乐器或效果器，实时查看和聆听创作成果。它支持MPE，可在DAW中作为插件或独立运行，并利用GPU进行音频处理，实现强大的音频效果和令人惊叹的音效。Anukari现已进入Beta测试阶段，并提供50%的折扣优惠。
阅读更多
这是一款名为"X用户笔记"的浏览器扩展程序，它能帮你记住在X平台（前身为Twitter）上屏蔽或静音用户的原因。它会在你屏蔽或静音用户时自动保存链接和当时查看的推文，方便你日后查看。此外，它还允许你为每个用户添加私人笔记，只有你才能看到。你的笔记和屏蔽/静音日志都安全地存储在你的浏览器同步存储中，数据会在你的浏览器配置文件登录的设备间同步。
阅读更多
ExpressVPN将其Lightway VPN协议的核心代码从C语言迁移到Rust语言，带来了显著的速度提升和更高的安全性。目前，更新后的Lightway 2.0仅在ExpressVPN的Aircove路由器上可用，测试结果显示速度提升了约20%。Rust语言的内存安全特性和并发编程优势，有效避免了常见的安全漏洞，并采用了最新的后量子加密标准ML-KEM。ExpressVPN还进行了独立的安全审计，确保了协议的可靠性。虽然目前仅Aircove路由器支持，但后续将陆续支持其他平台。
阅读更多
Alisp是一个由一人开发的开源Lisp解释器项目，目标是实现Common Lisp标准。目前已完成大部分Common Lisp功能，并包含调试器和性能分析器等实用工具。作者使用C89编写，并采用GPL v3开源许可证。项目代码托管在Savannah，欢迎提交bug报告和建议，但暂不接受代码补丁。
阅读更多
这是一个用Rust编写的最小自动微分引擎。该引擎可以训练一个小型多层感知器来学习XOR函数，并能将单个感知器的计算图渲染到graph.html文件中。其核心是Scalar结构体，存储值、梯度和描述生成它的操作的Edge。运算符重载和辅助函数构建一个有向无环图，缓存每个边的局部导数。backward()函数从输出节点开始递归地传播梯度，累积到用Scalar::new_grad创建的叶节点中。计算图可以通过plot::dump_graph可视化。
阅读更多
一位维护使用libexpat库硬件公司公开列表的开发者发现，在2025年，他测试的50家公司中，有78%（39家）未启用RFC 9116规范的/.well-known/security.txt文件，用于公开安全联系信息。这表明许多公司对安全问题的响应不够积极，难以联系到其安全团队。作者呼吁相关公司尽快修复此问题，并分享安全TXT资源链接。
阅读更多
ACCESS.bus，一个基于I²C协议的通用串行总线，在20世纪90年代试图挑战USB，却最终失败。文章回顾了它的发展历程，从DEC公司的雄心壮志到其最终被用于显示器通信（DDC），并探讨了其失败的原因：速度慢、缺乏主要厂商支持以及DEC公司自身的影响力衰退。尽管ACCESS.bus最终没能成为主流，但它的一部分技术如今依然存在于HDMI和DisplayPort中，这证明了其技术的先进性与超前性。
阅读更多
微波炉已经成为现代厨房的标配，但它真的只是个简单的加热器吗？本文深入探讨了微波炉的工作原理，解释了其内部热斑冷点现象，以及如何利用其特性更好地进行烹饪和加热。从二战雷达技术到现代家用电器，微波炉的发展历程，以及不同食物在微波炉中加热的差异，都被清晰地展现出来。作者还提供了实用技巧，帮助读者避免食物加热不均等问题，并提醒大家注意安全使用微波炉。
阅读更多
你相信吗？从C++模板到魔法：聚会卡牌游戏，甚至连PowerPoint都能实现图灵完备！这篇文章列举了一系列令人意想不到的事物，它们竟然拥有模拟任何算法的能力。这些例子涵盖了编程语言、硬件指令集、游戏规则、甚至图像压缩技术，充分展现了图灵完备性的广泛存在，以及其在不同领域中的奇特应用。其中一些应用甚至利用了系统中的漏洞或缺陷，从而实现了意想不到的计算能力。
阅读更多
一名40多岁的澳大利亚男子成为全球首位植入钛合金人工心脏后出院的人。这款名为BiVACOR的人工心脏作为心脏衰竭患者等待捐赠心脏的过渡方案，此前接受者都必须留在美国医院。该男子植入BiVACOR超过三个月后成功接受心脏移植，目前恢复良好。这是BiVACOR的第六例临床应用，也是首例植入时间超过一个月的案例。专家认为，这项技术具有创新性，但仍需进一步研究其长期功能和成本效益。BiVACOR作为一款全心脏替代品，只有一个活动部件，理论上比传统人工心脏更耐用。
阅读更多
一个名为`model2vec-rs`的Rust库实现了Model2Vec静态嵌入模型的加载和推理，速度比Python版本快1.7倍。该库支持从Hugging Face Hub加载预训练模型，并提供命令行接口和自定义编码参数，方便用户创建文本嵌入。基准测试显示，Rust版本每秒处理8000个样本，而Python版本仅为4650个样本。
阅读更多
美国总统特朗普实施的关税导致美国港口进口量骤减，西雅图港甚至出现罕见空置码头的情况。这一现象引发了对供应链中断、物价上涨和就业岗位流失的担忧。洛杉矶港和长滩港也面临类似困境，进口量同比下降35%。专家警告称，关税的影响将波及全国，先影响西海岸港口，再逐步蔓延至其他地区。尽管政府正在与中国谈判以降低关税，但结果仍未可知。
阅读更多
BoldVoice推出一款名为“Accent Oracle”的方言识别工具，号称能在30秒内根据你的英语口音猜出你的母语。这个有趣的应用邀请你进行挑战，并分享你的结果。
阅读更多
Elm语言的编译器提示功能，虽然鲜为人知，却是保持代码可维护性的核心。它会在代码变更可能导致其他代码需要同时修改时，抛出编译错误，提醒开发者进行必要的调整。文章以一个简单的计数器例子，演示了如何通过遵循编译器提示，逐步完善代码，最终实现“代码编译通过即工作正常”的效果。这种“跟随编译器”的开发方式，以及类型检查和穷举性检查，极大地提升了代码的可维护性。文章还扩展讨论了其他类型的提示，例如linter提示，以及如何通过自定义规则创建特定场景下的提示，最终强调了在高度可维护的代码库中，充分利用各种提示机制的重要性。
阅读更多
NASA的工程师们成功重启了旅行者1号已经失效超过20年的主推进器。这台近50岁的探测器面临着备用推进器燃料管道堵塞的风险，随时可能失效。工程师们冒险尝试重启失效的主推进器，这一举动如同在刀尖上跳舞：如果加热器仍然失效，重启推进器可能导致小型爆炸。幸运的是，该计划成功了，为旅行者1号续命，继续探索星际空间。
阅读更多