图灵奖得主迈克尔·拉宾逝世:随机化算法之父与密码学巨匠
著名计算机科学家、1976年图灵奖得主迈克尔·拉宾近日去世。他是非确定性有限状态自动机的共同发明者,被誉为“随机化算法之父”。他在理论计算机科学领域的贡献极大,特别是发明的Miller-Rabin素性测试法,成为现代加密系统(如RSA)的基...
著名计算机科学家、1976年图灵奖得主迈克尔·拉宾近日去世。他是非确定性有限状态自动机的共同发明者,被誉为“随机化算法之父”。他在理论计算机科学领域的贡献极大,特别是发明的Miller-Rabin素性测试法,成为现代加密系统(如RSA)的基...
本文深入探讨了编译器构建中的核心算法——Pratt解析。作者通过抽象语法树(AST)的几何形态,将枯燥的优先级与结合性问题转化为直观的“左倾”与“右倾”树结构变化。文章指出,Pratt解析的精髓在于通过递归回溯,在遇到优先级转换时动态调整树...

ECS / OSS / CDN / 云数据库一站采购,常用云资源集中选配;新用户与续费均有专场优惠,适合个人开发者与小团队长期使用。
本文深入浅出地介绍了“四叉树”这一经典的空间划分数据结构。文章通过交互式演示,生动地阐述了四叉树如何通过递归地将二维空间分割为四个象限,从而在地图检索、游戏物理碰撞检测及图像压缩等场景中,将查询复杂度从暴力扫描的 O(n) 显著降低至 O(...
Hacker News上热推的一篇技术文章,通过可视化手段直观展示了著名的高斯星期计算算法。该算法由数学家高斯提出,能够通过数学公式快速推算出历史上任意一天是星期几。文章利用交互式图表将抽象的公式拆解为清晰的逻辑步骤,让读者无需深厚的数学功...
Hacker News社区热议一份由Reed学院发布的《离散结构》课程PDF讲义。作者Kyle Ormsby教授以教学严谨且内容深奥闻名,评论者指出其课程常深入流形理论、微分形式等高阶领域。这份高质量的教育资源,不仅适合计算机专业学生巩固算...
本文介绍了一项结合计算机理论与现代 AI 技术的硬核编程实验。作者在 GitHub 上分享了一个项目,展示了如何在图灵机上实现冒泡排序算法,并详细记录了利用 Claude 4.6、GLM 5 和 GPT 5.2 等大语言模型辅助编码的全过程...
本文由计算机科学泰斗、Isabelle定理证明器创始人Lawrence Paulson撰写,深刻剖析了形式化验证领域的“阿喀琉斯之踵”。虽然形式化验证被视为保障芯片设计、操作系统及AI算法安全的“黄金标准”,但Paulson指出,证明器本身...
本文汇集了多种经典的迷宫生成算法,如递归回溯、Prim算法、Kruskal算法及Wilson算法等。作者不仅详细阐述了各种算法的原理和特性,还通过GitHub提供了完整的开源演示代码。作为算法学习的优质资源,它能帮助开发者深入理解图论与程序...
就像整理书架没有唯一标准,数据存储也没有完美方案。本文探讨了哈希表和堆等核心数据结构如何在时间、空间与资源之间进行权衡。近期研究在哈希表和最短路径算法上取得突破。文章揭示了计算机科学的底层逻辑:没有全能解,只有针对特定场景的最优取舍,有时“...
本书由Google Dart语言团队成员Robert Nystrom撰写,深度解析如何从零开始设计并实现一个功能完备的脚本语言。内容涵盖从语法解析、语义分析到底层字节码表示及垃圾回收等核心技术。读者将通过构建支持动态类型、闭包及类继承的语言...