英特尔91.6万磅“超级负载”横穿俄亥俄州，导致道路封闭9天 (www.tomshardware.com)
英特尔将在未来几周内接管俄亥俄州南部的道路，因为它正在建设新的俄亥俄州一号园区，这是一个耗资280亿美元的项目，旨在创建一个占地1000英亩的园区，其中有两家芯片工厂，并有更多空间。这个项目被称为新的“硅心脏地带”，将成为美国中西部第一个领先的半导体制造厂，一旦投入运营，将致力于英特尔工艺的“埃时代”，即20A及以后。除了为该地区带来就业机会外，英特尔还寻求通过向当地学校和大学投资数百万美元，为当地学生提供在晶圆厂工作的工具，从而与俄亥俄州建立良好的关系。
关于谷歌PlayStore应用更新的公告 (github.com)
Termux 核心团队发布公告，澄清近期由原开发者 @fornwall 在 PlayStore 上架的 v0.120 版本并非团队所为。该版本基于旧代码，功能相当于 v0.108，存在已知问题且违反 PlayStore 政策，随时可能下架。团队强调，目前官方版本仍通过 F-Droid 和 GitHub 发布，PlayStore 版本仍然不被推荐。
欧洲航天局宣布阿里安6号火箭将于7月9日首飞 (www.esa.int)
欧洲航天局局长约瑟夫·阿施巴赫尔在柏林航展上宣布，阿里安6号火箭将于2024年7月9日从法属圭亚那的欧洲航天发射中心首飞。阿里安6号是欧洲最新的重型运载火箭，取代了极其成功的阿里安5号。它采用模块化和灵活设计，拥有可重复点火的上级，能够在一次飞行中将多个任务送入不同的轨道。
Devon：开源结对编程工具 (github.com)
Devon是一款开源的结对编程工具，可以帮助开发者进行多文件编辑、代码库探索、配置编写、测试编写和错误修复等任务。它支持多种模型，包括Claude 3、Opus、GPT4-o、Grok和Ollama。Devon目前还处于早期开发阶段，但已经具备了一些基本功能。
美国联邦航空管理局从空中移除的“不雅”航点名称 (www.beautifulpublicdata.com)
本文讲述了美国联邦航空管理局（FAA）自2015年以来，因各种原因，对368个导航航点进行重命名的故事。其中包括因特朗普的 waterfront estate 附近存在以他名字命名的航点而引发的争议，以及其他一些由于涉及色情、政治、心理健康等敏感词汇而被改名的航点。
八百万像素及更多：改进 WebRender 中的纹理图集分配 (nical.github.io)
本文介绍了作者如何改进 WebRender 中的纹理图集分配以提高渲染性能。作者首先开发了 guillotiere，这是一个用于动态纹理图集分配的 Rust crate，它基于优化的 guillotine 算法，能够高效地分配和释放纹理空间。然后，作者分析了 WebRender 的实际工作负载，发现 slab allocator 算法存在浪费空间的问题，特别是在处理大量小尺寸字形时。为了解决这个问题，作者实现了两种 shelf packing 算法，并通过实验比较了它们的性能和空间效率。最终，作者选择了简单的 shelf packing 算法，因为它在简单性和效率之间取得了良好的平衡，并将其集成到 Firefox 86 中。
CS231n: 用于视觉识别的卷积神经网络 (cs231n.github.io)
CS231n是一门斯坦福大学关于卷积神经网络在视觉识别中的应用课程。课程涵盖了图像分类、k近邻、支持向量机、Softmax、全连接神经网络、卷积神经网络、批量归一化、Dropout、Pytorch、网络可视化、循环神经网络、Transformer、生成对抗网络、自监督对比学习等主题。课程还包括作业和项目，鼓励学生将项目成果发表。
酒精健康论的兴衰：一场由利益驱动的科学误解 (slate.com)
本文回顾了酒精健康论的兴衰史，指出20世纪90年代流行的适量饮酒有益心脏健康的观点其实是建立在有缺陷的研究基础上的。研究显示，酒精行业通过资助特定研究和学者，刻意引导公众对酒精的认知。虽然少量饮酒可能对部分人群存在微弱的心脏保护作用，但其致癌和其他健康风险却是不容忽视的。最新的研究结果和健康指南建议，最安全的饮酒量是不饮酒。
交通工程师依赖过时研究和错误数据，导致道路设计引发交通事故 (theconversation.com)
文章批评了交通工程师在道路设计中依赖过时的研究和错误的数据，导致道路设计容易引发交通事故。作者指出，大型车辆的普及和道路设计缺陷是造成行人、自行车骑行者死亡人数上升的重要原因，但现行的交通事故数据分析却将责任归咎于道路使用者，忽略了系统性问题。作者呼吁重新审视交通事故数据，深入分析事故背后的根本原因，并改进道路设计，以提高道路安全性。
数字时代的缔造者戈登·贝尔逝世，享年89岁 (arstechnica.com)
计算机先驱戈登·贝尔于5月17日逝世，享年89岁。作为数字 equipment 公司（DEC）的早期员工，贝尔在几款 influential 小型计算机系统的开发中发挥了关键作用，并与妻子共同创办了第一家大型计算机博物馆。他参与了PDP-1系统、PDP-4、PDP-6等多个 influential DEC 系统的架构设计，并在20世纪70年代以工程经理的身份，在监督VAX小型机产品线方面发挥了关键作用。退休后，他仍然活跃于企业家、政策顾问和研究人员的角色。
《城市：天际线2》找到解决高租金的方法：摆脱房东 (www.wired.com)
模拟城市建造游戏《城市：天际线2》的开发商 Colossal Order 近期移除游戏中的房东机制，以此解决玩家长期抱怨的游戏内高租金问题。此次更新后，建筑维护费用将由所有租户平均分摊，租金也将根据家庭收入计算，而非固定值。Colossal Order 希望通过这一改变，使游戏更贴近现实，并为玩家提供更平衡的游戏体验。
Adobe 回应用户对其更新使用条款的强烈反对 (slate.com)
Adobe 公司更新了其服务条款，允许其使用“自动化和手动方法”访问用户内容，引发了用户对其使用人工智能分析用户作品的担忧。虽然 Adobe 坚称不会使用用户内容训练其 Firefly 生成式人工智能模型，并表示访问是为了内容审核，但这起事件反映了人们对生成式人工智能和数据隐私的担忧，特别是创意专业人士，他们担心自己的作品被用于训练人工智能模型而未经授权。
NASA 詹姆斯·韦伯太空望远镜发现迄今已知最遥远的星系 (blogs.nasa.gov)
2024年1月，天文学家使用NASA的詹姆斯·韦伯太空望远镜观测到一个星系JADES-GS-z14-0，其红移约为14，表明它在大爆炸后仅2.9亿年就已存在。 JADES-GS-z14-0星系非常明亮，质量是太阳的数亿倍，这表明它形成的速度比理论模型预测的要快。此外，该星系中存在氧气，这表明在其形成的早期阶段就有多代大质量恒星存在。这一发现对预测早期宇宙中明亮星系的数量具有重要意义，并为研究宇宙的形成和演化提供了新的视角。
CADmium：专为浏览器打造的本地优先CAD程序 (mattferraro.dev)
本文介绍了一款名为CADmium的全新开源CAD程序，该程序旨在在浏览器中运行，采用本地优先的模式。CADmium基于一系列现代技术构建，包括用于3D视窗的Three.js、用于状态管理的Svelte、用于连接Svelte和Three.js的Threlte，以及用于本地运行的Electron。文章还探讨了CADmium的核心组件，包括2D约束求解器、B-rep内核、历史跟踪器、3D用户界面和文件格式，并强调了使用Rust编写的开源B-rep内核Truck的优势，以及使用JSON作为文件格式的益处。
Brainbase招聘创始产品负责人 (www.ycombinator.com)
Brainbase 是一家构建AI工作流程自动化的公司，致力于为企业打造企业级的AI员工。公司成立于2024年，已获得YC、500 Global等顶级机构的种子轮融资。现招聘创始产品负责人，负责产品方向、销售活动、用户沟通和公司文化建设等。 理想的候选人应具备以下特质：足智多谋、适应力强、果断、热爱挑战、乐观积极。 此外，该职位要求申请人具备以下条件：位于旧金山或愿意搬迁、拥有美国工作许可、具备编码经验、展现自主性和创业精神。
C# 游戏序列化：打造更轻松的游戏开发体验 (chickensoft.games)
本文介绍了Chickensoft推出的一系列C#游戏开发工具，重点讲解了全新的序列化系统。该系统旨在解决传统序列化方法的痛点，如版本控制、多态反序列化、集合处理等。文章详细介绍了Introspection生成器、Serialization系统、SaveFileBuilder等工具，以及它们如何协同工作，简化C#游戏中的数据保存和加载。文章还介绍了如何使用这些工具序列化Godot引擎的特定类型，以及如何将它们应用于层次状态机。最后，文章以Chickensoft游戏演示为例，展示了这些工具的实际应用。
FILE0：面向现代网络的极简S3替代方案 (www.file0.dev)
FILE0是一种面向现代网络的极简S3替代方案，它提供了一种简单易用的文件管理方式，使开发者能够快速上传、下载和删除文件。FILE0基于现代Web标准构建，可在任何运行时、框架甚至浏览器中运行，并通过全球CDN提供低延迟的文件服务。
E25DX：下一代文档主题 (github.com)
E25DX 是一款简洁、模块化且可定制的技术文档主题，它无需使用 Node/npm 或任何外部框架（CSS、JS、图标、字体）。该主题具有响应式和自适应布局、内置的浅色和深色模式、可使用 Hugo 数据模板定制的侧边栏、支持多文档集、通过 Hugo 配置实现菜单、集成搜索或 AI 助手等特点。
Flameshot：开源截图软件 (flameshot.org)
Flameshot 是一款免费开源、跨平台的截图工具，具有许多内置功能。它支持界面颜色、按钮选择、键盘快捷键、图像保存方式等高度自定义配置，还提供应用内截图编辑功能，可添加箭头标记、高亮文本、模糊区域、添加文本框、绘制图形等。Flameshot 使用简单直观，支持一键上传截图到 Imgur 等平台，并提供命令行界面以供脚本调用。
Yi-1.5：性能更强的升级版Yi模型 (github.com)
Yi-1.5是Yi的升级版本，经过5000亿token的高质量语料库持续预训练，并在300万个不同的微调样本上进行了微调。与Yi相比，Yi-1.5在编码、数学、推理和指令跟随能力方面表现更出色，同时仍然保持了在语言理解、常识推理和阅读理解方面的出色能力。Yi-1.5提供三种模型尺寸：34B、9B和6B。
Meta迫于压力暂停欧盟AI训练计划 (www.theregister.com)
迫于欧洲监管机构的压力，Meta已同意暂停使用欧盟用户的Facebook和Instagram帖子来训练其AI模型的计划。这一举措意味着Meta AI在欧盟地区的推出将被推迟。此前，Meta曾表示将使用欧洲用户的公开帖子和评论来训练其模型，并承诺不会使用任何18岁以下用户的任何内容。但这一计划遭到了欧洲多个数据保护机构的投诉。Meta对此表示失望，称这将导致“人工智能的益处推迟到欧洲人民手中”。
用一个月的时间编写一个Unix克隆 (drewdevault.com)
Bunnix是一个类似Unix的操作系统，使用Hare语言编写，支持x86_64架构。该系统包含内核、驱动程序、用户空间和引导加载程序，并在一个月内完成开发。Bunnix支持ext4和memfs文件系统，以及一些第三方软件，如Vim和Doom。尽管存在一些错误，但它展示了Hare语言在内核开发中的潜力。
德州240万美元房产竟是数据中心，无卧室设计引热议 (www.tomshardware.com)
美国德克萨斯州达拉斯郊区一栋售价240万美元的房产近日引发关注，该房产外观伪装成普通住宅，内部却是一个占地5786平方英尺的数据中心，配备完整的液体冷却浸没系统，拥有三个工程流体“SLIC坦克”、500kW干式冷却器以及大量服务器机架和网络设备，可用于AI服务、云托管、传统数据中心、服务器甚至比特币挖矿等多个领域。
新的车牌识别漏洞证明大规模监控是对公共安全的威胁 (www.eff.org)
电子前线基金会（EFF）近期发布文章指出，摩托罗拉的车牌识别系统存在严重漏洞，可能导致大规模监控和数据泄露，对公共安全构成威胁。文章列举了该系统存在的七个漏洞，包括默认开启WiFi网络、使用硬编码密码、本地登录使用默认用户名和密码等。EFF认为，这些漏洞可能被恶意攻击者利用，窃取车辆信息、监控车辆实时位置，甚至对个人进行骚扰和勒索。EFF呼吁政府机构应重视数据安全，限制数据收集范围，加强数据保护措施，避免大规模监控对公民隐私和公共安全造成威胁。
Era3D：使用高效行注意力机制的高分辨率多视图扩散模型 (penghtyx.github.io)
Era3D是一种新的多视图扩散方法，可以从单张图像生成高分辨率的多视图图像。它解决了现有方法存在的相机先验失配、低效和低分辨率问题。Era3D 首先使用基于扩散的相机预测模块来估计输入图像的焦距和仰角，从而生成无形状失真的图像。然后，它采用了一种简单而高效的注意力层，称为行注意力，以在多视图扩散中加强对极几何约束，从而实现高效的跨视图信息融合。
美小型企业危机：租金飙升，无力支付 (www.newsweek.com)
一项最新研究表明，由于租金成本飙升，美国大量小企业难以按时足额缴纳租金。4月份，43%的小企业承租人无法按时全额支付租金，这一拖欠率创下2021年3月以来的新高。其中，受冲击最大的是餐饮业主，其次是科技行业和美容美发行业。小企业困境也为拜登的连任之路蒙上阴影。
语音分析显示，ChatGPT的声音酷似斯嘉丽·约翰逊 (www.npr.org)
根据亚利桑那州立大学数据科学家的实验室分析，OpenAI 的“Sky”语音助手与女演员斯嘉丽·约翰逊的声音惊人地相似。研究人员将 Sky 与大约 600 名专业女演员的声音进行了比较，发现约翰逊的声音与 Sky 的相似度超过了其他 98% 的女演员。尽管 OpenAI 表示 Sky 并非刻意模仿约翰逊，但约翰逊对此表示愤怒，并透露 OpenAI 曾两次联系她，希望获得她声音的授权，但她拒绝了。
苹果M4 iPad Pro新增未公开安全功能 (9to5mac.com)
苹果最新发布的M4 iPad Pro，增加了一项新的安全功能，但苹果公司并没有公开说明。这项名为“安全指示灯”的功能，将麦克风和摄像头指示灯的控制与硬件组件绑定，使其更难被恶意软件或应用程序绕过，从而更好地保护用户隐私。