本文讲述了作者利用大型语言模型（LLM）自动将C语言代码移植到Rust语言的经验。作者尝试了几种方法，最终采用了一种基于拓扑排序和模糊测试的策略：首先按拓扑顺序排序C代码中的符号，然后使用LLM生成每个符号的Rust版本以及对应的模糊测试用例，通过比较C和Rust版本的输出结果来验证移植的正确性。这种方法取得了显著成功，作者成功地将一个名为Zopfli的压缩库从C移植到Rust，且运行结果与C版本完全一致。虽然该方法并非完全自动化，但大大降低了移植的成本和难度，为大型代码库的维护和升级提供了新的思路。
阅读更多
作者历时一年解决编译器程序图序列化问题，初始方案笨拙且难以维护。最终通过与他人合作，重新审视问题，将问题转化为寻找图中的最低单公共祖先（LSCA）问题。借助已有的LCA算法库和巧妙的lazy编程技巧，作者最终实现了线性时间复杂度的优雅解法，将代码长度缩减三分之一，并有效解决了性能瓶颈。
阅读更多
面对Big Tech利用AI加速监控资本主义模式的现状，Proton推出了一款名为Lumo的隐私优先AI助手。Lumo不保留任何对话日志，所有聊天内容都采用零访问加密，确保用户数据完全掌控，绝不共享、出售或盗取。Lumo的出现，为用户提供了一种在享受AI便利的同时保护隐私的可靠选择，它基于开源语言模型，运行于Proton位于欧洲的数据中心，并提供独特的“幽灵模式”等隐私保护功能。Proton致力于建设欧洲主权科技栈，Lumo是其重要一步，也标志着对数据隐私和用户权利的坚定承诺。
阅读更多
作者分享了其Go语言HTTP服务器的改进历程。文章详细介绍了添加单元测试以确保代码质量，并根据读者反馈解决了HTTP头部大小写不敏感和多值处理的问题。此外，文章还描述了如何改进响应流处理、处理更大负载以及添加中间件和子路由功能以增强代码模块化和可扩展性。这些改进显著提升了服务器的性能和可维护性。
阅读更多
Meta首席执行官扎克伯格宣布其开源AI模型Llama下载量突破10亿，较去年12月初增长53%。Llama已广泛应用于Meta旗下平台及Spotify、AT&T等公司，但同时也面临版权诉讼和数据隐私方面的挑战。尽管如此，Meta仍计划在未来几个月推出更多Llama模型，包括推理模型和多模态模型，并豪掷800亿美元投资AI项目，力争在AI领域占据领先地位。
阅读更多.jpg)
Ubicloud，一个开源的AWS替代方案，为了降低成本，推出了可突发型虚拟机。它们利用Linux cgroups v2技术，在共享CPU资源的基础上，允许虚拟机在负载峰值时临时提升CPU使用率。文章详细介绍了cgroups v2的配置和使用方法，包括cpuset和cpu控制器，以及如何通过虚拟文件系统或systemd进行管理。通过测试，可突发型虚拟机在负载较低时能获得约30%的性能提升，但该提升受限于cgroups v2的微间隔限制。
阅读更多
俄勒冈州麦德米特火山口发现的巨型锂矿储量估值高达1.5万亿美元，引发了国内电池生产的兴奋与当地社区对野生动物和文化遗址影响的担忧。该矿蕴藏着数千万吨锂，但开采可能破坏当地生态系统，并引发与内华达州类似的水资源争端。虽然当地经济发展部门希望通过矿产开采创造就业机会，但环保组织则呼吁在清洁能源与环境保护之间取得平衡，并强调需充分评估开采对脆弱栖息地的影响，以及对当地土著文化的尊重。
阅读更多
Nvidia最新的Blackwell架构GPU，特别是旗舰RTX PRO 6000，以其巨大的GB202芯片（750mm²，922亿晶体管）和惊人的188个SM单元，展现了在计算性能方面的绝对优势。文章深入分析了Blackwell架构的微架构细节，包括指令缓存、执行单元、内存子系统等，并将其与AMD的RDNA4架构进行了对比。虽然在某些方面，例如L2缓存性能和每单元效率，Blackwell并非完美无缺，但其庞大的规模使其在整体性能上远超竞争对手，成为目前最大的消费级GPU。然而，这种极致的追求也带来了挑战，例如功耗（600W）和L2缓存延迟等问题。文章结尾展望了未来GPU市场竞争的格局。
阅读更多
加利福尼亚大学河滨分校的研究人员开发了一种名为MassQL的新型编程语言，它能够帮助生物学家和化学家们快速识别环境污染物，而无需编写代码。MassQL就像一个针对质谱数据的搜索引擎，允许研究人员轻松查找模式，而无需具备高级编程技能。该语言已被用于识别公共水道中的阻燃剂等化合物，并发现了许多以前未被描述的化合物。MassQL的开发克服了化学家和计算机科学家对术语定义的共识难题，并已在多种应用中得到验证，为环境科学研究带来了新的突破。
阅读更多
据路透社报道，英伟达计划恢复向中国大陆销售其H20 AI芯片，中国公司已争先恐后地提交订单。英伟达预计很快将获得美国政府的许可，从而在首席执行官黄仁勋会见特朗普总统后几天内重启受限处理器的发货，这可能为今年带来150亿至200亿美元的额外收入。此举与2022年ChatGPT发布后，英伟达的财务状况与对能够高效执行AI模型的专用硬件的需求密切相关有关。H20芯片是英伟达在中国合法销售的最强大的AI处理器，尽管由于2022年实施的出口限制，其计算能力低于在其他地方销售的版本。
阅读更多
据研究人员发现的Waymo隐私政策草案显示，这家自动驾驶公司计划使用其robotaxi的内部摄像头视频数据（与乘客身份关联）来训练生成式AI模型，并可能将这些数据用于个性化广告。虽然用户可以选择退出数据共享，但这引发了人们对自动驾驶汽车内乘客行为数据被用于AI训练和营销的担忧。Waymo目前在美国是唯一一家通过robotaxi服务产生收入的自动驾驶公司，每周完成超过20万次付费行程。尽管如此，Waymo仍在持续亏损，探索新的收入来源，例如车内广告和数据共享，或许是其应对财务压力的策略。
阅读更多
过去，个人电脑软件普遍缺乏个性化，功能臃肿。但AI的出现改变了这一切。现在，无需编程经验，普通人也能利用AI轻松创建专属应用，解决个人特定问题，如同在家烹饪专属美食。这并非取代专业软件开发，而是让更多人参与其中，提升对优质软件的鉴赏力，最终推动软件创新和发展。
阅读更多
作者讲述了开发一款iOS照片加密应用SafeSpace的三年历程。从最初的充满希望到App Store的多次拒绝，再到付费广告的巨额亏损，最后通过产品策略调整扭亏为盈的故事。期间经历了SwiftUI的学习曲线，App Store审核的严苛，以及独立应用推广的艰难。最终，通过策略性转向和市场定位的调整，应用获得了成功，但故事并未结束，苹果账户的调查又带来了新的挑战。
阅读更多
去年2月，一架从法兰克福飞往塞维利亚的德意志航空A321航班发生惊险一幕：机长短暂离开驾驶舱后，副驾驶昏迷，飞机在自动驾驶模式下独自飞行10分钟。西班牙航空事故调查机构CIAIAC的报告显示，尽管座舱内传来异响，表明副驾驶发生了严重的医疗紧急情况，但由于自动驾驶系统，飞机保持稳定飞行。机长最终使用紧急代码打开驾驶舱门，此前他刚完成相关紧急情况培训。德航确认已知晓报告，但未透露内部调查结果。
阅读更多
享誉全球的电影导演大卫·林奇于2025年1月16日去世，享年78岁。林奇以其独特的超现实主义风格和对心理惊悚的探索而闻名，代表作包括《蓝丝绒》、《穆赫兰道》、《象人》和电视剧《双峰》。他的作品风格大胆前卫，充满象征意义，对电影和电视艺术产生了深远的影响。林奇的离世是电影界的巨大损失，但他留下的作品将继续被世人铭记。
阅读更多
特朗普政府正试图推翻具有90年历史的《汉弗莱执行人案》判例，该判例保障了美国联邦机构的独立性。此举意在增强总统权力，使其能够随意解雇联邦机构领导人。这一举动引发广泛担忧，可能导致众多联邦机构，包括负责消费者保护、劳工权益和核能监管等关键领域的机构，沦为总统的“攻击犬”。虽然政府目前暂未触及美联储，但其逻辑同样适用，可能对其独立性造成威胁。这场法律斗争将对美国政府的未来走向产生深远影响，并重新定义行政机构与总统的关系。
阅读更多
AP5 是 Common Lisp 的一个扩展，允许用户以更“规范性”的级别进行编程，更关注机器做什么而不是怎么做。它结合了 Lisp 和 Gist 规范语言的优点，并提供了注释机制来控制性能。AP5 使用关系模型表示数据，并支持一阶逻辑语言进行数据访问和操作。程序员可以定义关系、规则和约束，并通过注释优化程序性能。手册详细介绍了 AP5 的语法、数据库操作、规则、类型、等价性和实现细节，并提供了大量的示例和说明。
阅读更多
全球空调能耗激增，尤其在用电高峰期，空调耗电量占住宅用电的70%以上。MIT Technology Review 的最新报道聚焦于解决这一问题的创新技术。新型储能式空调系统可在低峰时段充电，高峰时段降低电网压力；而节能的吸附式冷却系统则更有效地处理湿度。更令人振奋的是，研究人员3D打印出一种新型换热器，其性能超越传统设计，为空调技术的革新提供了新的方向。虽然距离彻底解决空调能耗危机还有很长的路要走，但这项突破无疑为节能减排带来了希望，同时也需要政策和公众的支持才能惠及大众。
阅读更多
本文深入探讨了PostgreSQL中看似矛盾的现象：简单的SELECT查询为何会引发数据写入。文章从多版本并发控制(MVCC)机制入手，解释了行版本、页面、元组等概念，并结合代码示例，详细分析了HINT位更新和页面修剪两种机制如何导致读取操作修改页面，最终需要写入磁盘。文章还阐述了HOT更新优化策略，并通过页面检查工具展示了数据在页面中的存储方式和更新过程。
阅读更多
本文作者分享了在构建AI智能体过程中六个重要的经验教训。作者强调清晰的指令、精简的上下文管理、稳健的工具接口和自动化的验证循环的重要性。文中指出，现代大型语言模型需要直接详细的上下文，避免使用技巧性提示。通过将大型语言模型与工具和基本控制流运算符相结合，可以构建强大的AI智能体。作者还建议采用两阶段算法，其中一个阶段负责生成结果，另一个阶段负责验证结果，并通过迭代改进和错误分析不断提升智能体的可靠性和可恢复性。
阅读更多
科学家利用跨大西洋海底光缆，无需干扰其原有功能，成功开发了一种新型仪器，通过监测光信号的微小变化来测量海水温度和压力。该仪器利用光缆中每隔50-100公里设置的重复器反射的光信号，测量光信号传输时间的变化，从而推断出水温、潮汐等信息。这项突破性研究为更经济高效地监测海洋环境提供了新途径，有助于更好地理解海洋环流、气候变化和自然灾害（如海啸）。
阅读更多
作者在2022年制作了一个基于C64的电子琴后，又开发了Qweremin，这是一种结合了传统电子琴和qwerty键盘的创新乐器。Qweremin克服了传统电子琴难以演奏的问题，并利用外部DAC改善了音量控制的精度和响应速度。文章还讲述了作者与著名游戏音乐作曲家Rob Hubbard的偶遇，并得到了他的签名。
阅读更多
本文批判了电子产品厂商使用毫安时(mAh)和GHz等指标来衡量电池和处理器性能的误导性做法。作者认为，瓦特(W)才是更有效的指标，它能更直接地反映设备的实际功率和能耗。以Steam Deck为例，作者用简单的数学计算展示了瓦特如何帮助用户更准确地预测电池续航时间。文章还揭示了厂商故意隐瞒瓦特数据，以及“马力”这一单位的起源，指出其营销策略的误导性。作者呼吁厂商应更透明地使用瓦特这一更准确的单位，让消费者更好地了解设备性能。
阅读更多
Netflix爆款剧集《鱿鱼游戏》的灵感来源并非空穴来风，其导演黄东赫公开承认受到了日本cult片《大逃杀》的启发。《大逃杀》改编自高见广春的同名小说，讲述一群中学生被政府迫使互相残杀的故事。这部1999年的作品，其残酷的游戏设定和对社会黑暗面的揭示，深刻影响了《鱿鱼游戏》。文章深入探讨了《大逃杀》的创作背景，包括作者高见广春受梦境启发，以及导演深作欣二将自身二战经历融入电影的创作过程，使得这部电影超越单纯的暴力血腥，成为一部具有深刻社会意义的反思之作。
阅读更多
亚马逊宣布计划在2026年底前将当日达和次日达服务扩展到数千万居住在小型城镇的居民。该公司周二发布新闻稿称，这项服务将覆盖4000多个小型城市、城镇和农村社区。这项扩张得益于亚马逊斥资40亿美元建设新设施和招聘送货司机，并利用机器学习预测各地需求，确保库存充足。虽然这为农村居民带来了便利，但也引发了对当地小型企业竞争力的担忧。
阅读更多
从霍奇金-赫胥黎模型的四个方程到如今包含数万个参数的完整细胞模型，模拟生命已取得惊人进展。科学家们通过构建虚拟细胞（digital twins），在计算机中模拟真实细胞的分子过程，甚至创造了只包含473个基因的合成生命JCVI-syn3.0并对其进行完整建模。AI的加入更是加速了这一进程，使复杂的基因表达动力学模拟时间从数小时缩短至数分钟，并推动虚拟细胞模型在药物研发和个性化医疗中的应用，开启了生物学与计算机科学合作的新时代。
阅读更多
Fabrice Bellard发布了一款名为ts_zip的文本压缩工具，它利用大型语言模型RWKV 169M v4实现远超传统压缩工具的压缩比。ts_zip需要GPU和4GB内存，速度虽然不如传统压缩器，但其在英文及其他语言文本，甚至源代码压缩上表现出色。该工具的压缩率以比特每字节（bpb）衡量，实验结果显示其在enwik8和enwik9数据集上的压缩率显著高于xz。ts_zip采用算术编码和确定性模型评估，保证了压缩文件的可复现解压。
阅读更多
与纳米技术不同，量子工程已发展成为一个独立的产业。这篇文章探讨了量子工程的独特之处，它涉及与经典物理学截然不同的数学和现象，并能够实现传统方法无法做到的事情，例如量子密码学。文章还提到了量子计算和量子传感器的最新发展，以及对具有量子专业知识的电子工程师日益增长的需求。IEEE量子周为有志于量子领域的工程师提供了学习和交流的平台。
阅读更多
The Office Gurus 公司副总裁 Jordan Gluck 对 Krisp 的降噪技术赞誉有加。他表示，Krisp 彻底改变了他们的呼叫中心运营，消除了噪音投诉，显著提升了客户体验，并带来了极高的客户满意度 (CSAT) 分数。Krisp 的安全性也增强了 The Office Gurus 对该平台的信任。通过 Krisp，他们的座席能为客户提供清晰的通话，使其成为公司成功故事中不可或缺的一部分。
阅读更多
me_cleaner是一款开源Python脚本，旨在精简英特尔管理引擎（ME）固件，降低其与系统交互的能力，从而提升用户隐私和安全。英特尔ME固件自2006年后集成于所有英特尔主板，它具有访问系统内存和网络的权限，难以禁用或替换。me_cleaner通过修改ME固件，使其在正常运行时处于非活动状态，仅在启动时激活，从而有效减少其潜在的安全风险。该工具支持多种英特尔平台，但获取和刷写修改后的固件需要使用外部SPI编程器。对于不同版本的ME固件，精简效果有所不同，但都能显著减小固件体积，并可能导致一些次要问题，如启动时间延长或警告信息。
阅读更多