牢骚
看《涅朵奇卡》有一种看《孔乙己》的感觉。
This is gold. (I use Emacs btw.)
想起以前认识一个人叫应登科，还挺巧妙的。
弹幕看到一句“彪子不是被过去困住的，他是被封在了梦里，让弗洛伊德锁脖了”给我笑得。
今年脱口秀节目里给我留下印象深刻的演出的有： 菜菜，毛豆，呼兰，哈哈曹，漫才兄弟，何广智，kid，贾耗，小鱼，李梦杰，欣雨， 黑灯，小鹿，小罗，刘仁铖，付航，南瓜，门腔。 其中最惊艳的是菜菜，毛豆，哈哈曹，漫才兄弟，黑灯，小罗。 排名均不分先后。
技可进乎道，艺可通乎神。
今年能有《小品的世界》和漫才兄弟，我已经满足了。
看着弹幕突然想到，以后吃饺子应该把手机立起来，打开贾冰的照片，以表示对饺神的尊敬。
重新看了一下《虎父无犬子》，还是很好笑，同样也是刘旸编剧。 不知道为什么教主今年就总感觉还差点啥， 不管是三喜还是脱口秀。 可能是有点太公式了，总之没给我顶上去， 哪怕是广受好评的《八十一难》。 （其实本来是想吐槽一下教主的，看完《虎父无犬子》还是释然了。） 不过三喜总体比较平，除了《小品的世界》神来之笔。 仔细一想，我对《小品的世界》和《德古拉和我》的偏爱， 大概都源自于春晚那些刻在基因里的记忆。 我一个从来没去过东北，过年也不包饺子的南方人， 就在这些作品的影响下，活成了精神东北人。
当然提到东北那就不得不提《漫长的季节》。 我永远也不会吝惜对它的赞美。 好，太好了，咋这么好呢？
实验室虽然没有窗，但是有三扇门。
现在感觉聚珍仿宋好好看。
唐僧半夜出来撒泡尿对月作诗，喊一声徒弟，行者八戒都得出来侍立。
林回弃千金之璧，负赤子而趋。鲁迅是真能写啊。
彼时风雨未歇，潮水傍近河沿。
看完付航又去重温卡姆，发现有几十个人大半夜的也在看，想必也是同道中人。
空洞骑士四门！
俞俐均一个台北人能说出“杭州美食很多”这种话，恐怕也是个串子。
网鱼竟然还有两个打 DOTA1 的。
第一次在美罗城逛国誉，心想这笔记本价格我不如去买个 wacom 算了。出门又想起实验室博后留下的几本 moleskine。
五一的南京东路和外滩真是全新的视觉冲击，这才叫旅游。
夜里在上海美领馆踩完点，穿过不知道在排什么队的吴江路，在茂名北路买一份香酥鸡柳，走进张园。园内是一众看起来远超我消费水平的神秘品牌，路上是拍照的游客，墙上有七块方砖，写着中国共产党万岁。 从张园出来，路口是装着久久鸭脖和山西凉皮的小车，再往前是带公主来玩可以减免的海伦司，随后就可以到达毛泽东旧居，这里相比一大会址，倒是异常冷清。
Target 一盒蛋18个，一年之内的价格竟然能在1美元和4美元之间波动。
如果人类用的是苍蝇一样的复眼，那高刷新率环形显示器（甚至是球形）应该是标配。 最适合阅读的每行字数说不定就是几百个字。 不过那样的话书写方式也未必是上下左右了。
看 GG 打 XG 第二把就像做了几组 HIIT，心率拉满了。
感觉游戏主播和 AV 男优职业性质差不多。
楼下的 Chatime 改名叫 Niko Niko 了，这名字听起来宅味愈浓。 不过说起来小小一个 Dinkytown 能盘踞三四家奶茶店也是够神奇的。
看完《挽救计划》无意间发现《哈迪斯》竟然拿过雨果奖，想不通啊。 另外《挽救计划》还是挺硬挺好看的， 就是有点过于乐观了，后期有点强行制造冲突再开挂的感觉。 大记忆失去术加上休眠的双重方案对于拯救人类的任务来说不免还是有点冒险了。
弹幕都喊 SabeRLight- 叫光剑，不应该是剑光吗
鸡和蛋一起煮是不是也是一种地狱笑话。
公曰：制，岩邑也，虢叔死焉，佗邑唯命。
君子曰：不要租房给林仔，会变得不幸。
昨天刚艰难通过空洞骑士竞技场3，到了半夜就有点烧，今天一测果然阳了，乐极生悲啊。
新年新人类！
爽玩一天《武士零》，第一次感受到背板的快感。
现在莫名觉得宋体也挺好看，主要是耐看，有点想把字体换回思源宋体了。
我好好一个手机在桌上放一会儿它怎么就变砖了呢？
看完《极乐迪斯科》的谢幕以后不忍心再玩第二遍， 就像看完了《漫长的季节》后也不敢再看第二遍。 瑞瓦肖飘摇的芦苇丛中那如梦似真的竹节虫， 恰如桦林那场迟来的跨越前后二十年的大雪， 伴随着旅馆里的迪斯科与三个老男人的舞步， 见证了桦钢这座巨人的轰然崩塌。 时代裹挟着无数人的命运滚滚向前， 将一座座小城碾为废墟， 那不断膨胀的沉重力量， 让我仔细听完游戏里的每一句配音， 让我无力拖动视频下面的进度条。 希望所有影视剧和剧情向的游戏都能达到这个标准。
《中国奇谭》这不吊打异化三体。 不知道叔叔脑子里究竟塞了些什么玩意儿。
坏消息：猫腻的新书鸽了。 好消息：《间客》的剧本有了。
《三体》被喷成这样，不如拍《球状闪电》。
《回来的女儿》看个前六集就差不多了吧。
Bonchon 的两个店员竟然是中国人不是韩国人。 人还是要谨言慎行，谨言慎行。
《现实一种》余华原来这么先锋， 我现在相信他是纯乐子人了。
《天吾手记》， 看完总感觉这是个渣男脚踏三条船的狗血故事。 当然文艺作品不论渣男。 更何况这三个女性重合度过高， 都披着一丝神性与救赎的色彩。
结尾还是有些平了， 感觉可能可以更有趣或是更震撼一点， 没有第一次看《平原上的摩西》结尾的冲击大。
操原来这是老作品， 看出版时间还以为是新作。 我还在想双雪涛怎么文笔越来越造作了。
二喜总体水准还是不如一喜， 但少爷和我永远的蛇。 （不过某些 CP 粉实在有点太疯狂了吧）
同学们，大家起来，担负起天下的兴亡！
今早做了个噩梦。 梦中我大概是回到了抗日时期， 变成了一名军官。 我正在家中举行葬礼， 日军就杀了进来。 很快我和两个朋友就被围在一个小房间里。 那位日军头目似乎是对我的朋友们有着深仇大恨， 不过也可能是对我。 一番长篇大论后， 他决意要在杀死我的朋友们之前， 狠狠地折磨他们。 日军头目说他练过功夫， 一脚下去就可以踩断钢管， 他将用这种方式处决我的两个朋友， 把他们拦腰踩断。 此时地上出现了一根双截棍， 两节棍子里分别装着我的两个朋友的肠子。 那头目两脚下去， 棍子就都断了。 我听到两声惨叫， 转眼一看， 地上出现两台黑色的笔记本电脑， 声音正是从那里面传出来的， 原来是我的两个朋友的意识已经被上传到了电脑中。 接着那头目就把笔记本电脑啪啪踩断了。 我凑过去， 扬声器里还传出我朋友的声音， 说这是他一生中过的最悲惨的一天。 我安慰他说， 人死之前总是很悲惨的。 应该没多久我就醒了， 离闹钟响起还有一分钟。
没想到战鹰直播这么久，会以这种方式突然火了起来。
残雪的短篇读着还挺有意思，长篇我是读不动了。
《脱5》总体还是不满意。 决赛质量一如既往的不太行，我也从来没抱什么期待。 毛豆是真的很强，邱瑞我去年就看好，小佳也放松多了。 但是一些老人的稿子我是越来越不喜欢， 庞博那个十八岁的自己的底就让我很不舒服， 呼兰越来越想表达自己，没问题，可是旁观和俯视的感觉越来越重， 杨笠，讲死亡，也行，能不能不要强调死亡话题的沉重性， 杨蒙恩直接和刘培钰组合出道算了。
之前显示器进了点水一直闪烁黑屏， 放了两个月现在拿出来用就恢复正常了， 果然时间能治愈一切。
我被Suburban station搞怕了。上周来的时候找不到出口，这次走发现有好几个track，每个track还有AB两个section。我去机场得在3B。我原以为这是个地铁站，没想到是个小火车站。
我服了，火车快到的时候广播又说是在4B，显示屏上也改成了4B，但是十几秒后火车还是从3B进来了。😅
铁山靠好难啊。我看了各个版本，确实还是坤坤的挥洒自如。
大概是我火星了，没想到在B站做鸡你太美分解教学的汤姆老师竟然就是当年在楼下毕业歌会上唱跳鸡你太美的同学。 从视频来看当年的铁山靠完成度还不高， 鬼探头也没有展现出来。 不过没想到他真的练习了两年半， 终于给我们带来了完整的分解教学。 他真的，我哭死。 可见唱跳还是要按照鸡本法去产生。
另外给大家推荐由B站@风风风风笙丶翻唱的坤坤的《没有意外》。 这首歌曲在我心中是和《情人》、《hard to get》不相上下的坤曲。 坤坤的演绎感情空灵有余而气息技巧不足， 而风老师的这段翻唱却直击心灵。 如果说去年我心中的B站年度单曲是卦者灵风的《范进中举》 ——同样也是一位风老师， 那么今年我这里的B站年度单曲便是这一位风老师翻唱的《没有意外》了。 如果说《范进中举》是神级填词， 那么《没有意外》便是神鸡鸣唱。 风老师开口先是用了经典的坤式唱法（指杨坤）， 接着两句简单的鸣唱为最终的高潮埋下伏笔。 进入副歌第一句「还是意外」， 此句的处理可谓绝妙， 且不提「是」字的咬字精准地贴近了「只」字， 让「是意」与「只因」形成回响， 就单说在「意」字之后的卡痰， 就精巧地体现了歌词「还是意外」的意境。 几拍过后又接上一段风老师极富辨识度的笑声。 第二段时又虚晃一枪，假装唱不下去， 但熟悉风老师的听众在听到副歌部分爽朗的笑声时就知道事情并不简单。 草蛇灰线，伏脉千里， 前一处「喔哦」的隐忍终于在「徘徊」之后迎来了爆发， 其真假声与打鸣声的自如切换让我惊为天人， 仿佛亲眼目睹了雌鸡化雄的异象， 真真是余音绕梁，意犹未绝。 因此在这里向大家强烈安利申奥老师的所有作品。
笑死我了这饭 大 将 军。
奉茶 > mumu ≈ 功夫
《道诡异仙》看到腊月十八开始总算有点意思了。
等电梯的时候，一个女生惊奇地问我手里提的是什么， 我说是黑糖珍珠奶茶，她转头就求她男朋友去买奶茶……
猫腻终于放出了新书的开头的第一句话。
2021 最佳单曲《范进中举》，最佳影片《扬名立万》。
感觉杀戮尖塔进阶十七以后难度陡增。
《十三邀》能不能别剪辑了，直接放个完整版，还能节省点后期费用。
《不要抬头》虽然节奏差了点，但还是值得吹一吹。
要是孩子不随父姓也不随母姓，牛头人爱好者能否从中获得快感？
小明一觉醒来，发现并无不同。
这都快 2022 了，《寒梅工程 2021》啥时候出啊。
猫腻害搁这儿发公众号呢，还不快写新书。
Now I appreciate Iverson's convention more after taking the combinatorics course.
头顶标数法确实是个好方法。 只是我现在满脑子都是学霸题数正方体。
文案预演：
回首向来萧瑟处，莫听穿林打叶声。
恭喜 PSG.LGD 战队获得冠军亚军！
加油加油还有三把。
我不装了，热烈祝贺小象和茶队一轮游。
茶队这是真中毒了。
这管弦乐队防疫工作做得真不错。 每个人都戴着口罩， 轮到自己吹了才摘下来， 吹完又接着戴上。 吹笛子的甚至有特制口罩， 可以把笛子塞进口罩里吹。
如果喜剧的内核是悲剧， 那悲剧的内核就是宿命？
用那东西做星位， 这棋还能放上去吗？
刘庸干净又卫生说实话看着还行， 很花哨，很有想法。 艹这恒河水我还是遭不住。
这课每次抽扑克牌来分组讨论， 我们三个人连续三节课都抽到 Q， 分到同一组。 这才是真随机啊。
如果天上一日地上一年， 那不是牛郎织女每天都能见一次面。
《逆局》悬疑比《双探》好很多， 尺度也挺大， 只是警察一如既往地被降智。 那个尸体看着总觉得有点假， 但是我也没见过真的不是。
《双探》就拍摄还可以， 看着看着想起双雪涛（真和张悦然在一起了？）， 大概描绘东北的作品都殊途同归。
草睡了个午觉迟到了四十分钟。
豆豆稳定一如既往。 童漠男感觉没顶上去， 但是直立行走笑死我了。 呼兰这段舒服。 又到了我最喜欢的广智环节， 奇怪的是那句“怎么不吓死你呢”没戳到我。 徐志胜感觉用力大了一点点。
如果乔治卡林还活着， 不知道他是会嘲讽打疫苗的人还是不打疫苗的人。 我觉得都行得通。
白牛八王白牛
没想到会被草榴封 IP。
好起来了！ 猫腻要写科幻言情了！
黄霄云！黄霄云！
脱口秀大会观众还挺负责， Rock 能比 Norah 票数高。 不过 Norah 也比上一季好太多。 牛鸟鸟牛。 House 笑死我了， 难道是剪掉了几段。 我不行了， 周奇墨太强了， 第一个想看两遍的。 邱瑞让我开了眼界了。
密西西比河边也有个病树前头万木春。 那棵树看起来是想长到河里去。 树生长在河边。 树说：“你好，我是参天。” 河说：“你好，我是红颜。” 树就伸展枝桠浸到水里， 树就死在滩涂上。
徐志胜跟何广智风格还是不太一样。 另外漫才和相声是就节奏不同吗？
犯病了犯病了。
特意去看了一下奇闻，嗯，好，嗯。
哎呀妈呀姨母笑也太解压了。
看心动四橙子说哲学是一切科学的金字塔尖又是塔底的时候我第一反应是嗤笑并反驳， 这就是直男吧。
心动的信号里边素人这颜值这经济状况也得上节目心动吗。 可能恋爱还是稀缺品。
看了四天《黎明之剑》好爽。
老干爹牛啊。
《刺杀小说家》拍得也太露骨了， 就差把电影名字改成《刺杀资本家》了。 看得很开心， 完全在水准之上。 只是看影评把我给难受住了， 现在就是后悔， 就不该手贱。
那么究竟是谁来解开这个谜底呢？
我要是有 Ame 这心态就好了。
《革秦》整改删了几章， 连书名都他妈改了叫《绝秦》， 然而封面图上还写着革秦。
徐皓峰的武打别有一番风味， 看起来更像高手。
RMS 冤呐！ 这公开信给我看吐了。 我在想是不是得把本页面的链接也从我主页上删了， 不过应该没人看到吧。
《脱口秀大会》决赛上半场过于精彩。 看王勉多了有些审美疲劳， 心里觉得王建国本场冠军。 本季最喜欢的仍然是何广智， 接下来杨笠李雪琴吧。
何广智太妙了。
在 NGA 看到一个标题《蓝字了！蓝字了！》， 里面内容是“兄弟们蓝了蓝了”， 把我笑喷了。 这标题就有种“噫！我中了！我中了！”的感觉， 也很少能见到一个游戏服务器挂了不能玩， 玩家这么兴高采烈欢呼雀跃的。
试了一下 tree-sitter， 效果还可以， 不过我还是觉得语法高亮信息还是应该由 LSP 之类的工具提供。
Canvas 的 Zoom 集成好坑啊， 创建一个会议就自动给所有人发送邀请， 就不能弄个选项设置一下是否发送吗。
在双和买到了黑糖珍珠鲜奶棒冰， 没想到双和离这里这么近，失策。
大道朝天完结了， 猫腻也不再写长篇了。 回想11年开始看的将夜， 到如今这个多事之秋， 也快有十个年头了。 怎么说呢， 看书的时光， 至少都是开心的时光。
住了一个星期才发现房间里有个冷风扇。
马后炮是真的简单。
王建国这声选错了笑死我了。
可可味的 soylent 味道还不错诶。
脱口秀大会第二期笑死我了， 真的是决赛质量。
剑雨拍得真的太漂亮了。 这吃豆皮和磨刀石， 还有我最喜欢的吃面场景。 我记得当年我家是去看了通天帝国， 失策啊。
梦到了个电视剧， 有人问主角， 你为什么出剑， 主角说， 为了我的天赋。
To read PL papers, you need to be a really good parser first.
我宣布 Frank 天下第一。
上厕所看到一句： 之前泥潭还有个 noone 的妈妈粉。 笑得我从马桶上站了起来。
神奇的结对编程， 写出来真就一遍过。
看着飞行家， 想起以前做梦， 经常梦到自己助跑几步后， 慢慢就能飞起来。
归海一刀竟然是霍建华。
真牛逼这雪下得。
还好我有自动保存。
梦到我被恐怖分子枪击了， 经过两分钟的抢救， 我发现自己完好无损， 最后政府告诉我这是反恐演习。
假设一个笔记最终能够被找到， 那么如果找的过程没有很轻松， 是不是能加强这个概念在大脑中的联系。
在去交大三位一体面试前， 我还想着如果问我志向， 我就说要为我国的芯片事业添砖加瓦。
纠结了半天到底是用 Org mode 还是 Roam Research， 最后看了一眼我的 org 文件只有三百行。
本来想说我到现在还记得顾建炯和王辉平， 然后忘了到底是哪个炯字。 为了假装我还记得， 翻了一遍支付宝记录， 都快看哭了。
打开天气预报， 它他妈给我显示本地确诊人数。
这里时不时下场雪， 有效地阻止了病毒传播。
小学的时候翻墙进中学玩， 总是很担心失手没抓住， 围栏尖把我的小鸡鸡戳破了。 但是同学们一个个都翻过去了， 我也只能翻了过去。
看完矿民马夫尘肺病直接去洗了把脸。
很多小说评论都觉得所有人说话都一个口吻算是个缺点。 我倒不怎么在意这一点。
这83期好有意思。
为什么感觉这收银员一直用奇怪的眼光打量着我的口罩…… 明明好几个戴口罩的。
Introduction to the Theory of Computation 这书写得真是好啊。 先 why/example 后 definition， 先 intuition/special case 后 formal proof， 真的良心， 要是所有的数学教材都有这水平就好了。
最难受的还是回忆往事啊。
至今没看懂 GPL， 只能靠 WTFPL 勉强度日。
无锡新公园清漪茶室， 标记一下。
如果燕窝不算燕工的话， 那所有的人工便是天然。
早上半梦半醒之脑海里一直回荡着一首歌以及施清海在宪章广场的画面， 但是怎么都想不起歌名是什么， 起来以后找了好久发现是周杰伦的花海。 不知道是因为我看小说的时候刚好循环到这首歌还是为什么， 感觉还蛮贴切的。
咦我明明记得之前发过这个许知远上薇娅直播的（真的很好笑，比十三邀正片好看多了）， 怎么就不见了…… 看来还是要上 git。
经过一周的全 Huel 生活， 我终于发现了 Huel Bar 还是能派上用场的： 它让我的牙齿还能派上用场。
杨安泽又起势了哈哈。
想起来我第一次吃自助直接吃吐了， 真是怀念那种劲头啊。
操这「睫毛剪断春风」让我想起「秋蝉，锈剑，青衫上流过云影」， 太他妈有感觉了。
如果智商真有种族差异（如果真有智商这么个东西的话）， 那原始人的智商一定比我高很多。
笑死我了天下第一瓢客颜回。
蛤蛤要取胜了？
之前因为不好吃一直没动的两箱 Huel Bar 终于派上用场了。
活久见：纽约时报竟然还会说中国好话。
Yet another ML, Marxism-Leninism.
在笔记本上 build Iosevka 竟然比编译 Haskell 程序更让我有换电脑的冲动。
楼下的肉脯肉干之类的怎么感觉都没什么嚼劲。炸猪皮倒还可以。
这评论笑死我了： 我就算在十里外闭着眼睛也能注意到 Conor 和他的作品。
剩余榨值022笑死我了， 「喜欢的白菜都被许知远拱了」。
泡面是真的好吃啊。
在票圈看到了熟悉的西雅图机场航站楼地图， 想起那天拖着两个大箱子在那儿跑来跑去。
好像是第三次看《间客》了， 怎么年纪越大越容易哭了。 虽然我觉得猫腻的笔力还是在不断进步的， 但是不得不承认《间客》是猫腻夹带私货的巅峰了， 《将夜》次之（也可能只是有点剑走偏锋）。 我是许乐，现已出舱，感觉良好，哈哈哈哈哈。 虽然施公子死得像他长得一样漂亮， 可我他妈还是忍不住啊。
某同学明明看上去普普通通的一个人， 有时候甚至有点狡猾， 但是我不知道为什么就感觉他身上有一种叫正直诚实的东西在发光。 实在是太他妈神奇了， 我甚至觉得以前从来没有这么受到鼓舞过。
我说怎么第一次上课的时候就感觉教室里好多人都面熟， 原来十个人里面两个是我们实验室的， 两个是常来实验室的本科生， 一个以前一起吃过一次饭， 一个是我另一门课的助教。
操想吃芋圆了
看了一个月的一行式子终于看懂了， 不过高潮的感觉并没有那么强烈， 可能是因为一天前就感觉到快要看懂了。
ccls 真香
这一包24oz 的 peanut butter filled pretzels 吃了我两个礼拜。
这堆了几个月的雪终于要化了。
做梦梦到在日本的一个游乐场玩， 但周围的景象却是西欧风光。
233在知乎上看到了膜 Nori 的， 这种感觉很奇妙。
再也不能在车站玩手机了， 实在是太冷了。
It's a nice day.
Really want to see more posts like this .
我突然意识到我离开 org-mode 的一个原因可能是屏幕太大了。
现在装了 olivetti-mode 以后情况又好起来了。
（今天加上了 org-indent-mode，舒服了）
哈哈哈 Lin 神刀圈刁光斗笑死我了。
口语课作业让我回忆印象最深刻的旅行， 我仔细地想了一下， 给我触动最大的一次大概是高中的时候夜游西湖了， 现在想起来还有种高潮的感觉。 然而我的洋文实在捉鸡， 完全无法表达出那种感觉， 憋得我很难受， 所以我在这里用中文写一下。 那时候我高中还没有专门针对生物竞赛的兴趣小组， 只是在省里生物竞赛前组织了一场模拟考， 选了考得好（运气好）的一批学生专门培训。 我就这样莫名其妙被选去生物兴趣小组了。 我记得老师给我们每个人发了五本还是几本特别厚的竞赛培训书。 作为一个好学生我还是试图去记一点东西， 奈何这些书内容实在太多且晦涩， 而且准备时间也不足， 再加上考试里大部分是多选题， 我很快就放弃了学习。 考试前一天， 学校包车把我们送到了杭州。 因为考场在浙大紫金港校区， 所以我们就住在附近的宾馆里。 我和我的室友初中就认识， 关系不错。 那天晚上我俩都无心复习， 就出去在浙大东边逛了一圈。 现在想起来那时候浙大边上还挺荒的， 和我大四去的时候见到的大有不同。 天黑以后我们就回了宾馆。 因为我们是从学校出发的， 所以没有手机也没有电脑， 只能看电视打发时间， 而这也就导致了第一个意外。 我们在电视上看到了杭州绿城正在踢一场比赛， 而那比赛就在杭州黄龙体育馆。 我那室友就提出了去看比赛的想法， 我虽然对足球不感兴趣， 但是这总比生物有趣， 于是立马同意了这个提议。 接着我们就打车去了黄龙体育馆， 说起来打车的钱还是我去银行现取的， 因为在学校里不用现金。 到了那边已经过半场了， 门口也没有黄牛， 售票员直接就让我们免费进去了。 这是我第一次在现场看体育比赛， 感到十分新奇有趣， 虽然看不懂足球， 但是也跟着旁边的球迷一起大声叫喊， 特别舒畅。 比赛结束后， 我们本打算打车回去， 然而在走出黄龙体育馆后发生了第二个意外： 我们在路牌上看到了西湖就在这边上。 当时好像是晚上十点左右， 我们对视商量了几下， 就决定去西湖看看。 虽然我以前也来过西湖， 但是夜里的西湖给我的感觉似乎完全不同。 没有任何目的， 也看不到什么景点， 我们就只是在西湖瞎转悠， 最后沿着苏堤走到了对岸， 打车回宾馆。 睡了三四个小时以后就起床去考试了， 随缘涂答题卡， 蒙了个二等奖。 不管是那时， 还是现在回想起来， 我都忍不住说四个字：操太爽了。 我想大概是因为， 在朴素严肃的高中生活里， 突然有几个小时穿越到了另一个世界线的那种错位感吧， 我也第一次对「恍然如梦」这个词有了切身体会（第二次可能是Ti8决赛）。
说起Ti8决赛， 也是非常奇妙的场景切换和心理落差。 当时我本来在网易杭州实习 （操我想起来Ti4决赛我也是在杭州看的，杭州真是个神奇的地方）。 正好我导师所在的JHC组织老师学生去杭州人工智能小镇呆一个礼拜， 我就请了一个礼拜的假。 赶巧的是出发前一天晚上正是Ti8胜者组决赛和总决赛， 我异常兴奋地看完了LGD吊打EG， 然后开始欣赏不可战胜LGD对阵草台班子OG的总决赛。 这个历届Ti中最精彩的总决赛注定了不会在天亮前结束， 因为和导师和同学约好了中午之前赶到， 所以我在看完第三把以后， 只能决定出发坐地铁转乘公交前往人工智能小镇。 在换乘中心我找了半天的公交站， 浪费了好多时间， 最后在公交上， 由于流量不足， 我只能通过Max+的小地图和各种图表了解战况。 在我觉得胜势已定的时候， 我决定烧一点流量， 看LGD夺冠的画面。 然后我就看到了Ana的猴子的精彩表演。 我难以置信地关掉了直播， 这一小时才走了一半路程的公交也晃得我头晕。 更加戏剧性的第五场开始了， 我又打开了Max+看战况， 过了十几分钟， 看着LGD前期的巨大优势和OG的杂技阵容， 我又一次打开了直播。 然后我就看到Ame化身树老师， 而Notail举起了冠军盾。 我就在这种彻夜未眠身体疲惫心理崩溃的状态下第一次见了导师和实验室同学。 实习时所在的杭州市滨江区， 人工智能小镇所在的余杭区， 以及Ti8决赛所在的温哥华， 在颠簸漫长的公交旅途上重叠在了一起， 加上身体和心理上的双重打击， 让我的大脑异常错乱。 赛后Maybe在采访中说道就像做了一场梦一样。 真的。我想我也是。
233导师用中文跟我说了「矫枉必须过正」， 我很想接下一句「不过正不能矫枉」。
punch 确实不错， 而且有种烧饼的感觉。
用 C 写了个插入排序还写错了。 形式化验证让我码力日渐低下。
就八个字节奏也能带成这样？
看到张继先履历上的职业病尘肺病鉴定专家， 就想起了木田同学。 也不知道这位现在怎么样了。
不是这字体也贵得离谱了吧。
我现在感觉情绪好像更容易被生理上的东西影响。
且看杨安泽起势。
一个小小的发烧献给大家。
哈喽啊，树先生！
Every tool sucks.
每次编译 Agda 的时候就有升级电脑的冲动。
唐人街探案这最后四集真是让人摸不着头脑。 加长版广告呗意思是。
吐槽大会王晶笑死我了。
笑死我了。 研究兴趣：待应用数学
本来躺床上打算午睡， 一时兴起爬起来看了三盘 RNG 打 Nigma 结果全他妈输了， 两把还是超大优被翻， 睡觉救国诚不我欺。
凌晨一点扫雪……
十天前上一篇 literature review 刚写完的时候还感觉条理清晰， 现在重读一遍又觉得没什么逻辑了。
记得小时候我有一次发烧了， 那会儿我正住在外婆家， 被诊断出是丢了魂了， 于是去了一个会叫魂的老婆婆家里帮我招魂（本地方言是叫魂灵）。 老婆婆问了我的大名， 然后用手沾了点水在我额头上来回按摩， 口中念念有词， 最后终于把我的魂叫回来了。
发现王垠在《我不是编译器专家》里 还怼了“编译器人” Amal Ahmed。
楼下扫雪车一开就像地震了一样， 整张床都在抖。
最近看了好多场雪， 突然觉得「撒盐空中差可拟」比「未若柳絮因风起」贴切许多。
我怎么感觉这里说的是帕斯卡。
吃了包奇多， 手指红得都洗不掉了。
《天下刀宗》第二部里面主要矛盾有点弱化了， 没有第一部那样想一口气读完的感觉。
如果地球没有四季， 没有昼夜， 没有很容易观察到的随时间周期性发生的时间， 那么人类的时间观念会是怎么样的？
卡姆实在是太好笑了。
擦屁股可能是世界上最广范进行着的浪费纸张运动？
拉黑 Fresh Thyme 自产的薯片了。
人在庆国，刚下黑骑。 笑死我了。
第一次听见对阿城尊称叫阿老， 感觉十分迷惑， 让人不知道他是姓阿还是姓老， 虽然他姓钟。
又一次回答错了 negative question，太难了。
实验室竟然坐了六个人， 太罕见了。
为什么 cp 一个文件夹就非要加个 -r，
它自己报错都知道这是个文件夹了，
为什么不动脑子想一想呢。
这两集庆余年是真的好看， 要是剧组钱再多一点就好了。 腾讯这么寒酸的吗。
这些人做 presentation 都不按规矩来。 说好的一个人一分钟， 没想到还有对着十几页全是字的 slides 讲到五六分钟的， 最后被老师赶下来。 这也直接导致了拖课， 我真是日了狗了， 亏我当时还想了半天怎么压缩在一分钟里面。
零下二十度是真的冷啊， 感觉口水都要结冰了。
又听了一遍学长的 talk。
笑死我了阿城论坛坐到一半出去抽烟了， 还有前面说他站起来比朱天心和唐诺要高， 为了不喧宾夺主就不站起来了。真有意思。
突然想到我大三之前对交大周围可能还没有对浙大周围来得熟悉， 大概是因为我在交大时住在交大里面， 而我去浙大时住在浙大外面。 同样我对上海的熟悉程度好像还高于对宁波的熟悉程度， 对高中附近的熟悉程度基本和家附近差不多。 而我对明尼苏达的印象基本来自于暑假还住得离学校比较远的时候。 总的来说我对生活的地方基本上没什么了解， 而我对城市的印象往往基于高德地图和大众点评。 可能这就是卡尔维诺说的看不见的城市？
本来去烤麸慢是想试一下那个据说不太行的新开的拉面到底行不行， 结果中午它没开门。 只能再吃一顿鸡块了。
今天中午吃晚饭回实验室， 刚到六楼就感觉整个楼层有点暗， 又看到好多人站在走廊上， 走了一段路发觉是又停电了。
TiddlyWiki seems like my dream hypertext. What a brilliant and beautiful idea! It's really an incredible piece of software, which reminds me of Smalltalk.
I suspect that Proofs and Types is not an introductory material.
为什么宁波话里只有钞票这个词，但是没有钱这个字呢？仔细想了想好像只有在姓氏为钱的时候听到过 钱这个字。哦除了钞票还有铜佃。
Jean-Yves Girard's comments on artificial intelligence: To my knowledge the only scientific area with an intrinsic conflict of interest: unlike meidcal researchers which are usually in good health, those AI guys badly need the stuff they are after.
买了三十包出前一丁， 半夜饿了可以用微波炉煮煮吃。 不过我最怀念的还是今麦郎的骨汤弹面， 只加一半的油包， 可惜上了大学以后就再也找不到了。 怀念归怀念， 真要吃上了可能还就破坏了那份只存在于记忆中的美味。 这也是我为什么买出前一丁， 清淡是清淡了点， 但是连续吃几个星期也不会反胃。 合味道、汤达人之流就只能换着口味轮流吃。
I didn't expect so many people coming to the office hours.
Now that we can scientifically produce extraordinary athletes in assembly line, I feel that one day, extraordinary scientists can also be produced in a systematic way.
Now I switch to doom-theme and doom-modeline because I don't have much time to keep tuning the colors and icons, and to get out of the rabbit hole of configuring Emacs every day.
So astonished today!
So glad today!
Bash is a perfect, batteries included scripting language.
Regular expression sucks.
Spicy chicken sandwich, Chick-fil-A, good.
有句港句，Panda 说实话也还挺好吃的。
Welcome Event: Sandwich is hard; Paperwork is hard.
恭喜 OG！
一个日本面馆里面两个中国店员， 唉这里的炒面也不行而且贵。
这 Noodles & Company 感觉不太行。
Chicken Fingers 吼啊， 肉质像吮指原味鸡一样， 但是大小合适没有骨头， 而且吃到撑。
老四川真香。
麦当劳挺好的…… 其实只是和国内差不多。
这沙拉里的 Cheese 我吐了。 怀念三杯鸡。
汉堡王的薯条怎么可以这么咸。
在下大胆预测：Yang2020。 星星之火，可以燎原。
使用 Emacs 的副作用： 有的人弹钢琴/拉小提琴更好了， 有的走出了抑郁， 甚至有 penis shrunk 3 inches 的， 笑死我了。
还真的有人发邮件下棋， 太硬核了吧。
算了还是再来吟首诗吧： 莫悲金谷园中月，莫叹天津桥上春。若学多情寻往事，人间何处不伤神？
东西差不多寄完了， 这就是最后一次在寝室里写这种东西了， 再享受一次 11M/s 的系统更新速度。
四餐旁边的鹿角巷竟然在我毕业前开了。
每次去电群路过五餐总能闻到一股浓郁的榨菜味。
TeX 的 % 原来会改变换行的语义。
“Many phrases and attitudes in this paper are borrowed from Girard; no criticism is implied”。 意思是 Girard 真的是个大喷子？
Girard 绝对是个大喷子。
Girard 上来一顿狂喷 essentialism 笑死我了。（虽然看不懂在说什么）
好吧，把 org-babel-use-quick-and-dirty-noweb-expansion 开起来就快了许多。
把 Emacs 的配置全都放到了 Org 里，
发现最后也并没有花多久时间。
不过 org-babel-tangle 速度确实有点慢，
导致我又想重启 complete org-mode parser 的计划了。
终于签合同了。迷之进度。
答完了！答完了！
答辩！答辩！
画完了！画完了！beamer + tikz 真香！
画图！画图！
12x4 ortholinear keyboard is so beautiful.
想到在某些地方， 有时候会有新手问 Functor 是不是就是个容器或者盒子什么的， 就有人开始说这比喻完全是错的， 误人子弟， 不要把 Functor 想成盒子， Functor 就是 Functor， 是 Category 之间的 morphism， 遵循那几条 law。 我就很反感这样的回复， 虽然说的也没错， 但是我觉得初学者一上来用盒子做类比也没什么问题， 况且在写 Haskell 的大部分时候 Functor 确实经常是个盒子之类的容器， 只要之后别一直按照这个直观比喻来理解， 我觉得也不会对后面的学习造成多大的困扰。 况且在多看了几个例子以后一般也会意识到 Functor 有时候不像是个盒子。 我也不觉得有谁会在写一个 Functor 的 instance 的时候会先检查一下需要满足的规则， 而不是先靠某种类比的直觉。 所以对于这种人， 尽管他们说的没错， 可我还是想说一句： 你说你🐴呢。
大概会用 beamer 配合 tikz 画逐帧变化的图了。 这两个包竟然是同一个作者， 文档也都特别长， 巨细无遗。 看 tikz 的文档里说作者一开始只是给自己毕业论文的写作写点宏， 结果就变成 tikz 了。 这效率也太可怕了。
《紧闭的门扉》这动机真是令人迷惑。
CSE:TALK Online is over!
slides 做不出来十分令人烦躁。
这拖延的公寓这次终于及时回复我邮件了， 是因为我交了申请费吗？ ……好的它又消失了。 ……好的它消失一周了。
签证被 Check 了快一个月， 今天终于变成 Issued 了。
Emacs 的 narrow 还是很好用的嘛。
不知不觉 todo.org 里已经堆了四十多个 TODO 了， 还好大部分都不会出现在 agenda 里。
tm 这说的就是我啊，真的像。
墙上芦苇，头重脚轻根底浅；
山间竹笋，嘴尖皮厚腹中空。
珍珠也太好吃了叭。
YapzOr 也太强了叭。
LGD 白给了啊。 Fly 和 Sumail 玩得真是好， 移速流老鹿有点秀。
为什么网上一大堆 VPS 挂了的， 搬瓦工全炸了的， 我这 VPS 竟然还能用。
CSS is too damn hard for me.
记忆本来就是大脑主观加工后的产物， 这写日记再加工一遍， 还公之于众， 真实性就完全无法保证了。 但是尽管故事是虚构的， 情感却是真的。 这瓶子是矫饰， 里面装的酒却是真的。 回忆是假的， 文字是真的。
补充一下引用《间客》：
第一条应当引用《邪不压正》：可他妈的日记可以救国吗？
这样这段话就在整个页面的末尾因此不会有人看到了。一个写日记的人。 正经人谁写日记啊？ 你写日记吗？ 我不写。 我也不写。 谁把心里话写在日记里。 写出来的那能叫心里话？ 下贱。