如何让七年级学生吸烟 (www.experimental-history.com)
作者从一篇1989年的研究论文中了解到，一项名为“情绪”的反毒品项目，原本旨在帮助学生管理负面情绪，却意外导致参与该项目的七年级学生比未参与任何项目的學生吸食更多香烟、大麻和酒精。文章进一步探讨了类似的项目，如“Scared Straight”项目、D.A.R.E项目和正念训练，这些项目要么对学生造成伤害，要么未能提供帮助。作者认为，人们高估了改变他人的容易程度，并列举了三个原因：对他人的认知模糊、对改变的持久性期望过高以及理论缺乏可证伪性。
优化 ClickHouse：我们有效的策略 (www.highlight.io)
Highlight.io 公司每月需要处理近 100TB 的可观测性数据，其中很大一部分数据需要使用 ClickHouse 集群进行处理。为了提高 ClickHouse 集群的效率，该公司采取了多种优化策略，包括使用更大的插入批次、将数据保存在宽分区中、优化排序粒度、检查合并级别、避免使用投影、TTL 优化和清除旧分区等。这些策略有效降低了 CPU 负载，提高了查询性能，并为客户带来了更实时的体验。
专为北美道路设计的重型卡车：沃尔沃 VNL (arstechnica.com)
沃尔沃推出新款VNL重型卡车，专为北美市场设计。该车型注重燃油效率和安全性，采用了空气动力学设计，并将Super Truck项目中的技术应用到实际生产中，例如连接驾驶室和拖车的整流罩，可将整体燃油效率提高7%。与欧洲卡车不同，VNL没有速度限制，因此设计重点是减少阻力。此外，沃尔沃还注重提高安全性，以帮助卡车保持运行，保护资产和货物，并吸引和留住司机。
Proxmox VE 助手脚本 | 使用 Proxmox VE 简化您的家庭实验室的脚本 (helper-scripts.com)
Proxmox VE 助手脚本是一系列脚本，旨在简化 Proxmox VE 家庭实验室的管理。这些脚本提供了各种功能，使用户能够更轻松地执行常见任务。
素食对心血管健康和癌症风险的影响：一项综述研究 (journals.plos.org)
这篇综述研究评估了无动物性和无动物产品饮食对心血管疾病、癌症及其相关死亡率风险因素的影响。研究结果表明，素食与更好的血脂状况、血糖控制、体重/身体质量指数、炎症以及较低的缺血性心脏病和癌症风险显著相关。素食还与心血管疾病死亡率降低相关。然而，在遵循素食的孕妇中，没有发现妊娠期糖尿病和高血压风险的差异。该研究的局限性在于研究人群在样本量、人口统计、地理来源、饮食模式和其他生活方式混杂因素方面的高度异质性。
Rust核心库和分配库的翻译 (formal.land)
本文介绍了使用coq-of-rust工具将Rust核心库和分配库翻译成Coq形式验证系统的过程。作者详细阐述了如何克服翻译过程中遇到的挑战，包括处理标准库中的原生结构、拆分生成的大型Coq代码文件以及修复模块名称冲突等问题。作者还提供了一个unwrap_or_default方法的翻译示例，并解释了如何证明其与简化函数代码的等价性。最后，作者总结了该工作的成果和未来的目标，即简化验证过程并提高验证效率。
Adobe Photoshop 源代码 (computerhistory.org)
本文讲述了Adobe Photoshop的起源和发展历程。Photoshop最初是由Thomas和John Knoll兄弟在20世纪80年代后期设计和编写的图像编辑程序。1990年，Adobe发布了Photoshop 1.0版本，该版本主要使用Pascal语言编写，并在摩托罗拉68000微处理器上运行。文章详细介绍了Photoshop 1.0版本的源代码，并附带了早期版本的截图和用户指南。
2023 年的气温至少是 2000 年来最高的 (arstechnica.com)
根据最新的研究，2023 年北半球的夏季气温是至少 2000 年来最高的。研究人员通过对比树木年轮数据和气温记录发现，2023 年夏季气温比 1850-1900 年的平均气温高 2.3 摄氏度，比公元 246 年的最高气温还要高 1.2 摄氏度。这项研究表明，近期的全球变暖趋势是史无前例的。
奇特弯曲形状打破了 50 年前的几何猜想 (www.quantamagazine.org)
本文介绍了数学家如何推翻了一个关于曲率和形状之间关系的主要猜想——米尔诺猜想。米尔诺猜想认为，如果一个完备流形的里奇张量处处非负，那么它就不能有无限个洞。然而，数学家们构建了一个七维光滑分形雪花，它在每一点都具有非负里奇曲率，但却拥有无限个洞，从而推翻了米尔诺猜想。这一发现表明，具有非负里奇曲率的形状比数学家们预期的更加灵活，也更加复杂，这使得我们对局部几何性质和全局拓扑性质之间的关系的理解变得更加复杂。
FBI查封泄露被盗数据的黑客论坛BreachForums (www.bleepingcomputer.com)
美国联邦调查局（FBI）查封了臭名昭著的黑客论坛BreachForums，该论坛曾泄露并出售窃取的企业数据给其他网络犯罪分子。此次查封行动发生在该网站被用于泄露从欧洲刑警组织执法门户网站窃取的数据后不久。FBI获得了该黑客论坛的后端数据，包括电子邮件地址、IP地址和私人消息，这些信息可能会暴露成员身份并用于执法调查。BreachForums是RaidForums和Breached的继任者，这两个论坛都曾被执法部门查封。FBI正在请求受害者和知情人士提供有关该黑客论坛及其成员的信息，以协助他们进行调查。
SMTP 550-5.7.1 被弗吉尼亚州重新划分选区拒绝 (www.khanna.law)
本文讲述了作者妻子Lisa在给弗吉尼亚州参议员Ghazala Hashmi发送邮件邀请时遇到了SMTP 550-5.7.1错误。原因是弗吉尼亚州最高法院在2021年12月重新划分了选区，导致参议员Hashmi的选区号码发生了变化，而立法机构的IT部门决定不再允许使用选区号来发送邮件。作者对政治与技术以这种奇特的方式碰撞感到着迷，认为这是一个高度技术性的邮件服务器响应，引用了政治上的重新划分选区，证明了我们的系统是如何相互关联的。
空气质量监测仪对比：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传感器）、开源和开放数据许可，以及更低的价格。
IBM与企业设计的变革 (computerhistory.org)
本文回顾了IBM在20世纪60年代如何通过设计改革塑造企业形象。IBM聘请了Eliot Noyes担任设计总监，Noyes简化了IBM的设计风格，使其更具现代感。他还召集了Charles和Ray Eames夫妇等知名设计师团队，通过展览、电影和书籍等多种形式，将计算机定位为人类理性的自然延伸，提升了公众对IBM的认知，也影响了美国社会对计算机技术的看法。
适用于使用 Postgres 应用程序的通知程序模式 (brandur.org)
本文介绍了 Postgres 中 listen/notify 的强大功能，并提出了一种名为“notifier pattern”的优化方案。该方案使用单一连接处理所有通知，减少连接资源浪费，并通过缓冲通道和可中断接收循环确保系统稳定性。文章还探讨了处理连接异常的策略，建议采用“let it crash”的思想，即在连接异常时重启程序，以确保系统恢复到健康状态。
Astra：谷歌对新款ChatGPT的“多模态”回应 (www.wired.com)
谷歌在I/O开发者大会上推出了名为Project Astra的“下一代人工智能助手”。Astra不仅可以理解语音指令，还能通过手机摄像头或智能眼镜识别物体和场景，并用自然语言进行对话。这款多模态AI模型由Gemini Ultra驱动，与OpenAI的GPT-4o类似，经过音频、图像、视频和文本的训练，能够以所有这些格式处理数据。谷歌认为，纯文本聊天机器人只是一个过渡阶段，多模态AI助手才是未来发展方向。
我们如何让Plane的自托管在超过10万次Docker部署和4.4万次Kubernetes部署中变得轻而易举 (plane.so)
文章介绍了Plane如何通过简化自托管流程，使其在超过10万次Docker部署和4.4万次Kubernetes部署中变得容易。文章详细解释了Plane如何通过提供预构建的Docker镜像、Helm Charts以及易于使用的CLI工具来简化部署过程，使用户可以轻松地在自己的服务器上部署和管理Plane。
AI导致面试难度飙升 (www.softwaredesign.ing)
文章指出，由于AI工具的普及，比如Ultracode和Cheetah，求职者可以使用这些工具轻松解决面试中的难题，导致面试难度大幅提升。作者举例说明了2024年科技公司面试中出现的难题，并指出这些难题即使对于有经验的开发者来说也难以在规定时间内解决。作者认为，这种现象会导致真正学习的人才被淘汰，并提出唯一的解决方案是进行线下现场面试。
内华达州被误控虐待儿童的父母对德克萨斯州医院提起民事诉讼 (mynews4.com)
内华达州里诺市的一对夫妇因其年幼的儿子被误诊为婴儿摇晃综合症而被儿童保护服务机构带走，这对夫妇被错误地指控虐待儿童，他们的孩子被寄养了五个月。后来，医疗文件显示，他们的儿子实际上是出生时受了伤，并患有良性外脑积水。这对夫妇被免除了所有不法行为的指控，德克萨斯州法院下令将孩子们送回家。然而，为了支付法律代理费用，这对夫妇不得不卖掉房子，丈夫也丢了工作。这对夫妇后来搬到了里诺，与他们的律师一起处理此案，并对这家德克萨斯州的医院提起了民事诉讼。
添加sysctl以禁用Nagle算法 (marc.info)
这篇文章讨论了是否应该在OpenBSD操作系统中禁用Nagle算法。Nagle算法旨在通过合并小数据包来提高网络效率，但它也会增加延迟。作者指出，在现代网络环境中，Nagle算法的优势不再明显，而且它与延迟确认机制相互作用，可能会降低性能。文章提议添加一个新的sysctl选项来全局禁用Nagle算法，并将其作为未来OpenBSD版本中的默认设置。
切割与分割我的日子 (worldhistory.substack.com)
本文探讨了人类计时方法的演变，从古代的日晷、水钟到现代的机械钟表。作者以古罗马剧作家普劳图斯对钟表的厌恶为切入点，生动描绘了计时工具如何将我们的生活切割成一个个小片段。文章详细介绍了各种古代计时工具的设计和原理，并以精美图片展示了其艺术价值。
你公司的“老板软件”可能会让你陷入法律麻烦 (www.kolide.com)
本文探讨了“老板软件”（Bossware）的使用带来的法律风险。“老板软件”是指公司用来监控员工的技术，例如记录键盘输入、访问网络摄像头等。随着远程工作的兴起和隐私意识的提高，员工监控软件越来越不受欢迎。美国国家劳资关系委员会（NLRB）正采取行动限制“老板软件”的使用，因为它经常被用于压制或阻止工作场所的组织活动。此外，许多国家和美国的一些州已经对公司如何使用“老板软件”施加了限制。作者建议公司在实施“老板软件”之前仔细考虑其合法性和必要性，并提出了一些问题供公司自查，例如该软件是否会压制工会组织、是否会带来数据泄露的风险、是否会违反歧视法等。
罗马帝国的衰落：瘟疫是预兆 (thebulletin.org)
本文探讨了公元166年爆发的安东尼瘟疫对罗马帝国的影响。这场瘟疫可能是世界上第一场大流行病，它在一个已经面临气候变化、粮食不安全和社会动荡的帝国中爆发。瘟疫暴露并加剧了罗马帝国的脆弱性，加速了其“黄金时代”的结束，尽管罗马帝国在其后仍然延续了200多年。作者认为，现代社会可以从罗马帝国的经历中吸取教训，认识到全球互联性和环境因素对流行病的影响，并采取措施预防和应对未来的公共卫生危机。
1988年和1990年的最早表情符号集被发现 (blog.emojipedia.org)
文章介绍了游戏开发者Matt Sephton发现的早于软银1997年表情符号集和1995年Pocket Bell寻呼机的表情符号设计。最早的表情符号集发现于1988年10月发布的夏普PA-8500 PDA设备中，包含100多个表情符号。随后在1990年8月，NEC发布了他们的PI-ET1 PDA，包含130多个表情符号。这些发现修正了表情符号的历史，表明早在手机之前，PDA设备就已经开始使用表情符号。
Brane Dump: “这个项目还在维护吗？” (www.hezmatt.org)
这篇文章探讨了开源项目维护者与用户之间关于“维护”的理解差异。作者认为，许多开源项目实际上是由开发者为了自身需求而创建和维护的，并不一定能提供用户期望的支持。作者提出了一种“开源维护者宣言”，旨在阐明开源项目的维护现状，避免用户产生不切实际的期望。
何时才算一名优秀的反恐精英玩家？ (two-wrongs.com)
文章探讨了如何评估《反恐精英》游戏中的玩家技能。作者认为，仅仅依靠杀敌/死亡率并不能完全准确地评估玩家水平，更重要的是玩家对团队获胜的贡献程度。作者分析了Leetify评分系统，该系统通过统计玩家在游戏中的各种事件，并根据这些事件对获胜概率的影响来评估玩家水平。作者通过分析自己的比赛数据，发现击杀率和死亡率对Leetify评分的影响最大，并得出一个结论：如果玩家在与对手的交火中有至少54%的胜算，就应该选择交战，否则就应该选择撤退。
Commodore 64 计算机也能运行人工智能生成图像 (www.tomshardware.com)
Commodore 64 计算机，这款古老的个人电脑，也能运行 AI 生成图像。开发者 Nick Bild 成功构建了一个生成式 AI 工具，可以在 Commodore 64 上创建 8x8 的精灵图，并以 64x64 的分辨率显示。生成一张图片需要 20 分钟运行 90 次迭代，但考虑到硬件年代久远，这已经很不错了。
谷歌推出全新生成式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 生成的视频更加一致和连贯，能够更逼真地描绘人物、动物和物体的运动。
革命性的遗传学研究表明RNA可能主宰着我们的基因组 (www.scientificamerican.com)
科学家们最近发现，人体内存在着数千种能够控制人体的活性RNA分子。长期以来，人们一直认为DNA是生命的主要遗传物质，而蛋白质是执行生命功能的工具。然而，ENCODE项目的研究表明，多达75%的基因组会被转录成RNA，其中很大一部分是非编码RNA（ncRNA）。ncRNA不编码蛋白质，但参与其他分子进行生化任务，例如调控基因活性、形成细胞器、参与免疫系统等。这一发现颠覆了我们对遗传编程的理解，表明RNA可能在生命活动中扮演着比之前认为的更重要的角色。