本文讲述了作者在NixOS（一个基于Nix语言的Linux发行版）中实现随机数生成器和余弦函数的经历。由于Nix的纯函数特性，直接使用系统随机数生成器和内置数学函数存在挑战。作者尝试了多种方法，包括利用Nix的`runCommandLocal`函数和自定义的无限列表实现，最终克服了缓存和函数调用等问题，成功实现了目标，展现了Nix语言的灵活性和强大功能，同时也暴露出了一些Nix的特性局限性。
阅读更多
阿里巴巴研究人员开发了一种名为ZeroSearch的新技术，彻底改变了AI搜索能力的训练方式。该技术通过模拟搜索结果，无需依赖昂贵的商业搜索引擎API，即可训练大型语言模型（LLM）具备强大的搜索功能。这不仅大幅降低了训练成本（高达88%），还提升了对训练数据的控制力，让小型AI公司也能参与先进AI搜索技术的开发。ZeroSearch在七个问答数据集上的表现优异，甚至超越了使用真实搜索引擎训练的模型。这项突破预示着AI未来可能更多地依靠自模拟学习，减少对外部服务的依赖。
阅读更多
实时渲染领域正走向成熟，文章呼吁摆脱对炫技的执着，关注底层架构设计。作者提出构建实时渲染引擎分类体系的必要性，以产品特性、生产流程和技术需求三个维度，对引擎进行更全面的描述，例如用户类型、平台支持、内容抽象、迭代速度、延迟、动态性等。文章认为，只有基于具体情境分析，才能做出最佳的架构选择，例如线程模型、API 抽象、数据结构等。这对于提升效率，满足不同行业日益增长的需求至关重要。
阅读更多
SubTropolis，一个面积相当于42个箭头体育场的地下奇迹，将废弃的石灰岩矿井改造成繁荣的地下城市。其拥有超过10英里的铺设道路和节能LED照明，石灰岩墙提供天然隔热，使其获得ENERGY STAR®的满分评级。安全方面，坚固的石灰岩柱和24/7监控确保了其安全性，吸引了政府机构和高价值租户。目前，SubTropolis正计划再开发800万平方英尺的工业空间，展现了其持续发展的潜力。
阅读更多
Blender团队正致力于将这款强大的3D建模软件移植到平板电脑上，首选平台为iPad Pro。这将通过改进用户界面，降低信息密度，并支持触控笔等输入方式来实现。初期版本将专注于基础建模和雕刻，未来扩展到绘图和分镜等功能。该项目不仅面向平板用户，其改进的用户体验也将惠及桌面版Blender。Blender团队呼吁开发者加入，共同推动这一项目的进展，预计在2025年的SIGGRAPH和Blender大会上会有演示。
阅读更多
SourceHut更新了其服务条款和隐私政策，主要改进了对用户数据的描述，包括如何存储和使用用户数据，以及与第三方共享数据的方式。更新还澄清了用户帐户的安全性，并增加了对用户数据的访问和控制方法的说明。此外，该更新还对自动化工具的使用进行了限制，以防止滥用。
阅读更多
Starship是一个跨平台的、高度可定制的终端提示符，它能美化你的命令行界面，并提供丰富的信息。安装方法很简单，只需将初始化脚本添加到你shell的配置文件中即可，支持bash、zsh、fish、powershell、ion、elvish、tcsh、nushell、xonsh和cmd等多种shell。无论你是Linux、macOS还是Windows用户，都能轻松体验Starship带来的便捷和美观。
阅读更多
作者历时数月，对报废的 Milwaukee M18 电池进行逆向工程，过程充满了挑战。从拆解电池外壳，到识别 Texas Instruments MSP430G2744 微控制器和 BQ76925 电池监控 IC，作者克服了元件细小、焊点难以去除等困难，最终绘制出电池电路板的详细图纸，并分析了电池充电控制电路、UI 电路以及电池与充电器之间的通信协议。文章还包含了作者的诸多发现和疑惑，例如电池缺乏单元平衡功能以及通信协议的细节。这是一篇充满探索精神和技术细节的精彩文章，适合对硬件和逆向工程感兴趣的读者。
阅读更多
Colossal BioSciences公司获得2亿美元融资，目标是“复活”猛犸象、袋狼和渡渡鸟等灭绝物种。该公司利用基因工程技术，结合AI和计算生物学，取得了显著进展，已获得多个物种的完整基因组。除了“去灭绝”项目，Colossal还致力于物种保护和人类医疗保健。此次融资将用于扩大团队，开发新技术，并扩展“去灭绝”物种名单。
阅读更多
高通宣布与谷歌合作，为搭载骁龙8 Elite及未来五代骁龙8和7系列芯片的设备提供长达八年的Android软件和安全更新支持。这意味着OEM厂商可以更轻松地为其设备提供更长时间的更新，降低成本，并提升用户体验。虽然最终更新仍取决于厂商，但此举将有助于延长手机使用寿命，首批受益机型将是搭载Android 15的骁龙8 Elite手机。
阅读更多
在巴西亚马孙雨林，一名来自与世隔绝土著部落的青年男子罕见地接近了一个河边社区。周三晚上，这名青年赤脚，只穿一件小腰布，平静地挥舞着两根木棍，似乎在寻求帮助。当地居民尝试与他沟通，Funai机构随后介入，并为其提供食物和住所。该青年来自2021年确认存在但从未露面的Mamoriá Grande部落，该区域已被划为禁区，以保护其免受土地侵占和冲突的威胁。目前，Funai正在为其提供医疗护理，并邀请附近部落成员协助沟通。
阅读更多
研究人员提出了一种名为Titans的新型神经网络架构，它结合了神经记忆模块和注意力机制，能够有效地记忆长期的历史上下文信息。不同于传统的循环模型和注意力机制，Titans在处理长序列数据时具有更高的效率和准确性，尤其在“大海捞针”的任务中表现突出。该架构在语言建模、常识推理、基因组学和时间序列等多个任务上均取得了优于Transformer和线性循环模型的成果，并可扩展至超过200万上下文窗口大小。
阅读更多
在特朗普时代，许多美国媒体因其所有者对政治的偏向而失去公信力。《卫报》美国版却另辟蹊径，依靠读者捐款维持运营，并取得了巨大成功。其反特朗普的募捐策略，巧妙地利用了美国社会对新闻自由和可靠信息的渴求，使其读者数量迅速增长，营收大幅提升，甚至超过了《华尔街日报》的美国读者数量。这种“无付费墙”的模式，虽然存在捐款波动风险，但《卫报》凭借其全球视野和高质量新闻报道，成功地挑战了传统媒体的商业模式，为其他媒体提供了新的思路。
阅读更多
Chrome推出基于AI的全新历史搜索功能，允许用户使用日常语言查找浏览历史，即使不记得确切关键词或网址也能轻松找到。该功能需要用户位于美国，使用英文版Chrome，年满18岁并登录谷歌账户。开启后，访问过的网页内容会被本地存储，用于AI匹配。用户可通过设置随时关闭该功能。搜索结果包含生成的答案摘要和最佳匹配网页，最多显示三个。谷歌会使用收集的数据来改进该功能，包括安全策略和应对大型语言模型的挑战。
阅读更多
Pimosa 是一款适用于 macOS 和 Windows 的应用程序，集成了 20 多种视频、音频和图像编辑工具。它提供视频压缩、转换、调整大小、合并、翻转、旋转和变速等功能，以及音频转换、合并、提取和元数据编辑功能，以及图像压缩、转换、调整大小和基本编辑功能。该应用具有批量处理功能、内置播放器和简洁的用户界面，用户评价普遍正面，称其为高效且方便的工具。
阅读更多
SimpleGantt是一个轻量级的项目管理工具，无需安装任何软件，完全在浏览器中运行。它使用JavaScript、CSS、HTML和YAML，支持交互式甘特图渲染、任务管理（含依赖项）、里程碑跟踪和离线使用。即使在限制软件安装或禁止使用云应用的环境（如SharePoint）中，SimpleGantt也能提供便捷的项目管理方案。用户可本地保存项目文件（YAML格式），也可手动上传至SharePoint。
阅读更多
QuantCo团队为了提高代码的可维护性，将数据管道从pandas迁移到polars，但在处理大型遗留代码库时，发现缺乏对数据帧内容的验证。现有库pandera和patito存在局限性，因此他们开发了dataframely，一个Polars原生数据帧验证库。dataframely支持声明式数据帧验证，可定义模式、验证数据帧内容、支持跨数据帧验证以及软验证等功能，极大地提高了数据管道的健壮性和可读性，使其在多个团队和项目中得到应用。
阅读更多
还在为你的龙取名而烦恼吗？DragonNameGenerator.net网站提供了一个强大的龙名生成器，可以根据游戏（D&D、Skyrim、WoW等）、颜色、性别甚至你的名字生成独特的龙名。它涵盖了各种龙的种类和背景设定，无论是雄壮威武的红色巨龙还是神秘狡黠的黑色巨龙，都能找到合适的名称。更有针对特定游戏，例如《龙与地下城》、《上古卷轴5：天际》和《魔兽世界》的专属龙名生成器，助你创造更沉浸式的游戏体验。
阅读更多
CodeScientist是一个利用大型语言模型(LLM)自动进行科学发现的工具。它可以自动生成和调试代码，并运行实验。然而，其成本取决于调试迭代次数、提示大小等因素，平均每个实验约4美元。用户需谨慎管理API密钥，并监控使用情况，以避免高昂成本。此外，代码中可能包含API密钥，建议使用排除模式来防止意外提交。
阅读更多
一位拥有20多年经验的前端工程师痛斥了前端领域沉迷于框架重写的现状。他指出，不断更迭的框架使得工程师们浪费大量时间在学习新技术上，而非专注于产品本身。与其追逐新框架，不如深入掌握Web基础技术，这才是长期发展的关键。过度依赖框架也使得新开发者难以入门，阻碍了Web技术的发展。作者呼吁大家回归Web基础，避免被框架的更迭所裹挟。
阅读更多
本文对Atkinson Hyperlegible Mono字体进行了深入评测，对比了JetBrains Mono和Fira Code等编程字体。Atkinson Hyperlegible Mono由Braille Institute委托设计，旨在提升字符辨识度，尤其针对容易混淆的字符(如0和O，l和I)进行了优化。测试结果显示，Atkinson Hyperlegible Mono在区分单字符同形异义词和镜像字符方面表现出色，但在某些编程符号的区分上略逊一筹。作者详细介绍了字体的安装方法，并提供了GitHub仓库链接。
阅读更多
USENIX 致力于开放获取其活动中提出的研究成果。在活动开始后，论文和会议记录将免费提供给所有人。活动结束后发布的任何视频、音频和/或幻灯片也都是免费且开放的。这项研究论文《Autothrottle：面向 SLO 目标的微服务资源管理的实用双层方法》由 Zibo Wang 等人发表在 2024 年的 NSDI 大会上，文章介绍了一种名为 Autothrottle 的实用双层方法，用于管理面向 SLO 目标的微服务资源。该论文以及相关的视频和幻灯片已公开发布。
阅读更多
作者在1993年接触电脑后，一直对IBM PS/1 2168情有独钟。2024年冬天，他决定圆儿时梦，修复一台该型号电脑并运行DOOM游戏。文章详细描述了寻找、购买、以及修复这台30年前的经典电脑的过程，包括挑选键盘、屏幕、安装系统、升级CPU和缓存等，展现了作者对复古电脑的热爱和精湛的技术。
阅读更多
一位自由记者十年间购买了三台新笔记本电脑，总共花费5000欧元，平均使用寿命仅5.7年。意识到新电脑的资源消耗巨大且功能提升有限后，他转而购买了一台2006年的二手ThinkPad X60s，花费不到150欧元，并通过升级硬件和软件，使其焕发新生。这篇文章讲述了他如何通过使用旧电脑、升级固态硬盘和轻量级Linux系统，以及巧妙地利用SD卡管理数据，不仅节省了大量资金，还降低了环境影响，并倡导了一种更可持续的科技生活方式。
阅读更多
“The Deck”是一款用Dart和Flutter开发的离线多人卡牌游戏聚合器，旨在解决朋友聚会时缺少纸牌的难题。它将一台设备作为“游戏桌”，所有玩家都能实时查看牌的状态，增强沉浸感。该项目开源，欢迎贡献代码，并提供iOS和Android平台的构建指南及常见问题解决方案。
阅读更多
加州大学圣地亚哥分校的研究人员开发了一种名为 DNAformer 的 AI 系统，能够以比传统方法快近 90 倍的速度解码 DNA 中存储的数据。该系统利用深度学习模型重建 DNA 序列，并包含错误校正和数据转换算法，成功读取了包括图像、音频和文本在内的 100MB 数据。这项突破有望加速 DNA 数据存储技术的实用化，为长期数据保存提供新的解决方案。
阅读更多
研究人员探索了多个大型语言模型（LLM）代理在迭代部署中，能否在背叛的激励下学习互利的社会规范。实验发现，不同基础模型的合作演变差异显著，Claude 3.5 Sonnet的表现优于Gemini 1.5 Flash和GPT-4o。Claude 3.5 Sonnet还能利用额外的惩罚机制来提高得分。该研究提出了一种新的LLM基准测试方法，关注LLM代理部署对社会合作基础设施的影响，为构建更强大的AI代理提供了新的思路。
阅读更多
coq-of-rust 是一款将 Rust 代码翻译成 Coq 证明系统的工具，旨在实现 Rust 代码的形式化验证，从而消除所有 bug。它通过将 Rust 程序转换为 Coq 代码，并利用 Coq 的证明技术进行验证，最终达到 100% 代码无 bug 的目标。该工具支持 Rust 的大部分核心特性，并提供形式化验证服务，适用于智能合约、数据库引擎等关键 Rust 项目。
阅读更多
美国总务管理局（GSA）旗下的技术转型服务部门（TTS）周三下午突然裁员数十人，主要目标是试用期和短期员工，包括来自总统创新奖学金项目的人员。此次裁员与GSA力图转型为类似“初创软件公司”的机构的计划有关，该计划侧重于AI、流程自动化和数据集中化。GSA新领导层希望在未来几周内推出定制生成式AI聊天机器人“GSAi”，并计划出售500多座联邦大楼以削减成本。此次裁员也引发了关于政府机构使用AI技术、精简人员配置以及工作场所文化转变的讨论。
阅读更多
Conviva的流分析平台因一个看似简单的原子计数器而导致性能瓶颈。该计数器位于一个全局共享的类型注册表中，使用了并发哈希映射Flashmap。高并发下，原子计数器的更新导致缓存行抖动和上下文切换频繁，最终引发P99延迟飙升。替换为Dashmap未能解决问题，最终采用ArcSwap，基于RCU的机制避免了缓存竞争，解决了问题。此案例强调了在高并发场景下选择合适数据结构的重要性，尤其是在读多写少的场景下，ArcSwap的性能优势明显。
阅读更多