11870 分
超越人工智能生成活动海报的通用审美风格
尽管人工智能生成的活动海报常因其重复且低质的审美而受到批评，但用户可以通过摒弃默认提示词并指定特定的成熟设计流派，从而获得更具独特性的视觉效果。
阅读全文 →
21337 分
Laya：一款用于人工智能工作流的开源非自回归决策引擎
Laya 是一款全新的开源非自回归决策引擎，旨在取代生成式大语言模型，以处理路由、分类和分流等结构化任务。通过利用强化学习和双向编码器，它能在 35 毫秒内提供经过校准的概率输出，为专有黑盒模型提供了一种透明且高速的替代方案。
阅读全文 →
3429 分
超越证明：一项提升数学领域“动机性解释”地位的提案
数学家陶哲轩与特邀撰稿人格兰特·桑德森认为，数学界应当在传统的证明生成研究之外，正式认可并奖励那些阐明数学发现“为何”与“如何”的“动机性解释”工作。
阅读全文 →
terrytao.wordpress.com
4752 分
利用大型语言模型提升写作水平同时保持个人风格的策略
为了在保持个人风格的同时将大型语言模型（LLM）作为有效的写作助手，作者应将模型视为校对者而非代笔者。通过严格避免使用模型建议的措辞并禁用人工智能的鼓励性反馈，作者可以利用LLM识别结构缺陷和风格不一致之处，而不至于陷入生成平庸的机器文本。
阅读全文 →
5661 分
斯坦福大学研究人员确定了大脑区域的不同发育起源
发表在《自然-神经科学》上的最新研究表明，在前脑和后脑的胚胎发育过程中，它们源自两个独立且平行的祖细胞群，这可能为研究神经系统疾病提供新的实验室模型。
阅读全文 →
6345 分
评估现代人工智能体在《星际争霸：母巢之战》中的表现
一项名为“母巢之战基准测试”（Brood War Bench）的新基准，旨在测试当前大语言模型作为自主智能体在经典即时战略游戏《星际争霸：母巢之战》中的能力，结果揭示了它们在长期规划与执行方面存在显著局限。
阅读全文 →8358 分尚无解读
English: A vs. An (redblobgames.com)
10376 分
科学家在玻利维亚安第斯山脉发现一种小型野生猫科新物种
研究人员正式确认了Leopardus tilcayo，这是一种原产于玻利维亚永加斯森林的小型斑点野猫，标志着一个多世纪以来首次发现新的猫科动物物种。
阅读全文 →
11221 分
深入了解网络干扰开放观测站及其衡量互联网审查的方法
网络干扰开放观测站（OONI）是一个全球性项目，致力于开发免费软件工具以检测和记录互联网审查，并维护一个全球网络干扰的开放数据集。
阅读全文 →
13232 分
STOC 2027 引入全新投稿政策以应对生成式人工智能的影响
第 59 届 ACM 计算理论研讨会 (STOC 2027) 宣布了投稿流程的重大变革，包括强制要求公开预印本、提交视频演示，以及针对生成式人工智能工具使用的新披露要求。
阅读全文 →
15323 分
Michal Zalewski的《电路的秘密生活》正式出版：工程师与爱好者的实用电子学参考书
经过一年多的开发，Michal Zalewski的插画风电子电路设计指南现已由No Starch Press出版。这本472页的全彩精装书从物理原理出发建立直观理解，涵盖半导体、模拟电路模块、数字逻辑、微控制器和PCB设计——附有近300幅手绘图解和工作台实拍照片。
阅读全文 →16137 分
SDCC 4.6.0 扩展了对 8 位微控制器的现代 C 支持
小型设备 C 编译器（SDCC）发布了 4.6.0 版本，增加了 C23 功能、新架构端口和改进的 8 位目标代码生成。该项目由志愿者开发并得到近期公共资金支持，是少数免费优化型 C 编译器之一，目标架构包括 Intel 8051、Zilog Z80 和 MOS 6502。
阅读全文 →18161 分尚无解读
Science Is Open Software (jepedersen.dk)
20146 分
在对象存储上运行 Git，前提是要重建 packfile 格式
一个新的开源项目表明，Git 可以在对象存储之上运行，而不是在本地文件系统上运行——但前提是必须重新构想 Git 的 packfile 和索引格式，因为 Git 自带的格式是围绕磁盘寻道和内存映射读取构建的，而不是 HTTP 范围请求。
阅读全文 →26105 分尚无解读
Black Holes or Black Hole Stars? Astronomers Spar over 'Little Red Dots' (quantamagazine.org)
2976 分尚无解读