第二宇宙速度 | Escape Velocity
我是斯诺李,是个有点喜欢程序语言理论和实现的家伙。
This is SnowOnion LEE (or simply sonion), a guy with some passion for Programming Language Theory and
Implementation.
背景音乐 | Background Music
↓ 点击播放 | Click to play
梁祝小提琴协奏曲 - 盛中国
小工具和小游戏 | Utils & Mini Games
Golang
- Godoogle,用函数签名(输入输出类型)搜索 Go API!支持泛型。类似于
Hoogle 搜 Haskell。
小游戏
藏语
日语
梦 | Dream
逻辑 | Logic
我喜欢逻辑学——主要指符号逻辑,或者叫数理逻辑——及其“周边”。我在尝试做一点微小的工作:
音乐 | Music
尝试用电钢琴 + GarageBand (或其他) 录点儿小曲儿。
社交网络 | Social Networks
GitHub |
Twitter |
Instagram |
Wikipedia |
Disqus |
……
胡话
- 真 -> 美 -> 爱.
- 曾经因为崇拜科技而用半角标点(
- 今天是 2018-02-18, 我不知道该用全角还是半角标点了.
- 今天是 2018-09-13。最近,我写数学中文用半角标点,写其他中文用全角标点。
博客 | Blog
目前 (2015-11-27) 维护的、快要弃掉的博客: http://snowonion-blog.logdown.com
以后会搬到 blog.sonion.xyz , 嗯.
为啥是这个风格
跟御宅暴君 (acgtyrant) 学的! (´・ω・`)