ExectOS 操作系统 (exectos.eu.org)
ExectOS是一个从零开始编写的、目标是稳定灵活的通用操作系统。它采用模块化设计，具有良好的可维护性和与现有软件的兼容性。ExectOS实现了全新的XT架构，并具有自己的原生应用程序接口。它在设备驱动程序和内核之间包含一个强大的驱动程序模型，允许在无需重新编译所有驱动程序的情况下升级内核级组件。
台积电 N3E：苹果 M4 SoC 背后的强大动力 (www.techinsights.com)
TechInsights 对苹果 iPad Pro 11 英寸进行了拆解，揭示了其最新芯片：采用台积电先进 N3E 工艺构建的 Apple M4 SoC（代号 TMRV93）。台积电的 N3E 工艺在保持对性能至关重要的逻辑单元密度的同时，提高了能效。这与苹果公司在采用被动冷却的轻薄设备中提供高性能的目标非常一致。Apple M4 的一个关键设计选择是 CPU1 采用了台积电的高性能标准单元库，以确保最佳的功耗、性能和成本目标。这与之前主要依赖超高密度库的设计形成了对比。
这座桥在坍塌前几年就应该被关闭 (practical.engineering)
2022年，美国宾夕法尼亚州匹兹堡的弗恩霍洛桥坍塌，造成数人重伤。事故调查显示，该桥梁的坍塌并非意外，而是多年来疏于维修和监管不足的必然结果。早在2005年，桥梁的检查报告就已指出其存在严重腐蚀问题，但相关部门并未采取有效措施。由于排水问题、材料缺陷和错误的荷载评估，桥梁的承重能力被严重高估，最终导致了坍塌事故。
马斯克星链等卫星星座或将损耗地球臭氧层 (www.independent.co.uk)
一项新的研究表明，埃隆·马斯克的星链等卫星星座在报废后重返大气层时，可能会损害地球的保护性臭氧层。研究指出，SpaceX的星链等大型卫星星座在退役时会向大气中释放大量的氧化铝气体，这可能会导致臭氧层损耗。氧化铝会与氯发生反应，破坏臭氧层，并且其影响可持续数十年。随着全球互联网覆盖需求的增长，小型通信卫星的发射次数不断增加，科学家们对此表示担忧，因为臭氧层对于吸收太阳有害的紫外线辐射至关重要。
苹果 macOS 15 系统更新：2018 款 MacBook Air 被迫退役 (arstechnica.com)
macOS 15 Sequoia 更新后，苹果将不再支持 2018 款 MacBook Air，这是自 2008 年以来支持时间最短的一款 MacBook Air。 虽然其他 Intel Mac 机型目前还能继续使用 macOS 15，但随着苹果逐步淘汰 Intel 处理器，这些机型的未来仍不明朗。 本文分析了历代 Mac 机型的支持年限数据，指出购买旧款 Mac 通常意味着更短的系统更新支持时间。
人工智能时代，如何获取真正的知识？ (www.publicbooks.org)
文章探讨了在人工智能生成内容泛滥的时代，如何获取真实可靠的知识。作者以亲身经历为例，指出搜索引擎充斥着大量由人工智能生成的无意义内容，导致人们难以分辨真伪。文章强调了知识论的重要性，主张重拾对知识的传统理解，通过批判性思考、多方验证等方式，区分信息和噪音，避免被虚假信息所迷惑。
为5+1建筑类型正名 (commonedge.org)
本文为5+1建筑类型正名，反驳了对其千篇一律、廉价、缺乏美感的批评。作者认为，这种建筑类型经济高效，符合城市发展需求，能够提供高密度住房，促进城市活力。虽然目前存在一些设计上的不足，但通过精心设计，5+1建筑可以成为改善城市环境、满足市场需求的可行方案。
Meta创建语音水印技术AudioSeal，用于识别AI生成语音 (www.technologyreview.com)
Meta公司开发了一种名为AudioSeal的工具，可以在AI生成的语音中嵌入隐藏的水印，帮助识别网络上的虚假信息和诈骗行为。该工具可以识别长达一小时的音频中哪些部分是由AI生成的，准确率高达90%到100%。AudioSeal已在GitHub上开源，任何人都可以下载使用，但目前Meta没有将其应用于自家产品的计划。
云计算价格模式: 基于席位的定价模式已死？ (cloudedjudgement.substack.com)
本文探讨了人工智能对SaaS商业模式的影响，特别是基于席位的定价模式是否已经过时。作者认为，随着AI技术的进步，企业能够以更少的人力实现更高的效率，传统的基于席位的定价模式将不再适用。文章以Zendesk为例，该公司正在转向基于AI代理解决问题数量的定价模式，以适应AI时代的需求。此外，文章还预测，数据和数据基础设施将成为AI时代的主要受益者，应用软件将更多地构建在领先的数据平台之上，数据平台公司本身也将成为应用提供商。
面向程序员的 Reed-Solomon 码 (en.wikiversity.org)
这篇文章介绍了 Reed-Solomon 码的基本原理以及如何使用 Python 实现编码器和解码器。文章首先以通俗易懂的方式解释了纠错码背后的原理，然后深入研究了 QR 码的结构和解码过程。接着，文章介绍了 BCH 码及其在 QR 码格式信息中的应用。为了帮助读者理解 Reed-Solomon 码，文章还详细讲解了有限域算术，包括加减乘除以及多项式运算。最后，文章给出了 Reed-Solomon 码的编码和解码的 Python 实现，并提供了一些优化建议。
乌克兰利用人工智能技术清理俄罗斯遗留地雷 (www.newscientist.com)
俄罗斯在乌克兰境内埋设了大量地雷，预计需要700年才能完全清除。为提高排雷效率，乌克兰政府正在利用人工智能模型识别最需要优先排雷的区域。尽管如此，部分地区可能将永久保留，成为战争的“伤疤”。
AMD 数据泄露：IntelBroker 窃取员工和产品信息 (hackread.com)
据报道，AMD公司遭到黑客IntelBroker攻击，大量敏感信息被盗，包括ROM、固件源码、员工和客户数据库、财务信息、未来产品计划等。黑客在网络犯罪平台Breach Forums上发布了这一消息，并表示将出售这些数据。AMD公司目前尚未证实此事。
大型语言模型数据管道和通用抓取（WARC/WAT/WET） (blog.christianperone.com)
本文介绍了训练大型语言模型（LLM）的数据管道，重点介绍了使用通用抓取（CC）数据集的流程。文章详细解释了CC数据集的不同格式（WARC/WAT/WET），以及如何从中提取和处理文本数据。文章还涵盖了数据去重、语言识别和过滤、以及使用语言模型进行质量控制等关键步骤，并比较了CCNet和RefinedWeb两种不同管道的设计思路和方法。
阿吉帕 (死者之书) (www.filfre.net)
文章讲述了1992年威廉·吉布森、丹尼斯·阿什博和凯文·贝戈斯，三人合作创作了一个名为“阿吉帕 (死者之书)”的艺术项目。该项目包含实体和数字两个部分，实体部分由艺术家阿什博创作，数字部分则由科幻作家吉布森创作。数字部分是一首名为“阿吉帕”的诗歌，存储在一张软盘上，并在阅读一次后自我销毁。 文章详细描述了项目的创作过程、加密技术、媒体报道以及公众反应，并探讨了该项目在艺术史上的地位和意义。
Amphi：基于 Python 的低代码 ETL 工具 (amphi.ai)
Amphi 是一款基于 Python 的 ETL（提取、转换、加载）工具，旨在从各种来源和格式中提取、准备和清理数据。它通过图形用户界面设计数据管道，并生成可在任何地方部署的原生 Python 代码。Amphi 适用于数据集成、数据科学和基于 LLM 的系统的数据提取和准备，以及 API 检索和充实。
RTranslator：全球首个开源实时翻译应用 (github.com)
RTranslator是一款开源、免费、离线的Android实时翻译应用。它使用Meta的NLLB进行翻译，使用OpenAi的Whisper进行语音识别，这两款AI模型都直接在手机上运行，确保了绝对的隐私和离线使用的可能性。RTranslator支持多种语言，提供对话模式、对讲机模式和文本翻译模式，并具有后台运行功能。
阿斯达员工在沃尔玛混乱的技术分离中被调往TCS (www.theregister.com)
在截至今年年底前脱离前东家沃尔玛所支持的IT系统的最后期限临近之际，阿斯达正将其100多名内部IT员工转移到印度外包公司TCS。据悉，此次裁员是阿斯达“未来项目”IT转型的一部分，该项目于2021年12月启动，旨在将其旧版内部部署SAP ECC系统升级到微软Azure云中的SAP S/4HANA。
NAT环境下Wi-Fi网络中的非路径TCP劫持 (blog.apnic.net)
本文揭示了路由器NAT映射处理中的一个安全漏洞，攻击者可以利用该漏洞绕过TCP的内置随机化，从而实现对Wi-Fi TCP流量的劫持。研究测试了来自30个不同制造商的67个主流路由器，发现其中52个路由器容易受到这种攻击。文章还提出了三种缓解措施：随机端口分配、反向路径验证和TCP窗口检查。
JSKIDPIX v1.0.2021 | 网页版 JS KidPix (kidpix.app)
JSKIDPIX v1.0.2021是一款基于网页的JS KidPix软件，为用户提供了一个类似于KidPix的绘画和创作平台。
服装捐赠堆积如山，非洲纺织品浪费问题堪忧 (www.washingtonpost.com)
本文探讨了欧美国家向非洲捐赠旧衣物导致的纺织品浪费问题。作者指出，大量低质量的旧衣物最终被丢弃或焚烧，对环境和经济造成负面影响。文章呼吁修改贸易法案，鼓励对非洲回收基础设施的投资，并支持非洲本土的环保创新和人才培养，以解决纺织品浪费问题，实现可持续发展。
iOS 18 或将导致第三方应用损失 4 亿美元收入 (techcrunch.com)
据应用情报公司 Appfigures 分析，苹果公司计划在今年秋季发布的 iOS 18 系统中，将新增多项功能与第三方应用重合，可能导致这些应用损失约 3.93 亿美元的收入。受影响的应用类别包括追踪应用、语法助手、数学解题、密码管理器以及自定义表情符号等，其中以追踪应用受损最为严重，年收入损失高达 3.07 亿美元。
高级Shell脚本技术：使用Bash自动化复杂任务 (omid.dev)
本文探讨了Bash中的高级shell脚本技术，侧重于脚本优化、稳健的错误处理和自动化复杂的系统管理任务。文章涵盖了优化技巧，如使用内置命令、最小化子shell、数组、noclobber选项、函数和高效的文件操作，以及错误处理策略，如退出错误、自定义错误消息、信号捕获、输入验证和日志记录。此外，还提供了使用Bash脚本自动化备份、系统监控、用户管理、更新和网络配置等任务的实用示例。
反叛精神 (www.sense-of-rebellion.com)
播客系列节目《反叛精神》讲述了20世纪60年代一群特立独行的嬉皮士，在一个秘密实验室里开发出智能科技的故事。这些远早于乔布斯的技术，最终却被硅谷扭曲。节目揭示了这段迷人的历史，涵盖了冷战精神病学、毛主义、麦角酸二乙酰胺、洛克菲勒家族、科学教、中央情报局的超感官知觉以及技术自由主义的出现。
苹果暂停开发下一代高端Vision头显，转而寻求更便宜的替代品 (arstechnica.com)
据报道，苹果公司将暂停开发下一代高端Vision Pro头显，转而专注于更实惠的版本。消息人士称，苹果正面临降低显示屏成本的难题，新款头显预计在2025年底前推出，售价约为1600美元。与Vision Pro相比，新款头显的摄像头、扬声器等功能将有所缩减，重量也会减轻。
互联网补贴计划再次受阻 (www.theverge.com)
/cdn.vox-cdn.com/uploads/chorus_asset/file/25373273/STK451_Internet_Service_Providers_C.jpg)
美国联邦通信委员会（FCC）试图通过频谱拍卖收益来资助互联网补贴计划“平价互联计划”（ACP）的努力再次受阻。民主党提出的法案旨在为ACP提供资金，而共和党提出的法案则没有。参议院商务委员会主席玛丽亚·坎特维尔指责共和党议员阻挠立法，而共和党议员则提出了自己的频谱立法，该立法侧重于扩大商业对5G常用中频段频谱的访问。由于总统大选临近，任何两党合作都将变得更加困难，ACP的复兴前景黯淡。
加州议员应否决强制互联网身份检查法案 (www.eff.org)
电子前哨基金会（EFF）敦促加州议员反对A.B. 3080法案，该法案将要求互联网用户在浏览色情内容时出示身份证。EFF认为，该法案将审查互联网，侵犯成年人浏览网络的权利，并导致数据泄露风险增加。EFF强调，网络身份检查与现实世界不同，会创建持久记录，增加数据落入坏人手中的风险。此外，该法案对“色情内容”定义模糊，可能导致广泛网站被错误分类。EFF指出，美国法院已多次否决类似的年龄分级法案，加州应作为网络隐私法的领导者，否决该法案。
C# 游戏序列化：打造更轻松的游戏开发体验 (chickensoft.games)
本文介绍了Chickensoft推出的一系列C#游戏开发工具，重点讲解了全新的序列化系统。该系统旨在解决传统序列化方法的痛点，如版本控制、多态反序列化、集合处理等。文章详细介绍了Introspection生成器、Serialization系统、SaveFileBuilder等工具，以及它们如何协同工作，简化C#游戏中的数据保存和加载。文章还介绍了如何使用这些工具序列化Godot引擎的特定类型，以及如何将它们应用于层次状态机。最后，文章以Chickensoft游戏演示为例，展示了这些工具的实际应用。
英伟达超越微软成为全球市值最高公司 (www.theverge.com)
/cdn.vox-cdn.com/uploads/chorus_asset/file/25343251/STK083_B_NVIDIA_B.jpg)
截至2024年6月18日，GPU制造商英伟达的市值已达到3.335万亿美元，超过微软成为全球市值最高的公司。得益于生成式AI技术的蓬勃发展，英伟达的芯片需求量大增，推动了其股价的飙升。今年以来，英伟达的股价已上涨了160%，2月份才突破2万亿美元大关。
Rust 中的进程间通信：乒乓比较 (3tilley.github.io)
本文探讨并比较了 Rust 中几种进程间通信方法，包括管道、TCP、UDP 和共享内存，并通过“乒乓”测试评估其性能。结果表明，共享内存的速度最快，但实现复杂且存在安全风险；其他方法性能接近，但远低于共享内存。作者建议根据实际需求选择合适的通信方式，并提供了代码示例和测试结果分析。