2024
1 篇文章
02-07
常见编程语言文档及新特性链接
#Language
2023
10 篇文章
10-18
命令行时间戳与时间转换
#Linux #Shell
07-06
存在类型 (existential type)
#Language #type theory
07-06
多态 (polymorphism)
#Language #type theory
05-26
SSH 端口转发
#Linux #SSH
05-20
Monad 浅析
#Haskell #Functional programming #Monad #Functor #Applicative #type theory
05-18
Google IO 2023 记录 - Android 版本 Kotlin 的新动态
#Google #Android #Kotlin #Google IO
05-07
Zig 初见
#Language #Zig
04-20
Typst 体验
#Typst #vscode
04-18
ADB 常用命令
#Android
04-17
IntelliJ IDEA 常用快捷键 (macOS)
#IDEA #Tools
2022
20 篇文章
09-28
Gnome 开启分数缩放
#Linux #Gnome
08-12
安装配置 LaTeX 环境, TeX Live + VSCode
#LaTeX #TeX #TeX Live #vscode #tlmgr
07-29
AndroidX 注解
#Android #annotation #注解 #AndroidX
07-28
Modem, Router, Switch, Hub...
#Network
07-27
Swift 并发, 对比 Kotlin协程
#Swift #Kotlin #Coroutines #iOS #macOS #并发 #协程
07-26
Arch Linux 安装
#Linux #Arch Linux
07-26
Swift 调用 GLib
#Swift #GLib
07-26
Android 安装系统CA证书
#Android #ADB #SSL #HTTPS
07-19
Android UID
#Android #UID
06-20
IPv6 常见问题
#Network #IPv6
06-20
本站已支持 IPv6
#Network #IPv6 #pinned
06-10
APP View 整体变灰
#APP #Android #iOS #Kotlin #Swift #Java #Objective-C
06-08
Linux 添加 SSH Keys
#Linux #SSH
06-08
Linux 命令行连接网络
#Linux #网络
06-07
ADB 使用
#Android
06-07
Hexo 搭建, 部署到自定义 server
#Hexo #Blog
06-07
WordPress 搭建
#WordPress #Blog
06-07
Linux 修改 hostname
#Linux #hostname
06-07
Apache 服务器安装, 配置 HTTPS
#apache2 #acme.sh #HTTPS
06-04
PLL & COLL & OLL
#魔方 #三速 #PLL #COLL #OLL