Archives

再见 2025

#碎碎念

PFPL 笔记 - XII Symbolic Data

Practical Foundations for Programming Languages

PFPL 笔记 - XI Types and Propositions

Practical Foundations for Programming Languages

PFPL 笔记 - X Exceptions and Continuations

Practical Foundations for Programming Languages

不要用马桶吃饭

#碎碎念

Unsafe Rust 并不和 C 语言一样：从 Aliasing 谈起

#Code #Rust

协程概念笔记

#Code

Windows 11 Chromium 渲染卡住的解决方案

#Windows #Solution

Point-free Style 思考

#Functional #Haskell #Code

Standard ML 尝旧

#Code #Functional #Programing Language

碎碎念

PFPL 笔记 - VII Subtyping

Practical Foundations for Programming Languages

简单接触 Algebraic Effects

#Code #Programing Language

C++ 黑魔法习题：memorize

#Code #C++

试试 idris2

#Idris #Code #Programing Language #Functional

vite-plugin-vue-layouts 使用记

#Code #Frontend #Vue

PFPL 笔记 - VI Dynamic Types

Practical Foundations for Programming Languages

学习在 Lean4 中使用 Parser Combinator

#Code #Lean #Functional

很难不承认 Lean4 真香 —— 然后写了一个简单的 JSON 解析器

#Code #Functional #Lean

一千个计算机人有一千个强类型

#Code

小数据的时候 std::vector<int> 删除首元素比 deque 和 list 还快

#Code #C++

所以这个 Monads 到底是什么啊之让我学学

#Functional #Programing Language

PFPL 笔记 - VI Dynamic Types

Practical Foundations for Programming Languages

PFPL 笔记 - V Infinite Data Types

Practical Foundations for Programming Languages

PFPL 笔记 - IV Finite Data Types

Practical Foundations for Programming Languages

PFPL 笔记 - III Functional Types

Practical Foundations for Programming Languages

2/9/2025

更好的 C 语言：Zig 初体验

#Zig #Code #Programing Language

PFPL 笔记 - II Statics and Dynamics

Practical Foundations for Programming Languages

Not so nerdy WWW guidelines for bloggers

#Frontend #Note

PFPL 笔记 - I Judgments and Rules

Practical Foundations for Programming Languages

仿生电子锈会梦到自己变成纯函数式吗：gleam 语言初见

#Code #Gleam #Functional #Programing Language

用 C++ 写一个玩具 JSON 库

#Code #C++

DIY std::optional: Using Universal References in C++

#Note #C++ #Code #双语

Introduction to Pass Principles

#Joke

Programing Language Impressions

#Code

讨厌Python的N个理由

#Code

类型体操入门：Slice

#Code

Package Manager: The History

#Code

随机句子生成器与一场有趣的WASM尝试

#Rust #Code #Frontend

一晚上搓出的 So Simple 博客主题

#Hexo #Blog #Frontend

为 Misskey 开启 Meilisearch 后，重新索引过去的帖子

#Misskey #Fediverse #Code

再见 Firefish (Firefish 迁移 Sharkey 指北)

#Fediverse #Misskey #Code #Backend

在 Hexo 老瓶装新酒

#Hexo #Code

使 Hexo 支持高亮 Lean

#Lean #Hexo #Blog #Code

Lean 初见笔记

#Math #Programing Language #Lean #Code #Functional

试着复刻一个vue的计算属性

#Frontend #Javascript #Algorithm #Code #Vue

Latex符号大全

#Latex #Math

静态版Ruby？Crystal语言试用

#Crystal #Programing Language #Code

查看你的Misskey存档！

#Tools

从中心化平台跑路：迁移到联邦宇宙（Fediverse）

#Decentralized #Fediverse #Community

Mastodon的单一文化问题

#Decentralized #Fediverse #Mastodon #Community

Hexo 博客添加数学支持

#Hexo #Blog #Code

一言

3/26/2020

#Linux #Ubuntu #Solution

Vim学习笔记

#Vim #Code