Anthropic绘制大语言模型内部概念地图 (www.anthropic.com)
Anthropic的研究人员成功地从大型语言模型Claude Sonnet中提取了数百万个特征，这些特征对应于各种概念，如城市、人物、科学领域、编程语法等，甚至还有一些抽象概念，如代码错误、性别偏见和保密。研究人员可以通过放大或抑制这些特征来观察模型行为的变化，例如，放大“金门大桥”特征会导致模型在回答问题时过度关注金门大桥，即使问题与金门大桥无关。这项研究为理解和提高人工智能模型的安全性提供了新的视角。
美国环保署将加强执法力度，应对水务部门的“关键”漏洞 (therecord.media)
美国环境保护署敦促水务公司采取行动改善其数字防御，此前发生了一系列网络攻击。 该机构的“执法警报”称，最近对水务系统的检查发现，超过 70% 的水务系统未能达到基本网络安全标准，包括一些具有“关键”漏洞的系统，例如依赖尚未更新的默认密码和“容易受到攻击”的单点登录。此前，一个俄罗斯黑客组织声称对德克萨斯州和印第安纳州的水务站点进行了数字攻击。 去年年底，与伊朗有关联的 Cyber Av3ngers 集团声称对宾夕法尼亚州的一个水务局发动了攻击。
规模效应下，罕见事件变得 commonplace (longform.asmartbear.com)
本文探讨了软件规模扩大后，罕见事件变得 commonplace 的现象。作者指出，随着服务器数量增加，即使单个服务器故障率很低，总体上每天都会发生故障。规模扩大还会导致客户支持、问题处理等方面的挑战。作者认为，自动化可以解决部分问题，但无法完全替代人工，特别是客户服务和罕见事件处理方面。文章最后强调了规模扩大带来的挑战，并建议公司在规划增长时要考虑到这些因素，包括人员配置、自动化和管理经验。
图形游戏 - 作者：Sabrina Ramonov (graphgame.sabrina.dev)
本文介绍了由Sabrina Ramonov开发的图形游戏。游戏内容未在文中详细描述，但根据标题推测可能与图论或网络结构相关。
128 位处理器的未来展望 (yarchive.net)
John R. Mashey 分析了 128 位处理器出现的可能性。他认为，基于物理内存的需求，128 位处理器可能在 2043 年左右出现。但如果虚拟内存的需求增长速度更快，这个时间点可能会提前到 2020 年左右。他也指出，128 位处理器的实现存在一些技术挑战，例如芯片空间、布线和门延迟等问题。
UI 密度：意义与设计方法 (matthewstrom.com)
这篇文章探讨了UI设计的密度问题，指出UI密度不仅仅是视觉上的密集程度，而是关于界面在一段时间内提供的信息量。作者引入了信息密度、设计密度和时间密度等概念，并结合案例分析了如何提高UI的价值密度。文章认为，UI密度最终目标是使用户在最短的时间和空间内获得最大的价值，速度、可用性、一致性、可预测性、信息丰富度和功能都在其中扮演着重要角色。
GitHub - norton120/educator-tools-87：一套40多年前创作的BASICA教育工具 (github.com)
本文介绍了一个名为“Educator Tool Suite '87”的BASICA程序套件，由作者的父亲Mike Knox在20世纪80年代后期编写。该程序套件旨在自动化和简化八年级科学教学中的日常工作，例如评分测试、分配课堂和实验室座位、监控出勤率、评分测试和州立 Regents 考试等等。该程序套件包括用于评分测试、生成随机学生座位分配、处理出勤率和曲线评分的实用程序。
Windows 的回归 (stratechery.com)
本文回顾了微软在 Satya Nadella 接任 CEO 后的发展历程，特别是在人工智能和云服务方面的战略转型。文章将微软与沃尔玛进行了类比，指出两家公司都成功地将新业务（电商和云服务）与传统业务（零售和 Windows）整合，实现了全渠道和差异化竞争。作者认为，微软通过 Copilot+ PC 和 Snapdragon X Elite 处理器等创新，为 Windows 带来了新的活力，使其在人工智能时代重新焕发生机。
“暗钱”组织如何帮助私人网络供应商游说反对市政宽带 (arstechnica.com)
美国许多城镇选择建设自己的宽带网络，因为私人网络供应商无法满足社区需求。然而，私人网络供应商并不甘心面对政府资助的竞争，他们试图说服选民，公共网络注定会成为无用之物。公共宽带倡导者表示，近年来，他们看到越来越多的“暗钱”组织攻击公共网络项目，这些组织通常是私人网络供应商资助的“社会福利”组织，他们利用法律漏洞隐藏捐助者信息，散布反对公共宽带的行业言论。
汽车与消费者数据：论非法收集和使用 (www.ftc.gov)
美国联邦贸易委员会（FTC）越来越关注联网汽车收集的大量敏感数据，例如生物识别、地理位置、视频和其他个人信息。FTC强调，公司没有免费许可将人们的信息货币化，其使用范围应超出提供其所请求产品或服务所需的用途，并且企业不应让商业模式的激励措施超过对有意义的隐私保护的需求。FTC将对非法收集、使用和披露消费者个人数据的行为采取行动，最近的执法行动已经证明了这一点。
不专注的人类并非通用智能 (www.skynettoday.com)
这篇文章探讨了OpenAI的GPT-2语言模型，指出该模型生成的文本虽然表面上流畅自然，但缺乏逻辑连贯性。作者认为，人类在不集中注意力的情况下，容易被GPT-2生成的虚假信息所迷惑，而专注的逻辑思考能力才是区分人类智能与机器模仿的关键。文章还提出，在充斥着机器生成文本的世界中，人们应当默认对未理解的内容持怀疑态度，避免被虚假信息误导。
人工智能需要巨大的计算能力，基于光的芯片能提供帮助吗？ (www.quantamagazine.org)
人工智能的快速发展对计算能力提出了巨大需求，传统的电子芯片功耗高，效率低，难以满足需求。光基芯片以光子代替电子进行信息处理，具有带宽高、速度快、效率高等优势，在矩阵乘法等人工智能计算任务中表现出潜力。尽管光学计算仍处于发展初期，但其在特定应用领域的优势以及未来超越电子系统的可能性，使其成为人工智能领域备受关注的研究方向。
你在谷歌地图上驾驶时，你正在重现一个古老的太空战斗模拟 (interconnected.org)
本文追溯了车载导航系统中箭头图标的起源。作者发现，谷歌地图中使用的箭头图标最初来自雅达利公司于1979年推出的街机游戏《小行星》。该游戏的灵感来源于1962年开发的太空战斗模拟游戏《太空大战》。作者认为，这种联系表明，即使是简单的设计元素也可能承载着丰富的历史和文化意义。
苹果为使新款 iPad Pro 更薄而对其内部进行了大量改动 (www.theverge.com)
/cdn.vox-cdn.com/uploads/chorus_asset/file/25454244/Screenshot_2024_05_18_at_12.02.42_PM.png)
新款 iPad Pro 非常轻薄却十分坚固，并且在可修复性方面也有所提升。iFixit 在拆解这款平板电脑时发现，iPad Pro 的 38.99Wh 电池很容易更换，这与过去的 iPad Pro 型号相比，可以节省数小时的维修时间。然而，其内部许多部件，包括逻辑板，都是用胶水粘合的，这使得拆卸扬声器会损坏扬声器，并且很容易意外弯曲平板电脑的子板。
重拾对一次性相机的热爱 (www.washingtonpost.com)
尽管科技不断发展，但许多人开始抵制科技对生活的过度侵入，转而青睐老旧技术。例如，一些人用“哑巴”设备取代智能设备，用黑胶唱片机取代AirPods。年轻人重新发现了已被遗忘的一次性相机，享受着拍摄后等待显影结果的怀旧感和模糊美感。
构建 AI 游戏工作室：我们目前的收获 (braindump.me)
Braindump 致力于探索在 LLM 和生成式 AI 的新时代，游戏创作的可能性。Braindump 提供一个完整的 AI 游戏工作室，包括程序员、艺术家等，帮助用户创建梦想中的游戏。用户可以通过简单的提示，构建自顶向下/2.5D 游戏或交互式世界，例如，输入“创建一个可以发射激光并投掷 BB-8 炸弹的星际战斗机”，就能生成 3D 模型、游戏数据和脚本，将用户的想法变为现实。用户可以立即玩游戏，甚至邀请朋友一起玩。文章还介绍了 Braindump 在设计提示 UX、为 LLM 设计游戏 API、协作编辑、基准测试等方面的挑战和解决方案。
GitHub - dtonon/oracolo: 由单个 HTML 文件组成的极简 Nostr 博客 (github.com)
Oracolo 是一款由 Nostr 驱动的极简博客，仅包含一个 HTML 文件，大小约为 140Kb。它甚至可以在没有网络服务器的情况下运行；例如，您可以通过电子邮件将其作为名片发送。它使用丑陋的哈希路由来实现功能齐全的永久链接，而无需任何额外的服务器级配置来捕获所有 URL。
逆向工程游戏 Choplifter (blondihacks.com)
本文详细记录了作者逆向工程 Apple II 游戏 Choplifter 的过程。作者详细介绍了工具、方法和思路，包括如何从键盘处理程序入手，逐步理解代码结构，以及如何利用全局变量、零页和跳转表等关键要素。作者还分享了调试过程中的心得体会，以及对游戏代码的评价，包括其代码风格、性能优化和潜在的改进空间。
GitHub - ImageOptim/gifski: 基于 libimagequant (pngquant) 的 GIF 编码器。从糟糕的 GIF 格式中榨取最大可能的质量 (github.com)
gifski是一个基于pngquant的最高质量的GIF编码器。它使用pngquant的强大功能将视频帧转换为GIF动画，以实现高效的跨帧调色板和时间抖动。它生成每帧使用数千种颜色的动画GIF。它是一个CLI工具，但也可以编译成C库，以便在其他应用程序中无缝使用。
参与Eudyptula挑战 (lwn.net)
Eudyptula挑战是一系列针对内核开发的难度递增的任务，旨在帮助人们学习Linux内核开发。挑战者通过电子邮件与Little互动，完成构建、修改和运行内核等任务，并学习内核编程风格、提交补丁等知识。挑战涵盖了内核的众多领域，包括设备创建、调试文件系统、内核数据结构、内存分配、内核线程等。尽管挑战存在一些问题，比如文档分散、等待时间长等，但它仍然是学习内核开发的一种有趣且有效的方式。
利用专家小组进行更好的LLM提示 (sourcery.ai)
文章介绍了一种名为“专家小组”的大语言模型提示方法，该方法通过模拟专家讨论来提高模型推理能力，解决LLM在复杂任务中可靠性不足的问题。作者详细介绍了该方法在代码文档审查中的应用，通过构建专家小组讨论代码更新对文档的影响，最终将错误率从40%降低到20%。文章还提到了该方法的成本效益，虽然成本有所增加，但性能提升显著，因此值得采用。
我们创建了 Meta 的 TestGen-LLM 的第一个开源实现 (www.codium.ai)
CodiumAI发布了Cover-Agent，它是Meta的TestGen-LLM的第一个开源实现。TestGen-LLM是一个完全自动化的工具，用于增加测试覆盖率，它首先生成大量测试，然后过滤掉那些无法构建/运行的测试，删除任何未通过的测试，最后丢弃那些没有增加代码覆盖率的测试。Cover-Agent 在实现TestGen-LLM的过程中遇到了一些挑战，例如处理 Python 中重要的空格、为 LLM 提供额外的上下文、处理复杂的代码需要多次迭代，以及无法在扩展现有测试套件时添加库导入。
noTunes：阻止 iTunes 和 Apple Music 启动的 macOS 应用 (github.com)
noTunes 是一款 macOS 应用，可阻止 iTunes 或 Apple Music 启动。该应用提供了菜单栏图标以切换功能，用户可通过设置让其在开机时启动。此外，noTunes 还允许用户设置替代音乐应用程序或网站，以便在 iTunes/Music 尝试启动时打开。
驼峰式命名法与下划线命名法：科学对决 (whatheco.de)
本文探讨了编程中两种命名规范的优缺点：驼峰式命名法 (CamelCase) 和下划线命名法 (underscores)。作者引用了一篇研究论文，该论文表明驼峰式命名法在程序员中的准确性更高，但阅读速度较慢。作者对该研究结果进行了分析，并指出阅读速度的差异可能对代码可读性产生影响。文章最后鼓励读者根据自身经验和偏好选择合适的命名规范。
研究发现：温暖海水导致“末日冰川”每年消融半英里 (interestingengineering.com)
一项新的研究表明，南极洲西部被称为“末日冰川”的思韦茨冰川正在受到暖流和高压海水的侵蚀，导致其迅速融化。这种现象在整个南极洲和格陵兰岛普遍存在，可能导致全球海平面上升预测的重新评估。加州大学欧文分校的研究人员利用高分辨率卫星雷达数据发现了暖流和高压海水侵入冰川下方的证据。研究人员指出，海水和冰川之间广泛接触导致了“剧烈融化”，这可能会改变全球海平面上升的预测。
谷歌宣布推出支持Ollama的Firebase Genkit (ollama.com)
在2024年谷歌 I/O 大会上，谷歌推出了 Firebase Genkit，支持 Ollama 在本地机器上运行谷歌的开源 Gemma 模型。Firebase Genkit 是一个新的开源框架，供开发者构建、部署和监控可投入生产的AI驱动应用程序。Firebase Genkit 可与 MacOS、Windows、Linux 和 Docker 容器上的 Ollama 协同工作。
Erlang/OTP 27 新特性亮点 (www.erlang.org)
Erlang/OTP 27 正式发布，本文将介绍其最受关注的新特性。其中包括：改进的文档系统，引入三重引号字符串和Sigils，默认启用maybe表达式，全新的json模块，进程标签功能，STDLIB新功能，支持SSL客户端stapling，新增tprof分析工具，多跟踪会话支持，原生代码覆盖率支持，以及对archives功能的弃用声明。