Google剑桥分部机器学习团队负责人D. Sculley将参加Fab Academy课程。他拥有丰富的机器学习经验（始于2003年），并曾在教育领域工作。Sculley希望通过学习CAD、激光切割、3D打印等制造技术，探索机器学习与不同制造领域的交叉机会，并计划每周完成一个项目，最终完成一个毕业作品。这将是一次充满挑战和机遇的学习之旅。
阅读更多
这篇论文详细探讨了苏美尔神话中伊南娜（阿卡德语中为伊什塔尔）下到地下世界的故事。伊南娜为了扩展自己的权力，前往地下世界挑战其统治者，她的姐姐埃列什基伽尔。“死亡女王”。在去除饰物后，伊南娜死去，尸体被挂在钉子上。恩基神间接干预，使伊南娜复活。然而，返回途中，伊南娜必须交出另一个人作为交换。她选择了她的配偶杜木兹，杜木兹被带到地下世界。杜木兹的姐姐格什蒂南娜的请求使他的处境有所改善：他只允许在一年中的部分时间待在地下世界，他的姐姐则承担他剩余时间的角色。该神话有两个主要版本：苏美尔语和阿卡德语。阿卡德语版本于 19 世纪 60 年代被发现并翻译。20 世纪初，人们首次确定了更长、更古老的苏美尔语版本的存在，但大约花了 50 年时间，铭文学家才完全重建并翻译了它。这个故事通过其众多角色和完整的情节，提供了对美索不达米亚文化的深入了解。这种文化对后世文明的影响在其希腊、腓尼基和旧约中发现的美索不达米亚元素痕迹中可见一斑。20 世纪，该故事被一些精神分析理论家用来阐明心理机制。
阅读更多
许多AI公司押注于LLM成本每年下降10倍的趋势，认为初期亏损可以通过未来高利润弥补。然而，现实却截然不同。虽然模型成本下降，但用户对最佳模型的需求持续增长，导致计算量爆炸式增长。ChatGPT等模型的回复长度已大幅增加，消耗的token数量呈指数级增长，使得即使成本下降，整体支出也远超预期。文章分析了三种应对策略：从一开始就采用基于用量的定价、创造极高的转换成本以获得高利润、垂直整合以通过基础设施获利。作者指出，坚持固定订阅费的模式最终将走向破产。
阅读更多
克雷格·纽马克创立的Craigslist，一个简单的分类广告网站，意外地重塑了新闻业。它廉价高效的服务，迅速取代了报纸的分类广告业务，导致许多报业巨头损失惨重。然而，文章指出，报纸的衰落并非仅仅因为Craigslist的出现，而是读者流失和未能及时适应数字化的结果。Craigslist的成功在于其极简的设计和对用户体验的重视，而报纸的失败则在于其反应迟缓和未能有效应对数字化转型。纽马克本人也从一个不善管理的程序员转型为成功的企业家和慈善家，将巨额财富用于支持新闻业、网络安全和退伍军人等事业。
阅读更多
一起2019年发生的致命车祸案中，佛罗里达州迈阿密联邦法院的陪审团裁定特斯拉对其Autopilot系统负有部分责任。当时，驾驶特斯拉Model S并启用Autopilot的George McGee闯过停车标志，以62英里/小时的速度撞上路边的一对情侣，导致Naibel Benavides死亡，Dillon Angulo重伤。尽管特斯拉辩称McGee负全责，但陪审团认为，特斯拉销售存在缺陷的车辆也应承担三分之一的责任，判处原告1.29亿美元的补偿性赔偿和2亿美元的惩罚性赔偿。此案是首次有陪审团在涉及Autopilot的致死车祸案中裁定特斯拉有责。
阅读更多
在持续集成环境中建立性能关卡，防止部署重大性能倒退，一直是许多软件团队的长期目标。然而，在托管的CI运行器中进行测量尤其具有挑战性，主要是因为虚拟化层中的噪声干扰。本文探讨了使用各种基准测试套件测量此噪声，结果表明GitHub Actions托管运行器的变异系数为2.66％，导致高达45％的误报率。为了解决这个问题，CodSpeed推出了Macro Runners，它在云中的裸机实例上运行，并具有额外的稳定性配置。结果显示，Macro Runners的平均方差为0.56％，误报率降低到0.04％。这使得能够使用更精细的性能关卡，从而在不给贡献者带来过多误报的情况下捕捉到更细微的性能倒退。
阅读更多
对于2-10人的远程团队，不妨试试为每个成员创建专属的“随想”频道。成员可在此分享想法、感悟，例如项目创意、文章评论、问题排查等，如同团队内部的个人日记或微博，增强团队凝聚力。频道命名以成员姓名，仅本人可发主贴，他人可回复。所有“随想”频道集中归类，默认静音，无需强制阅读。Obsidian团队两年前开始实践此方法，有效保持团队联系，激发创意，甚至解决长期问题，成为团队非正式沟通的有效途径。
阅读更多
一位长期超负荷工作的艺术家，在身体和精神都到达极限后，意识到成功的快感背后是永无止境的追逐。一次摩洛哥之旅让她体验到休息的意义，并从狄金森的诗歌中得到启发：创造并非只有辛勤劳作，宁静的沉思也能孕育丰硕成果。文章以作者决定在八月休假为结尾，呼吁人们重视休息，在宁静中寻找新的灵感。
阅读更多
本文综述了近年来关于深海热液喷口和冷泉生态系统的研究进展，涵盖了日本海沟、马里亚纳海沟等多个区域的生物地球化学观测和生物群落研究。研究发现，这些极端环境中存在着独特的以化学合成为主的生物群落，并揭示了深海甲烷循环、流体排放与生物多样性的复杂关系。这些发现对于理解深海生态系统以及全球碳循环具有重要意义。
阅读更多
一项针对北卡罗来纳州数万名学生的调查研究揭示了一个令人震惊的事实：超过一半本应进入高级数学课程的高分学生，却被拒绝入读。研究发现，学校普遍依赖教师推荐而非学生成绩决定课程安排，导致许多低收入和少数族裔学生错失良机。这种做法不仅浪费了大量人力资源，也严重影响了学生的未来发展。尽管北卡罗来纳州已出台法律强制录取高分学生，但学校通过修改评分标准等方式规避了法律，问题依然存在。这项研究呼吁学校更加重视客观数据，为所有高潜质学生提供平等的教育机会。
阅读更多
本文介绍了一个用Haskell编写的算术字节码虚拟机项目的第一部分：解析器。该项目旨在构建一个能够解析、编译、解释和运行简单算术表达式的虚拟机，支持let绑定和嵌套let表达式。文章详细讲解了表达式的语法、解析器的实现（基于attoparsec库），以及错误处理机制。此外，还提供了单元测试来验证解析器的正确性，并简要介绍了AST解释器的实现和测试。后续文章将继续介绍编译器、虚拟机等部分。
阅读更多
Visa、Mastercard、Stripe和PayPal等支付巨头近期突然下架Itch.io平台上的大量成人游戏，引发玩家强烈反弹。玩家们通过电话轰炸等方式向支付公司施压，要求恢复游戏上架。这场行动得到了工会和游戏开发者协会的支持，并取得了一定进展，部分支付公司代表态度已有所转变。然而，支付公司以“非法或品牌损害”为由拒绝评论，引发争议。事件的核心在于支付公司是否应介入内容审查，以及其行为对言论自由的影响。
阅读更多
作者探讨了在现代化绿色环保的计算环境重建中，传统Unix登录服务器的意外持续使用。尽管容器化技术盛行，他们仍然拥有两种类型的登录服务器：一种是通用型，限制CPU和内存使用；另一种是计算型，允许用户尽情使用资源。虽然使用率下降，但仍然被广泛使用，尤其是在SSH到内部机器或运行VSCode等开发环境后端时。作者还注意到，部分用户使用登录服务器运行cron任务，以及将代码存储在文件服务器上的原因，这与SLURM集群和计算服务器的使用密切相关。
阅读更多
作者回顾了六周使用 Claude Code 的经验，这款 AI 编程助手极大地改变了他的编码方式。他完成了大量原本需要数月甚至数年才能完成的任务，包括代码库迁移、测试策略构建等。Claude Code 赋予了他“先写代码，后做决定”的能力，并极大地提升了团队的游戏原型制作效率。作者认为，Claude Code 并非完美无缺，但它已经深刻地改变了编程的范式，如同摄影术的出现彻底改变了绘画一样。
阅读更多
Guix 使用 Scheme 语言，既用于定义包等高层操作，也用于构建包生成的派生等低层操作。为了在高层代码中嵌入低层代码，它使用了 G-表达式。例如，wesnoth-shepherd-service 的启动字段中，`#~(...)` 用于传递低层代码，`#$(...)` 用于转义高层代码，编译器将其转换为低层代码。`make-forkexec-constructor` 函数则负责创建和执行子进程，具备诸多功能，例如设置用户、组、umask、环境变量等。
阅读更多
一项研究揭示了“透明度悖论”：虽然科学的透明度有助于建立公众信任，但当透明地揭示坏消息（例如利益冲突或实验失败）时，反而会降低信任度。研究人员认为，问题根源在于公众对科学的过度理想化。解决方法并非掩盖坏消息，而是通过科学教育和传播，让公众了解科学的真实面貌，即科学并非完美无缺，科学家也会犯错，从而建立更现实的期望，提升公众对科学的信任。
阅读更多
Michael Larabel是Phoronix.com网站的创始人兼主要作者，自2004年创立网站以来，一直专注于提升Linux硬件体验。他撰写了超过20000篇文章，涵盖Linux硬件支持、性能、显卡驱动程序等多个方面，同时也是Phoronix Test Suite、Phoromatic和OpenBenchmarking.org等自动化基准测试软件的首席开发者。他的专业成就为Linux社区做出了巨大贡献。
阅读更多
一项新的研究表明，即使是简单的AI代理，通过模拟“负罪感”机制，也能促进合作。研究人员设计了一个迭代囚徒困境游戏，让AI代理在合作与背叛之间做出选择。结果显示，当AI代理在背叛后感受到“负罪感”（以减少得分作为惩罚），并且能够感知到伙伴的“负罪感”时，合作行为会显著增加。这项研究为未来设计更可靠、更值得信任的AI系统提供了新的思路，但也提示了在现实世界中将“负罪感”应用于AI的挑战，例如如何定义和衡量AI的“代价”。
阅读更多
Fiverr发布了一则新广告，以诙谐的方式回应了AI“氛围代码”（vibe coding）的兴起。广告用一只被压扁的鳄梨象征着AI代码生成的局限性——看似完美，实则内在缺陷，最终需要人类专业人士来完善。Fiverr强调，虽然AI降低了编程门槛，但将创意项目从demo变成最终产品，仍离不开人类的创意和专业技能。这则广告是Fiverr对之前争议性广告的回应，旨在强调AI与人类协作的重要性，并重塑其品牌形象。
阅读更多
本文介绍了作者如何使用Claude Code这个AI编码工具在其复杂的、拥有众多用户的代码库中实现新功能。作者强调，AI工具并非万能，仍需开发者积极参与，审查代码，并遵循最佳实践。文章详细阐述了作者的`CLAUDE.md`文件，其中包含了一系列AI编码规则，涵盖了编码前的准备、编码过程、测试、数据库操作、代码组织以及工具使用等方面。作者还分享了其与Claude Code的交互流程，包括使用一系列快捷指令（如`qnew`、`qplan`、`qcode`等）来指导AI编码，并使用`qcheck`系列指令进行代码审查，最终通过`qgit`指令提交代码。作者提醒读者，要密切关注AI生成的代码，并及时纠正其错误或不当之处，以避免引入技术债务。
阅读更多
本文介绍了一个名为N5 Mini的DIY 5盘位NAS，它可以通过3D打印制作，并兼容各种小型PC。作者受到Minisforum N5的启发，但为了降低成本，设计了这个更经济实惠的替代方案。N5 Mini的设计目标包括：适应流行的3D打印床尺寸、外观与Minisforum N5相似、功耗低且易于组装。文章详细介绍了设计过程、所需的部件以及组装步骤，包括电源连接、硬盘安装等细节。最终成本大约在200美元左右（不含小型PC），比市面上同类产品便宜许多，是一个具有吸引力的开源项目。
阅读更多
LangExtract是一个强大的Python库，利用大型语言模型（LLM）从非结构化文本中提取结构化信息。它能够处理临床笔记、报告等文档，精确识别并组织关键细节，并确保提取的数据与源文本完全对应。LangExtract支持多种LLM，包括Google Gemini，并具备长文档处理、交互式可视化等功能，只需少量代码即可完成复杂的信息提取任务，极大地简化了数据处理流程。
阅读更多
本文揭露了美国小学阅读教学中一个长期存在的隐患：基于“三线索阅读法”（three-cueing）的教学方法。该方法认为阅读者可以通过图片、语法和语义线索猜测单词，几十年来一直被广泛应用，但已被认知科学证伪。研究表明，熟练阅读者依靠快速准确地识别单词，而“三线索阅读法”却让孩子养成依赖猜测的坏习惯，阻碍了他们阅读能力的提升。文章以一位母亲的亲身经历和众多研究成果为佐证，呼吁教育界摒弃这种过时的教学方法，转向以科学为基础的拼音教学法，帮助孩子们真正掌握阅读能力。
阅读更多
Mezzano，一个用Common Lisp编写的操作系统，发布了最新的Demo版本，带来了诸多令人兴奋的改进。从最初版本到现在，Mezzano在稳定性、性能和功能方面都有了显著提升，包括对EXT2/3/4文件系统、USB栈、硬件加速3D支持以及多核支持等。开发者们还在不断完善其兼容性和易用性，虽然在某些硬件上的运行仍需用户深入代码进行调试，但其在Common Lisp领域的探索和创新已展现出巨大潜力。
阅读更多
这款名为Sentinel-2 Super-Resolution GUI的桌面应用，能轻松提升Sentinel-2卫星图像的分辨率。它利用预训练的AI模型，将标准的10米分辨率蓝、绿、红和近红外波段图像放大至2倍。用户无需复杂的命令行工具，即可获得更高清的卫星图像。该应用支持GeoTIFF和JPG格式输出，并提供交互式预览和锐化功能，方便用户查看和比较处理前后效果。
阅读更多
KeygenMusic是一款在线音乐播放器，支持.mod, .xm, .s3m, .it等格式，所有音乐均来自keygen。从2015年4月发布β1版本以来，历经多次更新，修复了Firefox兼容性问题、取消自动播放、改进样式、增加了媒体键控制、收藏夹功能等，并不断更新音乐库（来自keygenmusic.net）。这款播放器见证了开发者近十年的努力，它不仅仅是一个播放器，更是一段充满回忆的音乐旅程。
阅读更多
本文探讨了专业怀疑论者在批判超自然现象时，如何因偏见和缺乏证据而歪曲事实，牺牲真相。作者以马丁·加德纳和J.B.莱因的案例为例，揭示了怀疑论者对超自然现象研究中存在的操纵和不当行为的指控缺乏可靠证据，甚至捏造事实。文章呼吁更严谨、更客观、更符合科学精神的怀疑论态度。
阅读更多
一个新的提案建议为HTML Canvas添加API，以便在2D和WebGL Canvas中渲染HTML内容。这解决了现有Canvas在处理复杂布局、可访问性、国际化和性能方面的问题。新的API包括`layoutsubtree`属性、`drawElement`和`texElement2D`方法以及`setHitTestRegions`方法，允许开发者将HTML元素及其子树渲染到Canvas中，并处理命中测试。该提案目前处于开发阶段，并提供了开发者试用版本。
阅读更多
一个名为Lean的开源项目正在尝试用形式化方法证明费马大定理。该项目由Kevin Buzzard领导，得到了英国工程与物理科学研究委员会（EPSRC）的资助，并由帝国理工学院提供支持。项目计划采用Wiles/Taylor-Wiles证明的现代变体，路线图由Richard Taylor和Buzzard共同制定。项目页面提供了关于费马大定理、Lean证明器以及项目目标的更多信息，并欢迎大家的贡献。
阅读更多
塞拉利昂远程天文台拥有超过180台天文望远镜，提供世界级的远程天文成像、数据采集、卫星跟踪和空间通信服务。其优越的观测条件包括：1角秒夏季视宁度，亚角秒峰值视宁度，每年290个晴朗夜晚，21.80 mag/arcsec²的暗夜天空，无夏季季风，平均风速1 mph。完善的基础设施包括全天候技术支持、便捷的1 Gbps光纤互联网接入（可提供更高速度）、机修服务和交钥匙安装服务。
阅读更多