氢动力空中出租车试飞成功，航程达842公里 (www.popsci.com)
Joby Aviation公司一架氢动力垂直起降飞行器完成了842公里的测试飞行，据称只留下了水蒸气尾迹。该公司致力于打造更环保的区域短途航空出行方式。该飞行器为改装后的电池动力原型机，加装了液氢燃料箱和燃料系统。测试表明，氢动力可以有效提升电动飞机的航程。虽然氢动力大规模应用的可行性尚待观察，但这项技术有望降低航空运输业的碳排放。
WebAssembly：一项正在被悄然扼杀的有前途的技术 (kerkour.com)
文章认为WebAssembly是一项有前途的技术，但它正被悄然扼杀。文章没有详细说明WebAssembly是什么以及它为何重要，也没有提供关于其如何被“扼杀”的具体证据或例子。
沃尔玛今日起以 649 美元的价格销售搭载 M1 芯片的 MacBook Air (www.macrumors.com)
从今天开始，美国部分沃尔玛门店和 Walmart.com 将以 649 美元的优惠价格销售搭载 M1 芯片的 MacBook Air。沃尔玛于 3 月份首次开始以 699 美元的价格直接销售搭载 M1 芯片的 MacBook Air，这标志着该零售商首次直接销售 Mac 电脑。现在，在返校购物季来临之际，这款电脑的价格更是降到了 649 美元。目前尚不清楚这项优惠活动将持续多久。
Claude 3.5 Sonnet 测评：全新大型语言模型，性能提升显著 (thezvi.substack.com)
文章测评了最新发布的Claude 3.5 Sonnet大型语言模型，认为其在速度、成本和性能方面均优于之前的模型，尤其在编码、文档处理、创意写作和图像理解方面有显著提升。文章还介绍了Sonnet的新功能，如Artifacts，可以让Claude在独立窗口中执行代码、创建文档等操作。作者对Sonnet的安全性、递归自我提升能力以及未来发展进行了分析，认为Sonnet是目前最好的大型语言模型，但仍存在逻辑错误等问题。
亚历山大·阿比安 (en.wikipedia.org)
亚历山大·阿比安（1923年1月1日-1999年7月24日）是一位出生于伊朗的美籍亚美尼亚数学家，他在爱荷华州立大学任教超过25年。他因经常在各种Usenet新闻组上发表文章以及主张摧毁月球而闻名。阿比安认为，炸毁月球将结束几乎所有自然灾害，因为没有月球的地球不会摇晃，从而消除四季及其相关事件，如热浪、暴风雪和飓风。
法官驳回针对 GitHub Copilot AI 编码助手的诉讼 (www.infoworld.com)
美国旧金山地区法院法官驳回了一项集体诉讼，该诉讼质疑 GitHub 使用代码示例训练其 AI 驱动的编码助手 Github Copilot 的合法性。该诉讼最初于 2022 年 11 月提起，声称 GitHub 在公共 GitHub 代码存储库上训练 Copilot AI 侵犯了在 GitHub 上根据开源许可发布代码的“大量创建者”的权利。该诉讼由律师兼开源程序员 Matthew Butterick 与 Joseph Saveri 律师事务所联合提起。加州北区法官 Jon S. Tigar 在 6 月 24 日首次宣布、但直到 7 月 5 日才公开的裁决中写道，原告未能根据法律确定，任何不当得利的赔偿都可以作为原告对违反合同索赔的损害赔偿措施。
txtai： 一体化嵌入数据库 (neuml.github.io)
txtai是一个一体化嵌入数据库，用于语义搜索、LLM编排和语言模型工作流程。它结合了向量索引、图形网络和关系数据库，支持向量搜索、主题建模、检索增强生成等功能，并可作为大型语言模型的知识来源。txtai的功能包括：使用SQL进行向量搜索，对象存储，主题建模，图形分析和多模式索引；创建文本、文档、音频、图像和视频的嵌入；由语言模型驱动的管道，用于运行LLM提示、问答、标记、转录、翻译、摘要等；将管道连接在一起并聚合业务逻辑的工作流程；使用Python或YAML构建，并提供JavaScript、Java、Rust和Go的API绑定；在本地运行或使用容器编排进行扩展。
从Claude 3 Sonnet中提取可解释特征 (transformer-circuits.pub)
这篇论文介绍了Anthropic如何使用稀疏自编码器从Claude 3 Sonnet模型中提取可解释特征。研究发现，这些特征高度抽象，涵盖多语言、多模态，并能概括同一概念的抽象和具体实例。一些特征与安全相关，例如代码中的安全漏洞、偏见、欺骗和犯罪内容。论文还探讨了特征的可解释性、对模型行为的影响，以及与其他方法的比较。
Edelman构建意识artifacts的步骤 (arxiv.org)
本文描述了Gerald Edelman在2006年提出的构建意识artifacts路线图。Edelman认为构建这样的artifacts需要经历一系列关键步骤，包括构建能够进行复杂感觉运动控制的机器人、赋予机器人进行自适应行为和学习的能力，以及最终实现类似意识的特性。
AMD 数据泄露：IntelBroker 窃取员工和产品信息 (hackread.com)
据报道，AMD公司遭到黑客IntelBroker攻击，大量敏感信息被盗，包括ROM、固件源码、员工和客户数据库、财务信息、未来产品计划等。黑客在网络犯罪平台Breach Forums上发布了这一消息，并表示将出售这些数据。AMD公司目前尚未证实此事。
红盒子母公司Chicken Soup for the Soul Entertainment申请破产保护 (deadline.com)
红盒子母公司Chicken Soup for the Soul Entertainment因财务困境，已申请破产保护。该公司在2022年以3.75亿美元收购红盒子后，一直面临财务压力。同时，好莱坞电影公司的影片供应也因2023年的双重罢工而受到限制，加剧了实体光盘租赁业务的持续下滑。
RR：轻量级录制与确定性调试工具 (rr-project.org)
RR 是一款用于 Linux 的 C/C++ 调试工具，旨在增强 GDB 的功能。它允许开发者录制程序执行过程，并根据需要反复调试，保证每次回放的执行过程完全一致。RR 还提供高效的反向执行功能，支持断点和数据断点，并快速反向执行到触发点。RR 适用于各种应用程序，包括 Firefox、Chrome 等，并被广泛用于修复各种错误。
Mercurial 实在太优秀了 (baez.link)
这篇文章介绍了版本控制工具 Mercurial 的优点，指出其设计理念注重用户友好和简洁易用，相较于 Git 更容易上手。虽然 Mercurial 功能强大且易于使用，但由于其过于完善，反而导致了市场份额的下降。尽管如此，近年来 Mercurial 逐渐复苏，并凭借其优势在特定领域得到应用。
麻省理工学院CHARMed合作项目创造出一种治疗致命性朊病毒疾病的有效候选药物 (news.mit.edu)
麻省理工学院和哈佛大学Broad研究所的研究人员开发出一种名为CHARM的基因沉默工具，可以关闭导致疾病的基因，例如朊病毒蛋白基因。CHARM通过表观遗传编辑起作用，在DNA中添加化学标签以关闭或沉默目标基因。与基因编辑不同，表观遗传编辑不会改变底层DNA，并且是稳定的，这意味着被CHARM关闭的基因应该会保持关闭状态。研究人员认为CHARM可以有效治疗遗传性疾病，例如遗传性朊病毒疾病。
逃离盒子：美国汽车销售的黑暗面 (prospect.org)
本文揭露了美国汽车销售行业充斥着欺骗和不道德行为的现象。作者通过讲述汽车金融经理Jase Patrick的经历，揭示了经销商如何利用信息不对称、强制融资、附加产品等手段来欺骗消费者，从中牟取暴利。文章还批评了监管机构执法不力，以及消费者维权困难的现状。
致富之道 🤷♂️ (keenen.xyz)
这篇文章批判了Paul Graham关于财富不平等的观点。作者认为，Graham试图淡化人们对财富不平等的担忧，声称科技创业的兴起让更多人有机会致富。然而，作者反驳道，科技创业只让少数人受益，大多数人缺乏创业的安全网和资源。作者批评Graham将财富不平等归咎于创业公司增多，认为这掩盖了富人越来越富、穷人越来越穷的现实。
日本利用商用光纤实现402 Tb/s数据传输速率，创下世界纪录 (www.tomshardware.com)
日本信息通信技术国家研究所联合其他机构，利用商用光纤电缆创造了402 Tb/s的数据传输纪录。这项技术利用了未使用的37 THz带宽，通过六种放大器和一种光增益均衡器实现了信号传输。这项技术有望延长现有光纤基础设施的使用寿命，并推动新一代互联网服务的發展。
图像化操作生成符号：与计算机沟通 (archive.org)
这篇文章介绍了“窗口和鼠标”风格用户界面的设计历程，该界面以苹果Macintosh最为知名。文章追溯了上世纪60年代的Sketchpad、NLS和Grail等先驱理念，以及这些理念如何影响了施乐帕克研究中心在Smalltalk项目中与儿童的合作。最后，文章探讨了人类心理学和多重心智理论，这些理论对帕克研究中心设计师的工作有所帮助。
伊顿公学用诺基亚“砖头机”取代一年级学生的智能手机 (www.businessinsider.com)
英国著名寄宿学校伊顿公学将从今年9月开始，禁止一年级学生使用智能手机，转而为他们提供老式诺基亚手机。学校还将为学生提供用于学习和上网的iPad。校方表示，此举是为了平衡科技带来的利弊，帮助学生应对日益数字化的世界。
微软悄然删除将 Windows 11 账户转换为本地账户的指南 (www.tomshardware.com)
微软官方网站上的 Windows 11 使用指南中，关于如何将微软账户转换为本地账户的说明已经消失。尽管将登录凭据转换为本地账户的操作仍然可以实现，但微软似乎正在逐步淡化这一选项，并鼓励用户使用微软账户登录，以便更好地整合其服务并实现跨设备同步。
Tailkits: 最佳 Tailwind CSS 模板、组件等 (tailkits.com)
Tailkits 是一个精选的 Tailwind CSS 资源平台，包括模板、组件、工具等，旨在简化 Web 开发流程，为设计人员和开发人员提供一流资源。平台上的资源经过精心挑选和测试，确保与 Tailwind CSS 兼容并在所有设备上都能实现最佳性能。Tailkits 还提供免费资源和教程，是您了解 Tailwind CSS 的一站式资源。
珠宝商如何捕获每一粒金尘？ (www.ft.com)
本文介绍了珠宝制造过程中贵金属回收的行业秘密。珠宝商利用各种方法收集生产过程中产生的金屑、粉尘等废料，这些看似不起眼的废料经过专业回收和提炼后，价值可达数千甚至数万英镑。文章还介绍了回收技术的发展，从传统的收集方法到现代化的密封研磨机和吸尘装置，以及一些珠宝商为最大程度回收贵金属所采取的额外措施。
Forsp：一种 Forth 和 Lisp 的混合 Lambda 演算语言 (xorvoid.com)
Forsp 是一种将 Forth 和 Lisp 结合起来的新型编程语言，它基于 Lambda 演算，语法类似 Lisp，使用 S 表达式，函数抽象也类似 Lisp，但函数应用像 Forth。Forsp 拥有类似 Lisp 的环境结构和词法作用域闭包，使用 Cons-cell、列表和原子，并像 Forth 一样使用值/操作数堆栈。它能够表达 Lambda 演算，采用按值传递调用顺序，只有三个语法特殊形式：'、^、$，只有一个求值时特殊形式：quote，只需要 10 个基本函数即可自我实现。
Llama 3：赋能Telegram聊天，开启无限知识之门 (www.telegrambots.ai)
Llama 3 AI现已接入Telegram，具备互联网访问能力，为用户聊天带来无限知识。它可以回答任何链接的问题，总结文章和视频内容，甚至可以充当编程助手，提供代码建议。用户可以通过每月7美元或每年70美元的价格订阅使用。
“最具原创性的展览之一”：1888 年维也纳海报展 (www.austrianposters.at)
1888 年 4 月，维也纳举办了一场为期 12 天的国际海报展，展出了来自世界各地的 1000 多幅海报和广告。这次展览由经济学家兼作家 Alexander von Dorn 构思，由 Wilhelm von Schwarz-Senborn 组织，旨在为维也纳第一家公共图书馆筹集资金。展览展出了来自奥地利、美国、英国、法国、德国、意大利、俄罗斯等国的海报，突出了海报作为一种新兴广告媒介的重要性，并引发了关于其设计、文字运用和尺寸的理论思考。
幸福的真相 (www.optimallyirrational.com)
本文探讨了幸福的本质，指出幸福并非持久状态，而是一种引导我们追求成功的进化机制。作者引用了生物学和认知神经科学的观点，解释了人类为何会对幸福感产生适应性，以及这种适应性如何影响我们的决策和行为。文章还探讨了财富和成功与幸福感之间的关系，指出即使实现了目标，我们也难以获得持久的幸福感。
Unique3D：从单张图像生成高质量高效三维网格的官方实现 (github.com)
Unique3D项目能够从单张图像生成高质量且高效的三维网格。该项目提供Gradio和Huggingface演示，并支持本地部署和ComfyUI。用户可以通过上传图像，在30秒内生成带有纹理的精细三维模型。项目仍在开发阶段，未来将发布更多功能，如权重上传、详细教程、Docker支持以及训练代码。
打包Swift应用到Alpine Linux (mko.re)
这篇文章探讨了在 Alpine Linux 上打包 Swift 应用程序的不同方案，因为 Swift 工具链无法直接在 Alpine Linux 上运行。文章介绍了三种方法：运行预构建的二进制文件、将二进制文件与加载器和库打包以及交叉编译静态 Linux 二进制文件。作者详细解释了每种方法的步骤、优缺点以及最终包大小的比较。
