Index Profile Banner
Index Profile
Index

@HyleIndex

1,143
Followers
118
Following
270
Media
1,278
Statuses

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

New Haven, CT
Joined November 2021
Don't wanna be here? Send us removal request.
Pinned Tweet
@HyleIndex
Index
2 years
“我们往哪走”“往前走。” “哪里是前?” “这是我们人类最古老的笑话,不管往哪儿走,都是往前走。”
0
0
22
@HyleIndex
Index
2 years
耶 我拿到五年美签啦
141
36
2K
@HyleIndex
Index
3 years
第一封offer
Tweet media one
37
7
664
@HyleIndex
Index
3 years
我爸:你要是去Yale读就给你在附近买个公寓 我:????
25
7
233
@HyleIndex
Index
7 months
“后来我去读博士,老师很开心,但老师还跟我说,你要记得世界上不缺你这篇论文,你要做喜欢的事。写不出来就回来好了。然而四年前我还是太年轻,我觉得老师是觉得我写不出来,小看我。但是这几年来经历那么多事,稍微有点明白老师的意思。(1/2)
3
13
174
@HyleIndex
Index
7 months
世界上什么也不缺。所有的辛苦也没有人会在意,就是一种个人选择。但是‘喜欢’很重要。喜欢了一半突然不喜欢了很正常,没有关系,也没有人在意,所以要随着喜欢去付出,才会不会觉得很怨。”——张怡微(2/2)
1
15
108
@HyleIndex
Index
2 years
竖着的学生证
Tweet media one
4
0
102
@HyleIndex
Index
3 years
这里有一群今年获得Caltech ucla yale cmu等PhD/ms offer的人闲的无聊搞了了群,希望能给之后的学弟学妹们提供些帮助,欢迎来玩,唔专业基本都是cs/ee/数学相关的,其他专业的也欢迎来玩呀,就是可能我们也不太了解具体的申请情况了
Tweet media one
6
7
72
@HyleIndex
Index
3 years
确实深夜看这些东西就是容易emo 虽然我才正准备要开始自己的博士生涯,但是不知为何总觉得自己大概是没有机会留在学术界的了 也是,毕竟总感觉谁都比我强的样子
Tweet media one
5
3
49
@HyleIndex
Index
3 years
申请季的最后一张邮票 好耶
Tweet media one
5
0
49
@HyleIndex
Index
3 years
下午和导师meeting完,信心满满,觉得自己要干翻这个世界,非常快乐,一回到宿舍就开始迫不及待的写了起来。 然后就被一个证明卡住了.....一直卡到了凌晨.....被这个世界干的服服帖帖的
1
0
46
@HyleIndex
Index
1 year
好想去微软苏州啊 发疯.jpg
4
1
37
@HyleIndex
Index
1 year
@MihariOyama 请叫stupid bar
0
1
37
@HyleIndex
Index
3 years
想证明——快乐 写证明——活着 写introduction——原地去世
2
4
31
@HyleIndex
Index
2 years
最近真的是太有意思了,清北毁约,上海无故取消联赛,某省省选泄题且出假题,某省储户事件,乱给红码问题,四字明星获得编制,哇原来几千万的收入是非在职人员诶,这就是华润万家广告吗,爱了爱了
0
3
31
@HyleIndex
Index
1 year
今日乐子 小红书锐评clj “虽然很优秀...但是也还好吧,我身边就有这种的[笑哭R]也是计算机,引用量跟他差不多[笑哭R]”
Tweet media one
3
0
32
@HyleIndex
Index
8 months
愈发觉得想中一篇paper,对工作量的要求其实不见得特别高,但是对讲故事的功力要求很高
2
1
33
@HyleIndex
Index
2 years
法航商务舱初体验
Tweet media one
1
0
26
@HyleIndex
Index
2 years
笑死
Tweet media one
0
3
27
@HyleIndex
Index
2 years
再见了我的大学
Tweet media one
Tweet media two
Tweet media three
Tweet media four
1
0
25
@HyleIndex
Index
2 years
纽黑文下雪啦!!!
Tweet media one
3
0
24
@HyleIndex
Index
3 years
Tweet media one
0
7
21
@HyleIndex
Index
1 year
今日小红书特辑 “你可以一点抽代,范畴都不会,就可以直接研究hott成为数学前沿和tcs工作者”
3
1
23
@HyleIndex
Index
3 years
今年愿望: 早睡早起 再多学一点,再多看一点,如果可以希望也能做出来一点有意思的东西 和如此不好的自己和解
0
0
19
@HyleIndex
Index
2 years
诚实.jpg
Tweet media one
1
0
20
@HyleIndex
Index
2 years
美国我来啦
Tweet media one
0
0
19
@HyleIndex
Index
2 years
想起前两天在某个群里聊起关于国内传言phd和博后要降薪的事情,我说我一直有一个疑惑在欧美,或许有人不会去参与罢工但至少大家不会在罢工的时候去背刺那些争取权益的人,不会说好啊你们罢工了那我把这些活做完体现我的价值,而在国内你往往需要担心这类事情发生
2
1
19
@HyleIndex
Index
2 years
所以科技发展的目的是什么?是为了让资本家赚的盆满钵满吗?难道不是为了允许更多的人干更少的活还能获得不错的生活质量? 如果一家大公司天天就想着怎么裁员怎么提高企业受益.....那你为什么要帮助他提升效率来迫害你的同胞,为了让你老板的生活更光鲜亮丽吗
3
5
19
@HyleIndex
Index
3 years
也许是毕业季的原因,最近在各种平台看到了不少抱怨春秋招的事情,包括很多朋友也有和我吐槽过类似的焦虑,我发现了一个神奇的事情,似乎现在大家觉得年薪30w以下的工作就不配称之为工作,30w的年薪大家其实都不是很满足,白菜价白菜价的叫,非常之神秘
0
0
17
@HyleIndex
Index
3 years
写论文写到一半发现需要一个性质,查了一下,全世界的文献都告诉我这个性质是对的,但反正就是A说B证了B说A证了,就是没有一个人写了完整证明
1
0
17
@HyleIndex
Index
1 year
真的来了美国 每天都在怀念欧洲 学校不错 老板不错 但这个国家是真的不行
3
0
17
@HyleIndex
Index
1 year
开始想家了... 突然有种强烈的想quit了回国读phd的冲动
7
1
17
@HyleIndex
Index
2 years
@AbrahamDarbyDA 你去的是哪里啊?以我在德法的经验你仍然是要检票的,只是没有闸门而已,而且事实上比如说巴黎的一些大的地铁站台也是有检票闸门的,当然你可以翻过去然后没人管你又是另外一个故事了
5
0
17
@HyleIndex
Index
10 months
上完了PhD要求的最后一门课 真舒服啊 终于不用写作业了
2
0
15
@HyleIndex
Index
2 years
我老板问我为什么本科一学期上8门课现在一学期只选3门 我只好挨个跟他数了一下耶鲁的课有多蛋疼,不是冲突就是无聊🤣 希望下学期还有QFT可以选,不然真的不知道上什么课好了
5
0
16
@HyleIndex
Index
1 year
说起来我最近有个观点 学历就算别的什么都代表不了 至少他代表了这个人能把自己不喜欢的事也做好,能做到长时间的专注 而这个事情本身就是一个很重要的天赋
4
1
16
@HyleIndex
Index
3 years
ox集邮.jpg 点击就送(bushi 我申的两个居然都是无面录....我还以为我翻车了呢,可惜了ox不支持三年本直博....不然感觉ox也是个不错的选择
Tweet media one
Tweet media two
2
0
16
@HyleIndex
Index
2 years
时隔一年回想起我的申请季我还是很难过,曾经那个高中时的憧憬被打了个粉碎 虽然数学系phd的offer可能更多的只是个执念,是我幻想中的对我中学时的梦想的圆满的句号,没有倒也无伤大雅 但在那一刻还是因为自己终究没被他们认可而伤感
1
0
16
@HyleIndex
Index
2 years
事实证明当有一个很漂亮的猜想的时候,就应该多去想想是不是自己猜错了
1
0
13
@HyleIndex
Index
1 year
所以大家还是要珍视现在 有时候看着未来时间很长机会很多,还有无数的机会可以做成某事或者和某个人相处,于是对于某个机会就没有用力的把握 但很可能过了很多年回头去看,那居然是自己离某个人最近,或者理做成某件事最近的时刻 一些有感而发
1
0
13
@HyleIndex
Index
2 years
不错 拿到了SUMMA CUM LAUDE 除了因为退房手续还没结束还拿不到毕业证以外本科算是圆满结束了
2
0
15
@HyleIndex
Index
1 year
学生时代思考一道难题的时光是幸福的 就好像你在探索一个迷宫,但你其实已经知道他必然有个出口而且等实在不想做的时候可以直接摆烂,到达出口 而等到开始做research时就发现,整个过程变得异常艰难,不知道光在哪,也不知道下一步要走到哪 一些emo
1
0
15
@HyleIndex
Index
2 years
为什么大家好像都特别激动的样子,那,那如果我说我是无check直接秒过是不是会很欠打:P
@HyleIndex
Index
2 years
耶 我拿到五年美签啦
141
36
2K
5
0
16
@HyleIndex
Index
2 years
我愿称码LaTeX为这个世界上最折磨的事情之一
1
0
15
@HyleIndex
Index
2 years
是不是所有学校开学的时候都喜欢吹自己是high selected然后very competitive🤣
1
0
14
@HyleIndex
Index
2 years
啊这
Tweet media one
0
0
13
@HyleIndex
Index
1 year
Tweet media one
0
4
15
@HyleIndex
Index
2 years
虽然但是我觉得还不错
Tweet media one
2
1
13
@HyleIndex
Index
2 years
建议更名:中国特色物理
Tweet media one
4
2
11
@HyleIndex
Index
2 years
Tweet media one
2
0
13
@HyleIndex
Index
1 year
经常码证明的时候会陷入到一种奇怪的情绪中去。就是那种,大概已经知道证明长什么样,精彩的风景已经领略过了,剩下的只是一地latex的厌烦
2
0
14
@HyleIndex
Index
2 years
一些远况(雾
Tweet media one
Tweet media two
Tweet media three
1
0
12
@HyleIndex
Index
7 months
现在iclr,cvpr都倒卖论文了吗 真的是一片光明呢
7
0
13
@HyleIndex
Index
3 years
呜呜呜 pyq的大家都有对象 而我 而我 却还要被箭头学折磨 呜呜呜呜 我也想要对象 我要在线征婚(?)
2
0
12
@HyleIndex
Index
1 year
流星雨 可惜了今天晚上下雨实在没有观测条件
Tweet media one
1
0
13
@HyleIndex
Index
2 years
一些拖了好久的调色
Tweet media one
Tweet media two
1
0
12
@HyleIndex
Index
2 years
每当心情不好的时候就想找人聊天去,说是聊天其实也不准确,我其实只是想听别人说话,说什么都好,天上的云朵,路边的花,被挂黑版的教授,打游戏乱杀的快乐,被坑的折磨........ 但是没有人跟我说话,只是一个人躺在床上,看着雪白的墙,去幻想
0
0
12
@HyleIndex
Index
2 years
年轻人,你的职责是平整土地,而非焦虑时光。你做三四月的事,在八九月自有答案
0
0
12
@HyleIndex
Index
2 years
第一笔薪水!
Tweet media one
1
0
11
@HyleIndex
Index
3 years
不愧是巴黎的数学PhD... 居然被拒了 Pacard说给我写了very strong recommendation letter...不是很理解 fine...
Tweet media one
3
0
12
@HyleIndex
Index
3 years
某校CS department的文化衫 真的不会compile error嘛
Tweet media one
2
0
11
@HyleIndex
Index
2 years
终于
Tweet media one
3
0
10
@HyleIndex
Index
2 years
赵子龙七进七出 隔离了196天
0
1
10
@HyleIndex
Index
1 year
今天去一个朋友的大学去跟他拍毕业照,我在他们学校的草坪边上等他来接我的时候,身边经过了三个女生,其中一个女生走着走着就小跑了起来,后面一个女生打趣道,怎么走那么快呀,急着见父母吗,另一个女生说,哪里是父母呀,肯定是男朋友来了,前面那个女生害羞的笑了笑,脚步更快了
1
0
11
@HyleIndex
Index
1 year
那有llm for coq automation 或者用llm解smt的说法吗
Tweet media one
2
0
12
@HyleIndex
Index
9 months
本命年捏 年龄++
Tweet media one
7
0
11
@HyleIndex
Index
2 years
最近发现b站上好多人去做一些比如说微积分教学啥的,相比之下我更希望他们能够组织一些人来做一些关于自己专业的未来的一些分享,受众定为高三毕业生。 我觉得一直以来国内的专业选择的教育是缺失的,大家不仅对自己未来要读的专业缺少感觉,也对这个专业的就业情况缺少认知 1/n
1
2
11
@HyleIndex
Index
2 years
很神奇,我加了个优化,结果跑得更慢了...
1
0
9
@HyleIndex
Index
2 years
finally
Tweet media one
3
0
9
@HyleIndex
Index
2 years
办公室的电脑是外星人 又找老板买了个机械键盘 原神启动! 啊不对 overleaf启动!
0
0
8
@HyleIndex
Index
2 years
@Aquadontlikeu 唔,但就是因为不是顺女所以才会焦虑头发啦,裙子啦,唔就好像比如某人成绩很好他就可以很自然地说,成绩不重要学习到了知识才是真,不是凡尔赛,怎么说呢因为得到了所以有底气,而没得到的就只能穷尽手段去接近,比如说去找学霸笔记,学习别人作息等等,但其实大家都知道这些不是关键
1
0
9
@HyleIndex
Index
1 year
Yellowstone! By X2D @Hasselblad
Tweet media one
2
0
10
@HyleIndex
Index
3 years
笑死 这年过的就像这道菜
Tweet media one
0
0
11
@HyleIndex
Index
2 years
你以为的同时做两个问题:齐头并进,效率翻倍 实际的同时做两个问题:第一个问题证明想不出来去想第二个问题,发现也想不出来,同时卡住打击翻倍
1
0
10
@HyleIndex
Index
2 years
想被摁在墙上艹 瘫
4
0
8
@HyleIndex
Index
1 year
当代看展青年人
Tweet media one
Tweet media two
Tweet media three
Tweet media four
2
0
8
@HyleIndex
Index
2 years
research感觉就是要么没想法 要么感觉被别人做了 要么觉得没那么有意思
1
0
8
@HyleIndex
Index
2 years
梵蒂冈
Tweet media one
Tweet media two
Tweet media three
Tweet media four
0
0
8
@HyleIndex
Index
2 years
又是怀念山上的一天 不得不说跟耶鲁比起来,X的行政堪称完美
Tweet media one
0
0
8
@HyleIndex
Index
3 years
突然发现在人少的学校谈比例是一件很神奇的事情,比如说我们今年我知道有一个录了mit的商学院,那我就可以说我们经济系有5%的学生被mit商学院录取😂
2
0
9
@HyleIndex
Index
6 months
Tweet media one
0
0
10
@HyleIndex
Index
1 year
一些黄石预告
Tweet media one
0
0
9
@HyleIndex
Index
3 years
很奇怪,我们本科答辩完居然不能立刻给我们成绩.... 最后committee只是说,you did a very good job然后就...没然后了
1
0
6
@HyleIndex
Index
1 year
学习两分钟 摸鱼半小时
Tweet media one
0
0
9
@HyleIndex
Index
2 years
艹(一种植物
Tweet media one
0
0
8
@HyleIndex
Index
8 months
@nursenika1840 @abskoop yysy但欧美完全是走了另一个极端,我上次胃肠镜出来医生随手给了我一包油炸的不知道什么小零食充饥,然后吃完我就肚子不舒服了一看他们术后发的report说不建议吃硬的食物
1
0
9
@HyleIndex
Index
2 years
一些阿姆斯特丹 实在是懒得修图了 凑合着看吧
Tweet media one
Tweet media two
Tweet media three
Tweet media four
0
0
9
@HyleIndex
Index
2 years
这就是计算人吗
Tweet media one
0
0
9
@HyleIndex
Index
2 years
威尼斯
Tweet media one
Tweet media two
Tweet media three
Tweet media four
1
0
7
@HyleIndex
Index
6 months
原来AA就算吃软饭了吗 不愧是高贵的xhs女
4
0
10
@HyleIndex
Index
2 years
Tweet media one
0
1
8
@HyleIndex
Index
3 years
我intro被反了三次工了 呜呜
1
0
7
@HyleIndex
Index
3 years
@ddvd233 那 那 那 我也wish you success in your future endeavors?
1
0
10
@HyleIndex
Index
2 years
我也是,我发现真的我特别容易很快的建立一个舒适圈然后就再也不想踏出去,每次要换一个环境都觉得非常痛苦
@realSkyW
飞利浦
2 years
又要搬家了,按道理搬了这么多次以为自己早就习惯了,但是每一次都不想离开。我总是讨厌一个看得到尽头的稳定生活,但是现在过着波动性很大的生活又会对未来焦虑,为过去惋惜。 搬家时就想做只小狗,靠在别人怀里蹭蹭,摸摸我的头说一切都会变好的。可我不是小狗,也没人摸我。那多看些狗狗视频好了。
5
1
24
1
0
8
@HyleIndex
Index
2 years
国际服大佬实在是太好了 今天一个大佬来申请加我世界,90级大佬直接进来,突突突我boss就死了,我直接挂机
0
0
8
@HyleIndex
Index
2 years
Tweet media one
Tweet media two
Tweet media three
Tweet media four
0
0
8
@HyleIndex
Index
2 years
一些哈苏色彩
Tweet media one
Tweet media two
Tweet media three
Tweet media four
0
0
8
@HyleIndex
Index
3 years
那时你一生气就撕掉我的信封 这些美丽的事迹若星星 不同,却缀满记忆的夜空 我一想到它就伤心,亲切而平和 ——柏桦《唯有旧日子带给我们幸福》
0
0
7
@HyleIndex
Index
3 years
我们数学教授每次想表达这样要做很多计算的时候都很喜欢说 “wow three pages” 太可爱了
0
1
8
@HyleIndex
Index
6 months
Tweet media one
0
0
10