Archives 2026 6 posts 05/28 类型反哺:从一篇反跨文章开始想到的 #MtF #论 04/22 Algebraic theories 笔记 2 Algebraic Effects #PL 04/01 Algebraic theories 笔记 Algebraic Effects #PL 03/30 text-autospace 和盘古之白 #排版 03/29 上海 411 医院 SRS 游记 #MtF #SRS 02/22 再见 2025 #碎碎念 2025 29 posts 09/24 PFPL 笔记 - XII Symbolic Data Practical Foundations for Programming Languages 09/18 PFPL 笔记 - XI Types and Propositions Practical Foundations for Programming Languages 09/04 PFPL 笔记 - X Exceptions and Continuations Practical Foundations for Programming Languages 07/21 Unsafe Rust 并不和 C 语言一样:从 Aliasing 谈起 #Code #Rust 06/14 Windows 11 Chromium 渲染卡住的解决方案 #Windows #Solution 06/01 Point-free Style 思考 #Functional #Haskell #Code 05/30 Standard ML 尝旧 #Code #Functional #PL 05/21 碎碎念 05/16 PFPL 笔记 - VII Subtyping Practical Foundations for Programming Languages 05/12 简单接触 Algebraic Effects #Code #PL #Algebraic Effects 05/07 C++ 黑魔法习题:memorize #Code #C++ 05/05 试试 idris2 #Idris #Code #PL #Functional 04/20 vite-plugin-vue-layouts 使用记 #Code #Frontend #Vue 04/13 PFPL 笔记 - VI Dynamic Types Practical Foundations for Programming Languages 04/13 学习在 Lean4 中使用 Parser Combinator #Code #Lean #Functional 04/08 很难不承认 Lean4 真香 —— 然后写了一个简单的 JSON 解析器 #Code #Functional #Lean 04/07 一千个计算机人有一千个强类型 #Code 03/30 小数据的时候 std::vector<int> 删除首元素比 deque 和 list 还快 #Code #C++ 03/27 所以这个 Monads 到底是什么啊之让我学学 #Functional #PL 03/22 PFPL 笔记 - VI Dynamic Types Practical Foundations for Programming Languages 03/21 PFPL 笔记 - V Infinite Data Types Practical Foundations for Programming Languages 03/07 PFPL 笔记 - IV Finite Data Types Practical Foundations for Programming Languages 03/02 PFPL 笔记 - III Functional Types Practical Foundations for Programming Languages 02/09 2/9/2025 02/06 更好的 C 语言:Zig 初体验 #Zig #Code #PL 01/19 PFPL 笔记 - II Statics and Dynamics Practical Foundations for Programming Languages 01/17 Not so nerdy WWW guidelines for bloggers #Frontend #Note 01/10 PFPL 笔记 - I Judgments and Rules Practical Foundations for Programming Languages 01/06 仿生电子锈会梦到自己变成纯函数式吗:gleam 语言初见 #Code #Gleam #Functional #PL 2024 18 posts 12/24 用 C++ 写一个玩具 JSON 库 #Code #C++ 12/22 DIY std::optional: Using Universal References in C++ #Note #C++ #Code #双语 12/18 Introduction to Pass Principles #Joke 12/08 Programming Language Impressions #Code 12/03 讨厌Python的N个理由 #Code 11/28 类型体操入门:Slice #Code 11/25 Package Manager: The History #Code 11/18 随机句子生成器与一场有趣的WASM尝试 #Rust #Code #Frontend 11/13 一晚上搓出的 So Simple 博客主题 #Hexo #Blog #Frontend 09/07 为 Misskey 开启 Meilisearch 后,重新索引过去的帖子 #Misskey #Fediverse #Code 09/05 再见 Firefish (Firefish 迁移 Sharkey 指北) #Fediverse #Misskey #Code #Backend 09/04 在 Hexo 老瓶装新酒 #Hexo #Code 09/03 使 Hexo 支持高亮 Lean #Lean #Hexo #Blog #Code 09/03 Lean 初见笔记 #Math #PL #Lean #Code #Functional 07/08 试着复刻一个vue的计算属性 #Frontend #Javascript #Algorithm #Code #Vue 07/02 Latex符号大全 #Latex #Math 06/13 静态版Ruby?Crystal语言试用 #Crystal #PL #Code 05/28 查看你的Misskey存档! #Tools 2023 3 posts 10/18 从中心化平台跑路:迁移到联邦宇宙(Fediverse) #Decentralized #Fediverse #Community 10/15 Mastodon的单一文化问题 #Decentralized #Fediverse #Mastodon #Community 10/13 Hexo 博客添加数学支持 #Hexo #Blog #Code 2022 1 posts 08/04 一言 2020 1 posts 03/26 3/26/2020 #Linux #Ubuntu #Solution 2018 1 posts 10/07 Vim学习笔记 #Vim #Code