Index

前OIer，虚假摄影壬，目前对formal verification，type theory和神奇的范畴论感兴趣，BSc @polytechnique，PhD Candidate @Yale

[Index @HyleIndex]

@TheMarketBishop I feel like its really depends on what makes you happy. Trading for me is kind of relax when I get boring about my research

[Index @HyleIndex]

阳光正好
猫猫也很好

[Index @HyleIndex]

@chezaimian30 恭喜

[Index @HyleIndex]

@Akemihomura1021 我第一次见拿曼哈顿做正面例子的........

[Index @HyleIndex]

@xjasonlyu 直接去往火星

[_21 @Guan4687]

@globaltimesnews I do not understand, the South Korean president is not in the presidential palace, the South Korean plane is not in the airport, why the South Korean Go so persistent pieces in the chess cap

[Index @HyleIndex]

得救了

[Index @HyleIndex]

@LightQuantumhah 刚润😂 前两周在多大那陪对象

[Index @HyleIndex]

多大
文明

[Index @HyleIndex]

@JXQNHZr1yUAj5Be 如果cost非负的话 是不是直接排序贪心就好了啊？

[Index @HyleIndex]

@geelaw95 我有种预感 我会被拒（

[Index @HyleIndex]

改paper绝对是最阴间的事情，尤其是还有页数限制的时候

[Index @HyleIndex]

每日一问
为什么agda这么难写

[Index @HyleIndex]

@JarrettYe @ddvd233 好很多，单说我们学校，你可以直接去oh一步一步的问作业怎么做完全不思考（我ta的课就有这么玩的）教授也一种题尽量简单别让他们烦我的感觉😂量大但感觉其实每一门都学的很浅.....

[Index @HyleIndex]

好想有个大佬能教我agda😭😭😭

[Index @HyleIndex]

@geelaw95 Congratulations

[Index @HyleIndex]

@LightQuantumhah 别骂了

[Index @HyleIndex]

为什么POPL限制25页啊，至少也给个30页吧，而且现在都纯电子化了为啥还要限制页数啊.....