captain Violet

年少时没去成的APIO/CTSC/冬令营，长大以后变成了STOC/FOCS/SODA，想和大神们social。这改不掉的竞赛生心态，大概就是一日oi一生oi的具象化表现吧。

大佬同学说为了防沉迷把微信扔进了屏幕时间限制。我虽然也花了不少时间看朋友圈和公众号，但是似乎并没有扔进去的必要：我看微信的时间，只有刷推的零头......😭😭

@smiroyama 那瑞士德国火车甚至连进站检票的闸机都没有

香港地铁不用安检让我很不适应

@Kinodar_ 哥，30瑞一个，瑞郎都不是这么花的

首页见识一下沪币购买力 吓到我了

@nande198900 好奇kr为何会选择瑞士，而不是留子和国人更多的德国意大利之类。我要不是因为某学校，大概不会想到来瑞士

因为没有遗憾，我的校园生活是从一个成功走向另一个成功，直到来了瑞士才开始一路吃瘪，但是工作了以后又开始从一个成功走向另一个成功

@dviolettchan [0,1]不够，建议用simplex

你怎么敢假定实数轴上 女士 和 先生 的顺序😡 不如我们改成convex combination： 「在伟大区间 [0,1] 的庇佑之下，尊敬的 \alpha 女士与 (1-\alpha) 先生们，今天我们齐聚一堂……」

@shidanling 那你朋友是不是可以在vesselfinder上随时知道你在地球上的坐标哈哈

哇塞莫名其妙就达成1k fo了，据说这个在以前叫征友令，欢迎大家来转帖，互fo😋😋🥰

@shidanling 喜欢什么船？渔船，快艇，邮轮，集装箱船，散货滚装船，科考船？

要是能有喜欢的人 和喜欢的人一起hrt 一起transition 一起srs 一起长相厮守 或者喜欢的人接受我hrt 陪我transition和srs 一起长相厮守 该有多幸福 520的睡前幻想罢了（

@AconKhronos Erlangen program，数学里的mega project，上世纪的langlands program

又晒又热 这还去啥巴塞罗那马略卡 直接这么近那么美周末到🐮堡门口支个度假床我看效果比西班牙也不差到哪里去。

@ONCBBLHH （有没有觉得徐家汇书院很像苏黎世美术馆

徐汇书院二楼和三楼的男女厕所位置是反过来的。 别问我为什么今天才发现。

我的妈耶，刷到了背包九讲的作者 我感觉我穿越了，我看到自己正穿着运动校服在昏暗的小屋里刷oi题，那是我逝去的青春

@Char1es4k @Amagalan_B1 @drooomonster @IC_7809_3 我们这8瑞😡

@Amagalan_B1 @drooomonster @IC_7809_3 我们这的价格，salat得1欧多，再加一份薯条得超6欧🙃

我感謝法國的一歐元學生餐點。我感謝法國納稅人。我是世界級乞丐超人。

@nande198900 上班打游戏！虽然我现在也是在学校办公室刷x（

地平线5真好玩

感受到了一些小小的沪✌🏻冲击

@amber_digit2 坚果Pro2，高中时的梦中情机之一

还有人记得这台机子吗

@sk_196844 @Kasabylica 我刚知道lean不是基于集合论的，而是基于dependent type theory

@sk_196844 @Kasabylica 计算机科学和数学的城乡结合部

集合论是哲学和数学的城乡结合部。

@Kasabylica 给你omega aesop grind三连

nth_rewrite 2 [two_eq_succ_one] rw [add_succ] rw [one_eq_succ_zero] rw [add_succ, add_zero] rw [← three_eq_succ_two] rw [← four_eq_succ_three] rfl

@Meizakini 恭喜Dr. Meiza

博士答辩顺利结束了。一切的困难都是暂时的，祝大家人生顺利。