OpenAI 最新 GPT-4o 模型测评 (garymarcus.substack.com)
文章对 OpenAI 最新发布的 GPT-4o 模型进行了分析，作者 Gary Marcus 认为 GPT-4o 的语音合成能力令人印象深刻，但整体性能并没有比 GPT-4 有显著提升，他认为 OpenAI 可能已经转向新功能的开发，因为他们不知道如何实现“指数级改进”的预期能力提升。作者认为，目前还没有出现 GPT-5 级别的模型，这可能意味着我们已经进入了收益递减的阶段。
论科尼利厄斯·兰佐斯所著的《力学变分原理》 (www.thepsmiths.com)
本文介绍了兰佐斯的著作《力学变分原理》，探讨了牛顿力学和拉格朗日力学的哲学意义。作者以帆船运动为例，指出了亚里士多德因果论的局限性，并解释了牛顿力学如何取代了亚里士多德物理学。文章深入探讨了拉格朗日力学的优势，包括坐标不变性、对称性和对物理系统整体轨迹的关注。作者质疑了牛顿力学的“宇宙是一台大计算机”的观点，并认为拉格朗日力学可能提供了一种更真实的自然描述，其中最终目的在宇宙的演化中发挥作用。
谷歌将使用 Gemini 在通话中检测诈骗 (techcrunch.com)
谷歌将在未来的安卓版本中加入一项新功能，利用其生成式 AI 模型 Gemini Nano 实时识别与诈骗相关的对话模式，提醒用户潜在的诈骗行为。该功能将作为可选项提供，能够识别诸如假冒银行代表、索要密码和礼品卡等常见诈骗策略，但不会自动将用户对话上传到云端。
螳螂虾如何防御高速攻击 (news.ucsb.edu)
加州大学圣塔芭芭拉分校的生态学家帕特里克·格林研究了螳螂虾如何防御对手的攻击。研究发现，螳螂虾的格斗姿势可以额外吸收20%的冲击力，其尾巴像盾牌一样，能有效抵御高速攻击。格林计划继续研究螳螂虾的盔甲和战斗方式，以了解不同物种的行为和形态之间的关系。
Brane Dump: “这个项目还在维护吗？” (www.hezmatt.org)
这篇文章探讨了开源项目维护者与用户之间关于“维护”的理解差异。作者认为，许多开源项目实际上是由开发者为了自身需求而创建和维护的，并不一定能提供用户期望的支持。作者提出了一种“开源维护者宣言”，旨在阐明开源项目的维护现状，避免用户产生不切实际的期望。
特里波利耶巨型遗址：一种社会平衡理念？ (www.cambridge.org)
本文探讨了公元前4200年至公元前3600年间，位于黑海北部草原的特里波利耶巨型遗址的兴衰原因。作者利用38个遗址约7000栋房屋的面积计算了基尼系数，以此评估家庭间的不平等程度。结果表明，巨型遗址的社会不平等程度暂时降低。几代人之后，社会分化再次加剧，这可能解释了后来巨型遗址的废弃。研究结果表明，社会复杂性的增加不一定与社会分层的加剧相关，人口的大量聚集至少可以在一段时间内找到减少不平等的机制。
Great Question招聘产品工程师（Rails + React） (www.ycombinator.com)
Great Question是一家由Y Combinator支持的客户研究平台，正在招聘一位全栈Rails工程师。该公司正在构建一个企业级一体化研究CRM，该CRM具有运行和分析客户访谈、调查和原型测试所需的工具。他们正在寻找具有丰富Ruby on Rails应用程序构建经验的杰出人才，以提高其工程和产品组织的标准。这是一个获得早期经验、解决有趣问题、对早期公司的技术和文化产生巨大影响并塑造团队如何通过研究构建软件的未来的绝佳机会。
自学数学 (teachyourselfmath.app)
Teachyourselfmath是一个提供数学学习资源的网站，用户可以根据难度级别选择学习内容，并查看已收藏的资源。该网站由viveknathani在印度创建。
革命性的遗传学研究表明RNA可能主宰着我们的基因组 (www.scientificamerican.com)
科学家们最近发现，人体内存在着数千种能够控制人体的活性RNA分子。长期以来，人们一直认为DNA是生命的主要遗传物质，而蛋白质是执行生命功能的工具。然而，ENCODE项目的研究表明，多达75%的基因组会被转录成RNA，其中很大一部分是非编码RNA（ncRNA）。ncRNA不编码蛋白质，但参与其他分子进行生化任务，例如调控基因活性、形成细胞器、参与免疫系统等。这一发现颠覆了我们对遗传编程的理解，表明RNA可能在生命活动中扮演着比之前认为的更重要的角色。
Rust核心库和分配库的翻译 (formal.land)
本文介绍了使用coq-of-rust工具将Rust核心库和分配库翻译成Coq形式验证系统的过程。作者详细阐述了如何克服翻译过程中遇到的挑战，包括处理标准库中的原生结构、拆分生成的大型Coq代码文件以及修复模块名称冲突等问题。作者还提供了一个unwrap_or_default方法的翻译示例，并解释了如何证明其与简化函数代码的等价性。最后，作者总结了该工作的成果和未来的目标，即简化验证过程并提高验证效率。
微型 SD 卡在 SBC 中的时代即将结束 (www.jeffgeerling.com)
本文作者认为，随着树莓派发布了官方的 M.2 HAT+，微型 SD 卡在 SBC 中的时代即将结束。因为M.2 NVMe SSD 比 microSD 卡速度更快、可靠性更高。作者预计未来会有更多 SBC 厂商采用 M.2 作为主要存储方式。
Pinterest宣布弃用HBase (medium.com)
Pinterest宣布弃用HBase，这是一个始于2013年的NoSQL数据存储。Pinterest曾是全球最大的HBase生产部署者之一，拥有约50个集群、9000个AWS EC2实例和超过6 PB的数据。Pinterest决定弃用HBase的原因包括高昂的维护成本、缺少的功能、高系统复杂性、高昂的基础设施成本以及行业使用率和社区支持的下降。为了替代HBase，Pinterest选择采用TiDB，这是一个分布式NewSQL数据库。
奇特弯曲形状打破了 50 年前的几何猜想 (www.quantamagazine.org)
本文介绍了数学家如何推翻了一个关于曲率和形状之间关系的主要猜想——米尔诺猜想。米尔诺猜想认为，如果一个完备流形的里奇张量处处非负，那么它就不能有无限个洞。然而，数学家们构建了一个七维光滑分形雪花，它在每一点都具有非负里奇曲率，但却拥有无限个洞，从而推翻了米尔诺猜想。这一发现表明，具有非负里奇曲率的形状比数学家们预期的更加灵活，也更加复杂，这使得我们对局部几何性质和全局拓扑性质之间的关系的理解变得更加复杂。
美国司法部称波音公司或对737 Max坠机事件负有刑事责任 (www.usatoday.com)
美国司法部周二表示，波音公司违反了2021年的一项协议，该协议使其在两起737 Max灾难导致346人死亡后免于刑事起诉。司法部认为，波音公司未能“设计、实施和执行合规和道德计划，以防止和 détecter 其运营过程中违反美国欺诈法的行为”。政府尚未决定是否对波音提起诉讼，但遇难者家属的律师表示，他们希望看到此案的进一步行动。波音公司表示已收到司法部的通知，并计划做出回应。
AI导致面试难度飙升 (www.softwaredesign.ing)
文章指出，由于AI工具的普及，比如Ultracode和Cheetah，求职者可以使用这些工具轻松解决面试中的难题，导致面试难度大幅提升。作者举例说明了2024年科技公司面试中出现的难题，并指出这些难题即使对于有经验的开发者来说也难以在规定时间内解决。作者认为，这种现象会导致真正学习的人才被淘汰，并提出唯一的解决方案是进行线下现场面试。
GitHub - javierguerragiraldez/parseback: 一个用于 LuaJIT FFI ctype 对象的纯 Lua 内省库 (github.com)
parseback是一个纯Lua库，用于解析LuaJIT的FFI ctype对象。由于LuaJIT的FFI缺乏内省功能，parseback通过分析ffi.typeinfo()提供的信息，以Lua table、C声明和Graphviz图表的形式重建ctype对象的描述。
空气质量监测仪对比：AirGradient 与 Purple Air (www.airgradient.com)
文章比较了AirGradient和Purple Air两款空气质量监测仪。Purple Air是低成本PM监测仪的先驱，其数据已被广泛研究和应用。AirGradient使用与Purple Air Classic相同的Plantower PMS5003模块，因此两者的精度非常相似。Purple Air的优势在于其功能丰富的应用程序、SD卡存储和RGB LED（Flex型号）。AirGradient Open Air的优势在于其额外的传感器模块（例如CO2传感器）、开源和开放数据许可，以及更低的价格。
添加sysctl以禁用Nagle算法 (marc.info)
这篇文章讨论了是否应该在OpenBSD操作系统中禁用Nagle算法。Nagle算法旨在通过合并小数据包来提高网络效率，但它也会增加延迟。作者指出，在现代网络环境中，Nagle算法的优势不再明显，而且它与延迟确认机制相互作用，可能会降低性能。文章提议添加一个新的sysctl选项来全局禁用Nagle算法，并将其作为未来OpenBSD版本中的默认设置。
2023 年的气温至少是 2000 年来最高的 (arstechnica.com)
根据最新的研究，2023 年北半球的夏季气温是至少 2000 年来最高的。研究人员通过对比树木年轮数据和气温记录发现，2023 年夏季气温比 1850-1900 年的平均气温高 2.3 摄氏度，比公元 246 年的最高气温还要高 1.2 摄氏度。这项研究表明，近期的全球变暖趋势是史无前例的。
停车改革推动水牛城和西雅图新住房建设合法化 (www.sightline.org)
西雅图和水牛城的研究表明，停车规定是住房建设的约束性因素。在停车改革后，60%到70%的新住房得以合法建设，这些住房原本因停车规定而无法建造。虽然并非所有建筑都选择完全不提供停车位，但大多数新住房都受益于停车规定的灵活性，这表明停车改革对缓解住房短缺具有重要意义。
当局是如何识别出疑似Lockbit勒索软件集团的头目的？ (krebsonsecurity.com)
本文分析了名为Dmitry Yuryevich Khoroshev的俄罗斯男子在网络犯罪论坛上的活动轨迹，以及他作为恶意软件作者长达14年的职业生涯。文章通过追踪Khoroshev在网络上的各种身份，包括NeroWolfe和Putinkrab，以及他与勒索软件开发和销售相关的活动，试图解释美国当局是如何将他认定为LockBit勒索软件集团头目的。文章还指出，当局可能掌握了更多未公开的情報，例如加密货币地址和银行账户信息，这些信息可能最终将Khoroshev与LockBit联系起来。
言情小说作者因“不当”内容被谷歌文档锁定 (www.dexerto.com)
言情小说作家K. Renee因其作品被谷歌标记为“不当内容”而被禁止访问她在谷歌文档上的内容。Renee是一位创作曲棍球爱情小说的作家，她在谷歌文档上的多个文件和文件夹中保存了超过222,000字的内容。谷歌认为她的作品过于露骨，违反了谷歌云端硬盘的服务条款，尽管谷歌的服务条款对教育、艺术和新闻目的的内容有例外规定。其他言情小说作家也报告了类似的事件，谷歌文档在2017年就曾因违反政策而将用户锁定在他们的内容之外。目前尚不清楚，如果作家创作的内容被谷歌认为不合适，他们将来是否还能使用谷歌产品。
康卡斯特推出Peacock、Netflix和Apple TV+捆绑套餐 (variety.com)
康卡斯特将于本月晚些时候推出一项名为StreamSaver的三方捆绑服务，其中包括Peacock、Netflix和Apple TV+，并提供大幅折扣。康卡斯特首席执行官Brian Roberts表示，该捆绑服务将对所有康卡斯特宽带和电视用户开放。他还表示，这三项流媒体服务的定价将“远低于目前市场上的任何产品”，但他没有透露任何定价细节。其目标是“为消费者增加价值”，同时“从”其他公司的流媒体业务中“分一杯羹”，同时加强康卡斯特的宽带服务产品。
Astra：谷歌对新款ChatGPT的“多模态”回应 (www.wired.com)
谷歌在I/O开发者大会上推出了名为Project Astra的“下一代人工智能助手”。Astra不仅可以理解语音指令，还能通过手机摄像头或智能眼镜识别物体和场景，并用自然语言进行对话。这款多模态AI模型由Gemini Ultra驱动，与OpenAI的GPT-4o类似，经过音频、图像、视频和文本的训练，能够以所有这些格式处理数据。谷歌认为，纯文本聊天机器人只是一个过渡阶段，多模态AI助手才是未来发展方向。
谷歌推出全新生成式AI视频模型Veo，目标用户为电影制作人 (www.theverge.com)
/cdn.vox-cdn.com/uploads/chorus_asset/file/25447441/Google_Veo_knitted_elephant_demo.jpg)
谷歌在 I/O 开发者大会上发布了最新的生成式 AI 视频模型 Veo，该模型可以根据文本、图像和视频提示生成高质量的 1080p 分辨率视频，时长超过一分钟，并支持多种视觉和电影风格。Veo 拥有对自然语言的理解能力，能够理解“延时摄影”或“风景航拍”等电影术语。谷歌表示，Veo 生成的视频更加一致和连贯，能够更逼真地描绘人物、动物和物体的运动。
美国1/4青少年使用VR头戴设备玩游戏 (www.uploadvr.com)
皮尤研究中心一项针对1453名13至17岁美国青少年的调查显示，有四分之一的青少年表示他们在VR头戴设备上玩游戏。按性别划分，32%的男孩和15%的女孩表示他们在VR头戴设备上玩游戏。该调查并未询问他们是否拥有头戴设备，因此这其中也包括那些使用兄弟姐妹或父母头戴设备玩游戏的人。
美国是否在利息支出上超过了国防支出？ (www.crfb.org)
文章指出，根据美国国会预算办公室的最新基线，2024财年美国利息支出预计将达到8700亿美元，而国防支出总额为8220亿美元。这是自1940年以来从未出现过的情况。文章还指出，净利息支出从2020财年的3450亿美元增加到2023年的6590亿美元，几乎翻了一番。占GDP的比例也从2020年的1.6%增长到2023年的2.4%。
网络垃圾信息横行：虚假专家“朱迪”与互联网的未来 (matt.sh)
这篇文章揭露了网络垃圾信息的泛滥现象，以虚构人物“朱迪”为例，她拥有各种头衔，从3D打印专家到营养学家，无所不能。作者指出，这些虚假人物的背后是大型联盟链接农场，他们利用搜索引擎优化、电子商务等手段，以获取点击和佣金为目的，制造了大量低质量的网页内容，污染了互联网信息环境。作者认为，“死亡互联网”理论并非空穴来风，网络欺诈和广告诱饵的盛行，源于平台监管的缺失，以及某些地区利用信息不对称进行剥削的现象。作者呼吁，未来互联网需要建立身份认证机制，以遏制网络垃圾信息的蔓延。