Ladybird：一款崭新的独立网页浏览器 (ladybird.org)
Ladybird 是一款全新的独立网页浏览器，由非营利组织开发，致力于打造一个以网络标准为先、性能优异、安全稳定的浏览器。该浏览器目前处于开发阶段，计划于 2026 年初发布首个 Alpha 版本。Ladybird 的独特之处在于其完全独立性，不使用其他浏览器的任何代码，并专注于构建网络浏览器本身，没有任何盈利模式。
巴拿赫-塔斯基定理的意义 (www.solipsys.co.uk)
这篇文章主要探讨了巴拿赫-塔斯基定理的意义和重要性。该定理指出，在三维空间中，可以将一个球体分割成有限个部分，然后重新组合成两个与原始球体大小相同的球体。作者首先解释了度量（measure）的概念，并列出了我们期望度量具备的一些性质，例如可加性、等距不变性等。然而，维塔利集合的例子表明，在满足所有这些期望性质的情况下，无法定义一个对所有集合都有意义的度量。巴拿赫-塔斯基定理则进一步指出，即使将可加性条件放宽到有限可加性，在三维空间中仍然无法定义满足所有期望性质的度量。
英国百代公司：探索世界上最好的新闻片档案 (www.britishpathe.com)
英国百代公司拥有从1896年到1984年间22万部新闻影片，这些影片具有无与伦比的历史和文化意义。网站提供新闻片授权服务，并定期更新精选影片，方便新闻编辑和记者查找重要纪念日、背景资料或热门话题素材。
Nex Computer：将智能手机变成笔记本电脑、平板电脑或台式电脑 (nexdock.com)
Nex Computer公司旗下的Nex Devices设备可以将智能手机变成笔记本电脑、平板电脑或台式电脑。NexDock是一款可以通过有线或无线方式连接手机的笔记本电脑扩展坞；NexPad则可以将手机变成平板电脑；即将推出的NexDock XL则是一款更大尺寸的笔记本电脑扩展坞。
巴菲特为何不投资英伟达？ (www.investopedia.com)
:max_bytes(150000):strip_icc()/GettyImages-1140938011-c47e1709e8dc48e7b406386c7225df3c.jpg)
尽管英伟达因人工智能的增长机遇而备受投资者青睐，但截至2023年底，巴菲特的伯克希尔哈撒韦公司并未持有其股份。巴菲特以价值投资而闻名，他更喜欢易于理解的传统行业公司。虽然近年来伯克希尔投资了苹果和亚马逊，但错过了早期投资机会也让巴菲特感到后悔。英伟达股价在过去一年中上涨了250%，市值突破2万亿美元，成为美国第四家达到这一水平的公司。巴菲特是否会因为错过英伟达而后悔，还有待观察。
开放式远程神经平台助力湿件计算研究 (www.frontiersin.org)
本文介绍了一种名为“神经平台”的软硬件系统，旨在促进湿件计算和类器官智能领域的研究。该平台利用人类神经干细胞生成脑类器官，并通过多电极阵列对其进行电生理实验，以探索生物神经网络的计算潜力。该平台配备了微流控系统、摄像监控和紫外光解笼锁系统，能够进行长期、稳定的实验，并支持远程访问和控制。研究人员已成功利用该平台改变了类器官的自发活动，并优化了刺激参数以引发神经元反应。
阿尔卑斯水道的梦想 (blog.nationalmuseum.ch)
瑞士意大利工程师Pietro Caminada在1907年构思了一个看似违反物理定律的系统，他希望建造一条穿越阿尔卑斯山的通航水道“Via d’Acqua transalpina”。他设想了一条从热那亚港口翻越亚平宁山脉，穿过波河谷到达米兰和科莫湖的运河。Caminada计划用一个船闸系统来推动船只前进和上升，水将推动船只在没有机械推进的情况下，仅凭其自然浮力，从一个船闸到另一个船闸。尽管获得了包括意大利国王维托里奥·埃马努埃莱三世在内的一些人的支持，但由于经济和政治因素，该项目最终未能实现。
AMD 两年内第二次颠覆其笔记本电脑 CPU 编号系统 (arstechnica.com)
AMD 宣布放弃两年前推出的“解码器环”笔记本电脑 CPU 编号系统，回归更传统的命名方式。新的 Ryzen AI 笔记本电脑处理器将采用三位数编号，首位数字代表芯片代次，后两位数字表示特定型号。此次改变旨在简化命名规则，使其更易于理解。
超越边界：企业安全的新方法 (research.google)
本文介绍了谷歌公司提出的一种新的企业安全方法——BeyondCorp。该方法摒弃了传统的基于防火墙的边界安全模型，而是将所有企业应用程序迁移到互联网上，并取消了特权内网的概念。
RSS Combine：将多个 RSS 源合并成一个 (github.com)
RSS Combine是一个用Go语言编写的开源工具，可以将多个RSS源合并成一个统一的RSS源。它支持通过YAML配置文件或环境变量进行配置，可以设置标题、链接、描述、作者等信息，还可以从指定的URL列表或文件中读取要合并的RSS源地址。此外，RSS Combine还支持将生成的RSS文件上传至Amazon S3存储桶。
《被取代的农场主》 (store.steampowered.com)
《被取代的农场主》是一款自动化农业模拟游戏。玩家需要使用类似Python的编程语言编写代码，控制无人机完成各种农业任务，例如种植、浇水、收获等。通过不断优化代码，玩家可以提高农业生产效率，解锁更先进的技术，最终成为世界上最高效的农场主。
Daylight：更体贴的电脑 (daylightcomputer.com)
Daylight DC-1是一款专注于深度聚焦和健康的新型电脑，采用无蓝光、类似纸张的显示屏，可以在阳光下阅读，并提供流畅的交互体验。它旨在减少干扰，促进创造力和健康，并提供更平衡的生活方式。
西雅图图书馆遭勒索软件攻击，网络瘫痪近一个月 (www.seattletimes.com)
西雅图公共图书馆及其27家分馆遭受勒索软件攻击，网络瘫痪近一个月，导致数百台公共电脑无法使用，正常运营陷入停滞。图书馆无法办理图书归还手续，读者被要求暂时保留书籍。馆方表示正在努力恢复系统，但没有给出具体时间。此次攻击还影响了依赖图书馆电脑和网络服务的居民。
嫦娥六号成功登陆月球背面并采样 (www.space.com)
2024年6月2日，中国嫦娥六号探测器成功着陆于月球背面的阿波罗环形山，这是中国第二次成功登陆月球背面。此次任务旨在采集月球背面样本并送回地球，如果成功，将为研究人员提供来自月球这一区域的第一手资料。嫦娥六号还携带了一辆小型月球车，并将在着陆器上进行一系列科学实验。
DARPA 考虑六种新型无人垂直起降战机设计，预计 2026 年试飞 (www.livescience.com)
美国国防高级研究计划局 (DARPA) 正在推进一项名为“先进飞机无基础设施发射和回收”(ANCILLARY)的项目，旨在开发一种能够携带武器、垂直起降的无人 X 战机。该项目已进入新的测试阶段，六家国防和航空航天承包商参与竞标，设计方案将进行风险评估和效率分析。这些无人机预计将于 2026 年开始试飞，目标是为美国海军和其他军种提供一种更灵活、适应性更强的空中支援平台。
F1巴塞罗那展演引发居民抗议 (www.elnacional.cat)
6月19日，F1方程式赛车在巴塞罗那格拉西亚大道举行展览，吸引了3.8万名观众。然而，与此同时，约500名居民和200多个社区和社会团体走上街头，抗议将城市变成“主题公园”。示威者高呼“科尔博尼（巴塞罗那市长）辞职”，并批评了最近在反对路易威登时装秀的抗议活动中发生的警察暴力事件。
我后悔只做一名软件工程师吗？ (www.jacky.wtf)
本文是作者Jacky Alciné对自身科技行业经历的反思。作者回顾了自己进入科技行业的历程，从早期的开源软件体验到在Shutterstock、Google Photos和Glitch等公司的经历，以及参与社会活动和社区工作的经历。作者坦诚地分享了自己对科技行业中资本主义、种族歧视等问题的失望和反思，以及对未来职业道路的迷茫。作者认为，科技行业过度追求利润，忽视了社会责任和员工福祉。作者呼吁科技行业应该更加关注社会公平正义，并为创造一个更加美好的社会做出贡献。
Elixir 中的合一化 (www.ericpfahl.com)
本文介绍了Elixir中实现双侧模式匹配（也称为合一化）的方法。合一化是一种解决符号方程的算法，通过将变量与值相关联来实现两侧相等。文章详细解释了术语、变量和替换的概念，并逐步讲解了合一化算法的实现步骤，包括行走、等价性判断、变量更新和列表递归。文章还给出了合一化在逻辑运算中的应用示例，例如逻辑合取和逻辑析取。
反垃圾邮件黑名单SORBS被其所有者Proofpoint关闭 (www.theregister.com)
拥有20多年历史的反垃圾邮件黑名单服务SORBS被其所有者Proofpoint关闭。SORBS提供了基于DNS的黑名单，列出了超过1200万台已知传播垃圾邮件、网络钓鱼攻击和其他电子邮件恶意软件的主机服务器。超过20万个组织使用SORBS数据，该服务以其准确性而受到高度评价。Proofpoint表示，关闭SORBS的决定是考虑到服务可持续性的各种因素后做出的。反垃圾邮件社区正在努力为SORBS寻找一个合适的接管者，以防止其落入垃圾邮件发送者手中。
Daring Fireball：Dolphin为何无缘App Store（剧透：因为它需要JIT） (daringfireball.net)
文章解释了iOS版GameCube和Wii模拟器Dolphin无法上架App Store的原因。虽然苹果修改了应用商店指南，允许复古游戏模拟器上架，但Dolphin依赖的JIT技术仍被禁止使用。作者认为，苹果只允许自家应用使用JIT，而限制第三方开发者，这可能不符合DMA规定。
英特尔在 LLVM 19 中移除对 Knights Mill 和 Knights Landing Xeon Phi 的支持 (www.phoronix.com)
继几天前 GCC 编译器放弃对 Xeon Phi Knights Mill 和 Knights Landing 加速器的支持后，英特尔也已经着手并删除了 LLVM/Clang 19 编译器对 Xeon Phi 的支持。自今年早些时候 LLVM/Clang 18 将 Xeon Phi Knights Mill 和 Knights Landing 支持视为弃用以来，现在，对于计划于 9 月左右发布的 LLVM 19 版本，该支持将被完全删除。
苹果将通过分销而非现金支付 OpenAI ChatGPT 的费用 (www.bnnbloomberg.ca)
尽管苹果公司在其设备上集成了 OpenAI 的 ChatGPT，但双方并未立即获得经济收益。苹果认为，在其数亿台设备上推广 OpenAI 的品牌和技术比现金支付更有价值，而 OpenAI 则可以接触到更多用户。虽然目前 ChatGPT 在苹果产品上是免费的，但两家公司未来可能会通过将免费用户转换为付费用户来获利。
瑞典的“H日”：从左行到右行的历史性转变 (en.wikipedia.org)
1967年9月3日，瑞典进行了一次重大的交通规则改革，将车辆行驶方向从左侧改为右侧，这一天被称为“H日”。 尽管民众反对，但政府坚持改革，理由是与邻国交通规则保持一致、减少交通事故以及降低车辆改装成本。 改革当天，瑞典交通几乎停滞，以便进行道路标识和信号灯的调整。 此次改革初期有效减少了交通事故，但长期效果有限。
森林之声 - 声音地图 :: 木材节 (timberfestival.org.uk)
“森林之声”项目正在收集来自世界各地林地的音频，创建一个不断增长的世界林地声音地图。这些声音将组成一个开源库，任何人都可以收听和创作。部分艺术家将在 2021 年木材节上根据收集到的声音创作音乐、音频、艺术品或其他令人难以置信的作品。
用量子惯性解释比邻星的轨道速度 (academic.oup.com)
比邻星是距离太阳系最近的恒星系统——半人马座阿尔法星系统中的一员。然而，比邻星的高速轨道速度无法用可见物质的引力来解释，这引发了关于其是否受暗物质或其他未知因素影响的争论。文章介绍了一种名为“量子惯性”的新理论，该理论认为，星系边缘低加速度恒星的惯性会减小，从而在不需要暗物质的情况下解释星系旋转问题。作者将量子惯性应用于比邻星，发现该理论可以准确预测比邻星的轨道速度，并解释其与半人马座阿尔法星系统的引力束缚关系。