SendLang: A DSL for Email Automation18 days agohttps://www.sendlang.comSendLang 包含 SendQL（用于定义细分用户群的查询）和 SendFlow（用于管理滴水式工作流）。该语言支持版本控制、发送前错误检查，并与编程代理工具兼容。SendQL 整合原始事件流、联系人属性和送达规则，实现精准定向。SendFlow 提供结构化的控制流，避免使用 goto 或无限制循环，可直接映射为流程图。更多...
Python Is So Slow. Can Julia Solve the Two-Language Problem?19 days agohttps://www.wired.com/story/python-is-so-slow-can-julia-solve-the-two-language-p...图灵奖得主计算机科学家的获奖演讲常能在这一体裁的平庸中脱颖而出，成为具有影响力的例外。例子包括约翰·巴克斯坦1977年激发函数式编程的演讲、肯·汤普森1984年关于编译器后门的警告，以及埃兹赫尔·戴克斯特拉1972年对谦逊的呼吁。肯尼斯·艾佛森1979年的演讲《作为思维工具的符号》主张数学符号能促进发现，APL语言便是例证——这种编程语言专为融合数学与编程语言而设计。当今科学计算中的双语言问题表现为：用缓慢的Python进行原型开发，再用C++或Rust等快速语言重写性能关键部分。更多...
G#: A modern .NET language with Go, Kotlin, and Swift ergonomics21 days agohttps://davidobando.github.io/gsharp/G# 是一种现代化的 .NET 语言，融合了受 Go、Kotlin 和 Swift 启发的人体工学设计特性。它包含包、函数、数据类、使用 'if let' 的可空处理以及带作用域的结构化并发等功能。源代码直接编译为托管程序集，可在 .NET 运行时上执行。提供的示例展示了一个包含打印“Hello, world!”的问候函数的简单包。
Scarf has moved away from Haskell23 days agohttps://avi.press/posts/2026-07-10-after-7-years-in-production-scarf-has-relucta...由于AI改变了开发经济学，使得编译时间和生态系统摩擦成为显著瓶颈，Scarf从Haskell转向了Python。AI允许更快的代码生成，但Haskell的长编译周期阻碍了快速反馈，特别是在并行AI辅助的工作流程中。这一转变使得开发周期更快、测试覆盖率提高、热修复更迅速，且未因类型安全性降低而出现明显损失。如果Haskell不通过优化快速构建、文档和代理友好型工具来适应AI，将面临停滞风险。
Rust is in TIOBE Index top 10a month agohttps://www.tiobe.com/tiobe-index/Rust于2026年7月首次进入TIOBE指数前十名。TIOBE指数于2026年7月庆祝其成立25周年。在2026年7月的TIOBE指数中，Python排名第一，其次是C和C++。TIOBE推出了编程语言流程图，帮助开发者根据具体用例选择语言。更多...
Returning to Ziga month agohttps://gracefulliberty.com/articles/return-to-zig/作者在2020年最初被Zig吸引，视其为一个有前景的C语言替代品，并欣赏其编译时代码执行和简洁的抽象机制。由于Zig的不稳定性、频繁的破坏性变更以及不成熟的生态系统，作者转而使用Rust，看中其稳定性和强大的工具链。对Rust治理问题的担忧，包括企业影响和对LLM生成代码政策的缓慢响应，促使作者重新考虑使用Zig。到2026年，Zig虽然仍不稳定但已较熟悉，并增加了包管理器等功能，不过其生态系统相比其他语言依然有限。更多...
Odin, Wikipedia and Engagement Farminga month agohttps://katamari64.se/posts/2026/odin-wikipedia/维基百科关于 Odin 编程语言的条目因缺乏知名度及可靠来源而被删除，引发争议。Odin 的创作者 GingerBill 起初将维基百科视为由活跃分子把守的意识形态游乐场而嗤之以鼻，但后来对其关于编程语言的指导方针表示担忧。Casey Muratori 认为维基百科的引用规则对现代编程知识不公平，后者往往缺乏传统学术覆盖。维基百科的政策强调可验证性、可靠来源和知名度，其指导方针旨在保持客观性并避免无差别收录。更多...
Local Reasoning for Global Propertiesa month agohttps://tratt.net/laurie/blog/2026/local_reasoning_for_global_properties.html作者曾认为AI不会从新编程语言中受益，因为AI能用许多现有语言生成代码。然而，AI常能生成良好的局部代码（如函数），但在全局程序理解上存在困难，导致不必要的防御性检查，可能引发指数级状态复杂度。如果AI的全局推理弱点持续存在，编程语言设计可能通过强制局部推理来确保全局属性，类似于Rust防止数据竞争的方式，从而提供帮助。Rust的所有权类型和Send/Sync特征能静态防止数据竞争，允许局部推理确保全局数据竞争自由，无需新的子语言。更多...
Counterexamples in type systems (2021)a month agohttps://counterexamples.org/该文本列举了类型系统中的31个反例，涵盖了多态引用、协变容器、变体检查和递归等问题。涉及的主题包括对象构造、Curry悖论、运行时类型信息错误、重载以及子类型与继承。其他要点涉及自私性、隐私侵犯、不稳定表达式、规避问题、作用域逃逸和全称量化。本整理由Stephen Dolan完成，感谢Andrej Bauer、Leo White和Jeremy Yallop的贡献，并包含视觉主题切换功能。