Toggle navigation
Xuankang's Blog
About
Archive
Tags
CN
EN
CN
Jul 23
16summer
Jan 1
Farewell, 2015
Oct 21
10月20日参加某学术研讨会之流水账记录暨交大闵行一日游
Dec 30
2016 年度报告
Jan 22
2018年度报告暨午间夜话合辑1812、1901(上)
Jan 3
2017 年度报告
Jan 22
2018年度报告暨午间夜话合辑1812、1901(下)
Jan 5
2019年度报告(上)——回顾+书籍
Jan 5
2019年度报告(下)——影视+游戏+播客
Mar 3
Android自动化试验记录
Feb 2
2020年度报告 + 书剧播游推荐
Jul 18
GWT默认0时区及DateTimeFormat
Mar 20
Asking The Right Questions
Sep 1
C++ Vector Reference after Re-Allocation
May 24
G经验资料分享
Dec 19
Herd7 Code Learning & Extension Implementation Note
Nov 22
Initialize a brand new computer
Mar 25
KLEE & Gcov
Feb 3
Memory Model in Go?
Jan 28
Mutual Exclusion Algorithms
Dec 16
Nexus 6P/5X 使用体验
Feb 7
Purchase Protection使用体验
Apr 16
Predicate Abstraction
Mar 11
On Udacity
Sep 16
Stray Birds - 飞鸟集
Jan 1
The Brief History of 2010
Mar 25
TOJ 10005 我的可以加减的大数类~
May 24
T经验资料分享
Jan 4
Transaction里触发的Trigger失败了,那么Transaction要不要rollback呢?
Mar 2
VPS离线下载试验记录
May 9
Weak & Strong Fairness
Mar 4
vol 2. 他们为什么都选择作死
Jul 26
世界观冲突修复实录
Mar 22
中国近代史
Feb 5
中国历代行政区划的变迁
Feb 8
公众号、Podcast上线啦
Jan 14
人类简史:从动物到上帝
Dec 14
余光中精选集
Sep 30
你一定爱读的极简欧洲史
May 24
加拿大过境签
Nov 9
午间夜话合辑1710
Dec 9
剪毛后的滚滚巡幸EagleCreek公园
Apr 7
午间夜话合辑1803
Feb 1
午间夜话合辑1801
Jun 3
午间夜话合辑1805—— += Medium
Dec 5
午间夜话合辑1711
Jul 2
午间夜话合辑1806——世界杯、重返Podcast
May 9
午间夜话合辑1804——得到专栏推荐
Aug 4
午间夜话合辑1807——肥宅快乐
Oct 7
午间夜话合辑1809
Sep 3
午间夜话合辑1808——反思快速迭代
Nov 2
午间夜话合辑1810
Mar 3
午间夜话合辑1902
Dec 4
午间夜话合辑1811——现代性
Jun 2
午间夜话合辑1905——成家
Apr 30
午间夜话合辑1934
Aug 4
午间夜话合辑1967——夏天
Sep 4
午间夜话合辑1908——滚滚
Feb 2
午间夜话合辑2001——病毒
Aug 3
午间夜话合辑20夏——动荡^2
Mar 2
午间夜话合辑2002
Nov 30
午间夜话合辑20冬
Jun 6
午间夜话合辑20春——动荡
Oct 2
午间夜话合辑20秋——却道天凉好个秋
Jan 30
南行漫记
Jul 25
反脆弱
Aug 6
山河岁月
Aug 6
少有人走的路
Mar 29
召唤16fall起的1至2名新室友!
Apr 13
心疼戴克里先皇帝
Feb 13
岛上书店
Jul 10
是你的明信片
Jul 27
微信朋友圈拉黑之测试
Mar 23
旅行人信札
Aug 16
换发护照@芝加哥
May 25
标题党:SNS+拖延+LifePurpose+GT
Feb 5
晚清最后18年:从甲午战争到辛亥革命
Jul 23
月亮和六便士
Feb 6
火星救援
Jul 11
深度工作
Dec 30
牛津通识读本:政治的历史与边界
Jun 1
清洁房间
Aug 27
牛津通识读本:佛学概论
Sep 15
离线配置B站弹幕
Jul 28
罗马人的故事1-5
Mar 16
网络生活中的时间控制 -- 毛邓三拿免的“论文”
Feb 14
自定义 RSS Feed 试验记录
Feb 15
让代码告诉我按啥顺序背红宝书
Nov 25
罗马人的故事6-10
Apr 3
资治通鉴——秦末汉初
Jul 27
资治通鉴——东汉
Mar 24
资治通鉴——战国、秦
Jul 20
重写大一上的C语言项目之项目记录~
Aug 3
输出语句中的问号表达式
May 25
资治通鉴——西汉
Apr 1
通往尊严的公共生活
Jul 1
非对称风险
Jan 27
鸡年大吉
Dec 22
罗马人的故事11-15
Sep 30
资治通鉴——魏、晋
EN
Sep 27
Abstract Interpretation, Invariant Generation
Jun 3
BoA Free Museums Google Map
Dec 15
Lab - Experiencing Memory Models using Herd7
Nov 5
Installing CVS in Mac OS X 10.9 Mavericks
Jan 16
Interesting Problem - Questions on Questions
Jul 14
Invalid byte sequence in GBK
Oct 18
My Tech Map
Oct 24
Reading Group - Automatically Comparing Memory Consistency Models
Feb 17
Reading Group - Fencing off Go
Oct 29
Reading Group: End-to-end Differentiable Proving (NIPS'17)
Sep 19
Serializability vs Linearizability
Sep 9
Reading Group - Learning Syntactic Program Transformations from Examples
Dec 20
TA Experience