系统1和系统2思考：决策实验室 (thedecisionlab.com)
文章介绍了两种思维模式：系统1思维是快速、直观的，而系统2思维是缓慢、理性的。系统1思维依靠本能和经验，而系统2思维需要更多的努力和逻辑思考。文章还探讨了这两种思维模式在市场营销和金融规划中的应用，以及对这两种思维模式的常见误解。
页面去扭曲 (mzucker.github.io)
本文介绍了一种页面去扭曲方法，将弯曲页面图像展平。作者使用参数模型来描述页面的外观，并通过优化投影误差来确定模型参数。程序步骤包括：获取页面边界、检测文本轮廓、将文本组合成跨度、对跨度进行采样、创建参数估计、优化参数、重新映射图像和阈值处理。作者还分享了程序运行的统计数据和一些结果示例，并讨论了代码优化和样式检查工具的使用心得。
Symbolica：快速计算机代数系统 (symbolica.io)
Symbolica是一个速度极快的计算机代数系统，它可以匹配复杂的数学模式，处理庞大的表达式，拥有最先进的多项式算法和表达式优化框架，并提供Python、Rust和C++的API接口。Symbolica被设计成一个库，可以绑定到Python、Rust、C++和Mathematica。
全球塑料条约只有限制产量才能奏效 (phys.org)
本文探讨了全球塑料污染问题，指出限制塑料产量是解决塑料污染的关键。文章引用了多个科学模型，表明塑料产量限制是减少未来几十年塑料污染的必要措施。作者强调了实现40%减产目标的挑战，并提出了一些可能的解决方案，例如减少包装和一次性塑料的使用，简化聚合物类型，以及扩大容器的再利用和再填充系统。
电池制造需要大量锂，其中一部分可能来自废水 (www.pitt.edu)
美国匹兹堡大学的一项新研究表明，美国电池制造所需的锂，近一半可以来自宾夕法尼亚州的废水。研究人员分析了来自马塞勒斯页岩气井的废水，发现其中锂含量很高，如果能完全提取，可以满足美国40%的需求。目前，美国大部分锂来自智利，然后运往中国加工。研究人员表示，从废水中提取锂是一个有益的利用，可以减少对国外进口的依赖。下一步将进行环境影响评估和试点工厂建设，以开发提取技术。
Wadzilla：在 Zork 中体验 DOOM 的魅力 (github.com)
Wadzilla 是一个将 DOOM WAD 文件转换为 ZIL 文本输出的工具，旨在使用 Infocom Z-Machine 在 Zork 中运行 DOOM。该项目旨在探索游戏历史上的两座里程碑——Zork 和 DOOM，它们都具有可修改性、创新设计和社区驱动型演变的共同点。作者认为，能够在 Zork 中体验 DOOM 体现了探索、黑客精神和社区合作的力量。
Veo：谷歌 DeepMind 最强大的生成视频模型 (deepmind.google)
Veo是谷歌DeepMind迄今为止功能最强大的视频生成模型，能够生成高质量、1080p分辨率、时长超过一分钟的视频，并涵盖各种电影和视觉风格。它能够准确捕捉提示的细微差别和语气，并提供前所未有的创意控制水平，理解各种电影效果的提示，例如延时摄影或景观航拍。Veo将帮助创建让每个人都能制作视频的工具，为故事讲述、教育等领域开启新的可能性。
Zed 解码：Linux 何时到来？ (zed.dev)
本文介绍了 Zed 编辑器在 Linux 上的开发进展。Zed 是用 Rust 编写的，虽然 Rust 具有跨平台特性，但 Zed 为了实现高性能和原生体验，需要深入集成到各个平台的 API 中。因此，Zed 开发了一个名为 GPUI 的框架，用于抽象化平台差异。文章详细介绍了 Linux 平台的多样性带来的挑战，包括发行版、桌面环境、显示服务器等方面的差异。Zed 团队选择支持 Ubuntu 发行版、X11 和 Wayland 显示服务器，并使用 Blade 渲染引擎来实现图形渲染。文章还强调了开源社区对 Zed on Linux 开发的巨大贡献，并展望了未来的开发路线图，包括完善功能、提高性能和稳定性等。
Common Lisp 不止一种语言，而是一系列语言 (aartaka.me)
文章驳斥了“Common Lisp 是一种单一语言”的观点，并列举了 Common Lisp 中包含的多种“语言”，包括：核心 Scheme 风格的 Common Lisp、CLOS、泛型、loop 宏、Clojure 和 Scheme？！、format 字符串等。作者认为，这些子语言的存在使得 Common Lisp 成为一个丰富的生态系统，但也导致了理解和评价 Common Lisp 的困难。
使用省略号对文本进行反投影 (mzucker.github.io)
本文介绍了一种利用变换后的椭圆来估计文本透视变换的方法。作者首先将每个字母的轮廓用椭圆形表示，然后通过最小化椭圆面积的方差来找到最佳的透视变换参数。最后，作者通过旋转和倾斜变换来进一步优化结果，最终得到校正后的文本图像。
崩溃即将到来，人类会适应吗？ (thereader.mitpress.mit.edu)
本文探讨了人类在面临气候变化和全球性崩溃时如何生存下去。文章认为，传统的可持续发展模式无法解决问题，我们应该借鉴进化生物学的原理，改变自身行为，以适应不断变化的环境。作者主张分散化、地方化的生存策略，鼓励人们回归农村，建立更小、更自给自足的社区，以应对即将到来的挑战。
美国专利商标局确认再次泄露申请人地址数据 (techcrunch.com)
美国专利商标局 (USPTO) 证实，其审查员系统再次泄露了某些专利申请人的个人身份信息 (PII)。USPTO 在周三的一份声明中表示，泄露的信息可能包括申请人的姓名、地址和电子邮件地址，并且此次泄露影响了从 2022 年 1 月 1 日至 4 月 23 日期间提交的 31,445 项专利申请和商标申请。USPTO 表示，它已向受影响的申请人发送了通知，并正在调查此次泄露事件。该机构还表示，已采取措施来防止此类事件再次发生，包括加强其系统的安全性。
机器人“超级四肢”可以帮助月球漫步者从跌倒中恢复 (news.mit.edu)
麻省理工学院的工程师们正在设计一种可穿戴机器人肢体，称为“超级肢体”，它可以为宇航员提供物理支撑，并在跌倒后帮助他们站起来。该系统将从背包延伸出来，背包还将携带宇航员的生命支持系统，以及控制四肢的控制器和电机。研究人员已经建造了一个物理原型，以及一个基于宇航员反馈的控制系统来引导四肢。研究小组在一个类似于宇航员宇航服的紧身衣服的健康志愿者身上测试了初步版本。当志愿者试图从坐姿或卧姿站起来时，与他们必须自己恢复相比，在超级肢体的帮助下，他们更轻松地站了起来。
高绩效员工频繁跳槽的原因：找不到高绩效文化 (thedailydeveloper.substack.com)
高绩效员工频繁跳槽的原因往往是他们在现有公司找不到高绩效文化。他们渴望优秀的管理者和团队，在遇到糟糕的公司文化时会感到沮丧和 desmotivated，最终选择离开。作者鼓励招聘者不要将频繁跳槽视为负面信号，而应该将其视为寻找优秀团队的积极表现。
Wine 9.8 发布 (gitlab.winehq.org)
Wine 9.8 版本已在 GitLab 上发布，该版本更新了 Wine Mono 引擎至 7.4.0 版本，修复了 Direct3D 中与光栅化相关的错误，并改进了 WoW64 文件系统重定向功能。
Firefox 的 JS 引擎中 Array.shift 的优化 (lannonbr.com)
这篇文章探讨了 JavaScript 中 Array.shift 方法的性能问题，特别是在 Firefox 浏览器中的优化。文章解释了 Array.shift 的工作原理，以及在大型数组中使用时可能出现的性能瓶颈。文章重点介绍了 Firefox 的 SpiderMonkey 引擎如何通过指针操作来优化 Array.shift，从而将时间复杂度从线性降至恒定。文章最后指出，尽管 Firefox 中的优化效果显著，但在其他 JavaScript 运行时环境中，Array.shift 的性能可能仍然存在问题，因此在编写跨平台 JavaScript 代码时需要谨慎使用。
你可能不需要验证UTF-8字符串 (viralinstruction.com)
本文探讨了Rust和Julia两种编程语言中字符串的设计差异。作者认为，尽管UTF-8编码是目前的主流编码方式，但在实际应用中，程序往往需要处理比UTF-8更严格的结构化数据，因此强制验证UTF-8字符串的必要性值得商榷。作者比较了Rust和Julia在字符串可变性、底层字节访问、索引方式和API设计方面的特点，并指出Julia的“UTF8约定”模式在大多数情况下更为实用，而Rust的强制验证则更符合其语言的严谨性。
电影西迁 (longreads.com)
20世纪初，电影作为一种新兴娱乐形式，因其通俗性和低廉的价格，受到城市工薪阶层的欢迎，但遭到中上层阶级和戏剧界的蔑视。为了寻找更宜人的拍摄气候和更广阔的拍摄场景，电影制作中心逐渐从东海岸向西海岸转移。1907年，Selig Polyscope 公司的电影摄制组前往洛杉矶拍摄《基督山伯爵》，标志着电影制作开始向洛杉矶转移。1910年，Biograph 公司也前往洛杉矶，进一步推动了电影制作中心向西海岸的转移，洛杉矶逐渐成为新兴电影产业的中心。
Android放弃RISC-V内核 (www.androidauthority.com)
Android Authority报道，谷歌已放弃为Android开发基于RISC-V的内核。该公司曾计划将RISC-V作为现有基于ARM架构的替代方案，但RISC-V在性能和兼容性方面存在问题，导致谷歌放弃了这一计划。尽管RISC-V社区仍在继续开发，但谷歌不再参与其中。
HMT：用于长文本处理的分层记忆Transformer (arxiv.org)
本文介绍了一种名为分层记忆Transformer（HMT）的新型框架，该框架通过模仿人类记忆行为来增强模型的长期文本处理能力。HMT利用记忆增强的段级递归，通过保留来自早期输入标记段的标记、沿着序列传递记忆嵌入以及从历史中回忆相关信息来组织记忆层次结构。在通用语言建模和问答任务上的评估表明，HMT 稳步提高了上下文受限模型和长文本模型的长期文本处理能力。
青少年正念干预反而降低正念水平 (suchscience.net)
最近一项研究表明，近年来在学校广泛实施的正念项目，并不能显著提升青少年的心理健康或幸福感。研究人员重新分析了2022年一项荟萃分析的数据，发现普遍的学校正念干预（uSBMI）对青少年的一系列心理健康结果没有显著改善。反而降低了学生自我报告的正念水平。研究结果对uSBMI作为一种普遍的青少年预防方法的价值提出了质疑，并强调了严格评估其在现实世界中的影响的重要性。
GitHub - fossable/goldboot: 桌面不可变基础设施 (github.com)
Goldboot 是一款构建真实硬件机器镜像的工具，可以帮助用户实现接近不可变基础设施的目标。用户可以通过声明式配置文件定义机器配置，Goldboot 使用该配置在本地机器或 CI 平台上构建镜像，生成的镜像可以通过 USB 或 PXE 启动部署到硬件。Goldboot 类似于 Docker 和 Packer 的混合体，但它构建的是真实硬件的镜像，而不是容器或虚拟机。这些镜像包含操作系统、应用程序、软件补丁和配置，所有内容都打包在一个易于部署的包中。
在HP 48计算器上运行CHIP-8 (tobiasvl.github.io)
本文介绍了如何在HP 48系列图形计算器上运行CHIP-8游戏。文章详细讲解了不同型号HP 48计算器的选择、CHIP-8解释器的下载、游戏的获取、文件传输方法以及在计算器上运行和删除游戏的方法。此外，文章还鼓励读者使用Octo软件开发工具创作自己的CHIP-8游戏。
两名圣克鲁斯学生发现安全漏洞或致数百万人免费洗衣 (techcrunch.com)
加州大学圣克鲁斯分校的两名学生发现了一个安全漏洞，该漏洞可能允许任何人免费使用由CSC ServiceWorks运营的100多万台联网洗衣机。尽管学生们多次尝试联系CSC ServiceWorks以修复此漏洞，但该公司一直没有回应。该漏洞存在于CSC移动应用程序使用的API中，允许任何人绕过安全检查并直接向CSC的服务器发送命令，从而在不支付任何费用的情况下操作洗衣机。
这是一个充满奇迹的时代 (blog.plover.com)
本文作者漫步费城，想象与本杰明·富兰克林对话，探讨自 1790 年以来世界的变化。作者认为，许多现代科技，如互联网和登月，虽然令人惊叹，但富兰克林或许不会感到太过意外。真正令富兰克林震惊的是一些日常科技，例如CAT扫描和GPS，这些科技的工作原理对 18 世纪的人来说难以想象。作者还列举了其他令人惊叹的科学进步，如对秀丽隐杆线虫所有细胞及其连接的了解，以及对果蝇幼虫大脑神经元和突触的完整映射。最后，作者感叹道，我们甚至能够从地球上数十亿块岩石中识别出数百块来自火星的陨石，这充分展现了人类知识的进步。
商业化的“第三空间”正在消亡吗？ (spacing.ca)
本文探讨了商业化“第三空间”的衰落现象，以星巴克为例，分析了其从提供舒适社交场所到注重效率和外带服务的转变。作者追溯了“第三空间”的历史，强调其作为社区连接和思想交流场所的重要性。文章批评了星巴克在设计和运营中背离了“第三空间”的初衷，并提出了寻找和支持本地化、社区导向的“第三空间”的建议。
函数式语言中消除样板代码 (lambdaland.org)
本文介绍了作者在使用函数式语言Elixir编写程序时，如何解决样板代码问题。作者通过一个具体的例子，展示了如何使用writer monad来抽象化代码中的额外信息，从而提高代码的可读性和灵活性。作者还讨论了monad的概念、不同类型的monad，以及如何在非Haskell语言中使用monad。