#呼兰被公司福利套牢了#哦？小浣熊这是被套路了？[偷笑]#呼兰吐槽下午3点上班不一定是好事#？呼兰这波吐槽是不是又要成为李诞的新一波“福报”了[doge]不愧是wuli呼兰啊，让李诞的渡劫一波接一波！不过感觉下午上班可以错开高峰期，不用再人挤人、堵车是不是也挺好的？毕竟谁不想悠闲、美美的去公司hold住全场？大家觉得呢？

【售价7.99万-11.49万元 思皓X6正式上市 5款车型可选】
日前，思皓X6已正式上市，新车共推出5款车型，分别是MT先锋版、DCT先锋版、DCT智驾版、DCT音智版、DCT潮FUN版，新车定位紧凑级SUV，售价区间为7.99万元-11.49万元。
思皓X6全系搭载1.5T发动机，最大功率为110kW，最大扭矩为230N·m。该款新车的车身尺寸为4505×1805×1698mm，轴距为2660mm，离地间隙170mm，前后轮距分别为1586mm、1585mm。思皓X6搭载了HOL-OS智能座舱，配备12.8英寸，分辨率为1920×1080的悬浮中控大屏；搭载HOL-Music智能音乐系统，配备高品质11扬声器，可以实现320W独立功放，该系统还通过了国内顶尖汽车音效团队、国家级人工智能博士以及国际认证音效裁判的联合调教。

[1/3] 昨天我小老板不是让我问下澳洲那边 postdoc offer 的更新么？我就简单发了个邮件问了一下。今天收到 HOL 维护者暨未来博后导师的回信，虽然没有什么实质性内容，但这邮件看着就让人安心，算是拍着胸脯保证绝对黄不了了。另一方面，GitHub 上 HOL 项目的贡献者排名，如果只统计 2017 年自打我学会定理证明这门手艺以来的贡献，我在各项指标上都能排进前两名。当然了，这两件事之间并无直接关系，我给开源项目做贡献不是为了跟项目维护者做博后。这封信我看就不直接转发给我老板了，怕他俩面子上过不去。