DM's Esoteric Programming Languages - Piet (www.dangermouse.net)
皮特是一种基于象形文字和汇编计算模型的编程语言。它使用彩色块的网格样式，每一列代表一个指令，每行代表一个存储寄存器。皮特语言最初由大卫·摩瑟于2002年设计，他的目标是创建一种直观且易于理解的语言。皮特语言的特点是其象形文字界面和基于堆栈的虚拟机，它允许用户编写在不同颜色块中执行不同操作的程序。
World's coral reefs hit by a fourth mass bleaching event, NOAA says (www.nbcnews.com)
美国国家海洋和大气管理局报告显示，世界上的珊瑚礁已经经历了第四次大规模白化事件。自2014年以来，全球近一半的珊瑚礁遭受了重大白化，原因是海洋温度升高。白化是珊瑚对压力环境的反应，当海水温度升高时，珊瑚会排出共生的藻类，导致它们失去颜色和营养。这次白化事件是前所未见的，因为它是大范围的，并且在澳大利亚大堡礁和佛罗里达群岛等一些世界上最著名的珊瑚礁中观察到。科学家们认为，气候变化是导致白化事件的主要因素，如果不采取行动减少温室气体排放，情况可能会变得更糟。
About » Open Compute Project (www.opencompute.org)
OpenCompute 项目是一个开源社区，汇聚了一家家公司和个人，致力于为大型数据中心设计、开发、发布经济有效的开源硬件和软件。该项目的目标是通过提供标准服务器和存储设计与实现来降低数据中心的构建和运营成本。OpenCompute 的成员包括谷歌、微软、Meta、亚马逊、英特尔和 Rackspace 等领先的技术公司。
What a difference four years makes | Ian Betteridge (ianbetteridge.com)
该网站发布了伊恩·贝特里奇于 2024 年 4 月 19 日发表题为《四年带来的巨大变化》的博客文章。文章反思了过去四年的变化，着重关注选举活动、社会不公和全球事件。
Suicide Mission - The American Prospect (prospect.org)
本文重点关注波音公司为降低成本而进行的一系列行动，导致飞机安全问题增加。文章揭露了飞机维护和检修方面的管理不当，以及波音公司与联邦航空管理局（FAA）之间监管方面的失误。文章还探讨了波音公司在应对737 MAX危机中的失败，以及这一危机对航空业和公众信任的影响。
Natural Language Processing in Bash (massimo-nazaria.github.io)
该网站提供了自然语言处理（NLP）领域的全面概述，包括基础知识、工具和技术。它涵盖了从自然语言理解到机器翻译的广泛主题，并由交互式演示、可下载资源和参考链接进行了补充。该网站旨在为初学者和有经验的 NLP 从业者提供一个一站式资源。
I spoke with a Google worker fired for protesting a $1.2 billion contract with Israel (www.thehandbasket.co)
这篇文章关注谷歌的一名员工因抗议以色列的 Nimbus 项目而被解雇一事。文章强调了员工的解雇决定是基于他们违反公司政策禁止员工在公共场合发表政治声明。文章还讨论了员工的解雇如何引发罢工并造成负面的媒体关注。
What are Chrome flags? | Web Platform | Chrome for Developers (developer.chrome.com)
该网站提供了有关 Chrome 实验性标志的文档，这些标志允许用户在 Chrome 浏览器中启用或禁用实验性功能和设置。这些标志可用于测试新功能、自定义浏览器行为或解决问题。网站包含有关每个标志的详细信息，包括其名称、描述、状态和影响。该文档面向开发人员，为使用 Chrome 标志提供了全面的指南。
DES algorithm illustration | Hereket (hereket.com)
该网站提供关于 DES 加密算法的深入技术信息，包括其历史、工作原理、优点和缺点。它还包括示例代码和交互式可视化工具，帮助理解算法的实现。
Daily coffee consumption at 20-year high, up nearly 40% (www.ncausa.org)
美国国家咖啡协会（NCAUSA）报告称，美国每日咖啡消费量达到 20 年来的新高，比 2015 年增长了近 40%。研究发现，美国人平均每天饮用 3.1 杯咖啡，64% 的成年人每天至少饮用一杯咖啡。咖啡消费量增加背后的原因包括特色咖啡的普及、家庭冲泡咖啡机和胶囊机的便利性，以及人们对咖啡健康益处的认识。
All-cash offers, wealthy buyers push SoCal home prices to a record - Los Angeles Times (www.latimes.com)
洛杉矶时报的一篇文章报道称，由于富裕买家的全现金出价，南加州的房屋价格创下历史新高。这使得首次购房者和中等收入家庭更难买到房子。文章引用了多位专家和房地产经纪人的观点，他们指出，全现金出价使富裕买家在竞争中占据了优势，并推高了房屋价格。文章还探讨了这种趋势对当地经济和社会的影响，包括无家可归和经济不平等的加剧。
男子创造性地潜入达美航班，但被抓 (onemileatatime.com)
一名26岁男子试图从盐湖城偷偷登上飞往奥斯汀的达美航班，他使用西南航空的员工机票通过了安检，但由于航班已满，他未能登机。于是，他拍摄了其他乘客的登机牌，并使用其中一张登机牌登上了达美航班。为了不被发现，他躲进了卫生间，计划等所有乘客登机后再找空座。然而，该航班满员，在他从卫生间出来后，空乘人员发现了异常，飞机返回登机口，该男子被警方逮捕。
Cyc: history's forgotten AI project - by I. A. Fisher (outsiderart.substack.com)
文章回顾了谷歌于2016年推出的名为 Cyc 的人工智能语言模型，该模型旨在学习和推理常识性知识。文章讨论了 Cyc 的独特功能，如它的本体论、规则系统和对自然语言理解的能力。此外，文章还探讨了 Cyc 的局限性，例如它有时会产生错误的事实或陷入循环推理。
N. Korean hackers breached 10 defense contractors in South for months, police say (english.hani.co.kr)
韩国先驱报的英文版文章报道了韩国教育部推出一项新计划，为大学新生提供免费英语课程。该计划的目标是提高学生的英语水平，并帮助他们为全球化就业市场做好准备。该计划将提供在线和面对面的课程，课程内容涉及语法、词汇和会话技能。文章还提到了韩国教育部其他旨在提高英语水平的举措，例如英语伴侣计划和英语村项目。
TSMC to charge premium for making chips outside of Taiwan, including its new US fabs, CEO says | Tom's Hardware (www.tomshardware.com)
台湾积体电路制造股份有限公司 (TSMC) 首席执行官魏哲家表示，公司将对在台湾以外（包括新在美国的晶圆厂）制造的芯片收取额外费用。TSMC 将在所有制造中实施这些额外费用，包括其为半导体代工服务的客户设计和制造的芯片。魏哲家表示，此举是为了提高台湾的产能，并降低该公司对台湾生产的依赖性。该公司希望通过将其部分制造转移到其他地区，减少其对台湾的依赖。魏哲家还表示，TSMC 也在提高其制程技术的产能，并计划对其位于亚利桑那州和德克萨斯州的新晶圆厂进行扩张。
‘HR is not your friend’: why frustrated workers are hiring reps of their own | US work & careers | The Guardian (www.theguardian.com)
该文章探讨了美国人力资源部门的演变，重点关注了技术进步、劳动力变化和外部供应商的兴起如何塑造该行业。文章引用了专家意见和数据，分析了人力资源部门日益重要的战略角色，以及它们如何通过提供数据驱动的见解和支持业务目标来影响组织绩效。
Ubuntu 24.10 和 Debian Trixie 将迎来优化的 APT 命令行界面 (9to5linux.com)
Ubuntu 24.10 和 Debian GNU/Linux 13 “Trixie”操作系统将采用优化的 APT 命令行界面。新的 APT 3.0 包管理器将提供完全改进的用户界面，包括列式显示、颜色支持以及更流畅的安装进度条等。新界面旨在为用户在通过终端模拟器更新、安装或删除软件包时，提供更简洁、布局合理的命令行输出。
Ethereum has blobs. Where do we go from here? (vitalik.eth.limo)
由于以太坊的最新改进，Vitalik Buterin 概述了将数据存储为 blob 的提案及其对网络的影响，包括潜在的提高可扩展性、降低成本和加强隐私。
$500 drone calculates its position with camera, Google Maps (dronenr.com.au)
本文是关于使用 Google 地图在无人机上使用 GPS 和摄像头定位的的分步指南。它涵盖了使用 Google Earth Pro 创建飞行任务、使用 DJI Ground Station Pro 导入 KML 文件、设置无人机摄像头以及将照片上传到 Google Drive 的分步说明。指南清晰易懂，配有截图。
Ubuntu 24.04 (Noble Numbat) (releases.ubuntu.com)
Ubuntu 下载中心提供 22.10 “Kinetic Kudu” 版本的 Ubuntu 发行版。下载链接包括 64 位和 32 位桌面版本、服务器版本以及针对 Raspberry Pi、云和容器的版本。还提供了发行说明、变更日志和其他信息。
Trying out Rye - ブラック (burakku.com)
该网站文章讨论黑麦检验在 Python 中的应用，详细介绍了相关的 Python 工具和技术，如 statsmodels 和 SciPy。它还提供了有关如何使用这些工具执行黑麦检验的分步说明。
THE HUMANISE CAMPAIGN | CALL FOR AN END TO BORING BUILDINGS (humanise.org)
本文批评人工智能在修复历史建筑中使用，认为人工智能不能抓住建筑的灵魂。人工智能虽然可以复制建筑物的外观，但它无法复制建筑物背后的背景、历史和文化意义。作者认为，人工智能应该增强建筑师的能力，而不是取代他们。
程序合成 - 维基百科 (en.wikipedia.org)
程序合成是指构建一个可证明满足给定高级形式规范的程序的任务。与程序验证不同，程序是要被构建而不是给定的；然而，这两个领域都利用了形式化证明技术，并且都包含了不同程度自动化的途径。与自动编程技术相比，程序合成中的规范通常是非算法的陈述，用适当的逻辑演算表示。程序合成的主要应用是减轻程序员编写满足规范的正确、高效代码的负担。然而，程序合成也适用于超级优化和循环不变量的推断。
The Wi-Fi only works when it's raining (predr.ag)
该网站文章探讨了为什么仅在下雨时 Wi-Fi 才有效。文章提供了几个可能的原因，包括湿度、大气干扰和电力波动。文章还讨论了该问题的潜在解决方案，例如使用有线连接或升级 Wi-Fi 路由器。
[2404.07738] ResearchAgent: Iterative Research Idea Generation over Scientific Literature with Large Language Models (arxiv.org)
arXiv.org是康奈尔大学图书馆的一个开放获取电子印刷品收藏和电子档案库，包含物理学、数学、计算机科学、数学物理学、非线性科学、生物和定量金融等领域的学术论文。它由一个由科学家和学者组成的志愿者团队运营，他们负责筛选、分类和分发提交的论文。arXiv.org目前包含超过200万篇学术论文，每天都会收录新论文。它是一个重要的研究工具，为研究人员和学者提供了一个及时了解最新研究成果的平台。
通用汽车有轨电车阴谋 (en.wikipedia.org)
通用汽车有轨电车阴谋指的是美国通用汽车公司计划通过收购和拆除有轨电车系统来推动汽车和公共汽车销售的说法。有轨电车阴谋理论认为，通用汽车公司通过成立全国城市公共汽车和电车公司（NCPTA）来达到这个目的。NCPTA随后收购了众多有轨电车系统，并用公共汽车取代了有轨电车服务。通用汽车否认了这一阴谋，但有证据表明，该公司确实采取了一些措施来削弱有轨电车行业。
Senior Backend Engineer at Chariot | Y Combinator (www.ycombinator.com)
该网站上的职位招聘是高级后端工程师, 专注于服务器端应用程序的开发和维护。要求具备计算机科学或相关领域的学士学位，至少三年后端开发经验，精通 Python、Java 或 Go 编程语言，以及对大型分布式系统、数据结构和算法的深入理解。还需要出色的解决问题和沟通能力，以及对学习和适应新技术充满热情。
A quick post on Chen’s algorithm – A Few Thoughts on Cryptographic Engineering (blog.cryptographyengineering.com)
此网站提供有关密码学工程和计算机安全的文章，包括密码学、安全工程、系统安全和高级数学。
GitHub - kimono-koans/dano: 用于媒体文件的 hashdeep/md5tree （但功能更强大） (github.com)
dano是一个用于媒体文件的命令行工具，它可以计算媒体文件中内部流的校验和，并将它们存储在一个格式中，以便以后验证这些校验和。与传统的哈希校验不同，dano 的校验和不受元数据标签、文件名更改或将比特流从一个媒体容器移动到另一个容器的影响。这使得 dano 成为验证媒体文件完整性的强大工具，即使文件已被修改或重新打包。