Torii 是一个为 Rust 应用程序提供的强大身份验证框架，让你完全控制用户数据。与 Auth0、Clerk 或 WorkOS 等将用户信息存储在云端的托管解决方案不同，Torii 允许你拥有和管理自己的身份验证系统，同时通过灵活的插件系统提供现代身份验证功能。它支持无密码登录、社交 OAuth 和密码密钥等功能，并让你可以选择存储用户数据的位置，兼顾强大的身份验证能力和数据主权。
阅读更多
本文综述了近年来光电神经网络的快速发展，从深度学习的开创性工作到利用光子学器件构建大规模神经网络的最新进展。研究者们探索了各种光学计算方法，包括利用相干纳米光子电路、衍射深度神经网络以及光电倍增等技术实现深度学习。这些研究不仅在图像识别、星际争霸等领域取得了突破，更重要的是为突破摩尔定律的限制，探索后摩尔时代计算的新路径提供了新的可能性。
阅读更多
人工智能正以前所未有的方式改变着物理学研究。文章讲述了AI在LIGO实验中的应用，提高了灵敏度；AI算法从大型强子对撞机数据中发现了爱因斯坦相对论中的对称性，并找到了一种新的暗物质团簇方程。更令人惊叹的是，AI辅助设计的新量子纠缠实验，其方案优于之前的经典设计，并已在中国得到成功验证，展现了AI在物理实验设计和数据分析中的巨大潜力。
阅读更多
Rust GPU项目允许开发者使用Rust编写GPU程序（着色器）。开发者将几个流行的Shadertoy着色器移植到Rust，过程顺利。Rust GPU将Rust代码编译成SPIR-V，方便集成到Vulkan工作流程中。该项目支持Rust特性，例如trait、泛型和宏，简化了CPU和GPU之间的数据共享。此外，该项目还修复了wgpu和naga的一些问题，为Rust生态系统做出了贡献。
阅读更多
一位博士生分享了他的高效阅读方法：他并非试图记住所有信息，而是将阅读视为一个更新贝叶斯信念的过程，每次阅读都微调他的世界模型。他认为，阅读的目的是激发思考和产生新想法，而不是记忆细节。因此，他会忽略大部分内容，只关注能改变他的思维或为写作提供素材的部分，例如一篇论文中写得很好的方法论部分。如果一篇非虚构作品无法激发新的想法或行动，他认为它可能不值得阅读。这种方法强调的是理解和应用，而不是死记硬背。
阅读更多
俄勒冈州立大学（OSU）的开源实验室（OSL）正面临严重的资金短缺，其22年的历史可能面临终结。OSL为全球众多开源项目提供托管服务，曾为Gentoo、Drupal和Mozilla基金会等项目提供关键支持。资金短缺源于美国联邦政府的预算削减，OSU校长也对此表达了担忧。OSL目前寻求25万美元的资金以维持运营，开源社区对此表示强烈支持，许多受益者都表达了对其重要性的肯定。
阅读更多
本文讲述了作者利用大型语言模型（LLM）自动将C语言代码移植到Rust语言的经验。作者尝试了几种方法，最终采用了一种基于拓扑排序和模糊测试的策略：首先按拓扑顺序排序C代码中的符号，然后使用LLM生成每个符号的Rust版本以及对应的模糊测试用例，通过比较C和Rust版本的输出结果来验证移植的正确性。这种方法取得了显著成功，作者成功地将一个名为Zopfli的压缩库从C移植到Rust，且运行结果与C版本完全一致。虽然该方法并非完全自动化，但大大降低了移植的成本和难度，为大型代码库的维护和升级提供了新的思路。
阅读更多
一份标注为最高机密的纽约大学（NYU）2024年入学申请数据泄露，显示在最高法院裁定大学录取中种族平权行动违法后，NYU可能仍在继续使用类似的标准。泄露的数据包含了不同种族学生的SAT、ACT和GPA平均分，引发了人们对大学录取公平性的质疑。数据来源已在Proton和MEGA上镜像备份。
阅读更多
根据Counterpoint Research的数据，TCL在2024年第四季度高端电视出货量方面超越了LG，跃居全球第二，仅次于三星。TCL的高端电视出货量同比增长超过一倍，市场份额达到20%。这一增长主要得益于其在4K、QLED和Mini-LED电视领域的出色表现。虽然三星仍然占据主导地位，但中国品牌TCL和海信的崛起，正深刻改变着全球电视市场格局。值得关注的是，尽管高端电视市场增长强劲，但整体电视市场增速放缓，美国对墨西哥进口电视的关税政策也可能对行业产生影响。
阅读更多
博主Ryan West分享了他如何自动化博客写作和发布流程的经验。他利用Obsidian进行个人知识管理（PKM），将高质量信息整理到Zotero，再通过Obsidian进行整合和创作。他使用Hugo生成静态网站，并通过自定义脚本和cron job实现了自动化部署到GitHub，几分钟内就能将Obsidian中的Markdown文章发布到网站。他还使用了giscus作为评论系统，利用GitHub Discussions功能，实现了类似Reddit的评论体验。
阅读更多
作者分享了其Go语言HTTP服务器的改进历程。文章详细介绍了添加单元测试以确保代码质量，并根据读者反馈解决了HTTP头部大小写不敏感和多值处理的问题。此外，文章还描述了如何改进响应流处理、处理更大负载以及添加中间件和子路由功能以增强代码模块化和可扩展性。这些改进显著提升了服务器的性能和可维护性。
阅读更多
一项新的研究表明，狗的驯化可能并非完全由人类主导。通过数学模型模拟，研究人员发现，在15000年的时间里，狼可能通过选择靠近人类获取食物，并选择性地与具有相似温顺性格的同伴交配，从而实现了自我驯化。这种“美食诱惑”策略，使得狼逐渐适应人类生活，最终演化成家犬。这项研究为理解动物驯化机制提供了新的视角，也为人类与动物之间长期共生的历史增添了精彩一笔。
阅读更多
Mistral AI发布了全新开源模型Mistral Small 3，这是一个拥有240亿参数的模型，在速度和性能上取得了显著平衡。它在速度上超过了Llama 3.3 70B和Qwen 32B等更大模型三倍以上，同时在MMLU准确率上达到81%以上。Mistral Small 3特别适合需要快速响应的生成式AI任务，并且可以在单块RTX 4090或32GB内存的Macbook上运行。该模型已在Apache 2.0许可下发布，并可通过Hugging Face等平台访问。
阅读更多
3D打印机制造商Bambu Lab推出了一个名为CyberBrick的新玩具系统，该系统结合了可重复使用和可编程的电子元件以及3D打印模型，能够基于官方和社区设计制作各种玩具。CyberBrick最初仅通过Kickstarter平台发售，但已超过其众筹目标，首批套件预计将于2025年5月交付支持者。该系统包含叉车、卡车和“足球机器人”等玩具，以及一个通用的无线控制器。用户可以3D打印更多部件并组装官方设计，起价为29.99美元。Kickstarter活动还提供包含预打印部件的套件选项，但Bambu警告称，一旦销售转移到其常规的Maker’s Supply商店，这些预打印套件将不再提供。CyberBrick的真正吸引力在于其社区设计的潜力，目前已有多种设计，例如月球车、步行桌和特斯拉Cybertruck复制品等。该系统还可用于其他用途，例如3D打印延时摄影套件。所有部件均可编程。
阅读更多
过去，个人电脑软件普遍缺乏个性化，功能臃肿。但AI的出现改变了这一切。现在，无需编程经验，普通人也能利用AI轻松创建专属应用，解决个人特定问题，如同在家烹饪专属美食。这并非取代专业软件开发，而是让更多人参与其中，提升对优质软件的鉴赏力，最终推动软件创新和发展。
阅读更多
Stack AI，一家由两名MIT博士创立、YC和Google投资的AI公司，正在招聘10倍工程师。他们开发了一个无代码平台，整合了OpenAI、Anthropic等AI模型和多种数据源，旨在使人人能够构建AI应用。公司拥有超过8.5万用户和300多付费客户，寻求精通Python、数据库、AWS和容器化技术的工程师，参与构建可扩展的后端系统，并与AI模型集成。理想候选人应具备强大的问题解决能力和团队合作精神，并对AI充满热情。
阅读更多
特斯拉在最近一起Autopilot致死车祸案中败诉，审判记录显示该公司隐瞒关键证据，误导警方和原告。特斯拉在事故发生后几分钟内就获得了碰撞快照数据，却谎称数据不存在，并引导警方获取错误的数据。最终，原告通过取证，找到了特斯拉服务器上保存的完整数据，证明Autopilot系统在事故发生时处于激活状态，且未发出任何警告。法庭判定特斯拉负有33%的责任，凸显了其在Autopilot系统安全性和透明度方面的严重问题。
阅读更多
这对夫妇记录了他们在2025年前六个月的船上生活点滴。他们修复了船体，为游戏《Oquonie》的发布做准备，并参与了各种项目，包括编写书籍、制作游戏和参与游戏创作活动。他们还分享了阅读书籍、与社区互动以及应对船上生活挑战的经历，展现了他们轻松、充满冒险的航海生活。
阅读更多
许多WiFi网络在您登录时会记录您的MAC地址，以便识别您的设备。即使您更改登录凭据，它仍然会阻止您再次使用同一设备。解决方法是：通过更改设备的MAC地址，使WiFi网络无法识别您的电脑，从而误以为是新设备，绕过限制。
阅读更多
一篇KrebsOnSecurity的文章揭露了一个高产的语音网络钓鱼团伙的运作内幕。该团伙利用苹果和谷歌的合法服务，通过伪造电话号码、发送钓鱼邮件和系统消息等方式，对受害者实施诈骗。他们甚至利用苹果的官方客服电话发送确认消息，以此获取受害者的信任。该团伙内部分工明确，包括主叫者、操作员、资金转移者和所有者。文章还披露了该团伙如何利用数据泄露信息和自动化工具筛选目标，以及内部成员之间的利益冲突和背叛。此次事件再次警示了网络安全的重要性，并揭示了网络犯罪团伙内部的复杂运作模式。
阅读更多
在SXSW 2025上，Bluesky CEO Jay Graber身穿印有“Mundus sine caesaribus”（没有凯撒的世界）的T恤，暗讽Meta CEO马克·扎克伯格。这件T恤是对扎克伯格此前“Aut Zuck aut nihil”（要么扎克伯格，要么什么都没有）的回应。Bluesky作为去中心化、开源的社交网络，用户可以直接参与平台建设，拥有更大的自主权。与Meta不断引发争议的政策相比，Bluesky的开放性吸引了大量用户，虽然用户规模仍远小于Meta，但其独特的理念和文化影响力使其在社交媒体领域占据一席之地。
阅读更多
一名23岁的苏格兰男子Tyler Robert Buchanan被指控为臭名昭著的“分散蜘蛛”网络犯罪集团成员，上周从西班牙引渡到美国，面临电汇诈骗、共谋和身份盗窃等指控。美国检方指控他和同伙入侵数十家美国和海外公司，他个人控制的赃款超过2600万美元。调查显示，该集团利用短信网络钓鱼和SIM卡交换攻击窃取资金，并与2022年针对Twilio、LastPass等科技公司的攻击有关。Buchanan于2024年6月在西班牙被捕，其住所搜查出大量数字设备和犯罪证据。目前，他已被还押候审，面临长达数年的监禁。
阅读更多
全球空调能耗激增，尤其在用电高峰期，空调耗电量占住宅用电的70%以上。MIT Technology Review 的最新报道聚焦于解决这一问题的创新技术。新型储能式空调系统可在低峰时段充电，高峰时段降低电网压力；而节能的吸附式冷却系统则更有效地处理湿度。更令人振奋的是，研究人员3D打印出一种新型换热器，其性能超越传统设计，为空调技术的革新提供了新的方向。虽然距离彻底解决空调能耗危机还有很长的路要走，但这项突破无疑为节能减排带来了希望，同时也需要政策和公众的支持才能惠及大众。
阅读更多
本文深入探讨了PostgreSQL中看似矛盾的现象：简单的SELECT查询为何会引发数据写入。文章从多版本并发控制(MVCC)机制入手，解释了行版本、页面、元组等概念，并结合代码示例，详细分析了HINT位更新和页面修剪两种机制如何导致读取操作修改页面，最终需要写入磁盘。文章还阐述了HOT更新优化策略，并通过页面检查工具展示了数据在页面中的存储方式和更新过程。
阅读更多
科学家利用跨大西洋海底光缆，无需干扰其原有功能，成功开发了一种新型仪器，通过监测光信号的微小变化来测量海水温度和压力。该仪器利用光缆中每隔50-100公里设置的重复器反射的光信号，测量光信号传输时间的变化，从而推断出水温、潮汐等信息。这项突破性研究为更经济高效地监测海洋环境提供了新途径，有助于更好地理解海洋环流、气候变化和自然灾害（如海啸）。
阅读更多
本文作者分享了在构建AI智能体过程中六个重要的经验教训。作者强调清晰的指令、精简的上下文管理、稳健的工具接口和自动化的验证循环的重要性。文中指出，现代大型语言模型需要直接详细的上下文，避免使用技巧性提示。通过将大型语言模型与工具和基本控制流运算符相结合，可以构建强大的AI智能体。作者还建议采用两阶段算法，其中一个阶段负责生成结果，另一个阶段负责验证结果，并通过迭代改进和错误分析不断提升智能体的可靠性和可恢复性。
阅读更多
诺贝尔奖得主默里·盖尔曼的“极权主义原理”指出，物理定律未明确禁止的任何事情都必然发生。这在过去受限于时空的线性经济中并不明显，但如今的非线性经济，以软件、故事和生物公式为驱动，信息传播迅速，可能性激增。这带来了前所未有的机会与挑战：知识快速贬值，成功难以持久，我们需要培养多元化的策略，适应变化，而非预测未来。最终，不变的是人际关系和生活中的简单快乐，这些才是指引我们前进的灯塔。
阅读更多
本文批判了电子产品厂商使用毫安时(mAh)和GHz等指标来衡量电池和处理器性能的误导性做法。作者认为，瓦特(W)才是更有效的指标，它能更直接地反映设备的实际功率和能耗。以Steam Deck为例，作者用简单的数学计算展示了瓦特如何帮助用户更准确地预测电池续航时间。文章还揭示了厂商故意隐瞒瓦特数据，以及“马力”这一单位的起源，指出其营销策略的误导性。作者呼吁厂商应更透明地使用瓦特这一更准确的单位，让消费者更好地了解设备性能。
阅读更多
亚马逊宣布计划在2026年底前将当日达和次日达服务扩展到数千万居住在小型城镇的居民。该公司周二发布新闻稿称，这项服务将覆盖4000多个小型城市、城镇和农村社区。这项扩张得益于亚马逊斥资40亿美元建设新设施和招聘送货司机，并利用机器学习预测各地需求，确保库存充足。虽然这为农村居民带来了便利，但也引发了对当地小型企业竞争力的担忧。
阅读更多
从霍奇金-赫胥黎模型的四个方程到如今包含数万个参数的完整细胞模型，模拟生命已取得惊人进展。科学家们通过构建虚拟细胞（digital twins），在计算机中模拟真实细胞的分子过程，甚至创造了只包含473个基因的合成生命JCVI-syn3.0并对其进行完整建模。AI的加入更是加速了这一进程，使复杂的基因表达动力学模拟时间从数小时缩短至数分钟，并推动虚拟细胞模型在药物研发和个性化医疗中的应用，开启了生物学与计算机科学合作的新时代。
阅读更多