GitHub - VladM7/Stack-Solver：货物装载优化应用程序 (github.com)
Stack Solver 是一款用于优化货物装载流程的强大且直观的应用程序。该应用程序通过确定将各种尺寸的箱子装载到托盘上的最有效方式，为物流和仓库管理提供了高效的解决方案。其功能包括托盘优化、交互式 3D 可视化、用户友好的界面以及导出和共享功能。
Coinbase 起诉美国证券交易委员会和联邦存款保险公司 (decrypt.co)
美国最大的加密货币交易所 Coinbase 对美国证券交易委员会 (SEC) 和联邦存款保险公司 (FDIC) 提起诉讼，指控它们拒绝根据信息自由法 (FOIA) 的要求提供有关加密货币监管的信息。Coinbase 希望获得 FDIC 发送给金融机构的“暂停函”，以及 SEC 对以太坊 2.0 等项目的调查信息。Coinbase 首席法律官 Paul Grewal 批评监管机构缺乏透明度，并表示将继续关注事态发展。
美国最高法院暂停环保署防止烟雾跨州扩散计划 (www.theverge.com)
/cdn.vox-cdn.com/uploads/chorus_asset/file/25506966/2157829387.jpg)
美国最高法院决定暂停环保署一项旨在防止形成烟雾的污染物跨州界漂移的计划。俄亥俄州、印第安纳州、西弗吉尼亚州以及包括化石燃料行业团体在内的各种贸易组织要求最高法院在下级法院对环保署的行动提出质疑的同时，对该计划发布暂缓令。最高法院在其关于俄亥俄州诉环保署的意见中同意暂时搁置该计划。五位法官投票赞成暂时停止执行，而其余法官则表示反对。虽然暂缓令是暂时的，但该决定表明，如果该问题再次提交最高法院并就该计划的法律价值做出最终裁决，则倾向于保守派的最高法院可能会做出有利于反对环保署计划的州的裁决。
举报人对波音和Spirit公司787客机舱壁问题提出投诉 (katzbanks.com)
飞机机械师Richard Cuevas向美国联邦航空管理局(F.A.A.)和职业安全与健康管理局(OSHA)投诉波音公司和Spirit公司，指控787客机前舱壁存在不符合标准的制造和维护问题。Cuevas先生声称，Spirit公司在钻孔和密封剂方面存在严重问题，并违反波音公司的制造规范，这可能危及飞行安全。他还指控Spirit公司为赶工期，指示工人错误地使用密封剂。Cuevas先生在提出安全问题后被Spirit公司解雇，他认为这是对他举报的报复。
为什么我们致力于提升AI在数学辅导方面的能力 (以及我们最近在做什么) (blog.khanacademy.org)
这篇文章介绍了可汗学院致力于提升其AI学习工具Khanmigo在数学辅导方面能力的原因和所做的努力。Khanmigo旨在帮助学生学习数学并像真人导师一样进行辅导。文章指出AI在数学辅导方面存在挑战，例如计算错误和对学生答案评估不准确。为了解决这些问题，可汗学院团队采取了一系列措施，包括使用计算器解决数值问题、升级到更强大的语言模型、改进AI的“思考”方式以及建立新的评估工具等。文章最后强调了提升AI数学辅导能力的重要性，因为它可以帮助更多孩子实现梦想。
我的.gitconfig文件剖析 (kiranrao.ca)
本文作者详细介绍了自己的.gitconfig文件配置，并解释了每个配置项的功能和用途。作者强调了GPG签名的重要性，它可以确保提交的代码是由本人签署的。此外，作者还分享了一些提高效率的技巧，例如使用别名简化常用命令，以及配置自动设置远程分支等。
微基准测试返回地址分支预测 (blog.stuffedcow.net)
本文探讨了现代处理器如何使用分支预测器（如返回地址堆栈RAS）来提高性能。作者通过一系列微基准测试，测量了不同英特尔和AMD处理器微架构中RAS的行为，证实了返回预测比将函数返回视为间接分支更准确。文章还测试了RAS容量以及流水线刷新后的行为，发现某些微架构在返回预测错误后会出现RAS堆栈指针错误，并分析了AMD Bulldozer架构中存在的性能缺陷。此外，文章还探讨了推测执行对RAS的影响，以及英特尔处理器中推测分支和调用的最大数量限制。
宁德时代电动飞机预计2027年或2028年问世，续航可达2000至3000公里 (www.chinadaily.com.cn)
全球最大的电动汽车电池制造商宁德时代宣布，其正在研发的电动商用飞机预计将于2027年或2028年问世，续航里程可达2000至3000公里。该公司此前已与中国商飞合作，共同探索电动客机领域。宁德时代创始人曾毓群表示，公司已经在4吨级民用飞机上进行了试飞，样品和生产线产品已经投入飞机使用。公司还在“加大力度”推进8吨级电动飞机的研发，预计将于2027年或2028年推出，届时续航里程预计在2000至3000公里左右。
SQL 五十岁了，它会成为一项专门技能吗？ (zwischenzugs.com)
这篇文章探讨了 SQL 在当今技术领域中的地位。作者分享了他们作为一名经验丰富的软件工程师的经历，并观察到越来越多的年轻开发人员不熟悉 SQL。文章将 SQL 的持续相关性与其他技术的兴起进行了对比，并质疑在数据科学和专门开发角色的时代，SQL 是否正在成为一项“小众技能”。作者认为，尽管出现了新的工具和趋势，但对于任何想要有效管理和查询数据的人来说，理解和应用 SQL 仍然是一项至关重要的技能。
谷歌表格为何要将计算引擎从 JavaScript 移植到 WasmGC (web.dev)
本文介绍了谷歌表格团队将其计算引擎从 JavaScript 移植到 WasmGC 的原因和过程。JavaScript 计算引擎虽然经过优化，但性能仍落后于 Java。WasmGC 作为 WebAssembly 的扩展，为垃圾收集语言提供了接近原生速度的 Web 支持。移植过程面临诸多挑战，包括工具链缺失、代码库差异等，但最终实现了显著的性能提升。
C 语言标准章程 (www.open-std.org)
本文档概述了C语言委员会的使命和期望，该委员会负责C语言的规范制定和演进。C语言是一种通用的高级编程语言，适用于低级编程，具有可移植性、互操作性、效率和稳定性等特点。委员会致力于在保持语言简洁性的同时，改进可移植性、安全性、功能安全性，并与C++等其他语言保持良好的互操作性。
纽约市铺设500英尺管道为何耗时近10年 (gothamist.com)
纽约市上东区一段2个街区的供水管道和污水管道铺设工程已耗时8年多，预计2025年6月才能完工，远超原定的1年工期。造成延误的主要原因是项目管理不善，包括地下管线情况不明、官僚主义和繁文缛节导致的投标流程僵化等问题。
日本计划建造巨型自动化货运传送带 (newatlas.com)
为了应对劳动力短缺和物流压力，日本政府计划建设连接东京和大阪的自动化货运传送带。该系统全长500公里，预计耗资230亿美元，建成后每年可取代2.5万辆卡车的货运量，实现零排放目标。该项目计划于2034年投入使用，但目前尚未确定具体方案，是用传送带还是自动驾驶货车运输货物仍在讨论中。
英国邮局律师秘密会见法官，阻止披露关键证据 (www.lawgazette.co.uk)
英国邮局律师在 2013 年秘密会见了一名法官，目的是阻止其在刑事审判中向辩护律师披露可能对邮局不利的证据。当时，一份法务会计师的临时报告显示，邮局使用的 Horizon 系统可能存在问题，而该系统是此前多起刑事诉讼的依据。律师们以公共利益豁免权为由，成功说服法官对辩护律师隐瞒了这份报告。此外，该案还存在其他证据披露问题，例如，邮局律师建议不要向一位被错误定罪的邮政局局长披露一份调查报告，并试图隐瞒一份可能显示 Horizon 系统存在问题的邮局内部文件。
富格赖：世界上第一个公共住房项目 (www.karlsnotes.com)
富格赖是世界上第一个社会住房项目，由德国商人雅各布·富格于1521年在奥格斯堡建立。该项目旨在为贫困家庭提供廉租住房，租金至今仍是每年0.88欧元。富格赖的建立理念是帮助有需要的人，而不是施舍，居民需要是天主教徒、奥格斯堡居民，并且愿意工作。该项目由富格家族的捐赠和森林收益资助，至今已有500年历史，现在仍然有大约150人居住在142套公寓中。
无障碍的谎言：accessiBe公司被指控在全球无障碍宣传日利用虚假账户进行营销 (janmaarten.com)
本文揭露了accessiBe公司在2023年全球无障碍宣传日利用大量虚假社交媒体账户进行虚假营销的行为。作者通过分析这些账户的活动轨迹、网站信息以及与accessiBe公司之间的联系，揭示了该公司为推广其产品而采取的不道德手段，并对accessiBe公司CEO此前发布的道歉声明的真实性提出了质疑。
如何为LLM微调评估创建数据集 (mlops.systems)
本文探讨了如何创建一个数据集来评估LLM微调模型在结构化数据生成任务中的表现。作者详细列举了评估模型时需要考虑的因素，包括：模型预测的准确性、对域外数据的处理能力、对“一些”、“少数”、“许多”等模糊词语的理解、对不同拼写变体的识别、对复杂事件的处理能力等。作者强调，准确性对于该模型至关重要，并计划通过一系列详细的评估来测试和改进模型。
Node-RED Dashboard 2.0 (dashboard.flowfuse.com)
Node-RED Dashboard 2.0 提供了一套易于使用的节点集合，用于创建数据驱动的仪表板和数据可视化。用户可以通过 Node-RED 创建自定义 UI，并在 FlowFuse 平台上管理和扩展 Node-RED 应用程序。
Jupyter 使用指南 (backprop.co)
本文介绍了如何启动和访问 Jupyter 实例。用户需要点击右上角的按钮，启动一个包含该环境的实例，即可访问 Jupyter。
WinPopup：局域网发送消息的小工具 (susam.net)
WinPopup是Windows 98系统自带的小程序，可以通过局域网向同一工作组内的其他计算机发送消息。用户可以选择发送到特定计算机或整个工作组，操作简便。
NASA小行星探测器发现表明：贝努小行星可能来自海洋世界 (www.space.com)
NASA的OSIRIS-REx航天器从小行星贝努带回了样本，经研究发现样本中含有磷酸盐。这一发现表明，贝努可能曾经是一个水的世界的一部分。科学家们对样本进行了分析，发现其中含有磷酸盐、碳、氮和一些有机化合物，这些都是地球生命的重要组成部分。研究人员认为，贝努很可能是一个更大天体的碎片，这个天体曾经拥有液态水海洋。
从贝壳到水泥，大自然激发更坚固的建筑材料 (engineering.princeton.edu)
普林斯顿大学的研究人员从牡蛎和鲍鱼壳的材料中获得灵感，创造出一种新的水泥复合材料，其抗裂性是标准水泥的17倍，在不断裂的情况下拉伸和变形的的能力是标准水泥的19倍。研究人员通过交替层叠水泥浆片和高度可拉伸的聚合物聚乙烯硅氧烷来创建多层小梁。结果表明，参考梁的失效是脆性的，这意味着梁在达到其失效点时会突然完全断裂，没有延展性。而交替层的梁，无论有槽还是无槽，都表现出更高的延展性和抗裂性。这项研究为土木工程领域带来了新的视角，为更坚固、更安全、更耐用的建筑材料的研发提供了新的思路。
Emacs 的新图表包：eplot (lars.ingebrigtsen.no)
本文介绍了 Emacs 的新图表包 eplot，作者详细描述了开发 eplot 的原因和过程。作者认为现有的图表工具存在 Y 轴刻度不合理等问题，而 eplot 解决了这些问题，并提供了便捷的自定义选项。
Claude Sonnet 3.5：对话式 AI 新标杆 (www.bodt.io)
Anthropic 公司发布了全新对话式 AI 模型 Claude Sonnet 3.5，该模型速度更快，效率更高，并引入了名为 Artifacts 的新功能，允许用户在专用窗口中生成和编辑代码、文本和设计等内容。Sonnet 3.5 在各项基准测试中表现出色，包括问答、编码和视觉任务，同时注重隐私和安全。该模型的发布被视为 AI 领域的一大进步，预示着未来更加智能和协作的 AI 应用。
使用 CSS 定位锚点创建流程图 (coryrylan.com)
本文介绍了如何使用 CSS 定位锚点 API 来创建流程图。文章详细讲解了基本定位、多个锚点以及如何创建基本流程图节点和箭头。此外，还介绍了如何使用 CSS 伪元素创建箭头以及如何创建可拖拽的流程图。
GitHub - dpohanlon/mesh-tumbler: 用于 3D 打印的网格翻滚器 (github.com)
Mesh Tumbler是一个用于确定网格旋转以最大程度减少3D打印中悬垂的工具。它使用-z方向法线的投影来确定用户定义阈值（默认为45度）以上的不支撑悬垂量。根据贝叶斯高斯过程优化程序旋转网格，以便找到使这些悬垂数量最小化的旋转。
SpaceX获8.43亿美元NASA合同，将于2030年使国际空间站退役 (techcrunch.com)
美国国家航空航天局(NASA)与SpaceX签订了一份价值高达8.43亿美元的合同，委托其开发用于在2030年使国际空间站(ISS)退役的航天器。 这项任务标志着国际空间站运营生命的结束，届时这个传奇空间站将重新进入大气层并解体。SpaceX的任务是确保国际空间站的退役过程安全可控，并避免对人口稠密地区构成威胁。
信息记录与检索的新方法：注释/解释版 (fermatslibrary.com)
这篇文章是对Hans Peter Luhn于1953年发表的“一种新的信息记录和搜索方法”论文的注释/解释版本。 Luhn的方法使用标识词或“标准”集来描述文档，从而预见了诸如关键字搜索和相关性排名之类的现代搜索概念。 Luhn认识到，使用非常具体的术语来描述主题可能会导致记录信息与搜索信息之间不匹配，因为不同的人可能会对同一概念使用不同的特定术语。 为此，他提出了一种反直觉的方法：使用更广泛，更笼统的术语，并使用更多术语，即使到了冗余的地步。