清醒的 AI 已成常态 (www.dbreunig.com)
本文认为，尽管 OpenAI、谷歌等公司对 AI 大肆宣传，但实际上，大多数 AI 应用都非常“清醒”，开发者将 AI 视为数据管道中的一个组件，用于数据处理、分析和生成 SQL 语句等任务，而非创造超级智能。这种“清醒的 AI”虽然看似平淡无奇，但它能够真正帮助企业利用数据提高效率，实现数据驱动决策的愿景。
键盘布局如何影响编程语言 (www.hendrik-erz.de)
文章探讨了键盘布局如何影响编程语言的设计。作者发现，美式 ANSI 键盘布局使得输入编程常用字符（如大括号）更加容易，而欧洲 ISO 布局则在输入 HTML 代码时更具优势。作者认为，这种差异源于编程语言开发者使用的键盘布局，并以 HTML 和 Vim 编辑器为例说明了文化和技术环境对软件设计的影响。
超新星减速证实了爱因斯坦的时间膨胀预测 (www.scientificamerican.com)
一项新的研究分析了来自遥远宇宙的1504颗超新星的数据，为宇宙学时间膨胀提供了迄今为止最清晰的证据，证实了爱因斯坦的预测。该研究使用了暗能量巡天项目（DES）的数据，该项目观测了一种特殊的爆炸恒星，称为Ia型超新星，跨越了数十亿年的宇宙历史。研究发现，超新星的特征闪光和衰减的延长量与其红移成正比，红移是宇宙膨胀对其发射光的拉伸程度的度量。这一发现与爱因斯坦的狭义相对论相符，该理论预测，对于以极高速度运动的物体来说，时间流逝得更慢。
火星的夜空是怎样的？ (www.skyatnightmagazine.com)
这篇文章探讨了火星的夜空不同于地球夜空的方式。文章讨论了火星上的大气层如何使天空呈现出不同的颜色，以及如何影响火星上的星星和行星的可见性。文章还讨论了火星上独有的天文现象，例如火星极冠的极光。
汉谟拉比法典 (en.wikipedia.org)
汉谟拉比法典是一部古巴比伦法律文献，创作于公元前1755年至公元前1750年，是古代近东地区篇幅最长、组织最完善、保存最完好的法律文献。法典主要内容刻在一块2.25米高的玄武岩石碑上，石碑于1901年在现今伊朗的苏萨遗址被重新发现，现藏于卢浮宫博物馆。法典内容涵盖了广泛的社会生活领域，包括刑法、家庭法、财产法和商业法等，其目标是“防止强者压迫弱者”，以维护社会秩序和公平正义。
奇特弯曲形状打破了 50 年前的几何猜想 (www.quantamagazine.org)
本文介绍了数学家如何推翻了一个关于曲率和形状之间关系的主要猜想——米尔诺猜想。米尔诺猜想认为，如果一个完备流形的里奇张量处处非负，那么它就不能有无限个洞。然而，数学家们构建了一个七维光滑分形雪花，它在每一点都具有非负里奇曲率，但却拥有无限个洞，从而推翻了米尔诺猜想。这一发现表明，具有非负里奇曲率的形状比数学家们预期的更加灵活，也更加复杂，这使得我们对局部几何性质和全局拓扑性质之间的关系的理解变得更加复杂。
Arm发布新一代Immortalis GPU：性能更强，功耗更低 (www.theverge.com)
/cdn.vox-cdn.com/uploads/chorus_asset/file/21696465/acastro_200804_1777_arm_0004.0.jpg)
Arm公司近日发布了面向旗舰智能手机的新一代CPU和GPU设计：Cortex-X925 CPU和Immortalis G925 GPU。据称，X925的单核性能比X4快36%，AI工作负载性能提升41%。新款Immortalis G925 GPU在图形应用程序上的速度比上一代G720快37%，同时功耗降低30%。此外，Arm还将提供优化的CPU和GPU设计布局，方便设备制造商将其应用于自己的芯片设计中。
泄露文件揭示谷歌搜索如何把控互联网 (gizmodo.com)
一份泄露的2500页文件揭示了谷歌搜索的14000个排名要素，这些要素决定了网站在搜索结果中的排名。文件中提到了网站权威性、点击率等因素，以及一些谷歌此前否认使用的排名方式。这引发了业界对谷歌搜索透明度和公平性的质疑，尤其是对小型网站的影响，以及在人工智能时代，谷歌如何选择和呈现信息的重要性。
旋翼无人机和飞行控制系统的现状综述 (www.mdpi.com)
本文综述了旋翼无人机及其组件的最新技术。首先介绍了无人机的基本概念，描述了其主要类型，然后重点介绍了最受个人和研究使用的多旋翼无人机。分析了各种多旋翼无人机的类型、结构、典型应用领域以及其背后的技术。最后，展望了无人机系统发展的当前挑战和未来方向、新兴技术以及该领域的未来研究课题。
芯片时代的粒子加速器 (www.moore.org)
这篇文章介绍了摩尔基金会资助的“芯片上的加速器”(ACHIP)项目。该项目旨在开发一种新型的粒子加速器，利用激光电场代替微波加速电子，从而实现更小、成本更低、效率更高的粒子加速。与传统加速器相比，ACHIP体积更小，结构更紧凑，有望应用于医疗、诊断等多个领域，例如开发新的癌症治疗工具和诊断工具。
大型科技公司在链接欺诈中的作用 (eligrey.com)
文章批评大型科技公司，如谷歌、微软和X（推特），允许广告商使用未经验证的“虚荣URL”进行链接欺诈，损害了用户信任并给社会带来负面影响。作者呼吁对这些公司进行监管，强制其验证域名所有权或完全禁止虚荣URL的使用，并建议用户安装广告拦截器以保护自己。
为何中世纪的博洛尼亚曾遍布高塔？ (www.openculture.com)
这篇文章探讨了意大利博洛尼亚在中世纪时期为何建造了众多高塔，并解释了这些高塔的用途和最终的命运。文章指出，这些高塔并非单纯的装饰，而是贵族家族在城市环境下的一种防御性建筑，类似于“避难所”。随着时代变迁和社会结构的变化，这些高塔逐渐失去了其原有的功能，大部分都被拆除，如今仅存22座。
Anthropic聘请前OpenAI安全主管领导新团队 (techcrunch.com)
人工智能安全研究领先者Jan Leike加入了OpenAI的竞争对手Anthropic，领导一个新的“超级对齐”团队，专注于人工智能安全和保障的各个方面，特别是“可扩展的监督”、“弱到强的泛化”和自动化对齐研究。Leike此前曾在OpenAI共同领导超级对齐团队，但因OpenAI领导层对人工智能安全的重视程度不足而辞职。Anthropic的首席执行官Dario Amodei也曾是OpenAI的研究副总裁，他因OpenAI日益增长的商业化重心而与该公司分道扬镳。
Perl：截断 UTF-8 字符串 (domm.plix.at)
本文探讨了在 Perl 中如何截断 UTF-8 字符串以适应字节限制。由于 UTF-8 编码中字符的字节长度可变，直接使用 substr() 函数可能导致截断后的字符串包含无效字符。文章介绍了使用 bytes::substr() 函数和 Encode 模块的 encode_utf8() 和 decode_utf8() 函数来正确截断 UTF-8 字符串，并讨论了处理截断过程中出现的无效字符的方法。
妥协的愿景更胜一筹 (ericnormand.substack.com)
本文探讨了软件开发中约束的重要性，作者认为，过度的自由和无限制的选择会导致项目范围蔓延、预算超支和复杂性失控。作者以木偶戏、电影《大白鲨》和雅达利游戏《陷阱》为例，说明了约束如何激发创造力，并建议设置负面约束、硬性限制和强制权衡来控制项目范围。
三星电子工人举行首次罢工 (www.theverge.com)
/cdn.vox-cdn.com/uploads/chorus_asset/file/25481712/2155726280.jpg)
由于薪酬和休假谈判陷入僵局，三星电子工人在周五举行了公司历史上首次罢工。 这次罢工由三星电子工会联盟发起，主要来自芯片部门。 尽管罢工不太可能影响芯片生产，但此次事件发生在三星面临人工智能芯片竞争加剧之际，对公司来说是一个尴尬的时刻。 三星电子是韩国经济的重要组成部分，其劳资关系问题备受关注。
GitHub - mcinglis/c-style: 我最喜欢的 C 编程实践 (github.com)
本文介绍了作者最喜欢的 C 编程实践，涵盖了代码风格、规范、最佳实践等方面，旨在帮助开发者编写更正确、可读、简洁和易于维护的 C 代码。作者强调了代码正确性、可读性、简洁性和可维护性优先于速度，并建议在完成开发后进行基准测试以识别瓶颈并进行优化。文章还讨论了诸如使用空格、注释、命名约定、数据类型、控制结构、宏、结构体、枚举和函数等方面的最佳实践。
丹麦简化购房流程，美国或可效仿 (www.businessinsider.com)
美国30年期固定利率抵押贷款虽然稳定，但也造成“锁定效应”，阻碍房屋流动。丹麦的“担保债券”模式提供了解决方案：允许借款人以市场价值偿还抵押贷款，从而在利率上升时获利，避免因利率差异被“锁定”。文章建议美国效仿丹麦模式，改革抵押贷款体系，提高市场效率。
Rust 1.78：128 位内存对齐修复对性能的影响 (codspeed.io)
Rust 1.78.0 版本于 2024 年 5 月 2 日发布，该版本完成了 x86 架构的 u128/i128 更改，对使用 128 位整数的代码可能会有性能提升。文章深入探讨了内存对齐问题如何影响性能，并通过实例演示了 Rust 1.76.0 中 128 位整数的 8 字节对齐导致的性能下降，以及通过强制 16 字节对齐来优化性能的方法。文章还使用 CodSpeed 运行器进行基准测试，比较了不同对齐方式下的性能差异，并证实了 Rust 1.78.0 版本解决了对齐问题，提升了代码性能。
OpenAI解散专注于AI风险研究的团队 (www.businessinsider.com)
OpenAI解散了其专注于AI风险研究的“超级对齐”团队。该团队成立于2023年7月，旨在降低AI失控风险。团队解散前，其领导者Ilya Sutskever和Jan Leike宣布辞职。Leike批评OpenAI更关注发布“光鲜亮丽的产品”而不是安全问题。OpenAI表示，该团队的一些剩余成员已被并入其他团队。
陶哲轩：在……方面取得了突破性进展 (mathstodon.xyz)
这篇博文介绍了著名数学家陶哲轩在 Mathstodon 上发布的一条帖子，帖子标题暗示在某个数学领域取得了重大突破，但并未透露具体内容。
麻省理工学院 xv6 操作系统简介 (pdos.csail.mit.edu)
xv6 是麻省理工学院于2006年夏季开发的一个教学操作系统，其灵感来自Unix V6，被移植到RISC-V平台上，用于本科课程6.1810 (操作系统工程)。xv6 的源代码和文档可以通过 https://github.com/mit-pdos/xv6-riscv.git 和 https://github.com/mit-pdos/xv6-riscv-book.git 获取。
软件行业的简单破坏 (erikbern.com)
本文以二战时期CIA编写的《简单破坏》一书为引子，列举了软件行业中降低生产力的各种方法，涵盖技术、产品、领导力、招聘、项目管理等多个方面。作者以幽默讽刺的语气，揭示了软件行业中常见的一些问题，例如过度追求技术复杂度、产品战略摇摆不定、领导层臃肿低效、招聘流程不合理、项目管理混乱等。
不确定性的牛油果：Stamen 如何设计新的飓风可视化 (stamen.com)
为了帮助CrisisReady 和 DirectRelief 更好地应对自然灾害，Stamen 设计了 ReadyMapper，一个用于在紧急情况下进行决策的交互式仪表板。为了更精确地显示飓风预测，Stamen 团队没有采用传统的“不确定性锥”，而是选择了“不确定性牛油果”—— 一种显示风速概率的可视化方法，它以同心多边形表示飓风路径上不同区域的概率，使用户更清晰地了解飓风的影响范围。
在同一家公司工作超过两年，你的薪水就会减少 50% (www.forbes.com)
本文分析了长期在一个公司工作的利弊，指出虽然长期工作有利于公司文化建设和个人职业发展，但是跳槽会获得更高的薪资涨幅。据统计，在同一家公司工作超过两年，平均收入会减少50%。因为跳槽的平均工资涨幅在10%到20%之间，而留在原公司的平均涨幅只有3%，甚至低于通货膨胀率。文章建议求职者积极寻求更好的职业机会，以提高收入水平。
尼采的伟大指南：道德谱系学解读 (www.johnathanbi.com)
本文是对尼采《道德谱系学》一书的导读，探讨了尼采的道德哲学思想。文章从奴隶道德和主人道德的区分出发，分析了基督教道德如何通过颠倒主人道德价值观，利用奴隶的怨恨心理，以及提供残酷和苦难的出口，最终取得胜利。作者同时指出尼采过度强调权力意志，将个人英雄主义理想化，并以尼采自身经历为鉴，批判其思想的局限性。
鲍姆-韦尔奇算法 (en.wikipedia.org)
鲍姆-韦尔奇算法是用于查找隐马尔可夫模型（HMM）未知参数的一种特殊类型的期望最大化算法。它利用前后向算法来计算期望步骤的统计数据。该算法以其发明者伦纳德·E·鲍姆和劳埃德·R·韦尔奇的名字命名。鲍姆-韦尔奇算法被应用于语音识别、密码分析和生物信息学等领域，用于解决HMM参数估计、信息解密和基因序列建模等问题。
