藻类在新能源领域的巨大潜力：康考迪亚大学研究成果 (www.concordia.ca)
康考迪亚大学的研究人员发现，藻类在可再生能源领域具有巨大潜力。他们开发了一种微型光合电源电池，利用藻类的光合作用过程产生电流。该系统不仅零排放，还能吸收二氧化碳，唯一的副产品是水。虽然目前该技术的功率输出有限，但研究人员相信，通过进一步的研发，藻类电源电池有可能成为未来一种可行、廉价和清洁的能源。
不必要的公共数据成员 (euroquis.nl)
这篇文章探讨了如何处理遗留C++代码库中不必要的公共数据成员。作者尝试了两种方法：使用指针将数组数据成员移动到私有部分，以及使用嵌套类提供只读接口。最终，作者发现这两种方法都有缺陷，并决定依靠代码审查来维护代码的正确性。
Photoshop 服务条款更新：Adobe 获取用户项目权限引争议 (nichegamer.com)
Adobe Photoshop 最新服务条款引发争议，要求用户授权访问项目内容用于“内容审核”等目的。这意味着 Adobe 可以访问用户未公开的项目，例如未发布的游戏或其他媒体项目的 logo，引发了专业人士的担忧，尤其是涉及保密协议的项目。
Flambda2 代码片段 Ep. 2：将尾递归函数循环化 (ocamlpro.com)
本文介绍了 OCaml 中 Flambda2 优化编译器中的 Loopify 算法，它用于优化尾递归函数。Loopify 的主要目的是减少递归函数调用过程中的内存分配，从而提高程序性能。文章解释了尾调用优化（TCO）的概念，以及 OCaml 如何保证 TCO。此外，文章还详细介绍了 Loopify 的工作原理，包括如何决定何时进行循环化，以及如何将尾递归函数转换为包含循环的非递归函数。最后，文章强调了 Loopify 的意义，它使得 OCaml 程序员无需为了性能而牺牲代码的可读性和简洁性。
这座桥在坍塌前几年就应该被关闭 (practical.engineering)
2022年，美国宾夕法尼亚州匹兹堡的弗恩霍洛桥坍塌，造成数人重伤。事故调查显示，该桥梁的坍塌并非意外，而是多年来疏于维修和监管不足的必然结果。早在2005年，桥梁的检查报告就已指出其存在严重腐蚀问题，但相关部门并未采取有效措施。由于排水问题、材料缺陷和错误的荷载评估，桥梁的承重能力被严重高估，最终导致了坍塌事故。
戴尔案例研究：为什么戴尔的ThinOS运行在FreeBSD上 (freebsdfoundation.org)
戴尔科技集团选择FreeBSD作为其瘦客户端操作系统ThinOS的基础，看重其安全性和稳定性。ThinOS采用“安全设计”理念，提供封闭的桌面体验，保护敏感数据。FreeBSD的稳定内核和BSD许可证允许戴尔根据自身需求定制操作系统。未来，戴尔计划升级到FreeBSD 14，增强硬件支持，改进Linux应用程序兼容性和驱动程序可移植性，并引入更高级的安全功能。
到底是谁的CIDR？ (www.netmeister.org)
本文探讨了互联网中心化的问题，特别是IP地址分配的集中化程度。作者分析了全球IP地址分配数据，发现美国拥有最多的IP地址，其次是中国，两者合计占全球IP地址的50%以上。作者还发现，除了互联网服务提供商，只有亚马逊和微软这两家公司拥有大量的IP地址，这表明互联网的中心化趋势。作者呼吁更多地使用IPv6，因为它可以有效缓解IP地址集中化的问题。
Rust 发展迅猛，但 JavaScript 依然占据主导地位 (thenewstack.io)
SlashData 最新调查显示，Rust 是增长最快的编程语言，其开发者社区规模在过去两年中翻了一番，但 JavaScript 仍然是最受欢迎的语言，拥有 2520 万活跃开发者。尽管 Rust 发展迅速，但 JavaScript 的主导地位短期内不会改变，其开发者数量在过去 12 个月中增加了 400 万。Python 已超越 Java 成为第二受欢迎的语言，这得益于人们对机器学习和人工智能的兴趣。
修复librsvg中xmlEntityPtr的内存泄漏 (viruta.org)
本文介绍了作者在使用Rust重写librsvg库时，发现并修复的一个内存泄漏问题。该问题源于对libxml2库中xmlEntityPtr指针的处理不当，导致在解析错误的XML文档时，未能及时释放内存。作者通过引入一个包装器结构体，并为其实现了Drop trait，从而确保在Rust程序退出时自动释放xmlEntityPtr指针，最终解决了内存泄漏问题。
ARC Prize 挑战赛：百万美元奖金，寻求通用人工智能新突破 (arcprize.org)
由于人工智能，特别是大型语言模型（LLM）的进展局限于记忆和应用模式，真正的通用人工智能（AGI）需要具备像人类一样高效学习新技能的能力。ARC-AGI 评估测试表明，当前 AI 系统远未达到人类水平。ARC Prize 挑战赛应运而生，旨在鼓励开源研究，推动 AGI 发展。该竞赛由 Mike Knoop 和 François Chollet 主办，Infinite Monkey 和 Lab42 支持，提供超过 100 万美元的奖金，鼓励参赛者解决 ARC-AGI 评估，并开源其解决方案。
我已经不再使用箱线图，你呢？ (nightingaledvs.com)
本文作者认为，箱线图作为一种经典图表类型，存在设计缺陷，使得其难以理解和解释。作者详细阐述了箱线图的三大缺陷：视觉设计不直观、需要理解复杂概念（如四分位数）以及隐藏关键信息。作者推荐使用更直观的图表类型来替代箱线图，例如带状图、抖动带状图以及分布热力图，并解释了这些替代方案的优势。
智能的迷思：为什么说“智能”只存在于观察者的眼中 (aeon.co)
这篇文章探讨了智能的本质，认为智能并非独立存在的客观标准，而是人类根据自身进化过程中形成的价值观和认知模式，对其他生物和事物进行判断的标签。作者以彩虹为例，指出智能如同彩虹一般，是观察者基于自身感知能力和文化背景构建的概念。文章进一步分析了人类将自身智能视为成功标准的进化根源，以及这种思维方式如何影响我们对动物、人工智能甚至外星生命的认知。作者呼吁我们摒弃以人类为中心的智能标准，以更加开放和多元的视角去理解和欣赏生命的多样性。
苹果新款Mac和iPad暗藏玄机：秘密集成Thread智能家居芯片 (www.theverge.com)
/cdn.vox-cdn.com/uploads/chorus_asset/file/24371439/236492_MacBook_Pro_16__2023__AKrales_0247.jpg)
苹果公司自2023年9月以来发布的多款Mac和iPad产品中，悄然加入了Thread智能家居芯片。尽管苹果官方并未在产品规格中提及Thread，但美国联邦通信委员会（FCC）的报告显示，这些设备已通过Thread无线电的合规性测试。Thread作为一种低功耗、低带宽的网状网络协议，是新一代智能家居标准Matter的主要无线协议，而苹果正是Matter标准的开发者之一。集成Thread芯片可能意味着苹果计划将Mac或iPad转变为智能家居中枢，但也可能只是为了未来的功能扩展。
为什么糟糕的CEO害怕远程工作 (scottberkun.com)
本文批评了一些CEO对远程工作的恐惧，指出这源于他们对控制力的不安，以及对员工能力的不信任。作者以Cathy Merill为例，指出其对远程工作效率低下论断的证据不足，并反驳了其认为远程工作无法进行同事帮助和指导的观点。作者认为，优秀的CEO应该积极寻求解决问题的方法，而不是将技术作为替罪羊，并将远程工作视为一种进步，鼓励CEO们投资于未来，而不是沉湎于过去。
印度版推特Koo的兴衰 (restofworld.org)
印度微博平台Koo在成立四年后，从蓬勃发展的国际扩张走向接近倒闭。Koo于2020年作为Twitter的本土替代品推出，获得了投资者关注，并扩展到尼日利亚和巴西。但到2023年，Koo开始裁员，目前无法筹集更多资金，一直在寻求合作伙伴关系以维持运营。专家指出，多语言内容作为主要“增值点”不足以让印度语言社交媒体初创公司取得成功，Koo也未能摆脱“右倾”平台的标签，限制了其发展。
苹果将在iOS 18中支持RCS消息 (www.theverge.com)
/cdn.vox-cdn.com/uploads/chorus_asset/file/25345078/STK468_APPLE_ANTITRUST_CVIRGINIA_J.jpg)
苹果公司宣布将在iOS 18中支持RCS消息，取代SMS成为Android和iOS设备之间的默认通信协议。RCS将提供更丰富的功能，如发送高质量图片和视频、显示已读回执等，与iMessage类似。此前，苹果一直拒绝支持RCS，但在欧盟监管压力下，最终做出了妥协。
Humane AI Pin: 一款失败的产品是如何炼成的？ (arstechnica.com)
本文讲述了由前苹果员工创立的Humane公司，在获得巨额投资后，推出了一款名为AI Pin的“智能”设备，但因其糟糕的设计、功能和高昂的价格，上市后反响惨淡，最终导致公司寻求出售。文章揭露了Humane公司创始人压制内部批评、忽视产品缺陷的管理问题，以及产品本身存在的电池寿命短、功能鸡肋、价格过高等问题，最终导致了这款产品的失败。
打造模拟城市 (mitpress.mit.edu)
本书深入探讨了具有开创性的模拟游戏《模拟城市》的历史，将其置于游戏、模拟和计算的历史背景中。作者Chaim Gingold解释了游戏设计师Will Wright是如何将《模拟城市》设计成一个微观世界，以探索城市作为复杂系统的运作方式。书中还详细介绍了Maxis公司的发展历程，包括其与风险投资家、任天堂和圣菲研究所的复杂关系，以及最终被EA收购的命运。
爱德华·吉本杰作的废墟 (newrepublic.com)
文章探讨了爱德华·吉本的著作《罗马帝国衰亡史》是否经得起时间考验。作者指出，吉本的著作虽然具有重要的历史地位，但存在史实错误、分析扭曲和带有偏见的言论。例如，吉本将基督教视为罗马帝国衰落的主要原因，但这种观点已被当代历史学家推翻。此外，吉本对其他民族和女性的描述也带有明显的偏见。尽管存在这些缺陷，作者认为《罗马帝国衰亡史》仍然具有文学价值，吉本的散文风格优美，值得一读。
LINQPad：.NET 程序员的游乐场 (www.linqpad.net)
LINQPad是一款功能强大的.NET开发工具，它不仅可以用于编写和测试LINQ查询，还可以用于测试任何C#/F#/VB代码片段或程序。它支持多种数据库，包括SQL Server，SQLite，Oracle，MySQL和PostgreSQL，并提供丰富的输出格式、自动补全、集成调试等功能。LINQPad还支持与BenchmarkDotNet、xUnit、Rx、MSAL、Excel等工具集成，可以用于代码基准测试、正则表达式评估、Excel文件生成等任务。
为什么不应该解析ls命令的输出，以及应该怎么做？ (unix.stackexchange.com)
文章探讨了为什么不应该解析`ls`命令的输出，以及推荐的替代方案。作者指出，`ls`命令的输出格式并非为了便于机器解析而设计，文件名中的特殊字符可能导致解析错误。文章推荐使用shell glob、`find`命令以及其他编程语言提供的文件系统操作函数来替代解析`ls`命令输出。
开源媒体联盟 / SVT-AV1 (gitlab.com)
该项目是开源视频编码标准AV1的软件编码器SVT-AV1的GitLab仓库，由开放媒体联盟（AOMedia）主导开发，提供高质量、高性能的AV1视频编码，支持多种平台和编码模式，采用BSD许可证开源。
MicroPython 1.23发布：自定义USB设备、OpenAMP等众多新功能 (hackaday.com)
MicroPython 1.23版本带来了多项重要改进，包括自定义USB设备支持、OpenAMP改进、WebAssembly移植优化、库结构重构、RP2040端口性能提升等。自定义USB设备支持允许开发者轻松创建各种USB设备，如HID、MIDI等。OpenAMP改进增强了MicroPython与其他CPU内核上不同系统间的通信。其他改进还包括WebAssembly移植优化、库结构重构以提高与CPython的兼容性、RP2040端口性能提升10%等。
史蒂夫·杰克逊游戏公司诉美国特勤局案 (en.wikipedia.org)
本文讲述了1990年美国特勤局突击搜查史蒂夫·杰克逊游戏公司(SJG)总部的诉讼案。特勤局怀疑SJG员工劳埃德·布兰肯希普在其运营的BBS上发布了贝尔南方公司专有的9-1-1系统备忘录，因此进行了搜查并扣押了电脑和软盘。SJG起诉特勤局索赔，最终赢得胜利，法官认为特勤局搜查令准备草率，并对特勤局进行了谴责。
计算机/计算器是如何计算对数的？ (zachartrand.github.io)
这篇文章详细解释了计算机/计算器是如何计算对数的。文章首先介绍了对数的定义以及几何级数的概念，然后推导了自然对数的泰勒级数展开式。为了提高计算效率，文章介绍了如何利用对数的性质将输入值缩放到合适的范围，并最终推导出一个更优化的级数公式来计算自然对数。文章最后还解释了如何利用自然对数计算任意底数的对数。
Fuzz Map：使用代码覆盖率自动识别状态并构建可视化图表 (www.fuzzmap.io)
Fuzz Map 是一款针对 GUI 的模糊测试器，它使用代码覆盖率自动识别状态并构建可视化图表。Fuzz Map 通过状态图和输入队列来高效地探索应用程序的状态空间，并使用代码插桩来记录分支覆盖率。它还提供了一些功能，如实时编程、错误检测、前后状态视图以及输入重用。Fuzz Map 使用简化的地图图来减少状态图的大小，并使用 elkjs 进行布局和渲染。
Kraken交易所遭白帽黑客勒索 (cryptobriefing.com)
美国加密货币交易所Kraken声称遭到一名安全研究员的“勒索”。该研究员利用Kraken平台上的一个关键漏洞窃取了价值300万美元的数字资产，并要求获得赏金才肯归还。Kraken安全负责人Nick Percoco表示，这并非白帽黑客行为，而是敲诈。安全公司CertiK承认是其安全研究人员发现了该漏洞，并通知了Kraken，但双方在漏洞赏金和归还方式上存在分歧。