Hacker News 热门 2026-04-18

20 篇热门文章 · 共 3,717 积分 · 2,122 条评论

[1] 类别理论插图 - 顺序（Category Theory Illustrated – Orders） 该文章介绍了类别理论中的顺序概念，解释了顺序的定义、类型以及在数学和计算机科学中的应用。顺序是一种二元关系，描述了元素之间的关系，例如大小、年龄、字母顺序等。文章还讨论了线性顺序、偏序和全序等不同类型的顺序。

[2] 间隔计算器（Show HN: I made a calculator that works over disjoint sets of intervals） 该文章介绍了一种新的计算器，它可以处理不相交的区间集。这种计算器可以进行基本的算术运算，并且可以处理包含零的区间。它还支持区间运算，例如区间加法和区间乘法。这种计算器可以应用于不确定性分析和区间算术等领域。

[3] 克劳德设计（Claude Design） 克劳德设计是一种新的设计工具，由Anthropic Labs开发。它允许用户与AI模型克劳德合作，创建视觉作品，如设计、原型、幻灯片等。克劳德设计支持多种设计模式，包括交互式设计和自动设计。它还支持团队合作和设计系统集成。

[4] 为什么IPv6这么复杂？（Why is IPv6 so complicated?） 该文章解释了IPv6的复杂性原因。IPv6是一种新的互联网协议，旨在取代IPv4。IPv6的地址空间更大，支持更多的设备和应用。但是，IPv6的复杂性也带来了许多挑战，例如地址管理、路由和安全性等问题。

[5] Emacs中的信任问题（Towards trust in Emacs） 该文章讨论了Emacs中的信任问题。Emacs是一种流行的文本编辑器，但它也存在一些安全漏洞。文章介绍了一个新的包trust-manager，可以帮助用户管理Emacs中的信任问题。

[6] 测量克劳德4.7的代价（Measuring Claude 4.7's tokenizer costs） 该文章测量了克劳德4.7的代价。克劳德4.7是一种新的语言模型，它的代价包括计算资源和时间。文章发现，克劳德4.7的代价比之前的版本高出约1.47倍。

[7] 月球上的灰尘（All 12 moonwalkers had "lunar hay fever" from dust smelling like gunpowder） 该文章介绍了月球上的灰尘问题。月球上的灰尘含有硅酸盐，会对人类健康造成威胁。文章讨论了月球上的灰尘对人类健康的影响。

[8] Amiga图形（Amiga Graphics） 该文章介绍了Amiga图形。Amiga是一种老式计算机，曾经很流行。文章展示了Amiga图形的历史和特点。

[9] 手写代码（Spending 3 months coding by hand） 该文章介绍了手写代码的体验。作者花了三个月的时间手写代码，体验了编程的乐趣和挑战。

[10] 欧盟电池护照（What the EU Battery Passport Means for Your Devices） 该文章介绍了欧盟电池护照。欧盟电池护照是一种新的系统，旨在提高电池的可持续性和安全性。文章讨论了电池护照的意义和影响。

[1] Linux二进制文件加载时重写所有系统调用 Linux二进制文件加载时重写所有系统调用是一种新颖的方法，旨在减少Linux内核的攻击面。该方法通过重写所有系统调用来实现这一点，这些系统调用是Linux内核提供给应用程序的接口。这种方法可以提高系统的安全性和可靠性。

[2] Fil-C简化模型 Fil-C是一种内存安全的C/C++实现，它通过重写LLVM IR来实现内存安全。该文章提供了一个简化的Fil-C模型，通过自动重写C/C++源代码来实现内存安全。这种方法可以帮助开发人员更好地理解Fil-C的工作原理。

[3] AI代理的成本是否也呈指数级增长？ 该文章探讨了AI代理的成本是否也呈指数级增长。由于页面内容不可用，因此无法提供更多信息。

[4] 在HTTP URL路径中不应“规范化”// 该文章讨论了在HTTP URL路径中不应“规范化”//的原因。由于页面内容不可用，因此无法提供更多信息。

[5] Brunost：Nynorsk编程语言 Brunost是一种新的编程语言，名为Nynorsk。由于页面内容不可用，因此无法提供更多信息。

[6] Smol机器：亚秒冷启动，可移植的虚拟机 Smol机器是一种新的虚拟机，具有亚秒冷启动和可移植性。由于页面内容不可用，因此无法提供更多信息。

[7] 任何道路背后的简单几何学 该文章讨论了任何道路背后的简单几何学。由于页面内容不可用，因此无法提供更多信息。

[8] PanicLock：关闭MacBook盖子禁用Touch ID，密码解锁 PanicLock是一种新工具，可以在关闭MacBook盖子时禁用Touch ID，并要求密码解锁。该工具旨在提高MacBook的安全性。

[9] Slope Cop Slope Cop是一种新工具，但由于页面内容不可用，因此无法提供更多信息。

[10] 超大规模企业已经超越了大多数著名的美国大型项目 该文章讨论了超大规模企业已经超越了大多数著名的美国大型项目。由于页面内容不可用，因此无法提供更多信息。

原始链接

1. Category Theory Illustrated – Orders — 18 pts, 1 comments
2. Show HN: I made a calculator that works over disjoint sets of intervals — 122 pts, 16 comments
3. Claude Design — 1008 pts, 661 comments
4. Why is IPv6 so complicated? — 49 pts, 55 comments
5. Towards trust in Emacs — 91 pts, 10 comments
6. Measuring Claude 4.7's tokenizer costs — 597 pts, 421 comments
7. All 12 moonwalkers had "lunar hay fever" from dust smelling like gunpowder (2018) — 316 pts, 185 comments
8. Amiga Graphics — 10 pts, 0 comments
9. Spending 3 months coding by hand — 197 pts, 193 comments
10. What the EU Battery Passport Means for Your Devices — 17 pts, 2 comments
11. Rewriting Every Syscall in a Linux Binary at Load Time — 29 pts, 9 comments
12. A simplified model of Fil-C — 167 pts, 87 comments
13. Are the costs of AI agents also rising exponentially? (2025) — 188 pts, 45 comments
14. It is incorrect to "normalize" // in HTTP URL paths — 10 pts, 2 comments
15. Brunost: The Nynorsk Programming Language — 47 pts, 18 comments
16. Show HN: Smol machines – subsecond coldstart, portable virtual machines — 318 pts, 99 comments
17. The simple geometry behind any road — 6 pts, 0 comments
18. Show HN: PanicLock – Close your MacBook lid disable TouchID –> password unlock — 185 pts, 76 comments
19. Slop Cop — 160 pts, 99 comments
20. Hyperscalers have already outspent most famous US megaprojects — 182 pts, 143 comments

由写写贴自动生成，数据来源 Hacker News