文章概述了现代城市战中有效的防御战术，强调了城市环境的独特优势，如建筑密度、结构复杂性等，可用于建立坚固的防御体系。文章列举了历史上成功的城市防御战例，详细介绍了诸如建立据点、设置障碍物、利用地下通道、伏击以及狙击等战术，并强调了预先准备、安全保障、扰乱敌人、集中优势兵力和保持灵活性等关键要素，最后总结了城市防御的优势，鼓励军队学习并运用这些战术来提高城市防御的有效性。
阅读更多
根据泄露的消息，未满足 Windows 11 人工智能需求的电脑将显示水印提醒。
阅读更多
本文以RaBitQ算法为例，详细介绍了如何在Rust中逐步优化算法性能。文章首先介绍了准备工作，包括数据集、分析工具、基准测试工具和指标。接着，作者分享了具体的优化步骤，包括使用SIMD指令集、标量量化、替换线性代数库、内联函数、优化IO操作和使用常量泛型等。最后，作者总结了优化经验，强调了SIMD和IO优化的重要性。
阅读更多
本文介绍了 Protobuf 线格式，使用一个示例消息的 proto 定义，并将其序列化为二进制数据。文章详细解释了 varint 编码、线类型和标签的构成，并逐步演示了如何将消息的字段值编码为二进制流。最后，文章还使用 protoc 验证了编码结果，并简要提及了其他线类型和 Protobuf 格式。
阅读更多
英国政府数字服务团队成功将GOV.UK Notify服务从GOV.UK平台即服务(PaaS)迁移至亚马逊云科技弹性容器服务(ECS)。团队耗时18个月，克服了多项技术挑战，将约25个应用程序从基于Cloud Foundry的部署迁移至Docker容器化部署，并构建了新的部署管道和监控基础设施。整个迁移过程平稳有序，实现了零宕机时间，为用户提供了不间断的服务体验。
阅读更多
本文详细记录了作者修复一台 Agilent 2000a 示波器的过程。示波器存在无法启动的问题，作者首先排除了电源故障，然后确定是由于 NAND 闪存损坏导致的。作者通过拆解示波器，更换损坏的编码器，并使用 Titiris 方法通过串口连接重新刷新固件，最终成功修复了示波器。此外，文章还探讨了 NAND 闪存损坏的原因，以及 Keysight 公司为解决该问题采取的措施。
阅读更多
为了提高网络安全，Let's Encrypt 启动了 Prossimo 项目，旨在用内存安全的语言重写关键软件基础设施。最近，Let's Encrypt 部署了 Prossimo 项目的首个内存安全软件 ntpd-rs，这是一个用 Rust 语言编写的 NTP 实现，替代了之前使用 C/C++ 编写的版本。未来几年，Let's Encrypt 计划继续用 Rustls、Hickory、River 和 sudo-rs 等内存安全替代方案替换 OpenSSL、DNS 软件、Nginx 和 sudo 等软件。
阅读更多
本文讲述了Scott Smith在Steam上为《重装机兵98 Redux》留下差评的故事。Smith在游戏中投入了超过8000小时，却对游戏的诸多问题感到不满，包括多人模式的网络代码问题、平衡性破坏的bug以及与开发团队沟通不畅等。他认为重制版破坏了原版游戏的社区氛围，并对游戏开发商的一些做法表示质疑。尽管给出差评，Smith仍然会为了帮助其他玩家和mod制作者而启动游戏，这体现了他对游戏的热爱和对社区的责任感。
阅读更多
模块化笔记本电脑厂商 Framework 与 DeepComputing 合作，将推出一款搭载 RISC-V 处理器的笔记本电脑主板。这款主板将面向开发者、爱好者等群体，旨在推动 RISC-V 生态系统的发展。该主板采用了 StarFive 的 JH7110 处理器，配备四个 SiFive 的 U74 RISC-V 内核。DeepComputing 正与 Canonical 和 Red Hat 合作，确保 Ubuntu 和 Fedora 对其提供良好的 Linux 支持。
阅读更多
本文回顾了 1986 年 11 月播出的一集 PBS 节目《计算机编年史》，主题是讲解 Lotus 1-2-3 电子表格软件的宏功能。 节目嘉宾包括宏编程专家和普通用户，他们展示了如何使用宏来自动执行任务、创建自定义菜单系统以及节省时间。 文章还介绍了宏在其他软件中的应用，例如 Symphony，以及宏是如何改变人们使用计算机的方式。
阅读更多
OmniParser 是一种用于解析用户界面截图的综合方法，旨在提高大型视觉语言模型在不同操作系统和应用程序中的代理系统运行能力。它包含两个专门模型：一个用于解析屏幕上可交互区域的检测模型，以及一个用于提取检测到的元素的功能语义的描述模型。OmniParser 在 ScreenSpot、Mind2Web 和 AITW 基准测试中显著提高了 GPT-4V 的性能，并优于需要截图以外额外信息的 GPT-4V 基线。
阅读更多
Xr0 是一款针对 C 语言的静态调试器，它可以在编译阶段分析程序，并显示每行代码的状态。与传统的运行时调试器不同，Xr0 不需要执行程序就能进行分析，因此可以发现程序在所有可能执行路径上的问题。Xr0 的目标是消除 C 语言中的未定义行为，目前支持 C89 的一个子集，但正在不断扩展。
阅读更多
安大略省的一项新举措将使家庭医生能够使用人工智能(AI)来记录患者就诊情况。该计划是由省政府和安大略省家庭医生学院合作资助的，旨在通过减少医生在文书工作上花费的时间来改善医疗保健。人工智能系统将能够从医生的谈话中生成就诊记录，从而使医生有更多时间与患者互动。该计划将于今年晚些时候在全省范围内推出。
阅读更多
Stacks, a project by Johan DeJong, explores the intersection of artificial intelligence and human creativity, using a unique interactive platform that allows users to train their own language model.
阅读更多
大西洋月刊上的一篇文章探讨了生成式人工智能在网络搜索中的应用和影响。文章认为生成式人工智能有潜力改变网络搜索的方式，提供更个性化、上下文化的结果。文章还讨论了生成式人工智能的潜在缺点，例如它可能传播错误信息或偏见。总体而言，这篇文章提供了生成式人工智能在网络搜索中应用的全面概述。
阅读更多
一项新的研究表明，蝙蝠能够利用回声定位建立其栖息地范围的听觉认知地图，即使在完全黑暗的环境中，也能在3公里范围内导航并返回栖息地。研究人员通过在以色列胡拉谷地对库尔氏伏翼进行实验，发现蝙蝠即使仅依靠回声定位，也有95%的个体能够在几分钟内返回栖息地。研究还发现，蝙蝠倾向于在具有更丰富回声信息的区域飞行，并利用这些信息区分环境特征，例如树木和道路，将其作为听觉地标。虽然蝙蝠主要依靠回声定位导航，但视觉也能提升其导航性能。
阅读更多
本文介绍了一种利用Google Gemini从屏幕录制中提取数据的低成本方法。作者通过录制浏览Gmail邮箱的视频，使用Gemini成功提取了邮件中的日期和金额数据，并将其转换为JSON和CSV格式。作者认为，这种“视频抓取”技术成本低廉，操作简便，适用于各种网站和应用，并将在数据新闻等领域具有广泛的应用前景。
阅读更多
FileKitty是一个开源的跨平台文件管理工具，旨在提供简单易用且高效的文件管理功能。它具有包括文件浏览、搜索、编辑、删除、重命名、复制和粘贴等基础功能，以及一些高级功能，例如支持标签、收藏夹和云存储集成。FileKitty支持Windows、macOS和Linux系统，并提供多种语言版本。
阅读更多
NetBSD项目宣布禁止在其代码库中使用由AI工具（如GitHub Copilot、ChatGPT和Code Llama）生成的代码。该项目认为，这些工具生成的代码可能存在版权问题，因此除非得到核心团队的明确许可，否则不得将其添加到NetBSD中。
阅读更多
安德森-霍洛维茨是一家风险投资公司，近年来聘请了多位谷歌前高管，包括前首席财务官帕特里克·皮谢特和前首席运营官乌尔斯·霍尔兹勒。这表明该公司正在加大对科技行业的投资，并希望利用谷歌的人才和经验。不过，一些分析师认为，安德森-霍洛维茨可能会面临人才流失的问题，因为谷歌可以提供更高的薪酬和福利。
阅读更多
Unitree G1是一款由AI驱动的通用人形机器人，具有超大关节运动空间和23至43个关节电机，能够模仿人类动作。G1配备了力控灵巧手，可模拟人手实现精确操作，并搭载了Unitree Robot Unified Large Model (UnifoLM)，为智能机器人领域开创新纪元。
阅读更多
英国《金融时报》(FT) 是一家国际商业报纸，提供有关全球经济和金融市场深入且权威的分析、调查和评论。其报道重点包括金融、经济、政治和商业，并以清晰、简洁和客观的新闻风格而著称。此外，该报还提供各种专栏、评论、观点和数据可视化内容。
阅读更多
美国司法部赢得针对谷歌的反垄断案，法官裁定谷歌通过向合作伙伴支付数十亿美元以确保其搜索引擎的默认地位，从而非法维持了垄断地位。这可能会对Mozilla造成严重冲击，因为Mozilla的火狐浏览器主要收入来自谷歌的搜索分成。如果失去这笔收入，Mozilla将面临生存危机。
阅读更多
中国在清洁能源领域取得了历史性成就，风能和太阳能的装机容量首次超过了煤炭。预计到2026年，太阳能将成为中国的主要能源来源，其累计装机容量将超过1.38太瓦，比煤炭多150吉瓦。这一转变反映了中国致力于减少碳排放和促进可持续发展的决心。
阅读更多
Kalmangrad是一个Python包，用于计算非均匀采样时间序列数据的自动化、平滑的N阶导数。该方法利用贝叶斯滤波技术来计算高达任何指定阶数的导数，为对噪声敏感的传统数值微分方法提供了一种强大的替代方案。
阅读更多
这篇文章介绍了 Cloudflare Durable Object 平台的最新迭代，该平台最近从键/值存储升级到基于 SQLite 的完整关系系统。新系统的设计理念是将应用程序逻辑与其操作的数据放在一起，从而实现极快的读写性能。每个 Durable Object 都包含在与其使用的 SQLite 数据库相同的主机上执行的代码，并通过流式传输 WAL 条目到对象存储来确保持久性。文章还讨论了 Durable Object 的扩展性、API 设计以及底层 Storage Relay Service。
阅读更多
大型语言模型 (LLM) 在数学推理能力方面取得了进步，但其可靠性仍存在疑问。本文针对这一问题，引入了一个名为 GSM-Symbolic 的改进基准，用于评估模型在不同难度数学问题上的表现。研究发现，LLM 在处理相同问题结构但数值不同的情况下表现出显著差异。此外，模型的数学推理能力随着问题复杂性的增加而下降，这表明当前的 LLM 可能无法进行真正的逻辑推理，而是复制训练数据中的推理步骤。
阅读更多
