克雷格·赖特或因声称发明比特币而被捕 (arstechnica.com)
英国法官将自称比特币发明人克雷格·赖特移交刑事检察院（CPS），考虑对他提起伪证和伪造罪的刑事指控。法官表示，CPS可以决定是否应逮捕赖特，并批准了两项禁令，禁止赖特就其是比特币发明人中本聪的主张重新提起诉讼。法官认为赖特“一再撒谎”并且“大规模伪造”文件，他的行为是对英国、挪威和美国法院程序的“最严重滥用”。
达美航空CEO质疑低成本航空公司的财务策略 (www.businessinsider.com)
达美航空CEO对依赖低价机票生存的航空公司提出了质疑，指出在需求健康的情况下持续亏损是不可行的。他认为航空公司需要提供真正的价值，包括更好的体验和可靠性，而不仅仅是低价。廉价航空公司利润率低，缺乏多元化收入来源，过度依赖低价机票，面临着财务挑战。
HuggingFace 如何利用去中心化 DevRel 模式实现开源机器学习社区的快速增长 (dx.tips)
本文是对 HuggingFace 首席 Llama 官 Omar Sanseviero 的采访，探讨了 HuggingFace 如何利用去中心化 DevRel 模式实现开源机器学习社区的快速增长。Omar 介绍了 HuggingFace 的社区中心化文化，以及他们如何通过优先考虑社区成员、提供计算资源和资金支持以及维护开源库来培育社区。他还分享了 HuggingFace DevRel 团队的独特之处，包括注重工程、去中心化运作以及强调速度和影响。文章还探讨了 HuggingFace 如何选择投资方向，以及 Omar 对未来机器学习领域发展的一些看法。
Taim：一款自动化时间跟踪软件，助您精准计费 (taimapp.io)
Taim是一款自动化时间跟踪软件，旨在帮助自由职业者和团队更准确地跟踪工作时间。它可以自动记录应用程序和窗口的使用情况，并允许用户手动调整会话时间、添加标签和备注。Taim提供详细的分析和报告，方便用户进行计费和时间规划。该软件还支持与项目管理工具集成，并提供数据导出功能。
解构角色扮演电子游戏 (olano.dev)
本文作者回顾了自己开发一款名为 rpg-cli 的命令行角色扮演游戏的历程。为了简化游戏开发，作者选择使用命令行界面，并将文件系统作为游戏地图，玩家通过切换目录来探索地牢。战斗系统采用自动回合制，玩家需要在战斗之外进行决策，例如选择装备和使用道具。作者还研究了其他角色扮演游戏和桌面游戏的机制，最终设计出极简的角色属性、升级和战斗系统。
黑客声称泄露了 1.1 TB 的迪士尼 Slack 消息 (www.wired.com)
一个名为“NullBulge”的黑客组织声称，他们窃取了迪士尼超过 1.1TB 的内部 Slack 消息和文件，这些数据来自近 10,000 个频道，其中包括未发布的项目、代码、图像、登录凭据以及指向内部网站和 API 的链接。黑客声称他们是从迪士尼内部人员那里获得数据的，并透露了这名员工的姓名。该组织自称是一个“保护艺术家权利并确保其作品获得公平报酬的黑客行动主义组织”，并表示此次攻击是为了抗议迪士尼使用 AI 生成艺术作品。
亚马逊强制执行新的办公室工作时间规定，打击“打卡喝咖啡”行为 (www.businessinsider.com)
为应对员工逃避“重返办公室”政策，亚马逊公司采取措施，强制要求员工每次办公室打卡至少停留2-6小时。此举引发员工强烈不满，他们认为新政策过于严苛，且公司未进行任何解释。此前，亚马逊要求员工每周至少三天到岗，但未规定每次到岗的时长要求。
出于兴趣优化大数运算库 (austinhenley.com)
本文介绍了作者出于兴趣对大数运算库进行优化的过程。作者首先将存储数字的基数从10改为30位，显著提高了加法和乘法的运算速度。随后，作者实现了Karatsuba乘法算法，进一步提升了大数乘法的效率。作者通过基准测试比较了不同优化策略的性能差异，并计划在未来添加更多功能，例如负数支持、减法、除法、位运算等，并完善代码测试。
开发者需要系统设计工具，而不仅仅是图表工具 (thenewstack.io)
文章指出，随着软件系统日益复杂，开发者需要的不仅仅是简单的图表工具来进行系统设计。传统的图表工具难以实时更新、协作功能有限且无法管理云资源，不能满足现代软件开发的需求。开发者需要能够全面理解系统架构、支持动态设计和协作的系统设计工具，以便更高效地构建和管理复杂的软件系统。
Lago招聘机器学习工程师 (www.ycombinator.com)
Lago是一家开源平台，旨在帮助工程师构建更好的货币化系统。目前Lago正在招聘一名机器学习工程师，工作地点是欧洲或美国远程，薪资范围是7万到9万欧元。理想的候选人应该在机器学习领域有5年以上的工作经验，并且精通Python、Scala或Java等编程语言，熟悉机器学习的最佳实践、算法和领域，并有使用TensorFlow或SageMaker等技术的经验。
克雷格·赖特因声称创造比特币面临伪证罪调查 (www.wired.com)
英国高等法院法官裁定，计算机科学家克雷格·赖特“广泛而反复地”撒谎，并“大规模”伪造文件，以证明他是比特币的创造者中本聪。法官勒令赖特不得公开宣称自己是中本聪，并指示英国皇家检察署考虑是否应以“全面伪证和伪造文件”的罪名起诉赖特。此前，加密货币开放专利联盟对赖特提起民事诉讼，要求法院宣布赖特不是比特币的创造者，该诉讼经过六周的审判，法官认定赖特伪造了文件，并就其谎言向法庭撒谎。
贝莱德首席执行官拉里·芬克表示，比特币是合法的 (qz.com)
贝莱德首席执行官拉里·芬克在接受采访时表示，他已经放弃了对比特币等加密货币的最初怀疑，现在坚信加密货币在普通投资者的投资组合中占有一席之地。他认为比特币是一种合法的金融工具，可以提供不相关的回报，并可以帮助买家对冲货币贬值的风险。贝莱德今年早些时候推出了全球最大的现货比特币ETF——iShares比特币信托基金（IBIT），芬克对比特币一直持乐观态度，称IBIT是历史上增长最快的ETF。
私密浏览 2.0 (webkit.org)
本文介绍了Safari 17.0、17.2和17.5版本中新增的私密浏览2.0功能。该功能旨在增强用户隐私保护，包括链接跟踪保护、阻止已知跟踪器的网络加载、默认关闭具有网站或历史记录访问权限的扩展、限制第三方IP地址设置的Cookie的生存期、分区会话存储和Blob URL等。此外，还介绍了Safari如何通过注入噪声和覆盖API结果来防止指纹识别，以及对Topics API的批评。
我的伟大软件起源论 (hiandrewquinn.github.io)
本文作者Andrew Quinn 认为，许多伟大软件的诞生源于一小部分“黑客”群体。他们对软件本身抱有极大热情，不断探索软件的潜力，并致力于将其打造成理想中的最佳状态。这些“黑客”往往是软件重度用户中的佼佼者，他们不仅将软件视为工具，更将其视为目标本身，并持续推动软件的创新与发展。
xLSTMTime：利用xLSTM进行长期时间序列预测 (arxiv.org)
本文介绍了一种名为xLSTMTime的新型长期时间序列预测模型，该模型改进了现有的扩展LSTM（xLSTM）架构。xLSTMTime利用指数门控和改进的记忆结构，在多个真实数据集上超越了Transformer等现有模型。研究结果表明，改进后的循环架构在长期时间序列预测任务中可与基于Transformer的模型相媲美，为时间序列预测领域提供了新的可能性。
深入剖析 GuardDuty 的不足之处 (tracebit.com)
本文深入探讨了AWS GuardDuty在云安全防护方面的局限性。作者通过模拟攻击、延迟测试和勒索软件案例分析，指出GuardDuty存在覆盖范围有限、成本高昂且检测效率不稳定等问题，并建议将Canary基础设施作为补充方案，以提高威胁检测能力。
纽约应该对停车位征税，而不是对街道征税 (news.bloombergtax.com)
本文认为，为了解决纽约市预算短缺问题，对停车位征税比对街道拥堵收费更可行。作者指出，对驾驶者征收拥堵费在政治上存在风险，而对停车位征税则更为公众所接受，并且可以达到减少交通拥堵和为基础设施筹集资金的类似目标。此外，对停车位征税还可以激励通勤者选择公共交通工具，并为改善公共交通基础设施提供资金。
近年来墨西哥贩毒集团之间的暴力事件激增 (ourworldindata.org)
根据乌普萨拉冲突数据计划的数据，近几年来，墨西哥境内贩毒集团之间的斗争导致数万人死亡。从2000年开始，这类冲突造成的死亡人数开始增加，并在2021年达到顶峰，超过18,000人死亡。
学习如何与 AI 对话 | AI 对话导师 (aitalktutor.com)
这是一款 AI 英语学习应用的广告，该应用名为 AI Talk Tutor，它提供随时随地学习、暂停和继续课程等功能，并支持英语、西班牙语、法语和德语等多种语言。与传统教师相比，AI 教师具有耐心、响应迅速、价格实惠等优势。
Blender 4.2 LTS 版本发布 (www.blender.org)
Blender 4.2 LTS 版本带来了全新的EEVEE渲染引擎、更强大的Cycles渲染器以及更易用的扩展功能。EEVEE Next Level 全面升级，支持全局照明、位移、改进的SSS、视窗运动模糊等。Cycles渲染器在渲染速度和质量上都有显著提升，新增了Ray Portal BSDF、薄膜干涉等功能。扩展功能方面，新增了扩展平台，用户可以直接在Blender中安装和更新扩展。此外，Blender 4.2 LTS还对建模、雕刻、动画、物理模拟等方面进行了改进和优化，并提供了更完善的行业标准支持。
MySQL 9 未能获得部分数据库专家的认可 (www.theregister.com)
MySQL 最新版本发布后，一些评论员感到失望，他们担心 MySQL 的管理者甲骨文公司可能另有打算。MySQL 9.0 被定位为“创新版本”，但一些专家认为，该版本缺乏创新功能，许多更具创新性的功能仅在付费版本中提供。一些专家担心甲骨文公司可能将重点放在了其专有分析数据库 Heatwave 上，而非 MySQL 上。
爪哇巨石之山 (archaeology.org)
本文主要介绍了印度尼西亚爪哇岛西部的巨石遗址Gunung Padang。该遗址由五个阶梯状的人造梯田构成，梯田上布满了由数百个棱柱形安山岩块组成的矩形巨石结构。学者认为，这些结构是当地巽他族人祖先在约2000年前建造的，是印尼最古老的阶梯式寺庙之一，也是了解该地区巨石文化的重要遗址。文章还探讨了Gunung Padang的建造目的、建造年代，以及与当地信仰和社会结构的关系，并将其与印尼群岛的其他巨石遗址进行了比较。
Ly：一款基于控制台界面的显示管理器 (github.com)
Ly是一款轻量级的 Linux 和 BSD 操作系统 TUI 显示管理器，使用 ncurses-like 库构建。它支持多种桌面环境，如 awesome、bspwm、budgie、cinnamon 等，并提供基本的 Wayland 支持。Ly 不依赖于 systemd，可以通过配置文件自定义配置，例如更改启动的 tty、主题等。
Ar: 一种图灵完备的编程语言 (github.com)
Ar 是一种受限算术和 Z3 启发的图灵完备编程语言，它仅使用 inc、sub、mul 和 div 四个基本函数进行编程，不依赖循环或递归。Ar 使用整数代替 inc，实际上只需要三个函数。文章提供了使用 Ar 函数定义的示例，并探讨了其图灵完备性和通用函数的可能性。
Mistral AI 发布开源代码生成模型 Codestral Mamba (mistral.ai)
Mistral AI 发布了名为 Codestral Mamba 的新型语言模型，该模型专门用于代码生成，使用 Apache 2.0 许可证开源。 Codestral Mamba 基于 Mamba2 架构，与传统的 Transformer 模型相比，它具有线性时间推理的优势，能够处理无限长度的序列，并提供更快的响应速度，特别适用于代码生成等对效率要求较高的场景。
NASA首次将嘻哈歌曲传送至深空 (www.jpl.nasa.gov)
美国宇航局（NASA）于7月12日首次将嘻哈歌曲传送至太空。这首歌曲是嘻哈艺术家 Missy Elliott 的“The Rain (Supa Dupa Fly)”，通过位于加州的深空网络 (DSN) 的巨型天线传送至金星，距离地球约1.58亿英里。这次传送是 NASA 数字和技术部门的一次创意合作，旨在将太空探索与艺术相结合，并将赋予力量的信息传递到宇宙。
约翰内斯·哈特利布的《草药书》(1462) (publicdomainreview.org)
本文介绍了约翰内斯·哈特利布在1462年编写的《草药书》。这本书以插图的形式详细介绍了各种草药的药用价值，是德国印刷史上的第一本全插图草药书。书中不仅包含了对草药的描述，还记录了动物药用价值以及一些民间的治疗方法，展现了中世纪医学和植物学的魅力。