Tags Code x 29 Unsafe Rust 并不和 C 语言一样:从 Aliasing 谈起 Point-free Style 思考 Standard ML 尝旧 简单接触 Algebraic Effects C++ 黑魔法习题:memorize PL x 10 Algebraic theories 笔记 2 Algebraic theories 笔记 Standard ML 尝旧 简单接触 Algebraic Effects 试试 idris2 Functional x 8 Point-free Style 思考 Standard ML 尝旧 试试 idris2 学习在 Lean4 中使用 Parser Combinator 很难不承认 Lean4 真香 —— 然后写了一个简单的 JSON 解析器 Frontend x 5 vite-plugin-vue-layouts 使用记 Not so nerdy WWW guidelines for bloggers 随机句子生成器与一场有趣的WASM尝试 一晚上搓出的 So Simple 博客主题 试着复刻一个vue的计算属性 Hexo x 4 一晚上搓出的 So Simple 博客主题 在 Hexo 老瓶装新酒 使 Hexo 支持高亮 Lean Hexo 博客添加数学支持 Blog x 4 从博客美化开始的排版学笔记 一晚上搓出的 So Simple 博客主题 使 Hexo 支持高亮 Lean Hexo 博客添加数学支持 Fediverse x 4 为 Misskey 开启 Meilisearch 后,重新索引过去的帖子 再见 Firefish (Firefish 迁移 Sharkey 指北) 从中心化平台跑路:迁移到联邦宇宙(Fediverse) Mastodon的单一文化问题 Lean x 4 学习在 Lean4 中使用 Parser Combinator 很难不承认 Lean4 真香 —— 然后写了一个简单的 JSON 解析器 使 Hexo 支持高亮 Lean Lean 初见笔记 C++ x 4 C++ 黑魔法习题:memorize 小数据的时候 std::vector<int> 删除首元素比 deque 和 list 还快 用 C++ 写一个玩具 JSON 库 DIY std::optional: Using Universal References in C++ Solution x 2 Windows 11 Chromium 渲染卡住的解决方案 3/26/2020 Decentralized x 2 从中心化平台跑路:迁移到联邦宇宙(Fediverse) Mastodon的单一文化问题 Community x 2 从中心化平台跑路:迁移到联邦宇宙(Fediverse) Mastodon的单一文化问题 Math x 2 Lean 初见笔记 Latex符号大全 Vue x 2 vite-plugin-vue-layouts 使用记 试着复刻一个vue的计算属性 Misskey x 2 为 Misskey 开启 Meilisearch 后,重新索引过去的帖子 再见 Firefish (Firefish 迁移 Sharkey 指北) Rust x 2 Unsafe Rust 并不和 C 语言一样:从 Aliasing 谈起 随机句子生成器与一场有趣的WASM尝试 Note x 2 Not so nerdy WWW guidelines for bloggers DIY std::optional: Using Universal References in C++ Vim x 1 Vim学习笔记 Linux x 1 3/26/2020 Ubuntu x 1 3/26/2020 Mastodon x 1 Mastodon的单一文化问题 Tools x 1 查看你的Misskey存档! Crystal x 1 静态版Ruby?Crystal语言试用 Latex x 1 Latex符号大全 Javascript x 1 试着复刻一个vue的计算属性 Algorithm x 1 试着复刻一个vue的计算属性 Backend x 1 再见 Firefish (Firefish 迁移 Sharkey 指北) Joke x 1 Introduction to Pass Principles 双语 x 1 DIY std::optional: Using Universal References in C++ Gleam x 1 仿生电子锈会梦到自己变成纯函数式吗:gleam 语言初见 Zig x 1 更好的 C 语言:Zig 初体验 Idris x 1 试试 idris2 Algebraic Effects x 1 简单接触 Algebraic Effects Haskell x 1 Point-free Style 思考 Windows x 1 Windows 11 Chromium 渲染卡住的解决方案 碎碎念 x 1 再见 2025 MtF x 1 上海 411 医院 SRS 游记 SRS x 1 上海 411 医院 SRS 游记 排版 x 1 text-autospace 和盘古之白 Typography x 1 从博客美化开始的排版学笔记