Basilisk 技术期刊

探索更安全的 Python。

来自 Basilisk 项目的更新、公告和深度解析。

项目动态

Basilisk 在 Python 类型符合性测试套件上达到 100%

本周 Basilisk 加入了官方 python/typing 符合性结果，并取得了完美的分数。它是排行榜上唯一达到 100% 的 Python 类型检查器。本文解释这个数字究竟意味着什么、榜上还有谁，以及我们为什么不会过度宣传它。

深度解析 2026年7月11日

Python 3.14 让自由线程 Python 获得正式支持。当线程真正并行运行时，类型错误就不再是一个安静的烦恼，而会变成一个并发 bug。本文解释为什么严格的、默认开启的类型检查是你能买到的最廉价的保护。

公告 2026年6月20日

Basilisk 的解析器就是 Ruff。Ruff 的所有者即将变成 OpenAI。本文将逐句、以一手资料为依据说明这意味着什么——以及为什么你的 Basilisk 安装无论如何都是安全的。

公告 2026年2月28日

Python 类型注解生态系统有一个不可告人的秘密：没有人默认强制执行它。我们构建了 Basilisk 来解决这个问题。