空气中提取脂肪：这家初创公司用二氧化碳和水制造黄油 (newatlas.com)
比尔·盖茨投资了一家名为Savor的加州初创公司，该公司致力于利用二氧化碳和氢气制造类似黄油的富含脂肪的涂抹酱。该公司采用热化学工艺，以环保的方式生产动物脂肪替代品，并声称其产品尝起来像真正的黄油。该公司还计划开发牛奶、冰淇淋、奶酪、肉类和热带油脂等产品。
Swim-rust：用于构建有状态、大规模实时流式应用程序的自包含分布式软件平台 (github.com)
Swim Rust SDK 是一个软件框架，用于构建可以通过多路复流 API 进行交互的有状态应用程序。它构建在 Tokio 异步运行时之上。每个应用程序都包含一定数量的有状态代理，每个代理都作为单独的 Tokio 任务运行，并且可以通过 URI 单独寻址。代理可以具有公共和私有状态，这些状态可以仅保存在内存中，也可以选择保存在持久存储中。
我们需要什么样的可视化编程 (blog.sbensu.com)
文章批判了现有的可视化编程工具试图取代代码语法，指出开发者真正需要的是可视化代码库、内存布局、状态转换、网络请求等。文章列举了代码库可视化、内存布局图、状态机图、泳道图等开发者真正需要的可视化工具，并呼吁开发者和工具开发者关注这些领域。
美国第五巡回法院裁定联邦通信委员会的普遍服务基金违宪 (arstechnica.com)
美国第五巡回上诉法院裁定，联邦通信委员会（FCC）的普遍服务基金违宪，认为电话账单上的普遍服务费是“不合法的税收”。该裁决认为，FCC 将普遍服务基金的管理权委托给了一个名为“普遍服务管理公司”（USAC）的私人组织，这种做法违反了美国宪法。FCC 表示将寻求最高法院的审查，以维持现行的普遍服务体系。
Tracklist.it - 发现与分享新音乐的平台 (tracklist.it)
Tracklist.it是一个音乐发现和分享平台，用户可以在这里探索和分享新的音乐曲目。网站每天更新最新的曲目列表，并提供歌曲信息，方便用户浏览和收听。
如何通过写作思考 (www.henrikkarlsson.xyz)
文章探讨了写作如何帮助人们更清晰地思考。作者认为，将想法落实到纸面上，可以使其更加具体化，更容易发现其中的缺陷和漏洞，从而促进思考的深入。作者还介绍了如何通过展开论点、寻找反例等方式，来检验和改进自己的想法。
麦当劳放弃植物肉汉堡McPlant (qz.com)
麦当劳高管表示，由于在旧金山和达拉斯的测试失败，公司没有计划重新推出植物肉汉堡McPlant。消费者对植物肉汉堡的需求不高，反而更青睐薯条、5美元套餐和新鲜的热三明治。麦当劳将专注于鸡肉产品，并推出5美元套餐和每周五免费薯条等促销活动来吸引顾客。
Gaia-X：一个应该被放弃的干扰 (berthub.eu)
Gaia-X 项目旨在创建一个基于欧洲价值观的联合开放数据基础设施，但作者认为该项目存在严重缺陷，并建议放弃该项目。作者批评 Gaia-X 项目标准制定缓慢、缺乏实用性，并且没有解决欧洲云服务提供商的关键挑战。文章还批评了 Gaia-X 项目对资源的浪费，以及其存在误导了政策制定者和公众对欧洲云计算发展现状的认知。
谷歌日历数据库设计教程 (kb.databasedesignbook.com)
这篇文章是一个数据库设计教程，旨在帮助读者设计一个类似谷歌日历的数据库。文章首先介绍了逻辑模型的概念，并使用表格形式详细描述了用户、日期事件、时间事件、重复事件、时区等实体的属性和关系。然后，文章介绍了如何将逻辑模型转换为物理模型，并给出了相应的SQL表创建语句。文章还讨论了索引、数据类型选择等数据库设计中的重要问题。
公平国际象棋与同步博弈 (asvarga.github.io)
这篇文章探讨了如何设计公平的国际象棋变体，以消除先手优势。作者提出了一种同步博弈的方法，其中两位玩家同时进行操作，并详细讨论了如何解决移动冲突的规则。文章还将这种方法推广到多人游戏，并提供了一种算法来确定哪些移动是合法的，并最终实现游戏的公平性。
iPhone和iPad上的3A游戏不受用户欢迎 (9to5mac.com)
尽管苹果公司努力说服大型游戏开发商将3A游戏引入iOS平台，但数据显示，像《生化危机8：村庄》和《刺客信条：幻景》等游戏在iPhone和iPad用户中的需求并不高。分析认为，高昂的价格、对触摸屏操控的糟糕优化以及硬件要求限制了3A游戏在iOS平台的吸引力。
Pallene 语言参考手册 (github.com)
Pallene 是 Lua 的静态类型伴随语言，允许与 Lua 函数互相调用。Pallene 在语法上与 Lua 类似，但需要类型注解。类型系统包括 Lua 原始类型、字符串、数组、表、函数和记录，以及涵盖所有类型的 any 类型。Pallene 支持数组、表、函数、记录等数据结构，并提供类似 Lua 的语法。它还实现了部分 Lua 标准库函数，并支持自动类型转换和类型推断，方便开发者编写类型安全的 Lua 代码。
Taim：一款自动化时间跟踪软件，助您精准计费 (taimapp.io)
Taim是一款自动化时间跟踪软件，旨在帮助自由职业者和团队更准确地跟踪工作时间。它可以自动记录应用程序和窗口的使用情况，并允许用户手动调整会话时间、添加标签和备注。Taim提供详细的分析和报告，方便用户进行计费和时间规划。该软件还支持与项目管理工具集成，并提供数据导出功能。
多模态自动化可解释性代理 (arxiv.org)
本文介绍了一种名为 MAIA 的多模态自动化可解释性代理系统。MAIA 利用神经模型来自动执行神经模型理解任务，例如特征解释和故障模式发现。它为预训练的视觉语言模型配备了一套工具，支持对其他模型的子组件进行迭代实验，以解释其行为。这些工具通常由人类可解释性研究人员使用，用于合成和编辑输入、从现实世界的数据集中计算最大激活样本，以及总结和描述实验结果。MAIA 提出的可解释性实验组合了这些工具来描述和解释系统行为。
用Rust演奏吉他谱 (agourlay.github.io)
本文介绍了Ruxguitar，一个用Rust编写的吉他谱播放器。作者详细介绍了该项目的开发过程，包括解析吉他谱文件、构建用户界面、使用MIDI合成器生成声音以及将音频播放与UI同步等方面。Ruxguitar支持.gp5格式的吉他谱，可以显示谱线、和弦、指法等信息，并可以调整播放速度、音调等参数。作者还分享了开发过程中遇到的一些挑战和解决方案，并展望了未来的改进方向。
广告支付 AI 内容创作费用：gpt-4o mini 拐点 (batchmon.com)
文章探讨了使用 OpenAI 的 gpt-4o mini 模型生成 AI 内容并通过广告获利的可行性。作者以一个博客为例，计算了生成一篇关于 MacBook 设置开机问候语的文章的成本以及可能获得的广告收入，并指出目前来看，这种方式的盈利能力非常有限。作者还介绍了 Websim 项目，该项目使用大型语言模型动态生成替代性互联网内容，但目前尚未盈利。
贝塞尔曲线弧长参数化问题 (ninjakoa.la)
文章探讨了计算机图形学中贝塞尔曲线弧长参数化问题。作者首先解释了弧长参数化的概念，然后指出三次贝塞尔曲线的弧长没有封闭形式解，而二次贝塞尔曲线的弧长虽然可以计算，但其弧长参数化通常也被认为没有封闭形式解。为了证明这一点，作者引入了Lin定理和Schanuel猜想，并通过数学推导证明了在Schanuel猜想成立的情况下，二次贝塞尔曲线的弧长参数化不存在封闭形式解。
Alphabet追加投资50亿美元用于自动驾驶子公司Waymo (techcrunch.com)
谷歌母公司Alphabet宣布，将在未来几年内向其自动驾驶子公司Waymo追加投资50亿美元。Waymo计划利用这笔资金扩大其自动驾驶出租车服务范围，并继续发展其自动驾驶技术。目前，Waymo已经在旧金山、凤凰城等地提供全自动驾驶出租车服务，并计划在洛杉矶和奥斯汀推出该服务。
动视暴雪发布使命召唤：战区™ Caldera 数据集供学术使用 (blog.activision.com)
动视暴雪发布了《使命召唤：战区》中 Caldera 地图的开源数据集，供非商业用途使用。该数据集包含 Caldera 地图的近乎完整的几何图形，以及玩家在地图上移动方式的随机匿名时间样本。此举旨在支持游戏行业在人工智能学习、教育和研究方面的创新和发展。
纽约市海滩无人机引发鸟类“战争” (gizmodo.com)
纽约市警方在海滩部署无人机以搜索鲨鱼并帮助溺水者，此举引发了当地鸟类的强烈不满。这些鸟类将无人机视为威胁，不断对其进行俯冲轰炸，试图将它们赶走。专家表示，无人机可能会对鸟类造成压力，导致它们逃离海滩并放弃它们的蛋，这对濒危鸟类来说将是一场灾难。
浅谈米哈游的盈利模式 (moonbearmusings.com)
本文深入探讨了米哈游旗下游戏《原神》和《崩坏：星穹铁道》的盈利模式。作者分析了 gacha 游戏的收入构成，指出“慷慨”的免费收入策略旨在刺激玩家消费。文章还详细比较了两款游戏在角色强度、战斗设计、活动设计等方面的差异，揭示了米哈游如何通过游戏机制引导玩家抽取新角色。最后，文章探讨了游戏设计与盈利之间的平衡，以及米哈游如何避免产品质量下降，并分析了皮肤盈利模式的局限性。
谷歌宣布放弃在Chrome浏览器中弃用第三方Cookie (digiday.com)
经过多年的不确定性，谷歌宣布放弃在Chrome浏览器中弃用第三方Cookie。该公司将推出一项“新体验”，允许用户在浏览网页时做出明智的选择，并可以随时调整。谷歌将继续投资于隐私沙盒API，并添加额外的隐私控制，例如Chrome隐身模式下的IP保护。
Facebook如何拦截竞争对手加密的移动应用流量？ (doubleagent.net)
本文分析了Facebook如何利用其Onavo Protect应用程序拦截竞争对手（如Snapchat）加密流量的技术细节。Facebook通过诱导用户安装其“Facebook Research”CA证书，并利用Android系统漏洞，在用户不知情的情况下解密HTTPS流量。文章还讨论了Facebook如何利用用户授予的权限收集应用程序使用统计数据和其他敏感信息。作者通过对Onavo应用程序的逆向工程和相关法庭文件的分析，揭示了Facebook的这种行为。
RTranslator：全球首个开源实时翻译应用 (github.com)
RTranslator是一款开源、免费、离线的Android实时翻译应用。它使用Meta的NLLB进行翻译，使用OpenAi的Whisper进行语音识别，这两款AI模型都直接在手机上运行，确保了绝对的隐私和离线使用的可能性。RTranslator支持多种语言，提供对话模式、对讲机模式和文本翻译模式，并具有后台运行功能。
虚拟阿波罗制导计算机 (AGC) 软件 (github.com)
Virtual AGC 项目提供了一个虚拟机，可以模拟阿波罗宇宙飞船中使用的 AGC、DSKY 以及制导系统中的其他部分。该项目包含 AGC 的汇编语言源代码、用于处理 AGC 代码的软件（如汇编器和 CPU 模拟器）以及模拟外围设备（如 DSKY）。该项目旨在对 AGC 进行建模，而不是对其外部行为进行模拟，因此它能够在例如台式机等平台上执行原始的阿波罗软件。
在线玩不可思议的机器 - My Abandonware (www.myabandonware.com)
这篇文章介绍了游戏“不可思议的机器”，玩家可以在 My Abandonware 网站上在线游玩该游戏。文章还包含了玩家对游戏的评论，以及如何在浏览器中运行游戏的说明。
一个德国城市如何培养——然后又失去——一代又一代的数学天才 (theconversation.com)
哥廷根，一个德国小镇，曾一度是历史上最多产的数学中心之一。它的兴起源于卡尔·弗里德里希·高斯等伟大数学家的贡献，他们吸引了来自欧洲各地的数学家。然而，随着纳粹主义的兴起，哥廷根的数学实力在20世纪30年代迅速衰落。1933年的《职业公务员恢复法》导致许多犹太学者逃离德国，其中包括艾米·诺特和理查德·库恩特等杰出人物。到1934年，哥廷根大学的数学精英几乎消失殆尽，其遗产转移到了美国和英国的大学。
Podman Desktop 1.11 版本发布 (podman-desktop.io)
Podman Desktop 1.11 版本引入了实验性的浅色模式、对 Apple Silicon 的 Rosetta 支持、Kubernetes 改进、UI 改进、增强的清单支持和其他值得注意的改进和错误修复。
探秘 Winamp 皮肤：我发现了哪些奇闻轶事？ (jordaneldredge.com)
本文讲述了作者在整理 Winamp 皮肤博物馆的过程中，发现了一些看似损坏的皮肤文件，并由此展开的一系列有趣探索。作者通过破解加密文件，发现了泰国父亲为儿子设计的皮肤、用户的电子邮件密码、Chet Baker 的秘密传记、隐藏的音频文件以及一个名为 worm.exe 的蠕虫游戏等奇特内容。作者还发现了许多隐藏在其他皮肤文件中的未知皮肤，并感叹道：当收集到足够多由真实用户创作的内容时，总能发现各种疯狂的东西。
瑞士强制政府机构使用开源软件 (www.tomshardware.com)
瑞士最近颁布了一项法律，强制政府使用开源软件 (OSS)，并公开任何由公共部门开发或为公共部门开发的软件的源代码。根据ZDNet的报道，这种“公共机构，公共代码”的做法提高了政府运营的透明度，同时提高了安全性和效率。这一举措在美国可能不会成功，但在整个欧洲正变得越来越普遍。