我是 4fterlook，对底层软件、密码学和分布式系统的数学基础感兴趣，也写文学作品。分布式系统这部分主要关注 Paxos 和区块链。
最近的项目里，大模型算子与布局关注一次计算中的数据组织和执行成本：从公开模型中提取算子和小子图，建立 benchmark，把路由、数据搬运和计算放在一起看。布局代数则进一步研究索引映射、分块与组合的数学关系。
Linux 基础工具与安全把重写工具和历史漏洞的学习结合起来。通过对照实现与补丁，分析输入边界、权限和资源处理中的错误，并用实验检查修复。
迷宫库的思路来自 Mazes for Programmers: Code Your Own Twisty Little Passages：用 C++ 提供通用的迷宫生成与解析能力，研究算法背后的数学结构，以及它们和加密、混淆之间可能的联系。二进制保护以 UPX 和 VMProtect 为研究对象，比较不同机制，作为自研工具的基础。GPU 模拟器和 FPGA 也是我的兴趣。
联系
如果对我做的东西感兴趣，可以和我聊聊：4fterlook@gmail.com。代码在 GitHub。