From bits & gates to C and beyond.

2022-05-14
中科大盛世中华舞蹈表演,古风变鬼畜

舞蹈表演上,《花月成双》第一次跳到一半卡住了,重跳,结果又卡住两次……成为全场给观众带来欢乐更多的节目 :)

小视频(223 MB,2:23)

如果播放卡顿的话,可以移步 B站链接

Read More

2022-05-08
工业界中的系统研究——ACM ChinaSys Colloquium系列学术讲座第一期线上活动成功举办

(本文转载自 CNSys 公众号,欢迎关注 ACM ChinaSys 的官方公众号 CNSys)

ACM ChinaSys Colloquium 于2022年4月29日举办第一期线上学术讲座,以“工业界中的系统研究”为主旨进行了学术讨论交流。阿里巴巴副总裁、阿里云智能数据库产品事业部负责人李飞飞博士、华为中央软件院分布式与并行软件实验室主任谭焜博士作为特邀嘉宾,做学术报告并参加在线访谈。中国科学技术大学李诚特任研究员、华为李博杰博士、华为姚婷博士主持学术讲座。会议以腾讯在线会议室和B站直播的方式进行,共吸引600余人次观看。

Read More

2022-05-03
个人的选择与历史的进程

(长文预警:本文约 17000 字)

近日,几位好友找我聊起他们的选择。“一个人的命运啊,当然要靠自我奋斗,但是也要考虑到历史的进程”。我父亲也从小就给我讲,选择大于努力。人生已经走了三分之一,经历过多次选择:初中选择计算机竞赛,高中同时选择数学和计算机竞赛,高考选择中科大、后悔没考上清华,大二从数学专业转到计算机,大四放弃了创业、工作和出国而选择了 MSRA,博士毕业选择去大厂,面试了 12 家公司最终选择去华为工作……

我一向是有选择困难症的,特别是容易被沉没成本缠住,容易为得不到的东西纠结很久。这导致我在做选择的时候大多偏好稳定而非风险。与此同时,我还是比较理想主义的,希望利用自己的技术改变我们的生活。回顾我的这些选择,感觉就像是《楚门的世界》里面的楚门,生活在一个巨大的摄影棚中,虽然这些选择看似是自己的自由意志做出的,但却是当时环境和性格偏好的自然推论;很多时候做出了一些离经叛道的事情,却又被一把无形的大手拉回既定的轨迹。这大概就是历史的进程吧。

Read More

2022-04-25
ACM ChinaSys Colloquium系列学术讲座(第一期)《工业界中的系统研究》

ACM ChinaSys系列学术讲座(ACM ChinaSys Colloquium)是ACM ChinaSys青委会精心组织的一项创新计划,旨在定期组织高水平学术论坛,邀请国内外计算机系统研究领域一流学者发表演说,营造积极活跃的学术氛围,从而达到为新技术、新产品、新思想提供即时展示的舞台;为青年教师和学生提供职业生涯规划指导机会;搭建学术界与工业界交流互通桥梁的目的。

ACM ChinaSys Colloquium两月举办一次线上活动,第一期活动将于2022年4月29日(周五)上午10:00-11:30举行。本次活动特别邀请到华为公司谭焜博士和阿里巴巴公司李飞飞博士共同探讨“工业界中的系统研究”。学术报告后,将有更加精彩的panel讨论和嘉宾访谈环节。具体内容详见海报,敬请参听!

直播链接: https://live.bilibili.com/24862620

第一期活动顺利结束,戳这里看新闻稿

Read More

2022-04-19
我们的沙画

Read More

2022-04-03
婚礼延期公告@石家庄翠屏山迎宾馆

4 月 17 日更新:因疫情原因,原定 2022 年 5 月 1 日举行的婚礼延期。新时间暂未确定,将另行通知,希望各位朋友谅解。

婚礼邀请函

原定时间:2022 年 5 月 1 日 10:58

地点:河北翠屏山迎宾馆

疫情信息4 月 23 日更新 ,变动很快,将另行通知):

  • 由于目前各地旅行限制众多,为避免对各位来宾带来不必要的麻烦,决定婚礼延期,新时间暂未确定,将另行通知,希望各位朋友谅解。如果有已经预订机票的,请联系我报销退票费。
  • 根据石家庄市目前的疫情防控政策,进入石家庄市需持 48 小时内核酸阴性证明河北健康码绿码 ;进入翠屏山迎宾馆还需 行程卡不带星号
  • 4 月 18 日,石家庄市鹿泉区发布公告,要求婚礼人数不超过 50 人,截至 4 月 23 日该政策无变化,为保证婚礼质量,决定延期举行。
  • 北京、合肥目前全部为低风险地区。如果婚礼举办期间北京或合肥行程卡带星(存在中高风险地区)且石家庄市疫情防控政策无变化,婚礼将延期举行。
  • 中国科学技术大学目前限制学生和老师离开合肥,太原市目前限制出市,古交市目前出市后限制返回。经评估,该政策 5 月 1 日前放松的可能性不大。
  • 石家庄市目前全部为低风险地区。4 月 5 日鹿泉区新增 1 例新冠确诊病例,晋州市新增 4 例无症状感染者(仅供参考,以官方发布信息为准)。由于 14 天内有 1 例以上本土新冠病毒感染者所在县(市、区、旗)旅居史人员严格限制进(返)京,若 4 月 17 日后鹿泉区出现新增病例,婚礼将延期举行。
  • 目前石家庄市要求停留 48 小时以上的再做一次核酸检测。翠屏山迎宾馆附近的核酸检测场所信息待更新。

交通信息 :河北翠屏山迎宾馆位于石家庄市鹿泉区迎宾馆路 1 号。

  • 距离石家庄高铁站最近路线 16 公里、走高架 22 公里,不堵车情况下约需 35 分钟车程。
  • 距离石家庄正定国际机场 53 公里,不堵车情况下约需 50 分钟车程。
  • 公共交通:由于翠屏山迎宾馆地处西郊,不通地铁。从石家庄高铁站可乘 320 路/空 320 路直达(需步行 1.3 公里),需 1 小时 20 分钟;或乘地铁 3 号线转地铁 1 号线转旅游 5 路,需 1 小时 10 分钟。从正定机场可乘机场大巴 1 号线转地铁 1 号线转旅游 5 路,需 2 小时 10 分钟。
  • 石家庄高铁站晚上 22 点后打车排队很长,建议提前联系我们接站。
  • 由于婚礼 10:58 正式开始,建议 4 月 30 日抵达石家庄。北京出发的如果时间紧张也可以考虑乘坐 5 月 1 日的早班高铁(06:26 至 08:34 的 5 个班次),我们将安排接站(但出站核酸检测政策和排队时间未知,因此不建议踩点)。考虑到 48 小时的核酸有效期,如果 4 月 29 日下午做核酸,4 月 30 日凌晨出结果,5 月 1 日下午仍然可以用于乘车乘机返程。

住宿信息

  • 尽量安排住河北翠屏山迎宾馆 6 号楼和 9 号楼,如果有特殊情况,我们将安排附近酒店。
  • 早餐预计在 6 号楼,7:00~10:00。
  • 6 号楼和 9 号楼之间距离 560 米,步行需 8 分钟。

Read More

2022-03-31
海淀买房二三事

2021 年 2 月 8 日 08:53,我,女朋友和和我爸妈在开车去上班的路上。我终于下定决心,说就要这个了,并向房产商转了 10 万元定金。此时,距离我们开始密集看房只有一个月的时间。

为什么要这么急呢?

这里面有三个背景:一是北京市要求有 户口或者工作居住证 才能买房,而我自己 2019 年 6 月博士毕业入职时虽然就能解决户口,但流程很慢,北京市人社局的接收函 2019 年 12 月拿到,户口迁移证 2020 年 9 月才办下来,我自己的新身份证到了 2021 年 1 月才办下来。

二是 海淀区的新盘不多,供不应求 。海淀区虽然有不少空地,但每年放地都抠抠搜搜的,加上海淀区都是有钱的主,比如各大互联网公司,核心区房价高达 10 万以上,五环外的房价也要 8 万,有些个别偏远的或者共有产权房可以是 5~6 万。就这样的房子还是秒光。例如我租住的地方附近(海淀区,五环外,树村)有两个楼盘,一个是豪宅型的圆明天颂,2021 年 11 月开盘,238 套房子,最低的总价也要 2300 万,15 分钟卖完,据说都是全款的;另一个是刚需改善型的学府壹号院,900 多套房子,最低的总价 1100 万,也是一天卖光。我显然是没有经济实力买这样的房子。

三是 北京市的首付比例很高 ,非普通住宅(市区的房子一般都是非普通住宅)首套 40%,二套 80%,我因为在老家有过贷款记录被认定为二套,因此首付比例高达 80%,因此不可能买太贵的房子。对于我来说,承担贷款的问题不大,根据银行的算法大约可以承担 1200 万的贷款,但首付是主要瓶颈。

城市的选择

面对这么高的首付,我们主要考虑了几个选择:

  1. 在海淀的优质地段买个比较小的房子 ,后面有改善生活的需要再换房。这时我们需要考虑的主要包括通勤的便利性、居住的舒适性、房产的投资属性。虽然在低生育率、经济下行的背景下很多人看衰楼市,我认为一线城市优质地段仍然是有很强的刚需,目前仍然是供不应求的。
  2. 在海淀的普通地段或者昌平区买个稍微大些的房子 ,面积上基本上一步到位,房价也不算贵,一般 5~6 万一平。但昌平的学区不如海淀,此外如果户口迁往昌平,以后政策是否允许再迁回海淀,都是个未知数(目前市内是可以随意迁移的)。
  3. 我在杭州的同学基本都买了 120 平以上的房子 ,因为杭州的房价只要 3~4 万一平(最近涨的也比较厉害,已经是 4~5 万了),而且杭州的首付是首套 30%,二套 60%,比北京友好很多。杭州的滨江发展得不错,华为杭研所和北研所(环保园)同样是十多年的历史,杭研所附近是滨江互联网小镇,有几个不错的大商场,环保园附近目前还大多数是荒地(希望十年之后能开发好)。我在杭研所出差了大半年时间,说实话对杭州的印象是不错的,我们的钻戒和对戒都是在杭州买的。
  4. 我因为工作原因去 成都和西安 出差,这两个城市给我的印象都比较好,尤其是成都的生活比较慢。房价比杭州那是又低了一个档次。在成都的尧棠公馆门口,经常看到各种跑车、豪车,门口就是国际学校,生活很便利,比我所在北京的上地和环保园看起来更像是个大城市。这些同事跟我挣差不多的工资,但在成都和西安就生活得很爽,其中房价可能是最重要的因素。第一次去成研所是冬末春初,北京的行道树还枯着,成研所里花红树绿,垂丝海棠开得一片一片的,倒映在湖里。我们出去玩的时候,也去过 苏州 等城市,苏州的江南水乡也令人流连忘返。
  5. 我在美国的朋友买的基本都是 house ,比如在西雅图 100 万美元就能买到 180 平的 house,甚至比杭州的很多房子还便宜。即使考虑到西雅图房价上涨的因素(一年涨了 50% 以上),仍然也只是杭州比较好的房子的价格,北京哪怕是昌平的房子大多数都更贵。此外,house 的面积和中国的房子不能直接对比,因为中国的高层住宅有很多公摊面积,例如我最终买的房子公摊面积就高达 25%。欧洲和美国也没有这么夸张的首付比例。house 的居住舒适程度一般也是比高层楼房更高的。不过选择在国内,就是选择了更卷的生活。如果考虑日后去欧洲或者美国的话,按照相同 level 下互联网公司的收入水平,买房的压力会小很多。
Read More

2022-03-06
发布2017-2018年定位轨迹

定位轨迹是研究生活作息规律,以分钟级精度总结生活旅行历史的重要数据。现发布2017年1月21日至2018年7月7日的定位轨迹信息如下:

戳这里看2017-2018年定位轨迹

注意有些时候因为没有带定位器或者定位器没电,会出现一天定位都没有移动的情况。从这批轨迹数据,可以发现我在读博期间,大部分时间中午甚至下午才去公司,半夜才从公司回家。有时候在刚起床的时候或者半夜会去跑步。

Read More

2022-01-08
我们的婚纱照

2021年10月6日,丽江

小视频(高清,467 MB,6:26)

戳此看婚纱照在线相册(70张精修)

戳此看婚纱照在线相册(部分原片)

Read More

2021-08-24
1Pipe: Scalable Total Order Communication in Data Center Networks

1Pipe is a causal and total order communication primitive to scatter groups of messages via data center network. With in-network computation using Barefoot or Arista switches, 1Pipe achieves scalability and high performance with low CPU and network overheads. Published in SIGCOMM’21.

Read More
RSS