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
婚礼延期公告@石家庄翠屏山迎宾馆

更新:因疫情原因,原定于 2022 年 5 月 1 日、延期至 2022 年 7 月 17 日的婚礼再次延期,定于 2023 年 5 月 1 日,请移步最新版的婚礼邀请函,谢谢!

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

2021-07-06
AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformation

AKG (Auto Kernel Generator) is a tensor compiler for NPUs. AKG leverages polyhedral schedulers to perform a much wider class of transformations, and extends the semantics of the polyhedral representation to combine complex tiling techniques and hierarchical fusion strategies. Published in MICRO’20 and PLDI’21.

Read More
RSS