CINXE.COM
<!DOCTYPE html><html lang="zh-CN" prefix="og: https://ogp.me/ns#"> <head > <meta charset="utf-8"/> <meta http-equiv="x-ua-compatible" content="ie=edge"> <meta name="viewport" content="width=device-width,initial-scale=1.0"> <link rel="shortcut icon" href="favicon.ico" type="image/x-icon"> <title > 「玩火」的便利贴</title> <link href="https://cdn.bootcdn.net/ajax/libs/KaTeX/0.13.13/katex.min.css" rel="stylesheet"><link href="style.css" rel="stylesheet"></head> <body > <p > <a href="index.html">🏠Homepage🏠</a> | <a href="https://github.com/niltok">🔥GitHub🔥</a></p> <h1 id="「玩火」的便利贴">「玩火」的便利贴</h1> <p>记录了「玩火」胡思乱想的纸条，没有一句是可信的</p> <h3 id="系列">系列</h3> <p><a href="https://magic.huohuo.moe">十分钟魔法练习</a></p> <h3 id="2023">2023</h3> <p><a href="ds-after-play.html">死亡搁浅游后感</a></p> <h3 id="2022">2022</h3> <p><a href="8051ForCoder.html">写给程序员的 8051 汇编指北🧭</a></p> <p><a href="FBoundedPoly.html">F-Bounded Polymorphism</a></p> <p><a href="ElevatorKiller.html">电梯杀手问题</a></p> <p><a href="WType.html">W 类型 (W Type)</a></p> <p><a href="FreeMonad.html">点菜数据类型 (Data types à la carte)</a></p> <h3 id="2021">2021</h3> <p><a href="LEM.html">直觉主义逻辑中的排中律</a></p> <p><a href="OO-in-C.html">C 语言中的面向对象</a></p> </body> </html>