TagsCodex 29Unsafe Rust 并不和 C 语言一样:从 Aliasing 谈起Point-free Style 思考Standard ML 尝旧简单接触 Algebraic EffectsC++ 黑魔法习题:memorizePLx 10Algebraic theories 笔记 2Algebraic theories 笔记Standard ML 尝旧简单接触 Algebraic Effects试试 idris2Functionalx 8Point-free Style 思考Standard ML 尝旧试试 idris2学习在 Lean4 中使用 Parser Combinator很难不承认 Lean4 真香 —— 然后写了一个简单的 JSON 解析器Frontendx 5vite-plugin-vue-layouts 使用记Not so nerdy WWW guidelines for bloggers随机句子生成器与一场有趣的WASM尝试一晚上搓出的 So Simple 博客主题试着复刻一个vue的计算属性Hexox 4一晚上搓出的 So Simple 博客主题在 Hexo 老瓶装新酒使 Hexo 支持高亮 LeanHexo 博客添加数学支持Blogx 4从博客美化开始的排版学笔记一晚上搓出的 So Simple 博客主题使 Hexo 支持高亮 LeanHexo 博客添加数学支持Fediversex 4为 Misskey 开启 Meilisearch 后,重新索引过去的帖子再见 Firefish (Firefish 迁移 Sharkey 指北)从中心化平台跑路:迁移到联邦宇宙(Fediverse)Mastodon的单一文化问题Leanx 4学习在 Lean4 中使用 Parser Combinator很难不承认 Lean4 真香 —— 然后写了一个简单的 JSON 解析器使 Hexo 支持高亮 LeanLean 初见笔记C++x 4C++ 黑魔法习题:memorize小数据的时候 std::vector<int> 删除首元素比 deque 和 list 还快用 C++ 写一个玩具 JSON 库DIY std::optional: Using Universal References in C++Linuxx 2为什么NixOS可能成为AI时代最适合小白的Linux系统3/26/2020Solutionx 2Windows 11 Chromium 渲染卡住的解决方案3/26/2020Decentralizedx 2从中心化平台跑路:迁移到联邦宇宙(Fediverse)Mastodon的单一文化问题Communityx 2从中心化平台跑路:迁移到联邦宇宙(Fediverse)Mastodon的单一文化问题Mathx 2Lean 初见笔记Latex符号大全Vuex 2vite-plugin-vue-layouts 使用记试着复刻一个vue的计算属性Misskeyx 2为 Misskey 开启 Meilisearch 后,重新索引过去的帖子再见 Firefish (Firefish 迁移 Sharkey 指北)Rustx 2Unsafe Rust 并不和 C 语言一样:从 Aliasing 谈起随机句子生成器与一场有趣的WASM尝试Notex 2Not so nerdy WWW guidelines for bloggersDIY std::optional: Using Universal References in C++Vimx 1Vim学习笔记Ubuntux 13/26/2020Mastodonx 1Mastodon的单一文化问题Toolsx 1查看你的Misskey存档!Crystalx 1静态版Ruby?Crystal语言试用Latexx 1Latex符号大全Javascriptx 1试着复刻一个vue的计算属性Algorithmx 1试着复刻一个vue的计算属性Backendx 1再见 Firefish (Firefish 迁移 Sharkey 指北)Jokex 1Introduction to Pass Principles双语x 1DIY std::optional: Using Universal References in C++Gleamx 1仿生电子锈会梦到自己变成纯函数式吗:gleam 语言初见Zigx 1更好的 C 语言:Zig 初体验Idrisx 1试试 idris2Algebraic Effectsx 1简单接触 Algebraic EffectsHaskellx 1Point-free Style 思考Windowsx 1Windows 11 Chromium 渲染卡住的解决方案碎碎念x 1再见 2025MtFx 1上海 411 医院 SRS 游记SRSx 1上海 411 医院 SRS 游记排版x 1text-autospace 和盘古之白Typographyx 1从博客美化开始的排版学笔记AIx 1为什么NixOS可能成为AI时代最适合小白的Linux系统Nixx 1为什么NixOS可能成为AI时代最适合小白的Linux系统