加拿大国防部长比尔·布莱尔宣布，加拿大政府正在重新评估与洛克希德·马丁公司签订的F-35战斗机采购合同。此举正值加美关系紧张之际，此前葡萄牙也表示正在重新考虑购买F-35。加拿大原计划购买88架F-35，总价190亿加元，但布莱尔表示，总理特鲁多已指示其探索其他替代方案，包括在加拿大组装战斗机的可能性。这一决定与特朗普政府的贸易保护主义政策和对加拿大关系的紧张有关。
阅读更多
llm-d是一个基于Kubernetes的原生分布式推理服务栈，旨在高效、经济地服务大型语言模型。它利用最新的分布式推理优化技术，例如KV缓存感知路由和解耦服务，并与Inference Gateway（IGW）中的Kubernetes操作工具集成。llm-d构建于vLLM、Kubernetes和Inference Gateway等开源技术之上，具有可定制的调度、解耦服务和缓存等特性，并计划实现基于硬件、工作负载和流量的自动扩展。用户可以通过Helm chart轻松安装，并可单独使用其组件进行实验。
阅读更多
FilePizza v2 是一款基于 WebRTC 的浏览器端 P2P 文件传输工具，无需服务器中转，直接在用户浏览器之间传输文件，保证速度快、隐私安全。新版本拥有现代化的 UI、暗黑模式、移动端支持、多文件上传（压缩为zip）、上传进度监控、密码保护、服务端状态的Redis存储等特性。文件传输过程使用端到端加密，安全可靠。开发者在伯克利大学吃披萨时构思了这个项目，现在已开源，并提供在线服务 file.pizza。
阅读更多
本文介绍了一种用于在大型字母表序列上执行排序查询的优雅数据结构——小波树。它通过将字符串组织成位向量层次结构，实现时间复杂度为O(log₂A)的排序查询（A为字母表大小）。文章详细解释了小波树的构建过程以及如何利用它进行高效的排序查询，并提到了使用RRR结构或其他二元排序索引进行压缩和优化的方法。最后，作者推荐了Francisco Claude的libcds库作为实现该数据结构的便捷工具。
阅读更多
GRiSP Nano团队成功在仅有16MB内存的STM32U5微控制器上运行了Erlang虚拟机，创造了新的里程碑。最初目标是32MB，但由于CPU错误，不得不将内存缩减。团队通过一系列优化，包括移除加密库、使用更激进的编译链接选项、精简BEAM文件、调整RTEMS系统以及内存分配器优化等手段，最终克服了内存限制，并在禁用Unicode后成功启动Erlang shell。未来计划包括将部分代码重定位到内部RAM或Flash，发布精简的内核和标准库，以及开发支持低功耗场景的启动逻辑。
阅读更多
本文介绍了一个名为Stevens的家庭AI助手，它利用简单的SQLite数据库和cron jobs，整合了日历、天气、邮件等信息，每天早上通过Telegram向用户发送简报。Stevens的架构简洁易懂，核心是一个存储各种信息的SQLite数据库，以及从不同数据源（日历、天气API、邮件等）导入数据的cron jobs。作者强调这种方法简单易行，并鼓励读者尝试复制和扩展。
阅读更多
Echo R1是一款基于自由软件的开源硬件音乐播放器，旨在打造高品质的音乐聆听体验。它采用STM32H743处理器，拥有32MiB内存和TLV320AIC3104音频芯片，支持高达96kHz采样率。该设备配有4向D-pad、6个多功能按钮、双3.5mm接口（耳机和线路输出）、可更换电池和高达2TB的存储扩展能力。目前项目正处于原型阶段（R1），团队正在努力解决一些已知问题，例如背光无法关闭和元器件编号不规范等，并计划设计3D打印外壳。
阅读更多
加州电力公司与特斯拉等合作，成功进行了一项创纪录的虚拟电厂（VPP）测试，利用超过10万户家庭的储能电池，在峰值用电时段向电网输送了535兆瓦电力，相当于一座大型水电站的功率。这项测试证明了VPP在应对数据中心激增、高温导致的停电以及减少对化石燃料发电的依赖方面的巨大潜力。虽然仍面临一些挑战，例如用户参与的复杂流程，但VPP有望在未来几年内迅速发展，成为美国清洁能源转型的重要组成部分。
阅读更多
Clolog项目将全功能的逻辑编程（Prolog）嵌入到Clojure中，并支持Clojure与Prolog之间的相互调用。它结合了LogLisp、Lisp Machine Prolog和Allegro Prolog的优点，并添加了一些额外功能。Clolog注重表达能力和执行透明度，支持快速原型设计、概念验证开发和外部循环推理。其语法基于Clojure，具有Lispy风格，并提供丰富的内置谓词和操作符，例如否定、条件判断、变量绑定以及对Clojure值的访问。
阅读更多
本文描述了一个将Baba Is You游戏与大型语言模型（LLM）结合的实验。Baba Is You是一款独特的益智游戏，玩家需要通过操作游戏规则来解谜。作者尝试使用Claude等LLM来控制游戏，并通过读取游戏状态信息来辅助LLM进行决策。实验结果显示，当前的LLM在解决复杂关卡方面仍存在很大挑战，但该项目为探索LLM在游戏领域的应用提供了新的思路。
阅读更多
1970年11月12日，俄勒冈州佛罗伦萨海滩发生了一起令人难忘的事件：一只死鲸被炸药炸毁，鲸鱼碎片飞溅到路人身上和汽车上，成为一段广为流传的传奇故事。如今，54年过去了，这段“爆炸鲸鱼”事件不仅成为当地独特的文化符号，还催生了各种纪念活动，从主题啤酒到棒球比赛致敬，甚至还有专门的纪念馆和时间胶囊，以此纪念这起荒诞又充满魅力的事件。
阅读更多
Google Cloud Run 现已支持 GPU 加速的作业，这将极大地扩展其应用场景，尤其是在批量处理和异步任务方面。用户可以轻松地进行模型微调、大规模批量 AI 推理以及批量媒体处理，例如视频转码和图像处理等。 vivo、Wayfair 和 Midjourney 等公司已率先体验了这项功能，并取得了显著的成本降低和效率提升。这项新功能让开发者可以专注于创新，而无需过多关注底层基础设施的管理。
阅读更多
本期播客探讨了企业对开源软件的依赖与实际贡献开源的业余维护者群体之间的巨大脱节。访谈揭示，这个问题由来已久，其对软件安全、稳定性和未来的影响才刚刚开始显现。数据显示，大量实际使用的开源代码由非全职甚至无偿的爱好者维护，这与企业和组织的认知存在偏差。访谈呼吁关注业余维护者的实际困境，并从他们的需求和限制出发寻找解决方案，而非简单地提供资金援助。
阅读更多
特朗普近期在全球经济政策上的反复无常，导致市场剧烈震荡。他先是大肆宣扬关税政策，后又突然暂停，引发股市过山车行情。同时，他大幅削减IRS（美国国税局）员工，此举被认为是方便富豪逃税的策略。文章指出，富人逃税金额巨大，而IRS的审计投资回报率极高，削减IRS实则损害国家利益。作者呼吁各界领导人不要屈服于特朗普的“疯癫”表演，应联合起来抵抗。
阅读更多
作者基于自身感受认为AAA游戏质量下降，并猜测这与开放世界游戏和续作增多有关。但他用IGDB数据库进行数据分析后发现，这一猜测并不成立。数据显示，AAA开放世界游戏和大型续作游戏的数量在2010年代后期达到峰值，之后便持续下降。虽然开放世界AAA游戏的评分在近几年有所下降，但总体而言，它们仍然不逊色于其他类型的AAA游戏。作者最终得出结论：并非游戏类型导致游戏质量下降，而是他个人感受发生了变化。
阅读更多
解析PDF文件看似简单：找到版本号、交叉引用表、对象偏移量，最后构建目录字典。然而现实是残酷的。PDF规范并非金科玉律，实际文件充斥着各种非规范情况，例如`startxref`指针位置错误、文件开头存在垃圾数据、交叉引用表格式错误等。作者通过分析大量实际PDF文件，揭示了这些问题，并指出现有PDF阅读器之所以能正常工作，是因为它们都对非规范情况做了容错处理。这篇文章深入浅出地讲解了PDF解析的挑战，为开发者提供了宝贵的经验。
阅读更多
作者尝试用一道简单的国际象棋谜题测试各种新的LLM模型。这道题目的特点是棋子数量少，解法涉及到少见的“欠升变”技巧，并且需要考虑50步规则。结果显示，即使经过引导，大多数LLM也无法正确解答，这反映出LLM在处理需要逻辑推理和特定领域知识的任务上的局限性。作者认为，这道谜题可以作为快速评估LLM能力的基准，并引发了对LLM未来能否在国际象棋等领域达到大师级的思考。
阅读更多
本文介绍了如何使用OpenTelemetry监控GitHub Actions流水线，实现对CI/CD流程的端到端可观测性。通过配置OpenTelemetry Collector的GitHub接收器，可以收集流水线的跟踪和指标数据，从而识别瓶颈、调试错误并分析依赖关系。文章详细讲解了配置过程，包括设置GitHub webhook、安装OpenTelemetry Collector、配置接收器和处理器以及认证等步骤，并提供了相应的YAML配置文件片段。最终，这些数据可以被发送到SigNoz等可观测性平台进行可视化分析。
阅读更多
一项新的研究显示，Waymo的无人驾驶出租车比Uber和Lyft更贵，平均价格高出数美元。尽管如此，Waymo每周仍提供25万次付费行程。研究发现，Waymo的价格波动更大，短途行程尤其昂贵，这可能是由于其定价模型不如Uber和Lyft成熟。然而，消费者似乎并不介意高昂的价格，许多人表示愿意为无人驾驶体验支付更多费用，这突显了技术新颖性和乘坐舒适性对消费者的吸引力。但安全仍然是消费者最关心的问题，许多人希望保留某种形式的远程人工监控。
阅读更多
Google的Gemini应用新增了图片转视频功能，用户只需上传一张照片，就能生成逼真的Veo 3视频。这项功能无需额外付费，但仅限于Google AI Pro和Ultra订阅用户使用。此前，Veo 3已能根据文字描述生成包含语音、音乐和背景音效的视频，其逼真度令人咋舌。如今，通过参考照片生成视频，用户能更轻松地控制视频效果，而无需冗长的文字描述。此功能此前仅限于Google的Flow AI工具，现已集成到Gemini应用和网页界面。
阅读更多
由于英国2023年通过的网络安全法案将于2025年生效，并可能对违规者处以巨额罚款，独立开发者Kevan Davis不得不宣布其经典文字类僵尸MMO游戏《都市死寂》将于2025年3月14日关闭。该法案旨在保护用户免受有害内容侵害，但其严格的规定也给小型独立游戏开发者带来了巨大的运营风险，最终导致了这款运行近20年的游戏不得不遗憾谢幕。
阅读更多
加利福尼亚州的Hyperion红杉树是世界上已知最高的树，高达116.07米。2006年被发现后，其具体位置一直秘而不宣，但因游客过度涌入导致栖息地破坏，国家公园管理局已封闭该区域，违者将面临高额罚款甚至监禁。这棵树龄在600到800年间的巨树，不仅是自然奇观，也警示着我们保护自然环境的重要性。
阅读更多
本文介绍了如何扩展一个用 Rust 编写的 SQLite 解析器，使其支持 CREATE TABLE 语句。通过解析 SQLite 数据库的模式表，程序能够提取表名、根页号以及各列的名称和类型信息。文章详细讲解了词法分析、语法分析以及如何构建抽象语法树 (AST) 的过程，并展示了如何将提取的元数据存储在数据库结构中，最终实现了一个功能更完善的 SQLite 解析器。
阅读更多
本文讲述了作者与其父亲之间复杂的情感纠葛，以一把传统的安第斯乐器Charango为线索展开。父亲是一位技艺精湛的音乐家，他用Charango演奏的故事蕴含着爱与暴力，欢笑与泪水。作者回忆了父亲严厉的教导、家庭中的暴力以及父亲精湛的技艺，展现了父女之间爱恨交织的复杂情感，以及作者对自身身份认同的探索。
阅读更多
POTUS追踪器是一个追踪美国总统行政命令、日程安排和签署法案的网站。它提供移动通知功能，并于1月28日因服务器过载而经历了重大停机时间，但已通过捐款升级服务器。该网站由Luke Wines拥有和运营，部分总统日程信息来自Roll Call，立法信息来自Congress.gov。
阅读更多
高绩效团队并非表面和谐，而是拥有心理安全感，能够坦诚讨论，有效解决冲突。真正的安全感并非避免冲突，而是允许挑战性想法，让团队更强大。作者指出，健康的团队会尽早发现问题，认真辩论，专注于问题本身，而非个人攻击，并把错误转化为学习机会。相反，“友善”但缺乏坦诚沟通的团队，问题会暗藏，最终导致失败。构建这种环境的关键在于：领导者展现脆弱性，设定辩论规则，并奖励那些提出挑战性问题的人。最终，一个心理安全的团队，虽然会有冲突，但能有效解决问题，避免积怨，最终创造出更优质的产品。
阅读更多
据华尔街日报报道，苹果将终止与高盛的信用卡合作关系，这标志着高盛进军消费信贷领域的最终失败。苹果计划在未来12到15个月内结束与高盛的合作，包括2019年推出的信用卡和今年推出的储蓄账户。高盛在拓展消费业务上损失惨重，最终导致了此次合作的终止。虽然苹果信用卡的用户满意度很高，但高盛的获客成本却高达每位持卡人350美元，这可能是导致合作终止的重要原因之一。
阅读更多
本文深入探讨了编译器中`fast-math`选项的潜在危险。该选项虽然能提升数学运算速度，但却可能违反IEEE 754标准，导致结果不准确。文章详细分析了`-ffast-math`带来的几种常见问题，例如优化掉NaN和Inf检查、重新关联浮点运算以及启用FTZ（Flush to Zero）等，并指出这些问题可能导致程序错误，甚至难以调试。作者建议谨慎使用`fast-math`，并提出了一些更安全的使用方法，例如开发可靠的验证测试和基准测试，以及使用更精细的控制方法来管理优化过程。最终，作者呼吁改进编译器和编程语言，提供更安全、更易用的工具来充分利用现代硬件性能，避免对`fast-math`的过度依赖。
阅读更多
桑迪亚国家实验室近期启用了一台名为SpiNNaker 2的“类脑”超级计算机，它摒弃了GPU和内部存储，依靠高速度芯片间通信和海量内存来实现高速计算。这台由德国SpiNNcloud公司提供的系统模拟1.5亿到1.8亿个神经元，是全球前五的类脑计算平台之一。其独特的架构使其在能源效率方面优于GPU系统，并能够进行复杂的事件驱动计算和模拟。SpiNNaker 2将用于国家核威慑任务的模拟，探索神经形态计算的潜力。
阅读更多
本文介绍了一个仅用383字节实现的x86-64 Linux ELF可执行文件，它是一个二元Lambda演算解释器。这个微型解释器实现了垃圾回收、惰性列表和尾递归等特性，其程序以极小的二进制编码表示，例如元循环解释器仅需232位。作者还提供了其他平台的C代码和预编译二进制文件。这个项目对于学习Lambda演算非常有帮助，也展示了在极端资源受限的环境下，仍然可以实现复杂的计算功能。
阅读更多