揭秘软件工程起源:Dijkstra 如何利用“软件危机”重塑编程叙事
本文由计算机历史学家 Thomas Haigh 撰写,挑战了关于软件工程起源的传统叙事。文章指出,广为流传的“1968年 NATO 软件工程会议”和“软件危机”起源故事,实际上是一群学术研究者为了推广其“编程即数学”的理念而构建的。Dijk...
标签索引 / 第 5 页
这个标签下有 112 篇文章。按时间回看相关判断与实践记录。
标签精选
本文由计算机历史学家 Thomas Haigh 撰写,挑战了关于软件工程起源的传统叙事。文章指出,广为流传的“1968年 NATO 软件工程会议”和“软件危机”起源故事,实际上是一群学术研究者为了推广其“编程即数学”的理念而构建的。Dijk...
该项目展示了一种全新的Java编程语法实验——“通过邻接绑定”。开发者构建了一个编译器插件,打破了传统依赖运算符的编程模式,允许相邻的表达式根据静态类型自动识别并组合。例如,输入“2025 July 19”可直接生成本地日期对象,“300M...
Mog 是一种全新的静态类型、编译型嵌入式编程语言,专为解决 AI Agent 生成并执行代码时的安全与性能痛点而设计。其完整规范极简(仅 3200 tokens),便于 LLM 快速学习与记忆;语法融合了 TypeScript、Rust ...
随着“Vibe Coding”(氛围编程)概念的兴起,AI正在重塑编程语言的选用逻辑。传统开发中,开发者倾向于使用Python以追求代码编写的便捷性;但在AI辅助下,复杂的语法已不再是负担,促使更多人转向Rust等高性能语言。讨论进一步探讨...
Eyot是一种实验性的前沿编程语言,其核心创新在于将GPU(图形处理器)视为系统中的普通执行线程。这一设计旨在解决当前异构编程(如CUDA、OpenCL)中代码割裂和内存管理复杂的痛点。通过统一CPU与GPU的编程模型,开发者无需编写特定的...
独立游戏 Voxile 因其深厚的技术背景引发关注。这款游戏完全基于开发者 Wouter van Oortmerssen 自研的 Lobster 编程语言及其专属引擎构建,实现了实时光线追踪效果。Wouter 是业界顶级技术大牛,曾任职于 ...
本文记录了“Python之父”吉多·范罗苏姆对Python核心开发者托马斯·沃特斯的深度访谈。对话内容不仅深入触及了CPython的内部机制、性能优化难点以及Python解释器的未来技术路线,还详细探讨了核心开发团队的运作流程与社区治理哲学...
本文是一份关于K语言的深度编程指南,该语言以其极端的简洁性和惊人的执行速度闻名于世,常被应用于高频交易等对性能要求极高的领域。文档详细介绍了K的语法特性、数组操作逻辑,以及如何通过极少的代码实现复杂的数据处理。作为APL语言的现代继承者之一...
本文探讨了实验性编程语言Dada如何通过创新的权限系统,解决Rust等语言难以处理的“内部引用”问题。Dada不再使用传统的生命周期,而是采用基于“位置”的权限类型,允许引用在数据移动时依然有效。作者详细对比了Rust中指针与Dada中浅拷...
近日,一份1965年的MIT技术文档在技术社区引起关注。该文档诞生于Multics项目(现代Unix/Linux系统的前身),详细阐述了“SHELL”作为全局工具的核心设计:即在操作系统中调用和链接各种程序。尽管距今已近60年,但文中关于程...