Devops之死 (logical.li)
这篇文章探讨了Devops的衰落，指出尽管Devops最初旨在通过代码化配置和自动化来提高系统可重复性和可管理性，但现在却被误解和滥用。许多公司误以为使用云服务、组建大型Devops团队就能实现高效运作，结果却适得其反，创建出难以维护的“云雪花”。作者强调，真正的Devops意味着环境的创建、删除和配置变更都应该是简单可重复的，并对“平台工程”和“站点可靠性工程”等新兴概念的未来表示怀疑。
DJI禁令即将成为法律 (dronedj.com)
美国国会众议院通过了2025年国防授权法案（NDAA），其中包含一项禁止使用大疆无人机的条款。该法案已提交参议院审议，如果获得通过并经总统签署，将禁止联邦通信委员会（FCC）批准任何新的DJI无人机，并可能导致现有无人机停飞。该禁令引发了广泛关注，但目前尚不清楚是否会对已购买DJI产品的用户进行补偿。
使用霍夫曼编码在 Haskell 中构建数据压缩工具 (lazamar.github.io)
本文介绍了如何使用约 150 行 Haskell 代码实现一个数据压缩程序。该程序使用霍夫曼编码，并使用恒定内存来处理任意二进制文件的编码和解码。文章首先简要介绍了霍夫曼编码及其在数据压缩中的应用，然后逐步讲解了如何编写一个能够压缩文本的编码器，最后将其扩展到压缩任何类型的文件。
欧洲经济为何落后于美国？ (www.washingtonpost.com)
本文分析了欧洲经济落后于美国的原因，指出欧洲经济规模远小于美国，平均收入和工资水平也低于美国。文章认为，欧洲经济问题根源在于过度分裂，缺乏统一市场、战略和协调，导致技术发展受阻，国防开支浪费。文章呼吁欧洲深化一体化，增强战略协调，以应对当前挑战。
巴拿赫-塔尔斯基定理的意义 (www.solipsys.co.uk)
这篇文章解释了巴拿赫-塔尔斯基定理的意义，该定理指出，一个三维球体可以被分解成有限个部分，然后重新组装成两个与原始球体大小相同的球体。文章首先介绍了度量的概念，以及我们期望度量具有的性质，例如可加性、等距不变性等。然后，文章解释了为什么这些性质在三维空间中是不可能同时满足的，并通过维塔利集合的例子说明了这一点。最后，文章指出，巴拿赫-塔尔斯基定理的意义在于它揭示了度量理论中的一些基本限制。
一生痴迷于魅力独角鲸 (knowablemagazine.org)
本文介绍了牙医兼探险家马丁·努伊亚，他毕生致力于研究神秘的独角鲸。通过与因纽特猎人的合作，他发现雄性独角鲸的螺旋状长牙并非如传统观点所说用于求偶，而是拥有约一千万个神经连接的感觉器官，可以感知海水盐度、温度和压力等环境因素的变化。努伊亚的研究揭示了独角鲸牙的独特结构和功能，以及独角鲸与北极环境的密切关系，为理解这种神奇生物提供了新的视角。
OpenAI 收购企业数据初创公司 Rockset (www.theverge.com)
/cdn.vox-cdn.com/uploads/chorus_asset/file/25462046/STK155_OPEN_AI_CVirginia_2_C.jpg)
人工智能公司 OpenAI 收购了企业数据分析初创公司 Rockset，这是 OpenAI 的首次收购。OpenAI 计划将 Rockset 的企业搜索技术整合到其产品中，以增强其数据检索基础设施，为客户提供更强大的数据分析能力。Rockset 的现有客户将逐渐过渡到新平台，部分团队成员将加入 OpenAI。
Erlang/OTP 27 新特性亮点 (www.erlang.org)
Erlang/OTP 27 正式发布，本文将介绍其最受关注的新特性。其中包括：改进的文档系统，引入三重引号字符串和Sigils，默认启用maybe表达式，全新的json模块，进程标签功能，STDLIB新功能，支持SSL客户端stapling，新增tprof分析工具，多跟踪会话支持，原生代码覆盖率支持，以及对archives功能的弃用声明。
Python现代开发的良好实践 (www.stuartellis.name)
这篇文章总结了现代 Python 开发的一些最佳实践，包括使用支持多版本的工具安装 Python，使用最新版本的 Python，使用 pipx 运行开发应用程序，避免使用 Poetry，使用 pyproject.toml 文件，创建使用 src 布局的目录结构，使用虚拟环境进行开发，使用 requirements.txt 文件将包安装到环境中，使用代码格式化程序和代码检查器，使用 pytest 进行测试，以及打包应用程序。
西南航空波音737-8 MAX客机发生荷兰滚事故 (avherald.com)
2024年5月25日，美国西南航空一架波音737-8 MAX客机在从凤凰城飞往奥克兰的途中，在32000英尺高空发生荷兰滚事故。机组人员成功控制住飞机，并在约55分钟后安全降落在奥克兰。经调查，事故原因为备用动力控制装置故障导致飞机方向稳定性减弱，所幸没有造成人员伤亡。
机器学习系统 (harvard-edge.github.io)
这篇文章介绍了一本名为《TinyML机器学习系统》的书籍。这本书旨在帮助读者理解机器学习系统，内容涵盖了从数据收集、模型设计到优化、加速、安全加固和集成的全过程。该书以TinyML作为教学工具，讲解了设计机器学习模型架构、硬件感知训练策略、高效推理优化和基准测试方法等基本原则。此外，还探讨了可靠性、隐私、负责任的AI和解决方案验证等系统层面的重要注意事项。
css-doodle 简介 (yuanchuan.github.io)
这篇文章介绍了css-doodle，一个用于创建程序生成图形的工具。它详细解释了css-doodle的语法，包括选择器、属性、函数和值，并展示了如何使用这些元素来生成各种形状、图案和动画效果。文章还介绍了使用随机函数、生成器函数和背景函数来创建更复杂和有趣的图形。
纽约市拥堵费之死 (www.apricitas.io)
本文探讨了纽约市拥堵费计划的取消及其对美国城市基础设施建设的影响。作者认为，拥堵费计划的取消是美国城市基础设施建设中制度性问题的缩影，这些问题包括基础设施建设成本高昂、效率低下、地方政府阻碍以及缺乏长远规划等。作者还指出，美国交通部门不愿借鉴国外成功经验，并呼吁美国城市学习洛杉矶和华盛顿等城市的成功案例，扩大和改善交通网络。
RSS Combine：将多个 RSS 源合并成一个 (github.com)
RSS Combine是一个用Go语言编写的开源工具，可以将多个RSS源合并成一个统一的RSS源。它支持通过YAML配置文件或环境变量进行配置，可以设置标题、链接、描述、作者等信息，还可以从指定的URL列表或文件中读取要合并的RSS源地址。此外，RSS Combine还支持将生成的RSS文件上传至Amazon S3存储桶。
Plasma 6.1：未来桌面已就绪 (kde.org)
KDE社区发布了Plasma 6.1，新版本在6.0版本的基础上进行了改进，实现了许多强大的新功能，包括远程访问Plasma桌面、更强大的自定义功能（例如同步键盘LED颜色以匹配桌面主题色）、改进的编辑模式、应用程序持久化、屏幕锁定选项以及Wayland的重大突破等，提升了用户体验。
美国房价飙升，远超工资涨幅 (www.npr.org)
哈佛大学的一份报告指出，美国房价持续飙升，远超工资涨幅，导致许多人难以负担购房。报告显示，近半数城市的购房者需要年收入超过10万美元才能负担得起中等价位的房屋。高昂的房价还推高了租赁市场的价格，导致租房同样面临巨大压力。专家指出，根本问题在于住房短缺，而高利率和建筑成本上升又阻碍了新房建设，租房市场前景堪忧。
卡车司机工会和亚马逊工会联手挑战亚马逊 (www.yahoo.com)
亚马逊劳工联盟 (ALU) 是美国唯一正式代表亚马逊仓库工人的工会，该联盟成员投票决定与拥有 130 万成员的国际卡车司机兄弟会合并。此次合作旨在增强工会力量，向亚马逊施压，要求其改善工资和工作条件。卡车司机工会已承诺提供资金和人员支持，并积极组织全美的亚马逊工人。此次合作被视为应对亚马逊规模和反工会立场的必要举措。
程序合成导论 (people.csail.mit.edu)
本文介绍了程序合成的概念、历史和应用。程序合成是指从一组描述代码语义和语法要求的组件中自动生成程序的技术。与编译、逻辑编程和机器学习等相关技术相比，程序合成强调生成满足特定要求的代码，并支持对程序空间的语义和语法约束。文章还讨论了程序合成的三种主要挑战：意图挑战、发明挑战和适应挑战，以及程序合成在软件工程、终端用户编程、代码逆向工程和人工智能等领域的应用。
苹果成为首家被指控违反欧盟 DMA 法规的公司 (www.theverge.com)
/cdn.vox-cdn.com/uploads/chorus_asset/file/25336519/STK450_EU_G.jpg)
欧盟监管机构初步裁定，苹果公司因其应用商店“转向”政策违反了旨在鼓励竞争的欧盟数字市场法案 (DMA)。欧盟委员会已对苹果公司在欧洲对第三方 iOS 应用商店的支持展开调查，包括其向开发者收取的核心技术费。欧盟认为苹果公司没有完全允许“转向”，即允许应用程序开发者引导消费者免费在其应用程序商店之外完成购买。苹果公司对此表示，他们一直在根据开发者和欧盟委员会的反馈进行调整，以遵守 DMA 的规定。
Cloudflare 推出新功能阻止 AI 公司抓取网站内容 (siliconangle.com)
Cloudflare 推出了一项新功能，旨在阻止人工智能公司抓取网站内容。该功能是其旗舰 CDN（内容交付网络）的一部分，可用于免费和付费用户。该功能使用人工智能检测自动内容提取尝试，即使在抓取工具试图避免检测的情况下也能识别。 Cloudflare 表示，他们的软件可以识别出为 LLM 训练项目抓取内容的机器人，并根据请求的可信度进行评分。
BerqWP：WordPress速度和核心网页指标优化插件 (berqwp.com)
BerqWP 是一款 WordPress 插件，旨在优化网站速度和核心网页指标。它无需复杂的配置，可以自动提高页面加载速度，帮助网站达到90+的PageSpeed评分，并通过核心网页指标测试。BerqWP 还提供 Web Vitals 分析、CDN加速等功能，即使是非技术人员也能轻松使用。
欧盟竞争事务专员表示，苹果决定不在欧盟推出人工智能，表明其存在反竞争行为 (www.euractiv.com)
欧盟委员会执行副主席玛格丽特·维斯塔格于6月27日表示，苹果公司决定不在欧盟推出其自主研发的人工智能（AI）功能，是其反竞争行为的“惊人宣言”。苹果公司大约在一周前宣布了这一决定，称欧盟《数字市场法案》（DMA）要求的互操作性可能会损害用户隐私和安全。几天后，欧盟委员会指控苹果应用商店违反了DMA。
约翰·卡洛斯·巴埃斯： “为什么我们称电子为‘负’而质子为……” - 数学世界 (mathstodon.xyz)
这篇文章讨论了为什么我们称电子为“负”而质子为“正”。约翰·卡洛斯·巴埃斯在数学世界平台上提出了这个问题，引发了人们对电荷命名约定的思考。