Xuankang Lin

2024

Jul 31午间夜话合辑24夏——年中总结、二宝、decommit
Jul 30播客回归文字

2023

Jan 202022年度总结分享推荐

2022

May 16
Jan 302021年度总结 + 一点点分享推荐

2021

2020

2019

2018

2017

Dec 14余光中精选集
Dec 5午间夜话合辑1711
Nov 9午间夜话合辑1710
Oct 29Reading Group: End-to-end Differentiable Proving (NIPS'17)
Jul 27资治通鉴——东汉
Jul 26世界观冲突修复实录
May 25资治通鉴——西汉
Apr 3资治通鉴——秦末汉初
Apr 1通往尊严的公共生活
Mar 24资治通鉴——战国、秦
Feb 14自定义 RSS Feed 试验记录
Feb 5中国历代行政区划的变迁

2016

Dec 302016 年度报告
Dec 30牛津通识读本：政治的历史与边界
Dec 15Lab - Experiencing Memory Models using Herd7
Oct 24Reading Group - Automatically Comparing Memory Consistency Models
Sep 30你一定爱读的极简欧洲史
Sep 27Abstract Interpretation, Invariant Generation
Sep 9Reading Group - Learning Syntactic Program Transformations from Examples
Aug 27牛津通识读本：佛学概论
Aug 6山河岁月
Aug 6少有人走的路
Jul 23月亮和六便士
Jul 2316summer
Apr 13心疼戴克里先皇帝
Mar 2VPS离线下载试验记录
Feb 13岛上书店
Feb 7Purchase Protection使用体验
Feb 6火星救援
Feb 5晚清最后18年：从甲午战争到辛亥革命
Feb 3Memory Model in Go?
Jan 28Mutual Exclusion Algorithms
Jan 14人类简史：从动物到上帝
Jan 1Farewell, 2015

2015

Dec 22罗马人的故事11-15
Dec 20TA Experience
Sep 1C++ Vector Reference after Re-Allocation
Jul 28罗马人的故事1-5
Jun 3BoA Free Museums Google Map
May 9Weak & Strong Fairness
Apr 16Predicate Abstraction
Mar 25KLEE & Gcov
Mar 22中国近代史
Mar 20Asking The Right Questions

2014

Sep 16Stray Birds - 飞鸟集
Aug 16换发护照@芝加哥
Jul 27微信朋友圈拉黑之测试
Jun 1清洁房间
Jan 16Interesting Problem - Questions on Questions

2013

Nov 22Initialize a brand new computer
Nov 5Installing CVS in Mac OS X 10.9 Mavericks
Jul 14Invalid byte sequence in GBK
May 24加拿大过境签
Mar 11On Udacity

2012

2011

2010

Oct 2110月20日参加某学术研讨会之流水账记录暨交大闵行一日游