Archives20267 posts08/11为什么NixOS可能成为AI时代最适合小白的Linux系统#AI#Nix#Linux06/22从博客美化开始的排版学笔记#Blog#Typography04/22Algebraic theories 笔记 2Algebraic Effects#PL04/01Algebraic theories 笔记Algebraic Effects#PL03/30text-autospace 和盘古之白#排版03/29上海 411 医院 SRS 游记#MtF#SRS02/22再见 2025#碎碎念202529 posts09/24PFPL 笔记 - XII Symbolic DataPractical Foundations for Programming Languages09/18PFPL 笔记 - XI Types and PropositionsPractical Foundations for Programming Languages09/04PFPL 笔记 - X Exceptions and ContinuationsPractical Foundations for Programming Languages07/21Unsafe Rust 并不和 C 语言一样:从 Aliasing 谈起#Code#Rust06/14Windows 11 Chromium 渲染卡住的解决方案#Windows#Solution06/01Point-free Style 思考#Functional#Haskell#Code05/30Standard ML 尝旧#Code#Functional#PL05/21碎碎念05/16PFPL 笔记 - VII SubtypingPractical Foundations for Programming Languages05/12简单接触 Algebraic Effects#Code#PL#Algebraic Effects05/07C++ 黑魔法习题:memorize#Code#C++05/05试试 idris2#Idris#Code#PL#Functional04/20vite-plugin-vue-layouts 使用记#Code#Frontend#Vue04/13PFPL 笔记 - VI Dynamic TypesPractical Foundations for Programming Languages04/13学习在 Lean4 中使用 Parser Combinator#Code#Lean#Functional04/08很难不承认 Lean4 真香 —— 然后写了一个简单的 JSON 解析器#Code#Functional#Lean04/07一千个计算机人有一千个强类型#Code03/30小数据的时候 std::vector<int> 删除首元素比 deque 和 list 还快#Code#C++03/27所以这个 Monads 到底是什么啊之让我学学#Functional#PL03/22PFPL 笔记 - VI Dynamic TypesPractical Foundations for Programming Languages03/21PFPL 笔记 - V Infinite Data TypesPractical Foundations for Programming Languages03/07PFPL 笔记 - IV Finite Data TypesPractical Foundations for Programming Languages03/02PFPL 笔记 - III Functional TypesPractical Foundations for Programming Languages02/092/9/202502/06更好的 C 语言:Zig 初体验#Zig#Code#PL01/19PFPL 笔记 - II Statics and DynamicsPractical Foundations for Programming Languages01/17Not so nerdy WWW guidelines for bloggers#Frontend#Note01/10PFPL 笔记 - I Judgments and RulesPractical Foundations for Programming Languages01/06仿生电子锈会梦到自己变成纯函数式吗:gleam 语言初见#Code#Gleam#Functional#PL202418 posts12/24用 C++ 写一个玩具 JSON 库#Code#C++12/22DIY std::optional: Using Universal References in C++#Note#C++#Code#双语12/18Introduction to Pass Principles#Joke12/08Programming Language Impressions#Code12/03讨厌Python的N个理由#Code11/28类型体操入门:Slice#Code11/25Package Manager: The History#Code11/18随机句子生成器与一场有趣的WASM尝试#Rust#Code#Frontend11/13一晚上搓出的 So Simple 博客主题#Hexo#Blog#Frontend09/07为 Misskey 开启 Meilisearch 后,重新索引过去的帖子#Misskey#Fediverse#Code09/05再见 Firefish (Firefish 迁移 Sharkey 指北)#Fediverse#Misskey#Code#Backend09/04在 Hexo 老瓶装新酒#Hexo#Code09/03使 Hexo 支持高亮 Lean#Lean#Hexo#Blog#Code09/03Lean 初见笔记#Math#PL#Lean#Code#Functional07/08试着复刻一个vue的计算属性#Frontend#Javascript#Algorithm#Code#Vue07/02Latex符号大全#Latex#Math06/13静态版Ruby?Crystal语言试用#Crystal#PL#Code05/28查看你的Misskey存档!#Tools20233 posts10/18从中心化平台跑路:迁移到联邦宇宙(Fediverse)#Decentralized#Fediverse#Community10/15Mastodon的单一文化问题#Decentralized#Fediverse#Mastodon#Community10/13Hexo 博客添加数学支持#Hexo#Blog#Code20221 posts08/04一言20201 posts03/263/26/2020#Linux#Ubuntu#Solution20181 posts10/07Vim学习笔记#Vim#Code