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