## “宗教” 令人惊讶的近代史
我们今天理解的“宗教”概念并非古老——它出现在近现代。虽然崇拜和仪式等实践贯穿历史，但并没有一个截然不同的“宗教”类别。古罗马的 *religio* 侧重于恰当的行为和遵守，而非独立的信仰领域，即使在基督教兴起之后，也没有将世界划分为不同的“宗教”，如基督教、伊斯兰教或佛教。
这种现代理解产生于 17 世纪，伴随着“世俗”概念的出现，并受到欧洲探索和接触不同文化的影响。学者们最初在对这些新传统进行分类时，会寻找与基督教的相似之处，常常强加诸如经典和创始人等结构，即使这些结构并不存在。
定义“宗教”证明是难以捉摸的，思想家们提出了各种标准——信仰、仪式、道德——但都未能完全涵盖。最终，这个术语的持久性并非源于精确的定义，而是其*实用性*。“宗教”作为一个社会建构的范畴发挥作用，塑造了我们理解实践的方式*以及*信徒如何认同自己。尽管对其有效性存在持续的争论，“宗教”仍然是法律、研究和个人意义构建中的一个重要术语，是驾驭复杂世界的“可用地图”。
每日HackerNews RSS
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
难以定义但不可或缺 (aeon.co)
4 分，Thevet 发表于 6 分钟前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
我是一个笔记本电脑怪人，这就是我喜欢我的新款Framework 13的原因。
I'm a laptop weirdo and that's why I like my new Framework 13
2 小时前
## 从折腾到框架：一次笔记本电脑之旅
出于对硬件修改和性能最大化的终身热情，作者最近从2021款M1 Max Macbook Pro过渡到Framework 13 DIY版笔记本电脑。这次改变引发了对“对笔记本电脑的种种恶行”历史的怀旧反思，始于一台高度定制的2008款三星NC10上网本——升级了更多内存、SSD，甚至安装了Hackintosh。
这种折腾继续延伸到2011款Macbook Pro，作者在那里通过升级内存、SSD以及三重启动OSX、Windows和Linux来挑战极限。 后来的笔记本电脑，如ThinkPad X1 Carbon和公司提供的Macbook Pro，提供的修改机会更少，导致了沮丧。
Framework笔记本电脑代表着重回正轨。 在等待迭代证明其可修复性之后，作者卖掉了Macbook Pro并购买了Framework 13，被其模块化和可升级性的承诺所吸引——再次成为“笔记本电脑怪咖”并自定义机器各个方面的机会。 在设备日益封闭的世界里，这是一个受欢迎的改变。
## Hacker News 上关于 Framework 笔记本电脑的讨论
最近 Hacker News 上出现了一场关于 Framework 13 笔记本电脑及其价值主张的讨论。它因其模块化和可修复性而受到赞扬——允许升级主板、内存和 SSD 等组件——但一些评论员质疑其性价比。
许多人认为，使用传统笔记本电脑甚至翻新 ThinkPad 可以以更低的价格获得相当的性能。一些人指出 MiniPC 提供了类似的可扩展性。人们对 Framework 的较高价格、有限的服务网络以及潜在的长期支持表示担忧。
自我修复和访问 OEM 零件的能力对一些人来说是一个主要吸引力，这与修复主流品牌（如联想）的困难形成对比，尽管联想的零件容易获得。最终，讨论强调了一个权衡：Framework 提供可持续性和可升级性，但价格较高，其长期可行性还有待观察。一些评论员也注意到对 Framework 最近社交媒体活动的一些担忧。
不要把面试结束时的“你有什么问题吗？”环节当成形式，这是*你*评估公司是否兑现承诺的机会。这种“反向面试”至关重要的尽职调查，因为你正在评估一项重大的职业投资。 把你的问题集中在了解工作的*实际情况*上。通过询问项目如何从想法到实施，以及工程师在其中扮演的角色，来确定你将是一个问题解决者，还是仅仅是“任务搬运工”。通过询问随叫随到政策和团队如何处理错过截止日期来评估职业倦怠的风险——寻找“允许睡懒觉”的规则和事后分析，而不是借口。 深入了解代码库和实际挑战，而不仅仅是“炫酷的技术”。询问最近的bug和技术障碍。最后，确认对个人贡献者的职业发展——真正的Staff/Principal晋升路径是积极信号，而被迫成为管理者则是消极信号。 一次成功的面试是双向的。除了薪资之外，优先了解公司的文化和价值观，以确保长期的良好匹配。
一篇最近的 Hacker News 帖子链接到一篇文章，其中列出了工程师在面试时应该向潜在雇主提出的问题 (dollardhingra.substack.com)。虽然这些建议被认为是可靠的，但评论员指出实际的限制——面试时间通常很短。
用户还指出，这些问题更倾向于寻找稳定、成熟职位的候选人，可能会对初创环境产生负面印象，尽管初创环境提供了学习机会。一位评论员强调希望*面试官*澄清*编码面试本身的目的*。
整个讨论强调了在提出可能具有挑战性的问题时，需要谨慎措辞，承认大多数工作面试中固有的权力失衡。 基本上，提出好的问题，但要注意你*如何*提问。
## 硅量子处理器取得进展，达到11量子比特 研究人员在基于硅的量子计算领域取得了显著进展，利用同位素提纯的硅中精确放置的磷原子，制造出11量子比特的处理器。这个“14|15”平台利用磷自旋的独特属性，实现高保真度的量子比特控制和连接。 该处理器实现了超过99.9%的单量子比特门保真度，以及高于99%的双量子比特门保真度——这对纠错至关重要。这项成功的关键在于量子比特之间快速的基于交换的耦合机制，能够创建纠缠态，包括贝尔态和最多包含八个量子比特的GHZ态。 研究团队对系统进行了细致的表征和校准，解决了量子比特稳定性、串扰等挑战。他们展示了全连接性，意味着任何量子比特都可以与任何其他量子比特相互作用，这是可扩展量子计算的重要要求。虽然在多量子比特态中，性能会随着量子比特数量的增加而略有下降，但这些结果代表着构建更大、更强大的硅量子计算机的重大一步，并能利用现有的半导体制造基础设施。这项工作突出了“14|15”平台在实现实用量子计算方面的潜力。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
硅基11量子比特原子处理器，所有保真度从99.10%到99.99% (nature.com)
4点 由 giuliomagnifico 2小时前 | 隐藏 | 过去 | 收藏 | 1评论
giuliomagnifico 2小时前 [–]
来源和“可读”文章：
https://thequantuminsider.com/2025/12/17/sqc-study-shows-sil... 回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
## 使用触摸验证 SSH 保护开发者工作站
现代软件开发面临日益复杂的攻击，攻击目标从专业人士转向，不再局限于简单的恶意软件，而是包括供应链破坏和有针对性的招聘诈骗。传统的安全措施往往不足以应对，使得开发者笔记本电脑成为密钥盗窃和通过 SSH 进行静默滥用的主要目标。
触摸验证 SSH 提供了一种低成本、有效的解决方案。它利用硬件隔离——将私钥存储在 USB 安全密钥（如 YubiKey）或设备的安全飞区内（在较新的 Mac 上），需要物理触摸才能进行身份验证。即使恶意软件攻陷笔记本电脑，也能防止密钥泄露和静默的未经授权访问。
实施起来很简单：在 macOS 上使用 Secretive 等工具，或在其他平台上使用 `ssh-keygen -t ed25519-sk`。维护与特定硬件关联的授权密钥存储库，有助于审计和密钥管理。虽然这并非万能药，但为敏感系统保留触摸验证，并对意外提示保持警惕，可以显著提高安全性。
在开发者凭证日益重要的世界中，这一简单步骤为应对不断演变的网络威胁提供了至关重要的保护层。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
硬件触摸，更强的SSH (ubicloud.com)
5 分，作者 furkansahin 2 小时前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
Rust 的借用检查器正在发展，超越了简单的共享/可变借用，引入了新的引用类型来表达更细微的所有权和初始化状态。这些提案旨在提供更大的灵活性，同时保持 Rust 的安全保证。 主要新增内容包括：**`&own`**（表示所有权并允许移除值）、**`&uninit`**（表示已分配但未初始化的内存位置，仅允许写入）和 **`&pin`**（强制值不能在被丢弃之前被移动或释放——对于安全的 pinning 至关重要，例如在异步 Rust 中）。 表格详细说明了这些引用之间的交互方式，定义了允许哪些重新借用和操作。例如，`&own` 引用可以被重新借用为 `&mut`，但不能被重新借用为 `&pin`。 在借用过期后，仍然可能存在限制——特别是对于 pinning，即使 `&pin` 引用消失后仍然存在。 这些变化不仅仅是理论上的；它们能够实现新的 API，例如 `Vec::pop_own()`（返回最后一个元素的所有权）和使用 `&uninit` 简化初始化模式。 虽然这些想法仍在推测中，但它们正在获得关注，并有望提供更具表现力和更强大的 Rust 借用系统。
一个 Hacker News 的讨论强调了一篇博客文章，详细介绍了高级 Rust 借用和生命周期概念，用于管理借用数据。文章探讨了 Rust 中不常用的功能，超越了基本的引用 (`&` 和 `&mut`)，以提供对数据所有权和可变性的更精确控制。
一位经验丰富的 Rust 开发者评论称，这些功能是相对于 Python 和 JavaScript 等语言的一个显著优势，因为后者的变异行为可能不太可预测。他还提到发现了其他有用的、但鲜为人知的 Rust 功能，例如命名循环作用域。
另一位 Rust 新手发现博客文章中的概念有些令人困惑，特别是关于提议的“ref 类型”，例如 `&own` 和 `&uninit`。这场讨论强调了 Rust 所有权系统中的深度和细微之处，即使对于经验丰富的程序员来说也是如此。
这是电子书“如何使用LaTeX精确复刻本书 - 一本关于撰写数学笔记的自包含教程”及其.tex文件的仓库。最新的更新版PDF可以从这里下载。
欢迎贡献！如果您对本书有任何问题或建议，请随时提交issue！本书将定期更新！
待办事项：添加一个设置附录的子章节。
LaTeX书籍的基本设置和结构
文本和段落的格式化
LaTeX中书写数学的基础
LaTeX中的各种特殊结构
自定义命令和环境
更多关于书籍布局设计
带框架的定理和练习
使用TikZ绘图（第一部分）
使用TikZ绘图（第二部分）
杂项
声明：本作品采用知识共享署名-非商业性使用4.0国际许可协议授权。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
如何使用LaTeX重现这本书 (github.com/benjamingor)
6点赞 by nill0 2小时前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
## Coderive v0.4.0：一种移动优先的编程语言
Coderive 是一种新的、通用的编程语言，旨在实现安全性、速度和清晰度，并且*完全*在移动设备上开发。它利用双重编译流水线，生成字节码和本机代码（ARM64/x86_64），以实现高效执行。
主要特性包括一种新型的量词优先逻辑，取代了传统的布尔运算符（例如，`all[A, B]`代替`A && B`），以及一个多返回值槽系统，用于组织函数输出。Coderive 还拥有具有复杂步进模式的智能 for 循环。
开发利用 Java NIDE、快速编辑编辑器和 Android 上的 Termux Linux 环境，并借助 DeepSeek 和 Gemini 等 AI 助手。目前正在进行 TAC 编译器以进一步优化性能。
Coderive 采用 MIT 许可证，资源和支持可通过 GitHub Discussions/Issues 和开发者邮箱获得。它证明了在传统桌面环境之外实现强大的编译器开发是可行的。
## Coderive：基于公式执行，重新定义计算
Coderive 是一种新的编程语言，旨在实现极致性能。它展示了在 50 毫秒内循环遍历 100 万亿个数字的能力——这是传统语言（如 Python、Java 和 C++）无法做到的。
其关键在于 Coderive 的独特方法：它不存储数组中的数据，而是存储*公式*。这与运行时模式检测、延迟求值以及优化的公式存储（循环公式、条件公式、多分支公式）相结合，将循环转换为数学表达式。
这实现了 O(1) 的内存复杂度，并消除了数据移动、并行化需求和复杂的内存管理。本质上，Coderive 不*迭代地计算*，而是*定义计算*。
该项目展示了在现实世界中的应用潜力，例如快速 8K 视频处理，能够在传统上不可能的时间内完成任务。Coderive 运行在标准的 Java 7 上，使其强大的优化能够在通用硬件上实现。
项目 GitHub 地址：[https://github.com/DanexCodr/Coderive](https://github.com/DanexCodr/Coderive)
## 将人工智能集成到复杂的 Ruby on Rails 单体应用中 Mon Ami 是一家为老年人和残疾人案例工作者提供 SaaS 服务的公司，运营着一个大型、多租户的 Ruby on Rails 单体应用，具有严格的数据访问控制。 最初，由于系统的复杂性和数据敏感性，团队认为人工智能集成的机会有限。 然而，参加 SF Ruby 改变了这种看法。 受到一个关于使用 RubyLLM gem 构建类似 RAG 系统的带函数调用（“工具”）的演讲的启发，团队意识到他们可以在不损害安全性的前提下利用人工智能。 RubyLLM 简化了 LLM 交互，并允许将访问逻辑编码到函数调用中，仅通过受控的工具授予 LLM 数据访问权限。 他们使用 RubyLLM 构建了一个概念验证，通过 Algolia 实现自然语言客户端搜索，确保 Pundit 策略控制访问。 一个简单的 UI，带有远程表单和 Active Job 处理，促进了对话。 GPT-4o 在测试过的 OpenAI 模型中，证明了速度和准确性的最佳平衡。 该项目在 2-3 天内完成，证明了在复杂、受监管的环境中*可以*集成人工智能。 它突出了构建核心功能的惊人简单性——本质上是一个 API 控制器动作——并为未来探索 Anthropic 和 Gemini 等模型打开了大门。
黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
在7年Rails老系统中构建AI代理 (catalinionescu.dev)
9点 由 cionescu1 55分钟前 | 隐藏 | 过去的 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
启用 JavaScript 和 Cookie 以继续。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
鱼类启发型过滤器，可去除99%以上的微塑料 (scitechdaily.com)
32分钟前，Gaishan发布，4点赞 | 隐藏 | 过去 | 收藏 | 1条评论
apparent 11分钟前 [–]
> 一台四口之家使用的洗衣机每年可能释放高达500克微塑料，其中大部分是在洗涤过程中面料磨损产生的。因此，洗衣机是这些颗粒的主要来源之一。
我感到惊讶，竟然这么少（一整年才半公斤）。我很想知道它的排名，因为这种说法有点耸人听闻，而且不完全准确。例如，如果从全球范围来看，它是第六大贡献者，但前五名每项贡献量是它的十倍，那也是成立的。回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：