computer-science

本文解释了用于同时子串匹配的 Aho-Corasick 算法，详细阐述了通过字典树和后缀链接构建该算法的过程。

本文解释了在编程中使用浮点数进行十进制计算时的舍入误差，并通过Python示例来说明IEEE双精度浮点数中出现的模式。

作者强调，大学本科生应购买Claude Code或Codex等工具的订阅计划，构建最小化的编码代理，并探索高级功能，以在计算机科学领域脱颖而出。

这篇1996年的论文介绍了Lifestreams，一种用于将个人数字数据组织成连续、可搜索流的存储模型。

这篇博客文章提供了一个有趣且适合初学者的编码理论介绍，使用像手电筒通信这样的简单例子来解释基本概念。

本篇博客文章深入分析了针对快速哈希函数的对抗样本，比较了它们的速度和抗碰撞性，并详细说明了多个实现中的漏洞。

Patrick McKenzie 质疑计算机未经授权生产知识所引发的怀疑，探讨了人工智能和知识管理的哲学影响。

本文推导出一致性哈希系统中误差分布的数学公式，有助于跨服务器的工作负载优化。这是一个技术推导，包括WebAssembly演示，并引用了Cloudflare的一篇博客文章。

一则传闻称 P = NP，据称存在一种能在 O(n^{极大数}) 时间内解决 3-SAT 的方法，这显得不太可信或带有幽默色彩。

MIT_CSAIL 分享的回顾视频中，MIT 教授 Peter Shor 为有志于计算机科学的人提供建议。

本文提供了Peter Henderson 1982年关于纯函数式操作系统的论文扫描版，该论文此前在网上难以获取。

人工智能可能正在对英国计算机科学毕业生的就业前景产生负面影响，数据显示编程职位和雇主需求出现显著下降，这可能是由人工智能自动化驱动的。

本文探讨了机械化证明的未来可能性，并质疑在自动定理证明的背景下，真理是否能够抵御未来。

Google Gemini AI 据称已解决 P=NP 问题，这是计算复杂性理论中一个主要未解决的挑战。

Snap! 是一种广泛友好的编程语言，专为儿童和成人设计，作为严肃计算机科学学习的平台。

对在3x3棋盘上进行的2048游戏的分析，探索针对较小网格的算法和策略。

一项针对100名三级学生的预注册研究表明，写作能力和计算机科学成就都能预测vibe-coding的表现，这对人工智能辅助编程的课程设计具有影响。

文章通过引入变更依赖图的判据，论证了函数参数并非等同于函数颜色，并区分了变更在异步函数与普通参数中的传播方式。

本文解释了Python的dict和set数据结构通常被认为是O(1)的，但在涉及哈希冲突和内存层次结构效应的场景中，可能表现出二次方时间性能。

本文对 bitap 字符串匹配算法进行了教育性的阐述，从朴素方法推导而出，并解释了其对于短模式使用位操作时的优雅和高效。