香港消费者委员会：防晒霜功效测试惊人！
2025-09-07
香港消费者委员会测试了30款日常防晒霜，结果令人震惊！超过80%的防晒霜功效低于标注值，部分高倍防晒霜的SPF值甚至低于15！测试还发现，很多防晒霜的UVA防护效果和成分标示也不达标。消费者委员会呼吁厂商改进生产工艺，准确标注产品功效，并提供清晰的产品信息和使用指南。消费者也需谨慎选择，避免因防晒不足而增加皮肤损伤风险。
阅读更多
Microdot：为微型设备打造的轻量级Web框架
2025-09-07
Miguel Grinberg在EuroPython 2025上介绍了他的最新作品Microdot——一个轻量级的Web框架，可在MicroPython和CPython上运行，适用于从物联网设备到云服务器的各种系统。其灵感源于Flask，但规模更小，更适合资源受限的环境。Microdot的诞生源于Grinberg在爱尔兰家中智能恒温器故障的经历，他最终用MicroPython编写了一个小型系统来控制加热，并使用Microdot构建了一个简单的Web界面来监控温度和湿度。Microdot的核心代码精简，仅765行，同时支持异步操作和常用功能，并通过扩展模块提供更高级的功能。其设计理念注重简洁明了，避免复杂性，使其成为微型设备上构建Web应用的理想选择。
阅读更多
(lwn.net)
1
开发
Microdot
Clojure数据检查工具Reveal：一扇通往程序运行时的敞开大门
2025-09-07
Reveal是一款面向Clojure的强大数据检查工具，它能让你轻松地检查JVM中的对象。它提供交互式REPL面板和工具，支持本地和远程进程。Reveal有两个版本：免费的开源版本和付费的专业版（乌克兰居民永久免费）。通过简单的命令即可启动Reveal REPL，并探索其丰富的功能，包括文档、教程和视频讲解，助你深入了解Clojure程序运行时的内部状态。
阅读更多
开发
数据检查
美国核聚变公司计划在日本部署反应堆
2025-09-07
美国核聚变开发商Commonwealth Fusion Systems计划在2030年代后期或2040年代初期在日本部署反应堆，这与日本采用这种强大低碳能源的更广泛计划相符。该公司已与日本政府官员进行了对话，并与包括三菱商事和三井物产在内的12家日本公司组成的财团建立了合作关系，以促进技术转让和知识共享。Commonwealth Fusion Systems正在美国弗吉尼亚州开发一座400兆瓦的商业电厂，目标是在2030年代初期投入运行，谷歌已同意购买该项目一半的电力输出。
阅读更多
科技
宝马Neue Klasse：革命性的iX3电动SUV来了
2025-09-07
宝马斥巨资打造的全新Neue Klasse平台首款车型——2027款iX3电动SUV正式亮相。这款车是宝马历史上最大规模的投资项目，标志着宝马在设计、架构、技术、软件和制造等方面的全面革新。iX3采用第六代eDrive动力系统，拥有470马力，百公里加速不到4.9秒，续航里程可达400英里。其搭载的43.3英寸全景屏幕、创新的交互系统和四个“超级大脑”架构，提供了前所未有的驾驶体验和智能化功能。这款车将于2026年夏季在美国上市，售价约为6万美元。
阅读更多
科技
Neue Klasse
Roku流媒体观看时长超越传统电视
2025-09-07
根据尼尔森的数据，7月份美国用户在Roku设备上观看流媒体的时间超过了传统电视。这是Roku连续第三个月取得这一成就，标志着流媒体正在迅速成为主流。Roku设备占据了21.4%的电视观看时长，而传统电视广播仅为18.4%。Roku的成功不仅在于其自家的流媒体服务Roku Channel，更在于其庞大的应用生态系统，涵盖了数千个应用程序和直播电视提供商。Roku的目标不仅仅是提供内容，更是成为现代电视的门户。
阅读更多
科技
Racket中的匿名递归函数：lam/anon♻️宏
2025-09-07
Racket程序员经常遇到这样的情况：编写匿名函数时，中途发现需要递归调用自身。以往解决方法需要改写代码，引入`letrec`，增加缩进和代码复杂度。本文介绍了一个名为`lam/anon♻️`的宏，它允许在Racket中直接使用匿名递归函数，无需显式命名。该宏通过绑定`$MyInvocation`来模拟PowerShell的匿名递归语法，简化了代码，提高了开发效率。虽然Racket已有`rec`形式实现类似功能，但`lam/anon♻️`宏提供了更简洁的匿名递归方式。
阅读更多
开发
匿名递归
Claude代码框架战争：AI如何改变软件开发
2025-09-07
软件开发领域正经历一场变革，AI工具Claude不再只是一个聊天机器人，而是一个可预测、高效的开发框架。开发者们正探索各种方法，利用Claude自动化编码，提升效率。文章探讨了七个关键选择：任务管理、提示结构化、多Agent协作、会话管理、工具集成、代码开发流程及上下文保存。通过合理的框架搭建，Claude可以扮演项目经理、架构师、开发者和测试员等多种角色，从而将开发者从重复性工作中解放出来，专注于更高价值的任务。最终目标是将AI整合到软件开发流程中，成为一个可管理的团队成员，而不是一个神秘的工具。
阅读更多
开发
优秀还不够：职业发展需要全方位提升
2025-09-07
在竞争激烈的职场中，仅仅技术过硬已不足以脱颖而出。本文作者指出，职业发展需要结合技术技能、产品思维、项目执行和人际交往能力四大方面。作者建议，通过积极寻求反馈、保持谦逊态度，并主动承担责任，才能快速提升自身能力，最终实现职业目标。文章强调主动性（Agency）的重要性，指出高主动性的人能够推动事情发展，而被动等待则会阻碍进步。
阅读更多
创业
告别重复的命令行参数校验：Optique 库初体验
2025-09-07
厌倦了编写重复的命令行参数校验代码？作者分享了他开发 Optique 库的经历。Optique 利用解析器组合子，直接将命令行参数解析成符合预期的类型，无需后续校验，有效避免了传统方法中校验逻辑与参数选项脱节、难以维护等问题。通过 TypeScript 的类型推断，Optique 还能在编译阶段捕获错误，极大提升开发效率和代码可靠性。作者表示，Optique 并非万能药，但对于复杂的命令行工具，它能显著减少代码量并提高可维护性。
阅读更多
开发
参数校验
X-COM之父Julian Gollop的策略游戏之路
2025-09-07
本文回顾了策略游戏大师Julian Gollop的传奇生涯，从他早期在BASIC上创作的《Rebelstar Raiders》开始，到奠定其职业生涯的经典之作《X-COM》，以及如今仍在开发的《Phoenix Point》。Gollop不断改进其标志性的回合制小队战术系统，并将创新融入到游戏设计中，例如在《Chaos: The Battle of Wizards》中引入AI和虚实结合的策略元素，在《Laser Squad》中加入隐藏敌人和机会射击等机制。他的故事不仅展现了游戏技术的演进，更体现了一位独立游戏开发者对游戏设计的执着追求。
阅读更多
游戏
X-COM
震惊！在线扑克游戏洗牌算法漏洞，竟被黑客轻松破解！
2025-09-07
上世纪90年代，一个在线扑克游戏的洗牌算法被发现存在严重漏洞。该算法基于计算机系统时间生成随机数，但由于其机制限制，生成的牌局组合数量远小于理论值，仅有约20万种可能。这意味着，黑客可以通过同步系统时间，轻松预测牌局结果，从而操控游戏。这一事件凸显了算法安全的重要性，也警示了开发者对随机数生成器的依赖风险。
阅读更多脑力挑战赛：用1000个神经元征服迷宫
2025-09-07
BrainCraft挑战赛邀请参赛者设计一个基于生物学原理的、基于速率的神经网络，来控制一个在简单迷宫中寻找能量源的虚拟机器人。挑战赛分五个难度递增的任务，每个任务持续两个月。机器人需要在资源受限的条件下，利用有限的传感器数据和1000个神经元，完成导航和能量获取任务。这是一个对现有神经科学模型的巨大挑战，成功需要将功能性神经动力学与感觉运动控制结合起来。
阅读更多
AI
仿生机器人：水黾启发的水上行走机器人
2025-09-07
受到水黾（一种半水生昆虫）的启发，科学家研制出一种名为Rhagobot的微型机器人，能够像水黾一样在水面上滑行。Rhagobot的关键在于模仿水黾腿部末端扇形附肢的结构和功能。这种附肢能够根据水流自动调节形状，产生强大的推进力，实现快速转向等动作。这项研究为开发新型仿生水生机器人提供了新的思路，也揭示了自然界中精妙的运动机制。
阅读更多别再用PNG做游戏贴图了！
2025-09-07
还在用PNG格式作为游戏贴图？这篇文章将告诉你为什么这是次优方案，并介绍一种更好的方法。PNG格式虽然易于交换，但它并非为纹理数据而设计，缺乏对GPU兼容纹理压缩（如BCn）的支持，导致加载时间长、VRAM占用高。文章推荐使用KTX2或DDS等专门为纹理设计的格式，并提供了一个开源工具Zex，可以将PNG转换为KTX2，支持BC7压缩和zlib超压缩。作者还分享了预生成mipmap的技巧，以及自动化转换流程的经验，并建议使用Tacentview查看纹理格式。
阅读更多复活一台Rational R1000/400计算机的传奇
2025-09-07
一群工程师历经数月，成功修复并启动了一台老旧的Rational R1000/400计算机。从最初的电源故障，到内存芯片问题，再到SCSI命令解析和磁盘几何参数的调试，他们一步步排查问题，最终使这台沉寂多年的机器重新焕发生机。整个过程充满了挑战和惊喜，展现了工程师们精湛的技术和顽强的毅力，也为计算机历史的传承贡献了一份力量。
阅读更多
硬件
Smalltalk MVC：解开模型-视图-控制器模式的误解
2025-09-07
本文深入探讨了Smalltalk MVC模式，澄清了多年来对MVC的误解，特别是苹果Cocoa版本的偏差。作者强调了Smalltalk MVC中模型的独立性及其可重用性，指出模型仅通过通知间接与视图和控制器交互。与之形成对比的是，Cocoa版本的MVC常常导致控制器（以及视图控制器）成为最不可重用的组件。文章进一步阐述了如何正确识别模型，包括简单可观察的布尔值到复杂模型，以及如何处理视图模型和函数参数模型，以构建更清晰、更可维护的应用程序架构。
阅读更多
(stlab.cc)
2
开发
MVC
flint：一款现代化的KVM管理UI
2025-09-07
flint是一个单二进制文件、自包含的KVM虚拟化管理解决方案，面向开发者、系统管理员和高级家庭实验室用户。它拥有简洁的Web UI、CLI和API，无需复杂的平台即可高效管理虚拟机。只需一个8.4MB的二进制文件，无需安装程序或依赖项（libvirt除外），即可运行。支持Cloud-Init、托管镜像库和多种导入选项，并且不会强制用户绑定到特定平台。支持Linux、macOS和Windows。
阅读更多
1
开发
Zig + io_uring：极致的Linux文件IO性能
2025-09-07
本文探讨了如何使用Zig语言和io_uring技术在Linux系统上最大化文件IO性能。作者将自行编写的Zig代码与fio基准测试工具进行了比较，结果显示Zig代码的写入速度为3.802 GB/s，读取速度为6.996 GB/s，略低于fio的4.083 GB/s写入和7.33 GB/s读取速度，但仍达到了预期水平。文章详细阐述了实现过程中关键技术的应用，包括轮询IO、注册缓冲区和SQ_THREAD_POLL特性，这些技术能够显著提升性能。虽然略逊于fio，但Zig代码在性能上与fio非常接近，并且其运行时间与fio几乎完全一致，这表明两者在带宽测量方面可能存在细微差异。
阅读更多
开发
文件IO性能
纳瓦霍织女将芯片变成艺术品
2025-09-07
纳瓦霍族著名织工Marilou Schultz将555定时器芯片的内部电路编织成了一幅引人注目的地毯。这幅地毯以黑色为底，饰以白色线条和橙红色菱形图案，精确地展现了芯片的金属布线和连接引脚。Schultz的创作灵感来自一张芯片显微照片，她巧妙地将芯片的微观结构转化为宏伟的艺术作品，并使用了传统的植物染料和金属丝线。这件作品不仅是精湛的技艺展现，也反映了纳瓦霍文化与科技的独特融合，以及对逝去母亲的缅怀。
阅读更多
设计
纳瓦霍
Intel 285K CPU 连续故障逼我转向AMD Ryzen 9 9950X3D
2025-09-07
作者的Intel 285K CPU在几个月内连续两次故障，这促使他放弃Intel，转而购买AMD Ryzen 9 9950X3D CPU。第一次故障发生在一次长时间的CUDA编译任务后，电脑无法启动。虽然作者排除了过热等因素，但他怀疑CPU的可靠性问题。最终，他更换了CPU和主板，并对AMD Ryzen 9 9950X3D的性能和功耗进行了评测，发现AMD的功耗略高，但性能更好，并对未来CPU市场竞争表示期待。
阅读更多
硬件
ZFS疑难解答：从校验和错误到密钥重定向
2025-09-07
本文是ZFS疑难解答指南，涵盖了常见的ZFS问题，例如校验和错误、磁盘故障、快照恢复和加密数据集操作。文章详细解释了如何使用`zpool status`、`smartctl`和`zfs scrub`命令检测和修复校验和错误；如何使用`zpool offline`和`zpool replace`命令替换故障磁盘；如何使用`zfs rollback`、`cp`和`zfs clone`命令恢复数据；以及如何使用`zfs change-key`命令更改加密密钥，并对加密数据集的复制和密钥重定向进行说明。通过本文，用户可以更好地理解和处理ZFS中的常见问题，确保数据安全和系统稳定性。
阅读更多
开发
朝鲜黑客组织Kimsuky的罕见数据泄露揭露其战术和基础设施
2025-09-07
一次罕见的网络安全事件中，一个名为“Kim”的与朝鲜有关联的黑客组织的数据泄露，揭示了Kimsuky（APT43）的战术、技术和基础设施。该组织主要针对韩国和台湾的网络进行以凭证为中心的入侵，并混合使用中文工具、基础设施和可能的物流支持。“Kim”泄露的数据包括bash历史记录、钓鱼域名、OCR工作流程、已编译的stager和rootkit证据，反映了朝鲜和中国资源利用之间的混合操作。此次泄露的数据包含恶意软件开发、OCR解析韩国的PKI和VPN文档、以及针对台湾政府和学术机构的侦察活动等信息。分析人员还发现了高级Linux rootkit，该rootkit使用系统调用挂钩和隐蔽持久性技术。该事件突显了朝鲜黑客组织不断发展的技术能力以及其与中国资源的潜在联系。
阅读更多机器学习基础：模式、预测与行动
2025-09-06
普林斯顿大学出版社出版了Moritz Hardt和Benjamin Recht撰写的《模式、预测与行动：机器学习基础》一书。本书涵盖了机器学习的各个方面，从预测基础到深度学习、因果推断和强化学习，内容丰富，并提供配套的习题和PDF版预印本。本书采用Creative Commons BY-NC-ND 4.0许可证授权，读者可访问网站获取更多信息。
阅读更多
AI
用浏览器实时解析钢琴教学视频的工具PianoReader
2025-09-06
厌倦了那些花里胡哨的钢琴教学视频？开发者构建了PianoReader，一个无需服务器计算，直接在浏览器中运行的工具，能实时解析钢琴教学视频并输出简谱和和弦。它巧妙地利用HTML canvas进行视频帧处理，通过用户标注钢琴键位，再结合图像分析判断琴键是否按下，最终生成可读的乐谱。虽然目前仅支持白键，处理速度也受限于视频帧率，但对于学习简单的歌曲已足够实用。
阅读更多
开发
冷战、框架与自我提升：一场改变人生的讲座
2025-09-06
作者参加了一场关于冷战的讲座，讲座中教授使用的分析框架——提出论点、反驳论点、再次反驳——给了作者启发。作者将此框架应用于软件工程和个人生活，试图通过研究和实验找到最佳状态。文章探讨了如何构建可持续的系统，以及如何通过反思和调整生活方式来提升个人幸福感，强调了持续学习和自我反思的重要性。
阅读更多
杂项
用Claude Code智能筛选端到端测试，缩短CI时间
2025-09-06
团队面临端到端(E2E)测试缓慢且脆弱的难题，导致bug难以快速修复。文章介绍了一种利用Claude Code AI模型结合git diff智能筛选相关E2E测试的方法。通过分析代码变更和测试文件，Claude Code能精准预测需要运行的测试，将原本44分钟的测试时间缩短到7分钟以内，极大提升了CI效率，并有效降低了生产环境bug的发生率。虽然成本略高，但节省的开发时间和减少的bug修复成本使其成为一项经济高效的解决方案。
阅读更多
开发
酒精性肝病新机制：肠道细菌泄漏加剧肝损伤
2025-09-06
一项新的研究揭示了慢性酒精使用导致肝损伤恶化的未知机制。研究发现，长期饮酒会损害小肠中mAChR4蛋白的产生，该蛋白参与形成杯状细胞相关抗原通道（GAPs），后者对免疫系统识别和应对逃逸到身体其他部位的肠道细菌至关重要。mAChR4蛋白水平降低会削弱GAPs的形成，导致肠道细菌更容易泄漏到肝脏，加剧酒精性肝损伤。幸运的是，恢复mAChR4的功能可以修复免疫反应，减轻肝损伤。这项研究发表在《自然》杂志上，为治疗酒精性肝病提供了新的潜在靶点，也可能为酒精依赖症的治疗提供新的思路。
阅读更多自制Python类型检查器：从零到英雄
2025-09-06
本文讲述了作者如何用350行Python代码构建一个简单的类型检查器。文章循序渐进地介绍了类型检查器的核心功能，包括解析Python代码、查找类型注解、检查类型兼容性、处理函数调用和返回类型、支持列表、字典和联合类型，以及类型收窄等。虽然该类型检查器功能有限，但它成功地捕捉到了一些实际Python代码中的类型错误，并为读者提供了一个理解类型检查器工作原理的良好示例。
阅读更多
开发
Rust基金会推出Rust创新实验室，加速安全编程语言发展
2025-09-06
为了增强Rust编程语言生态系统，Rust基金会在RustConf 2025上推出了Rust创新实验室。该实验室将为精选的Rust项目提供稳定的中立环境，包括治理监督、法律和行政支持以及财政赞助。首个项目是Rustls，一个安全的TLS库。实验室旨在解决开源开发中的可持续性问题，并促进Rust在系统编程和网络基础设施等领域的应用，最终推动安全软件的未来发展。
阅读更多
开发