1997年9月21日,美国海军“约克城”号巡洋舰在演习中因软件故障瘫痪近三个小时。该舰在现代化改造中引入了“智能舰船”系统,但数据库应用程序中的除零错误导致舰船控制系统崩溃。尽管故障最终排除,“约克城”号事件暴露了软件开发、系统设计和项目管理中的缺陷,引发了对智能舰船计划的质疑。
本文介绍了 Ask-a-Metric,一个基于 WhatsApp 的 AI 数据分析师,它使用大型语言模型 (LLM) 来回答 SQL 数据库查询。作者详细描述了他们如何从简单的管道方法过渡到代理方法,最后采用了一种结合了两者优点的伪代理管道。伪代理管道在保持准确性的同时,降低了成本并缩短了响应时间。
本文探讨了 Ruby 方法的“无色”特性,即异步和同步方法在调用方式上没有区别,这得益于 Ruby 嵌套并发模型中的线程和纤程。文章解释了 Ruby 如何利用线程和纤程实现并发,并通过代码示例和图表展示了线程和纤程如何协同工作来并行处理阻塞操作,从而实现高效的异步编程。
本文介绍了一种名为xLSTMTime的新型长期时间序列预测模型,该模型改进了现有的扩展LSTM(xLSTM)架构。xLSTMTime利用指数门控和改进的记忆结构,在多个真实数据集上超越了Transformer等现有模型。研究结果表明,改进后的循环架构在长期时间序列预测任务中可与基于Transformer的模型相媲美,为时间序列预测领域提供了新的可能性。
埃塞俄比亚于今年2月起禁止进口燃油车,旨在推动电动汽车普及。然而,该国电动汽车充电基础设施严重不足,仅有约50个充电站,且维修保养也存在困难。埃塞俄比亚电力供应不足也为电动汽车充电带来挑战。尽管政府计划扩大充电设施建设,但政策的突然实施和配套措施的缺乏引发了民众和企业的担忧。
微软开始向所有Windows Insider渠道的Android用户推送一项新功能,允许用户在文件资源管理器中访问安卓手机。该功能需要手机系统版本为Android 11或更高版本,并运行BETA版本的Link to Windows应用程序。用户可以通过该功能无线浏览手机上的所有文件夹和文件,包括媒体文件,并进行打开、复制、重命名、移动和删除等操作。
电子前沿基金会(EFF)开发的浏览器扩展程序Privacy Badger现在可以自动阻止谷歌Chrome浏览器中的“隐私沙盒”功能。虽然谷歌声称“隐私沙盒”可以保护用户隐私,但EFF认为它只是将在线追踪的控制权从第三方追踪器转移到了谷歌手中,并指出研究人员已经发现了该功能的漏洞。EFF鼓励用户安装Privacy Badger以保护自己免受这种新型在线追踪的侵害。
这篇文章介绍了“成为马盖先”的理念,鼓励人们像电视剧主角马盖先一样,运用智慧和身边资源解决问题。网站提供了参与“马盖先”音乐剧、学习“马盖先秘诀”以及支持马盖先基金会等多种方式,帮助人们提升创造力和问题解决能力,并倡导自力更生、非暴力和可持续发展的生活方式。
本文探讨了世界各地文化中神话和仪式的相似性,例如对昴宿星团的“七姐妹”传说、蛇神神话、洪水神话、以及男性成人礼仪式中的共同元素。作者认为,这些相似性难以用巧合解释,更可能是古代文化传播的结果,并提出了一种可能性:这些文化元素起源于距今约两万至三万年前的格拉维特文化,并随着狗的驯化和人类迁徙传播到世界各地。
Managarm是一个基于微内核的操作系统,采用全异步I/O设计。尽管采用了微内核架构,Managarm依然能够提供与Linux良好的用户空间兼容性,并支持许多现代硬件设备和软件。Managarm的特点包括64位、SMP、ACPI支持、POSIX和Linux API兼容性等。
这篇文章提供了构建易于调试的C++二进制文件的实用建议,重点关注使用gdb进行交互式调试。作者建议启用各种sanitizer、调试模式和调试信息,以及使用特定的编译选项来提高调试体验。文章还介绍了如何划分代码库、显式实例化模板类、简化预处理指令、设置快速条件断点以及配置调试器以获得最佳结果等技巧。
近日,法拉利一位高管识破了一起利用深度伪造技术进行诈骗的事件。诈骗者冒充公司CEO Benedetto Vigna,通过WhatsApp发送信息,声称公司正在进行一项重大收购,并要求高管签署保密协议。随后,诈骗者使用深度伪造技术模仿Vigna的声音进行电话通话,试图诱骗高管进行货币对冲交易。然而,高管察觉到声音中的机械语调,并询问了一个只有Vigna本人才知道答案的问题,最终识破了骗局。
AppleVis 创始人 David Goodwin 宣布因个人原因将从网站的运营中卸任,网站也将随之关闭。他在公告中回顾了 AppleVis 十四年来的发展历程,感谢了团队成员、用户以及合作伙伴的支持,并表示网站将于 2024 年 8 月 31 日正式关闭。
本文介绍了作者使用Python编写瓦片服务器的过程,以及选择技术方案时的思考。作者详细解释了为什么不使用renderd等现有工具,而是选择自己实现的原因,并介绍了如何使用多进程、队列和非阻塞I/O等技术来提高渲染效率和服务器性能。
本文探讨了在类 UNIX 系统中动态修改进程名作为防御规避技术。该技术最早可以追溯到 80 年代后期,并且至今仍然存在。攻击者利用这种技术在入侵后隐藏自己,避免被发现。文章详细介绍了在 Linux 操作系统中“进程伪装”或“进程隐藏”的各种方法,还涉及了 BSD 和 Solaris 系统。文章的后半部分深入探讨了这些技术的内部机制,重点关注不使用 ptrace、LD_PRELOAD 或其他“进程注入”类型技术的方法,并将这些内容留待以后的文章中讨论。
Oscar项目旨在通过创建开源维护的自动化帮助或“代理”来改进开源软件开发。它利用大型语言模型(LLM)的能力进行语义分析和代码转换,以减少维护开源项目的繁琐工作。Oscar专注于自动化维护者的工作,例如处理问题、匹配问题与现有文档等,而不是取代编码过程。其目标是减少维护者解决问题、变更列表、拉取请求和论坛问题的工作量,并使更多人能够成为高效的维护者。
本文详细介绍了作者使用 Obsidian 进行笔记管理的工作流程,重点介绍了其背后的思考逻辑和实践经验。作者强调了纯文本文件和 Markdown 格式的重要性,并解释了如何利用模板、标签和插件来提高效率。此外,文章还分享了作者使用 Quartz 公开分享笔记的经验,以及如何通过反馈循环不断学习和改进。
本文旨在全面介绍 Google Cloud Composer 上 Airflow 的并发机制,涵盖 Composer 环境、Airflow 安装、DAG 和任务四个层面。文章详细解释了每个层级的并发配置选项,例如 worker 数量、worker_concurrency、parallelism、max_active_runs_per_dag 等,并通过图表和示例代码演示如何调整这些设置以优化资源利用率和任务执行效率。此外,文章还重点讲解了可延迟操作符、触发器以及传感器模式等概念,帮助读者更好地管理空闲时间、提高资源利用率。
本文作者详细阐述了为什么在创作过程中选择reStructured Text (rST) 而不是Markdown。相较于Markdown轻量级的HTML标记功能,rST能够更好地展现文档的结构树,具备更强大的扩展性和预渲染转换功能。作者以自身书籍创作中的自定义练习题模块为例,展示了rST如何通过节点操作和转换实现复杂的需求。虽然rST语法较为繁琐,但其强大的功能和可扩展性对于大型文档的编写至关重要。
2024年7月19日UTC时间04:09,CrowdStrike发布的Windows系统传感器配置更新引发逻辑错误,导致部分系统崩溃和蓝屏。该问题与网络攻击无关,已于UTC时间当日05:27修复。受影响系统为运行7.11及以上版本Windows Falcon传感器的在线系统。CrowdStrike解释了问题出现的技术细节、根本原因分析以及修复措施,并强调此次事件不会对未来系统运行造成风险。
LetterDrop 是一款基于 Cloudflare Workers 构建的安全高效的邮件通讯管理服务,它允许用户轻松创建、分发和管理邮件通讯。该服务使用 Cloudflare Workers、Email Workers、KV、R2、Queues 和 D1 等技术构建,并提供订阅/取消订阅、邮件发布、失败邮件处理等功能。
文章分析了C++中emplace_back和push_back的区别,指出 emplace_back 并非总是优于 push_back。emplace_back 适用于需要就地构造对象的情况,例如处理不可移动类型或移动构造函数开销大的类型。但对于一般情况,push_back 性能更好,因为它不需要进行模板类型推导和实例化,编译速度更快。文章建议默认使用 push_back,仅在必要时使用 emplace_back。
FurtherAI 是一家致力于为保险行业构建人工智能团队的初创公司,该公司正在寻找一名创始软件工程师。 作为创始软件工程师,您将在构建核心产品、确保可扩展性、优化性能以及不断改进产品以满足不断变化的需求和挑战方面发挥关键作用。 公司的技术挑战包括构建可以浏览网站并准确填写表格的代理、从任何类型的文档中准确提取数据以及构建可以用简单的英语合并任何规则的规则引擎。
NASA 的一个委员会得出结论,在 2025 年预算提案中提出的减少资金水平下,没有办法继续运行钱德拉 X 射线天文台。该委员会认为,在 NASA 提出的预算范围内,唯一可行的选择是关闭钱德拉望远镜。虽然 NASA 尚未宣布最终决定,但这一结论引发了天文学家的强烈反对,他们认为这将对天文观测造成严重影响。
Audapolis 是一款面向口语媒体的免费音频编辑器,它可以自动转录音频,提供类似文字处理器的编辑体验,适用于视频、音频和混合编辑,并支持 Windows、Linux 和 macOS 系统。
本文介绍了一种用于玩具IR的小型抽象解释器,并展示了如何使用它进行一些简单的优化。抽象解释是一种在不运行程序的情况下推理程序行为的通用框架,它使用抽象值来表示程序状态,并定义了抽象转换函数来模拟程序语句对抽象状态的影响。文章以“奇偶性”抽象域为例,展示了如何使用抽象解释来优化程序。
微型机器鼠比赛是一项始于 20 世纪 70 年代后期的机器人比赛,参赛者需建造微型机器人,让其在 16×16 的迷宫中找到最佳路径。这项比赛在世界各地举行,在英国、美国、日本、新加坡、印度、韩国等国家非常流行,在斯里兰卡等南亚国家也越来越受欢迎。微型机器鼠比赛需要机器人具备导航、地图绘制、路径规划等能力,并采用各种搜索算法(如贝尔曼-福特算法、迪克斯特拉算法、A*搜索算法等)来优化路径。近年来,微型机器鼠的性能得到了显著提高,速度可达每秒三米以上,甚至有些机器人还配备了风扇以增加下压力,从而实现更高的加速度和更快的速度。
Hotwire是一种构建现代Web应用程序的新方法,它通过发送HTML而不是JSON来减少JavaScript的使用。这使得页面加载更快,模板渲染在服务器端进行,并提供了更简单、更高效的开发体验,同时不牺牲传统单页应用程序的速度和响应能力。Hotwire的核心是Turbo,它可以加速页面更改和表单提交,将复杂页面分解成组件,并通过WebSocket传输页面更新。
本文介绍了电子长颈鹿项目的开发历程,包括参加创客展览、软件开发、硬件设计以及团队合作等方面。文章详细描述了电子长颈鹿的外观设计、机械结构以及控制系统,并分享了项目开发过程中的挑战和解决方案。