Leachim 机器人 (en.wikipedia.org)
Leachim 是一款早期语音合成机器人，由迈克尔·J·弗里曼开发，并于 1972 年至 1975 年期间在纽约市一所学校的四年级课堂上担任助教。它采用双音合成语音技术，能够通过计算机磁盘快速进行语音分支，从而产生易于理解的语音。Leachim 可以使用耳机同时教授多名学生，并跟踪他们的个人学习进度。该机器人由 RCA Spectra 70 系列计算机构成，身体由木材制成，手臂和头部等部件可以移动。
GitHub - imdj/opml-editor: 为管理订阅列表（RSS 和 Atom 提要列表）量身定制的在线 OPML 编辑器 (github.com)
OPML Editor 是一款简单的在线 OPML 编辑器，专为管理订阅列表（RSS 和 Atom 提要）而设计。它提供了添加新订阅、合并多个 OPML 文件以及删除重复订阅等功能。
通过过度词汇分析ChatGPT在学术写作中的使用情况 (arxiv.org)
这篇论文研究了大型语言模型（LLM），如ChatGPT，在学术写作中的使用情况。研究人员分析了2010-2024年间发表在PubMed上的1400万篇摘要，发现自LLM出现以来，某些风格词汇的频率急剧上升。分析表明，2024年至少有10%的摘要使用了LLM进行处理，某些学科、国家和期刊的比例甚至高达30%。这项研究表明，基于LLM的写作助手对科学文献产生了前所未有的影响。
Milk-V Duo S RISC-V单板计算机的每日自动化测试 (lupyuen.codeberg.page)
本文介绍了如何对基于Sophgo SG2000 RISC-V SoC的Milk-V Duo S单板计算机进行每日自动化测试，以确保其与Apache NuttX RTOS的兼容性。测试过程包括使用宜家智能电源插座自动启动单板计算机，从GitHub下载最新的NuttX每日构建版本，通过TFTP服务器将其加载到单板计算机上，运行NuttX测试脚本，并将测试日志上传到GitHub版本说明中。
好市多进军模块化住宅市场 (www.strongtowns.org)
本文讲述了好市多如何利用加州住房政策改革，绕过传统审批流程，通过建造模块化住宅进入房地产市场的故事。文章指出，加州住房供应短缺，而繁琐的审批流程限制了住房建设。好市多利用政策漏洞，建造大量模块化住宅以满足政策要求，从而快速进入市场。
俄罗斯黑客攻击伦敦医院事件调查或将持续数周，引发公众对患者数据泄露的担忧 (apnews.com)
6月初，俄罗斯黑客组织“麒麟”对伦敦医院发动勒索软件攻击，导致大量手术和预约被取消。攻击发生两周后，英国国家医疗服务体系（NHS）表示，调查可能需要数周才能完成，并证实了黑客已将窃取的患者数据（包括姓名、出生日期和血液检测结果等）发布在暗网上。NHS正在努力核实泄露数据的真实性，并为受影响患者提供帮助。
使用线性类型进行引用计数 (github.com)
本文介绍了如何使用线性类型实现引用计数的Haskell库。该库提供了一种安全地共享和释放资源的方法，确保资源在最后一个引用消失时被精确释放一次。文章详细解释了库的设计原理，包括关键数据类型、函数以及潜在的陷阱，并提供了一些使用示例。
OpenSSF 推出 Siren 项目，增强开源软件安全性 (openssf.org)
开源软件安全基金会 (OpenSSF) 推出了 Siren 项目，这是一个旨在加强全球开源项目防御能力的突破性举措。Siren 是一个威胁情报共享平台，允许用户分享与近期网络攻击相关的策略、技术、程序 (TTP) 和入侵指标 (IOCs)。该平台旨在公开披露后，让社区了解最新的威胁和活动。
Linux进军汽车领域：红帽与exida达成里程碑式合作 (www.networkworld.com)
红帽宣布与功能安全和网络安全认证领域的全球领导者exida合作，其Linux数学库（libm.so glibc）已获得ISO 26262 ASIL-B认证。此次合作标志着一个重要的里程碑，表明Linux在汽车行业中扮演着越来越重要的角色，特别是在车辆安全性和可靠性方面。红帽致力于为汽车行业提供基于开源的、软件定义车辆（SDV）解决方案，为未来更安全、更智能的汽车铺平道路。
Waymo：交通出行领域的巨大飞跃 (loeber.substack.com)
本文介绍了作者在旧金山乘坐Waymo无人驾驶汽车的体验，并预测了自动驾驶汽车对社会的影响。作者认为Waymo的驾驶体验非常出色，安全平稳，为乘客提供了私人空间，是优于Uber的出行方式。作者还分析了Waymo的单位经济效益，指出其运营成本低于Uber，但资本支出较高。作者认为Waymo可以通过大规模部署和低价策略获得市场份额，最终实现盈利。此外，作者还探讨了Waymo对公共交通的影响，认为Waymo可以替代公共汽车和地铁，为城市交通提供更便捷、高效的出行方案。
如何限制 Facebook 广告追踪 (gist.github.com)
这篇文章提供了一种方法，通过在浏览器控制台中运行 JavaScript 代码来自动退订 Facebook 的广告追踪。代码会自动点击相关选项，阻止广告商基于用户数据进行定向投放。
软件工程师，而非宇航员，才是当今航天工业的英雄 (www.washingtonpost.com)
文章讲述了在当今航天领域，软件工程师和计算机科学家如何取代宇航员成为幕后英雄。 软件技术的革新使得航天器更加小巧、智能，能够自动飞行、着陆，并通过软件更新进行远程维护。 文中列举了多个案例，例如软件工程师通过代码修复了航天器故障、调整了传感器设置，甚至帮助航天器在月球表面成功着陆。 这些案例都证明了软件工程师在现代航天任务中扮演着至关重要的角色。
全球太阳能革命：夏至中午太阳能发电量占全球五分之一 (ember-climate.org)
根据Ember的数据，在今年夏至的中午时段，全球将有约五分之一的电力来自太阳能。这标志着太阳能发电的快速增长和影响，近年来太阳能发电量实现了前所未有的扩张。中国在推动太阳能发展方面处于领先地位，2023年太阳能装机容量同比增长152%。随着太阳能持续扩张，它将进一步改变电力行业，加速世界向可再生能源的转型。
索尼PVM-4300：史上最大的CRT电视 (dfarq.homeip.net)
本文介绍了索尼公司于1989年推出的PVM-4300，它是史上最大的CRT电视，拥有43英寸的屏幕和先进的IDTV技术，售价高达4万美元。由于其尺寸巨大，价格昂贵，当年只在美国销售了20台。
Errata Security：C语言可以是内存安全的 (blog.erratasec.com)
这篇文章探讨了如何使C语言内存安全。作者认为，与其放弃现有的C/C++代码库，不如通过对编译器进行微小的、兼容性改进来实现内存安全。文章以OpenSSL中的一个内存安全漏洞为例，展示了如何使用新的编译器属性来进行内存边界检查。作者认为，这种方法可以引导程序员进行代码重构，从而在不放弃现有代码库的情况下提高内存安全性。
巴比伦的神秘女神 (www.historytoday.com)
这篇文章探讨了大英博物馆收藏的一块名为“夜之女王”的巴比伦女神像的身份之谜。尽管进行了大量研究，但她的身份仍然未知。文章探讨了三种主要的身份假设：爱与战争女神伊南娜/伊师塔、冥界女王埃列什基伽勒和恶魔莉莉丝，但每种假设都有其缺陷。文章最后提出，她可能是混合神灵或象征宇宙男性和女性原则。
没有战争，男人还能生存吗？ (www.theatlantic.com)
本文探讨了在科技进步、战争本质改变的背景下，和平的可能性以及没有战争后人类生活方式的转变。作者认为，虽然战争的残酷性已为世人所认知，但人类好斗的本性不会消失，需要找到新的发泄途径，例如科学研究、社会竞争等，以此保持人类活力，并推动社会进步。
Cognate: 可读且简洁的串联编程语言 (cognate-lang.github.io)
本文介绍了Cognate编程语言，它是一种可读性强且简洁的串联编程语言。文章详细讲解了Cognate的语法、函数定义、变量、控制流、列表和盒子等概念，并通过丰富的示例代码演示了如何使用Cognate进行编程。文章还介绍了Cognate的函数式编程特性，例如高阶函数和递归等。
意面圈轶事：被遗忘的历史 (snackstack.net)
本文讲述了意面圈的发明者唐纳德·戈尔克的故事，但他并非第一个发明罐装意面的人。早在几十年前，贝蒂·奥索拉就发明了长条形的罐装意面，并推广了许多意大利食品。作者认为，奥索拉在推广意大利美食方面的影响力可能更大，但却被历史遗忘。
全球首台高温超导托卡马克装置HH70首次实现等离子体放电 (www.energysingularity.cn)
近日，由能量奇点设计建造的全球首台全高温超导托卡马克装置HH70成功实现首次等离子体放电。HH70的建成运行，标志着中国在高温超导磁约束聚变这一关键领域取得了先发优势。HH70是世界上首台高温超导托卡马克装置，也是目前世界上唯一由商业公司建成的全超导托卡马克装置。能量奇点将以HH70为关键实验平台，研发下一代高场高温超导托卡马克装置HH170，目标实现氘氚等效能量增益大于10。
詹姆斯·韦伯太空望远镜揭示宇宙黎明时期成熟的类星体 (phys.org)
詹姆斯·韦伯太空望远镜 (JWST) 观测到一个处于宇宙特别年轻阶段的星系 J1120+0641。令人费解的是，其中心的黑洞在当时是如何达到超过十亿个太阳质量的。该研究结果发表在《自然·天文学》杂志上。最新观测结果表明，早期类星体与后期类星体几乎完全相同，这挑战了现有的星系演化模型。
微软承认无法保证英国警务数据的安全 (www.computerweekly.com)
本文揭露了微软公司承认其无法保证存储在其云服务上的英国警务数据的主权，尽管该公司长期以来一直公开宣称相反。这引发了对数据安全和隐私的严重担忧，尤其是考虑到英国法律要求此类敏感数据必须存储在英国境内。这一事件引发了关于微软云服务是否符合英国数据保护法以及其他政府部门使用其服务的潜在风险的广泛讨论。
凝视圆周率 (pigazing.dcford.org.uk)
“凝视圆周率”项目旨在利用连接到监控摄像头的树莓派电脑，构建流星监测网络。这些摄像头朝向天空，记录夜间景象。树莓派实时分析视频，搜索移动物体，记录流星、卫星和飞机的轨迹。此外，还能捕捉到闪电、烟花等人为现象，以及由航天器太阳能电池板反射阳光造成的铱星闪光。该项目所有代码和硬件设计均开源，可在GitHub上获取。
AWS Lambda Web Adapter：在 AWS Lambda 上运行 Web 应用程序 (github.com)
AWS Lambda Web Adapter 允许开发者使用熟悉的框架（如 Express.js、Next.js、Flask 等）构建 Web 应用程序，并将其运行在 AWS Lambda 上。它支持多种功能，包括 Amazon API Gateway Rest API 和 Http API 端点、Lambda 函数 URL、应用程序负载均衡器，以及 Lambda 托管运行时、自定义运行时和 Docker OCI 镜像。该工具还支持本地调试和非 HTTP 事件触发器，例如 SQS、SNS、S3 等。
算法厌恶解析 (papers.ssrn.com)
本文探讨了人们在算法通常表现更优的情况下，仍然偏好人类预测者或决策者的现象，即“算法厌恶”。文章分析了导致这种现象的多种机制，包括对能动性的渴望、对算法判断的负面道德或情绪反应、对人类专家拥有独特知识的信念、对算法优良表现原因的无知以及对算法错误的不对称宽恕。
Systemd 256.1 修复了 “systemd-tmpfiles” 意外删除 /home 目录的问题 (www.phoronix.com)
systemd 256.1 版本修复了一个问题，该问题会导致 “systemd-tmpfiles --purge” 命令意外删除用户的 /home 目录。此前，该命令会删除所有由 tmpfiles.d 条目创建的文件和目录，包括由 systemd-tmpfiles' home.conf 创建的 /home 目录。为了解决这个问题，systemd-tmpfiles 现在接受配置文件作为参数，用户必须明确指定要删除的文件所属的配置文件。
纪念芯片设计先驱Lynn Conway (spectrum.ieee.org)
本文介绍了芯片设计先驱Lynn Conway的一生及成就。作为超大规模集成电路技术的共同开发者，Conway对芯片技术的革命性发展做出了巨大贡献。她与Carver Mead共同开发的VLSI技术，通过将数千个晶体管集成到单个芯片中，彻底改变了微芯片设计，为如今智能手机、笔记本电脑等电子设备的处理器、内存和其他功能提供了基础。除了在工程领域的杰出贡献，Conway还是一位跨性别权利活动家，她公开自己的经历，并致力于推动IEEE行为准则的更新，以禁止基于性取向、性别认同和性别表达的歧视。
Web Check 网站信息查询工具 (v1.web-check.xyz)
Web Check 是一款免费开源的网站信息查询工具，用户只需输入网址并点击“扫描”按钮，即可查看该网站的所有可用信息。该工具基于 MIT 许可证开源，由 Alicia Sykes 于 2023 年创建。