点击下方任何元素查看更多。最新样本:2017年10月28日。
本网站内容:我的《科学美国人》专栏。
购买海报、卡片和书籍!不要错过最漂亮的元素周期表海报和卡片,以及来自本网站制作者的真实元素和展示品。
点击下方任何元素查看更多。最新样本:2017年10月28日。
本网站内容:我的《科学美国人》专栏。
购买海报、卡片和书籍!不要错过最漂亮的元素周期表海报和卡片,以及来自本网站制作者的真实元素和展示品。
## 齐兹人:现代暴力邪教 2024年2月,一场与美国佛蒙特州边境特工的枪战导致一名特工死亡,并暴露了一个令人不安的网络,被称为齐兹人。该组织由杰克·“齐兹”·拉索塔领导,他是一位沉迷于理性主义和跨性别意识形态的技术辍学者,该组织已被与美国至少六起死亡事件联系,始于2022年对加州房东的袭击。 齐兹人全部是跨性别者或非二元性别者,并且坚定地信奉素食主义,他们相信“善与恶”的世界观,认为自己道德高尚,并为他们认为“坏人”而实施的暴力行为辩护。拉索塔的理论植根于对大脑半球分裂的信念,吸引了一批受过教育的追随者,他们拥抱了一种受害者叙事和末日恐惧。 他们的活动从骚扰和财产破坏——包括对理性主义活动的一次破坏性抗议——升级到谋杀,事件发生在加利福尼亚州、宾夕法尼亚州和佛蒙特州。尽管存在暴力行为,一些网络圈子仍然对该组织表示同情,将其行为描述为对社会跨性别恐惧症的回应。 目前,拉索塔和几名成员已被拘留,面临各种指控。齐兹人代表了一种独特的现代邪教,它诞生于精英进步主义圈子,并受到21世纪焦虑的助长,展示了意识形态、特权和极端主义的危险交集。
## 微积分基础:导数、梯度、雅可比矩阵与海森矩阵
本文解释了微积分中的四个关键概念及其应用,从**导数**开始。导数衡量函数在任何给定点上的变化,对于**优化**(寻找最小值或最大值)至关重要。这可以通过迭代方式完成(如梯度下降,模拟滚下山坡)或通过直接找到导数为零的点来完成。
对于具有多个变量的函数,我们使用**梯度**。梯度是一个向量,包含偏导数(相对于每个变量的变化),指向最陡峭的上升方向。梯度下降利用这一点来寻找最小值。
当函数输出多个值时,**雅可比矩阵**就派上用场。它本质上是梯度的一个集合——为每个输出值提供一个——揭示了函数如何扭曲空间。它的行列式表明函数是扩张、收缩还是翻转空间。
最后,**海森矩阵**代表*二阶*导数,详细描述了函数的曲率。这通过理解函数的弯曲来提供更快的优化。然而,计算海森矩阵可能在计算上很昂贵,导致使用拟牛顿方法作为替代方案。
这些工具不仅在数学中是基础,在机器学习、计算机图形学和渲染等领域也至关重要。
`batched` crate 提供了一个 Rust 宏,用于高效处理大量开销较大的异步操作,尤其适用于数据库插入等场景。它基于可配置的 `limit` 将项目分组为批次,并以指定的 `concurrent` 级别并发处理它们,批次处理之间有最小的 `window` 延迟。 该宏将接受 `Vec<T>` 的函数转换为批处理版本 (`insert_message`, `insert_message_multiple`)。批处理函数的返回类型决定了结果的处理方式——对于单个值进行克隆,或者对于 `Vec<T>` 返回值进行迭代。错误处理使用 `SharedError` 处理缺乏 `Clone` 实现的类型。 主要特性包括与 Tokio 运行时集成、可选的 tracing span 用于请求监控,以及 OpenTelemetry 支持用于关联 span。示例展示了使用 PostgreSQL 批量数据库插入,展示了单条消息和批量消息处理,以及适当的错误处理和返回类型管理。需要注意的是,该宏不设计用于在结构体*内部*使用。
启用 JavaScript 和 Cookie 以继续。
## 边注搜索索引重新设计:摘要 边注搜索索引经历了一次重大重新设计,以提升性能,这是由于索引文档数量翻倍(从3.5亿到8亿)以及即将支持多语言所必需的。核心变化是用确定性块式跳表取代现有的B树结构,该结构针对快速列表交集进行了优化,这对于搜索查询至关重要。 开发过程中的一个关键发现是NVMe SSD的性能表现不直观:更大的读取块大小(高达128KB)会显著*提高*读取速度,因为驱动器能够处理并行操作,尽管最初的读取似乎有些浪费。这促使我们放弃较小的块大小,并探索数据局部性优化。 进一步的改进来自于利用`io_uring`进行异步位置数据检索,并仔细平衡并发性以避免使SSD控制器不堪重负。团队还专注于按文档对位置数据进行聚类,以提高缓冲读取和POSIX_FADV_RANDOM的读取效率。 重新设计的索引现已投入生产,优先考虑IOPS,并证明了理解现代SSD行为对于实现最佳性能的重要性。未来的工作包括探索更好的压缩算法,并可能重新审视近似位置匹配技术。
这篇内容怀念着BBC Master,一款20世纪80年代的家用电脑,对英国一代人的计算机素养至关重要。它在政府的大力投资下开发,旨在防止英国在蓬勃发展的科技领域落后,BBC Micro——特别是更高级的Master型号——尽管最初价格不菲,却成为了学校里的常见设备。
有趣的是,BBC Micro的幕后团队还发明了ARM架构,现在为全球大多数移动设备提供动力。作者的个人BBC Master,配备软盘驱动器和鼠标,代表着对这个关键时代的怀旧联系。
他们的学校只有有限的访问权限——一台BBC电脑供所有学生共享——但对雄心勃勃的末日项目(Domesday Project)的简短尝试展示了这款机器的潜力。与在其他地方流行的Commodore PET(加拿大)和Apple II(美国)相比,BBC Micro提供了更优秀的BASIC语言和扩展能力,对体验过它的人产生了持久的影响。
我们正在验证您的浏览器。网站所有者?点击此处修复。 Vercel 安全检查点 | sin1::1755439217-RXrwLmyqbDStcLmqLqOBNNy9SaPjBV3a 启用 JavaScript 以继续。 Vercel 安全检查点 | sin1::1755439217-RXrwLmyqbDStcLmqLqOBNNy9SaPjBV3a
这个项目是基于 mojombo/god 的分支。作者:Tom Preston-Werner, Kevin Clark, Eric Lindvall 网站:http://godrb.com God 是一个易于配置、易于扩展的监控框架,用 Ruby 编写。保持服务器进程和任务运行应该成为部署过程中的一个简单部分。God 旨在成为最简单、最强大的监控应用程序。请参阅仓库内的文档 doc。在线文档请见这里。注册 god 邮件列表:https://groups.google.com/g/god-rb。请参阅 LICENSE 文件。
## C STL-like 库比较 – 项目总结 本项目对几个旨在为经典 C 编程提供类似 STL 容器功能的 C 库进行基准测试和比较。目标是评估 C++ 模板化容器的替代方案,重点关注向量、列表、映射和集合等常见数据结构的实现。 一个关键组成部分是一组标准化的测试程序——使用 `int`、`mpz_t`(来自 GMP)和字符串——旨在评估库的 API 人体工程学和性能。这些程序执行基本操作,如数组声明、初始化、排序和搜索。比较考虑的因素包括支持的 C 标准(C89、C99、C11、C23)、泛型机制实现(void 指针、宏等)、类型安全以及对复制/移动语义、迭代器和排序算法等功能的支持。 目前,正在评估的库包括 M*LIB(由作者开发)、STC、CMC、CTL、CollectionsC、CC 和 GLIB,C++ STL 作为参考。该项目正在进行中(WIP),欢迎贡献,包括库的添加以及对比较标准的反馈。基准测试结果可用,该项目使用 C11 编译器、`make`、Git、GMP 和 GLIB 进行构建和测试。