使用数组语言的公司列表 (github.com)
本文档列举了世界范围内使用数组语言（J, K, APL, q）的公司列表，涵盖金融、咨询、软件开发等多个领域，并标注了公司所在地区、是否支持远程办公等信息。
Daminik - 开源数字资产管理系统，自带CDN (daminik.com)
Daminik 是一款简单且可扩展的开源数字资产管理系统，集成了内容交付网络 (CDN)。它为所有数字资产提供单一数据源，速度快，符合GDPR标准。Daminik 目前处于Alpha阶段，个人使用免费，团队价格将在Beta阶段公布。
苹果AI功能推迟发布，将无缘新版iPhone和iPad系统 (uk.finance.yahoo.com)
据知情人士透露，苹果公司将把AI功能的发布时间推迟到10月份，这意味着这些功能将错过9月份iOS 18和iPadOS 18的首次发布。这一决定部分原因是出于对AI功能稳定性的担忧，苹果希望给开发者更多时间进行测试和修复bug。尽管如此，苹果计划在本周发布的iOS 18.1和iPadOS 18.1测试版中，首次向开发者提供AI功能的早期测试版本。
GitHub 遭质疑：删除的代码库数据仍可访问 (www.theregister.com)
Truffle Security 的研究人员发现，从 GitHub 上删除的代码仓库（无论是公共的还是私有的），以及从已删除的代码仓库副本（forks）中删除的数据，并不一定会被真正删除。这一问题源于 Git 中的“悬空提交”（dangling commit），即删除分支只会移除对特定提交链的引用，而提交本身并不会从代码仓库的对象数据库中删除。研究人员发现可以通过 GitHub 的 fork 功能访问这些悬空提交，即使父仓库已被删除，并且只需要知道提交标识符的前四个字符即可。
用四个非零参数拟合大象 (arxiv.org)
这篇论文探讨了用四个参数拟合大象的问题。受费米对戴森模型的批评以及冯·诺依曼的名言“给我四个参数，我可以拟合一头大象，再加一个参数，我可以让它的鼻子动起来”的启发，该文首先明确了问题的定义，并在前人尝试的基础上，提出了一种新的拟合方法。
时代广场的发明者：O.J. 古德与奇观的诞生 (thereader.mitpress.mit.edu)
本文讲述了时代广场的形成历史，特别是奥斯卡·J·古德如何通过发明“奇观”——一种巨大的电子广告牌，将时代广场打造成美国最重要的户外广告市场的故事。古德凭借其市场营销天赋和设计师的创造力，将时代广场变成了一个充满活力和吸引力的商业中心。
Bungie首席执行官宣布裁员220人后引发强烈反对 (www.techspot.com)
游戏开发商Bungie首席执行官Pete Parsons宣布裁员220人，约占员工总数的17%，引发了强烈反对。员工对裁员感到愤怒，尤其是在Parsons被发现自索尼收购Bungie以来，可能已经花费超过240万美元购买老爷车之后。批评者指出，Parsons在公司面临“财务挑战”的同时却挥霍无度，裁员决定显得尤为不公。还有人对Bungie在裁员的同时将155名员工转移到索尼互动娱乐公司提出质疑。
WebVM - 基于 WebAssembly 的 Linux 虚拟化 (webvm.io)
WebVM 是一款能够在 WebAssembly 中运行 Linux 虚拟化的工具。用户可以通过网页浏览器访问 WebVM，并在其中运行完整的 Linux 操作系统。该项目为用户提供了一个简单易用的界面，可以通过图形界面或命令行与虚拟机进行交互。
人工智能机器人大战如何摧毁了网络招聘市场 (www.salon.com)
近年来，尽管失业率数据亮眼，但网络招聘市场却暗流涌动，充斥着大量虚假和过时信息。人工智能技术的应用加剧了这一现象，雇主利用人工智能自动发布虚假职位、复制已有信息，并使用人工智能筛选简历和进行面试。求职者也被迫使用人工智能工具来优化简历和应对面试，导致双方陷入无休止的技术军备竞赛。最终，网络招聘市场可能完全被人工智能所主导，真正的招聘需求被淹没在海量虚假信息中，导致网络招聘市场名存实亡。
瑞士强制要求所有政府软件开源 (www.zdnet.com)
瑞士通过了名为《联邦电子政务法》（EMBAG）的立法，强制要求所有公共部门使用开源软件 (OSS)。 该法律规定，除非涉及第三方权利或安全问题，否则所有公共机构必须公开其开发或为其开发的软件的源代码。这一举措旨在提高政府运营的透明度、安全性，和效率。
SAML 身份验证可视化解释 (www.sheshbabu.com)
本文以图文方式解释了企业常用的身份验证协议 SAML（安全断言标记语言），介绍了 SAML 的工作原理、参与者（身份提供者、服务提供者和用户）以及 SP 发起的登录流程。文章详细解释了从用户访问服务提供者网站、重定向到身份提供者进行身份验证，到最后成功登录服务提供者网站的整个流程，并解释了 AuthnRequest、SAML Assertion 等关键概念。
苹果批准首款iOS电脑模拟器UTM SE上架 (www.theverge.com)
/cdn.vox-cdn.com/uploads/chorus_asset/file/25529711/UTM_SE.png)
苹果公司此前拒绝了一款名为UTM SE的电脑模拟器应用的上架申请，但几周后又批准了该应用。UTM SE允许用户在iPhone上运行Windows、Mac OS 9和Linux等操作系统的经典软件和游戏。该应用本身不包含任何虚拟机，但用户可以根据应用提供的指南和链接下载预构建的虚拟机。
Pongo：基于 Postgres 的 Mongo 数据库，具备强一致性优势 (github.com)
Pongo 是一个 npm 模块，它在 Postgres 上实现了类似 MongoDB 的功能，并提供强一致性。它允许开发者使用类似 MongoDB 的语法进行数据库操作，例如插入、更新、删除和查找文档。Pongo 还提供了一个兼容 MongoDB 的 shim，方便开发者从 MongoDB 迁移到 Pongo。
条形码扫描器如何帮助快速修复 CrowdStrike 故障 (www.theregister.com)
在澳大利亚审计和税务咨询公司 Grant Thornton 的 Windows 电脑和服务器于上周五开始出现蓝屏死机后不久，高级系统工程师 Rob Woltz 想起了一个小而重要的事实：电脑在启动时，会将条形码扫描器视为键盘。这一知识点在该公司试图弄清楚如何应对 CrowdStrike 造成的混乱时变得非常重要，该混乱导致 Grant Thornton Australia 的数百台电脑和不少于 100 台服务器陷入了 CrowdStrike 测试软件导致的死循环。
科学家通过基因研究揭示猴面包树的古老起源 (www.smithsonianmag.com)
/https%3A%2F%2Ftf-cmsv2-smithsonianmag-media.s3.amazonaws.com%2Ffiler_public%2F60%2Fc7%2F60c70c03-69a9-4f96-a36f-0527372151bd%2Fgettyimages-520678720_720.jpg)
猴面包树以其独特的形状和长寿而闻名。最新发表在《自然》杂志上的一项研究利用基因组分析揭示了猴面包树的古老起源，将其追溯到2100万年前的马达加斯加。研究发现，猴面包树通过洋流传播到非洲大陆和澳大利亚西北部。研究还揭示了海平面变化对猴面包树分布和物种形成的影响，以及气候变化和栖息地丧失对猴面包树生存的威胁。
苹果也曾建议用户摔电脑？ (www.techjunkie.com)
这篇文章讲述了苹果公司早期产品Apple III的一段轶事。由于设计缺陷导致Apple III容易过热，芯片易于松动，苹果工程师竟然建议用户将电脑抬起几英寸后放下，以使芯片归位。虽然苹果后来改进了设计，但Apple III的糟糕口碑已经形成，最终停产。
GitHub - public-apis/public-apis：免费 API 列表 (github.com)
这篇文章介绍了一个名为“public-apis/public-apis”的GitHub存储库，它收集了各种免费 API 的信息，涵盖了动物、动漫、天气、金融等多个类别，并提供了API 描述、认证方式、HTTPS 支持和跨域资源共享（CORS）等详细信息，方便开发者查找和使用。
应用机器学习处理表格数据 (aml4td.org)
这篇文章介绍了书籍《应用机器学习处理表格数据》的主要内容、目标读者以及如何参与贡献。该书旨在为从表格数据开发高质量预测模型提供实用指南，重点关注特征工程方法与机器学习模型的结合，以及建模后的活动。它面向希望了解如何创建预测模型的各类数据分析师，并提供R语言的tidymodels框架的计算补充。
移动开发的衰落 (www.donnfelker.com)
文章指出，随着移动操作系统更新带来的限制越来越多，移动开发变得越来越困难。开发者被迫花费大量时间应对平台要求，而非专注于功能开发，这导致成本上升，并降低了开发者的热情。作者认为，移动平台过于注重控制权，强制开发者遵守规则，并从开发者收入中抽取分成，最终导致开发者流失。相比之下，Web 开发更加自由和高效，因此越来越多的开发者转向 Web 平台。
避免使用网络供应商提供的路由器 (www.routersecurity.org)
网络安全专家建议用户避免使用网络供应商提供的路由器，主要原因是这些路由器存在安全风险。网络供应商通常为了降低成本，会在路由器初始配置和维护方面偷工减料，例如使用默认密码，这使得路由器容易受到攻击。此外，网络供应商可能会与间谍机构或政府合作，在路由器中设置后门，窃取用户数据。一些网络供应商还会限制用户对路由器的控制权，例如无法更改密码或DNS服务器，这使得用户无法根据自己的需求进行安全设置。
LightRAG：面向LLM应用的“PyTorch”库 (github.com)
LightRAG是一个轻量级、模块化且强大的Python库，旨在帮助开发者构建和优化检索器-代理-生成器（RAG）管道。它提供了一个完全可读的代码库，并通过检索器、内存和工具与模型外部世界进行交互，以满足各种LLM应用需求。
HOPL C 转录 (www.bell-labs.com)
这篇文章是Dennis M. Ritchie在1993年第二届ACM编程语言历史大会上发表的演讲稿，主要对C语言和其他同时代语言（Bliss、Pascal、Algol 68、BCPL）进行了比较分析。文章探讨了这些语言在数据类型、操作方式、设计理念、优缺点以及影响等方面的异同，并解释了C语言为何能够取得如此广泛的应用。
谷歌DeepMind人工智能系统现在可以解决复杂的数学问题 (www.technologyreview.com)
谷歌DeepMind训练了两个名为AlphaProof和AlphaGeometry 2的专业人工智能系统，用于解决涉及高级推理的复杂数学问题。这些系统在今年的国际数学奥林匹克竞赛（IMO）中成功解决了六道题目中的四道，相当于获得了银牌。这是人工智能系统首次在解决此类问题上取得如此高的成功率。
保留风味，去除咖啡因：化学家解释了无咖啡因咖啡背后的化学原理 (theconversation.com)
本文介绍了三种常见的咖啡脱咖啡因方法：二氧化碳法、瑞士水法和溶剂法。文章详细解释了每种方法的原理、优缺点以及对咖啡风味的影响。二氧化碳法利用高压CO₂溶解咖啡因，瑞士水法用热水反复萃取咖啡因，溶剂法则使用乙酸乙酯或二氯甲烷等有机溶剂。文章还讨论了脱咖啡因咖啡的安全性，指出残留溶剂含量极低，符合安全标准。
Swim-rust：用于构建有状态、大规模实时流式应用程序的自包含分布式软件平台 (github.com)
Swim Rust SDK 是一个软件框架，用于构建可以通过多路复流 API 进行交互的有状态应用程序。它构建在 Tokio 异步运行时之上。每个应用程序都包含一定数量的有状态代理，每个代理都作为单独的 Tokio 任务运行，并且可以通过 URI 单独寻址。代理可以具有公共和私有状态，这些状态可以仅保存在内存中，也可以选择保存在持久存储中。
我们需要什么样的可视化编程 (blog.sbensu.com)
文章批判了现有的可视化编程工具试图取代代码语法，指出开发者真正需要的是可视化代码库、内存布局、状态转换、网络请求等。文章列举了代码库可视化、内存布局图、状态机图、泳道图等开发者真正需要的可视化工具，并呼吁开发者和工具开发者关注这些领域。