火星的一切都很糟糕 (fivethirtyeight.com)
尽管火星被认为是太阳系中最有可能成为人类下一个家园的星球，但这颗星球也存在着许多挑战。火星表面温度波动剧烈，夜晚温度可降至零下73摄氏度，白天则高达21摄氏度。此外，火星还经常刮起巨大的沙尘暴，这些沙尘暴会持续数周，甚至覆盖整个星球，遮蔽阳光，还会对航天器的电子设备造成损害。火星缺乏全球性磁场，这意味着来自太阳和宇宙的辐射会直接轰击火星表面，对人类和电子设备构成威胁。
维珍银河VSS Unity太空飞机最后一次亚轨道太空飞行，搭载6名机组人员 (www.space.com)
2024年6月8日，维珍银河的VSS Unity太空飞机完成了最后一次亚轨道太空飞行，搭载了两名飞行员和四名乘客。这是该公司的第七次商业太空飞行任务，也是Unity的最后一次飞行，因为它将被新的“Delta”级航天器取代。这次飞行持续了一个多小时，达到了54.4英里（87.5公里）的高度，乘客体验了几分钟的失重，并欣赏到了地球的壮丽景色。机上的乘客包括土耳其航天局宇航员、三名付费乘客和两名飞行员。
关于科学与社会的异端思考 (www.edge.org)
本文作者弗里曼·戴森以“异端”自居，对气候变化、科学与社会的关系等问题提出了自己独到的见解。他认为，全球变暖问题被夸大了，碳排放问题本质上是土地管理问题，并以湿润的撒哈拉沙漠为例，支持人类改造自然的观点。戴森还对美国未来表示担忧，认为其“顶级国家”的地位将在百年内被中国等国取代。
在自由主义经济学家父母的教养下 (daviddfriedman.substack.com)
本文讲述了作者在自由主义经济学家父母的教养下，学会了理性思考、独立判断和挑战权威。作者从小就被鼓励参与家庭讨论，并以理服人，而非以年龄或地位压人。这种教育方式塑造了作者敢于质疑权威、追求真理的性格，即使面对权威人士的错误观点也敢于提出异议。
电子表格就是你所需的一切 (github.com)
本文介绍了一个名为“电子表格就是你所需的一切”的项目，该项目将nanoGPT管道打包到一个电子表格中，以可视化GPT的工作原理。该项目基于Andrej Karpathy的nanoGPT结构，包含约85000个参数，使用户能够交互式地配置和理解transformer的内部机制，包括嵌入层、规范化、自注意力、投影、MLP、softmax和logits。该项目提供了两种电子表格文件：“无权重”和“随机权重”，分别显示了清晰的参数值和随机生成的参数值，方便用户理解数据流和参数影响。
一种用于实现数学函数的 DSL (blog.sigplan.org)
MegaLibm 是一种嵌入在 Python 中的 DSL，旨在简化和确保数学函数实现的编写。它使用符号表达式类型来跟踪代码实现的实值表达式，并通过类型检查来捕获错误。MegaLibm 还允许使用 approx 函数来表达近似值，并使用 range reduction 技术来简化复杂函数的实现。它支持可调编译，允许开发人员调整性能参数，并与 Jupyter 笔记本集成，以实现迭代工作流程。
函数式编程的招聘难题 (blog.janissary.xyz)
文章探讨了在软件开发中招聘使用函数式编程语言的工程师所面临的挑战。作者指出，尽管这些工程师往往拥有过人的技术能力和学习热情，但也容易陷入过度追求技术深度而忽略实际应用的陷阱。作者结合自身经验，分析了招聘过程中可能遇到的三种类型的求职者，并建议企业在招聘时要注重考察求职者的思维灵活性和实用性，避免被语言狂热者所迷惑。
GitHub - haampie/libtree: ldd 以树形结构展示 (github.com)
libtree 是一款将 ldd 命令结果以树形结构展示的工具，并解释共享库是如何被找到的以及为何找不到。该工具提供多种选项，例如使用 -v 查看默认跳过的库，使用 -p 显示路径而不是soname，以及使用 --max-depth 限制递归深度等。用户可以通过预构建的二进制文件或从源代码构建安装libtree。
研究人员认为引力可以独立于质量存在，或将不再需要假设暗物质 (phys.org)
来自阿拉巴马大学亨茨维尔分校的Richard Lieu博士在《皇家天文学会月刊》上发表了一篇论文，首次展示了引力如何在没有质量的情况下存在，为可能不再需要暗物质提供了一种替代理论。Lieu博士认为，将星系或星团束缚在一起所需的“额外”引力可能反而来自于宇宙中常见结构中的同心壳状拓扑缺陷，这些缺陷很可能是在早期宇宙发生相变时产生的。
一个 ChatGPT 错误如何让我们损失了 1 万多美元 (asim.bearblog.dev)
本文讲述了作者的创业公司在使用ChatGPT进行代码迁移时，因忽略了ID生成方式的错误，导致用户订阅功能故障，损失了潜在收入的故事。作者团队在五天内收到了大量用户投诉，最终发现问题出在一个看似无辜的代码行上。这个错误源于ChatGPT生成的代码中使用了硬编码的ID，而不是使用函数生成UUID，导致ID冲突。作者最终解决了这个问题，并将其视为创业过程中难忘的教训，同时也激发了他们对LLM代码生成领域的关注。
像第欧根尼一样穿越大西洋 (floatmagazin.de)
本文讲述了法国人Jean-Jacques Savin计划在2018年圣诞节期间，乘坐自己建造的胶合板桶，从加那利群岛漂流到对岸的冒险故事。他将在长3米、宽2.1米、重450公斤的桶里度过三个月，通过安装的小舷窗观察周围环境。Savin的灵感来自Alain Bombard在1952年乘坐橡皮艇横渡大西洋的壮举。
T2 SDE 24.6 版本发布 (t2sde.org)
T2 SDE 24.6 版本现已发布，共包含 606 项更新，包括约 750 个软件包更新、67 个问题修复、80 个新增功能或软件包、21 个移除项以及约 9 项其他改进。 新版本包含 LLVM/Clang 18.1.6、GCC 13.3.0、Linux 6.9.3，默认情况下提供更多 SPIRV 工具，默认情况下提供 LibreOffice、Wine 和 Thunderbird，IA-64 上 OpenSSL 性能大幅提升，添加了对安装到可用存储空间的支持，修复了最小安装并添加了无 Xorg 的最小安装选项，内置网络配置支持 WPA，默认安装更多图标和 t2 壁纸以及 SVG 支持。
Claude 的性格塑造 (www.anthropic.com)
本文介绍了 Anthropic 公司如何为其人工智能模型 Claude 3 进行“性格训练”。Claude 的训练目标是使其成为一个善良、有思想、好奇心强的人工智能助手。文章详细阐述了 Claude 性格塑造的考量因素、训练方法以及未来方向，并强调了人工智能模型性格训练的重要性，认为这将对人工智能与人类的互动产生积极影响。
为什么大多数美国职棒大联盟球场的内场都使用宾夕法尼亚州西部的泥土？ (www.post-gazette.com)
这篇文章探讨了为什么美国职棒大联盟大多数球场的内场都使用来自宾夕法尼亚州西部的泥土。文章可以进一步探讨该地区土壤的具体特性，是什么让它成为棒球场的理想选择，以及是否有任何历史或文化因素促成了这种做法。
庞贝幸存者的记录被发现——考古学家开始了解他们如何重建生活 (theconversation.com)
长期以来，人们认为公元79年维苏威火山的喷发摧毁了庞贝和赫库兰尼姆，所有居民无一幸免。 然而，最近的研究表明，许多人可能在火山喷发后的最初几个小时内逃生，并在附近的城镇重建了生活。 考古学家通过追踪那些名字只出现在庞贝或赫库兰尼姆的罗马人的记录，发现了200多名幸存者的证据。 这些幸存者分布在12个城市，主要集中在庞贝北部。 一些幸存者在新的社区中取得了成功，例如卡蒂利乌斯家族，他们在奥斯提亚建立了一座神庙。 另一些人则经历了艰难困苦，例如法比亚·塞昆迪娜，她嫁给了一名角斗士，最终陷入困境。 这些发现挑战了人们对庞贝事件的传统理解，并为灾后恢复提供了宝贵的见解。
揭秘掌控美澳大部分食品体系的超级富豪家族 (www.abc.net.au)
本文揭露了控制着美澳大部分食品体系的少数超级富豪家族。文章以养猪户汉森家族、粮食巨头嘉吉-麦克米伦家族、乳制品大亨麦克洛斯基家族、零售巨鳄沃尔顿家族、浆果供应商 Driscoll 家族以及肉类加工巨头巴蒂斯塔家族为例，揭示了他们在行业垄断、政治影响以及环境问题上的巨大影响力。作者呼吁打破这些巨头的垄断，回归可持续、独立的农业模式。
NHS试用后，治疗抑郁症的电动耳机被推荐作为一种广泛的治疗方法 (news.sky.com)
英国国家医疗服务体系 (NHS) 的一项试验表明，一种刺激大脑的电动耳机可以有效减轻抑郁症的症状。这款名为 Flow Neuroscience 的耳机可以让患者每天佩戴 30 分钟，持续六周，作为一种非侵入性的治疗方法。研究发现，超过 58% 的人在六周内症状有所改善，三分之一的人完全缓解。然而，该设备对抑郁症的长期益处尚不清楚。
黑暗时代降临：《毁灭战士：黑暗时代》在 Xbox 游戏展上公布 (www.polygon.com)
在微软的 Xbox 游戏展上，id Software 公布了《毁灭战士》系列的最新作品《毁灭战士：黑暗时代》。这是一款将背景设定在中世纪的《毁灭战士》游戏，玩家将扮演毁灭战士回到故事的起点。游戏将于 2025 年登陆 Xbox Series X（首发加入 Xbox Game Pass）、PlayStation 5 和 PC 平台。
打造浏览器引擎的那些事儿 (robert.ocallahan.org)
打造一款能与Chromium竞争，甚至在某些方面超越它的浏览器引擎绝非易事。安全性和性能需求会严格限制设计，需要从一开始就关注重要且难以处理的用例，例如站点隔离、内容主线程的流畅性、快速的JS-DOM调用、页面加载性能、流畅的滚动和动画、低延迟的输入响应、高质量的视频播放等。除此之外，还可以考虑并行化、使用Rust等更现代的编程语言、实现页面状态序列化、打造强大的调试工具等，以便在与现有浏览器的竞争中脱颖而出。
WARC-GPT: 使用人工智能探索网络档案的开源工具 (lil.law.harvard.edu)
本文介绍了WARC-GPT，一个开源的检索增强生成工具，可用于探索网络档案和人工智能的交叉领域。该工具允许创建自定义聊天机器人，使用一组网络档案文件作为其知识库，让用户通过对话探索馆藏。与依赖关键词搜索和元数据过滤器不同，WARC-GPT提供了一种新的搜索起点，使用多文档全文搜索和摘要来探索网络档案的内容。
工程偶遇：何时知识共享能促进知识生产？ (www.hbs.edu)
这篇哈佛商学院工作论文研究了科学家之间的知识相似性如何系统性地影响偶遇产生知识的可能性。研究人员在医学研讨会上进行了自然实验，通过社交徽章收集了15817对科学家的面对面互动模式数据，并追踪了他们六年内的出版记录。研究发现，当科学家拥有一定程度的共同研究兴趣时，互动能促进知识获取和创造，但来自相似领域的科学家不太可能互相引用。
生物学的革命： 发育生物学如何可能蕴藏着生命、智力和永生的秘密 (www.bitsofwonder.co)
本文介绍了Michael Levin的研究，他是一位颠覆性的生物学家，认为生物电网络是控制生物形态的关键，并可能蕴藏着生命、智力和永生的秘密。Levin认为，生物电网络是比基因更高层次的抽象，它控制着细胞的行为，并决定着生物体的发育。通过改变生物电网络，Levin的团队成功地诱导了涡虫长出两个头，并在不改变基因的情况下实现了永久性的结构变化。他还将青蛙的皮肤细胞转化为可以移动和自我复制的“生物机器人”，展示了生物电网络的巨大潜力。Levin认为，智能和认知存在于生物体的各个层级，从细胞到器官，甚至到整个生物体。他认为，通过理解和操控生物电网络，我们有可能实现再生医学、疾病治疗和寿命延长等方面的突破。
研究人员发现Kyber后量子密钥封装机制（KEM）存在漏洞 (thecyberexpress.com)
安全研究人员在 Kyber 密钥封装机制（KEM）中发现了一个可利用的计时漏洞，该机制正被 NIST 采用为后量子密码标准。该漏洞存在于模块格基密钥封装机制（ML-KEM）的参考实现中，该机制正处于被 NIST 采用为后量子密钥封装标准的过程中。研究人员发现，Clang 编译器会在 ML-KEM 参考代码的 poly_frommsg 函数中生成一个易受攻击的秘密依赖分支，该函数在密钥封装和解封装中都需要，这对应于 expand_secure 实现。
独立索引搜索引擎巡礼 (seirdy.one)
本文作者调查整理了大量英文搜索引擎，将拥有独立索引的搜索引擎分类整理，并介绍了其特点、优缺点和发展现状。作者认为，依赖单一搜索引擎会导致信息获取的局限性，鼓励用户尝试使用不同的搜索引擎以获取更多样化的搜索结果。
OpenAI深陷泥潭：安全问题、保密协议和奥特曼的利益冲突 (www.businessinsider.com)
OpenAI 正深陷舆论漩涡，其对安全的承诺受到质疑，透明度问题、保密协议以及与斯嘉丽·约翰逊的纠纷引发强烈反弹。CEO萨姆·奥特曼也深陷泥潭，忙于危机公关。 OpenAI 被指责将利润置于安全之上，其快速增长的商业模式和与微软的合作关系引发了人们对其安全标准的担忧。此外，奥特曼的商业交易也遭到质疑，多项投资被指存在利益冲突。
战略计算倡议 (en.wikipedia.org)
战略计算倡议是美国政府于1983年至1993年间资助的一项研究项目，旨在开发先进的计算机硬件和人工智能。该倡议旨在支持在规定的十年时间框架内开发机器智能所需的各种项目，从芯片设计和制造、计算机体系结构到人工智能软件。该项目的灵感来自日本第五代计算机项目，该项目投入了数十亿美元用于计算和人工智能研究。该项目的目标是实现完全的机器智能，但最终未能实现。然而，它确实实现了一些具体目标，例如自动陆地导航，并推动了计算机硬件和人工智能软件的发展。
为什么任何人在任何情况下都不应该使用AT&T语法 (outerproduct.net)
这篇文章强烈反对使用AT&T汇编语法，认为其存在严重缺陷，例如语法歧义、操作数顺序不直观、符号冗余等，主张使用更清晰、更易读的Intel语法。
比尔·盖茨回忆录《源代码》将于明年出版 (www.gatesnotes.com)
比尔·盖茨宣布将于明年2月出版个人回忆录《源代码》，回顾他从童年到创建微软的早期经历。书中将分享他成长过程中遇到的挑战、人生转折点以及对他产生重要影响的人和事。盖茨还计划在未来出版两部回忆录，分别讲述他在微软的工作和慈善事业。