9 contributions in the last year

December 2022
• 令nixos强制使用国内源安装

  ## 注意 本博文除网卡外的一切配置均处 #14
• lens是个啥

  lens是“一等公民形式”的“对数据类型 #13
October 2022
• 2022年10月30日随笔

  写这篇文章的时候我在写语文作业。 要中考 #12
August 2022
• 啥是Row Polymorphism?

  Row Polymorphism(简称R #11
July 2022
• Keyboard switch 工具 (linux only)

  最近遇到一个问题：如何在linux上禁用 #8
• 7月23日漫展

  这个漫展从早上10:00到晚上9:00( #7
• 小工具Traker List

  # Traker List 最近制作的一 #6
• 近况？

  # Project 目前的话是正在开发m #5
• 你好，世界

  # Hello World! 👋 你好， #2