2024/01/01/Diary-2024-01/

[utterances-bot]

日记·篇十七·24年1月 | 『姑妄言之姑妄听之』

日月不居，一误难再

https://chiyuru.github.io/2024/01/01/Diary-2024-01/

[Triang-jyed-driung]

期末加油！

[lagrangekmno4]

我被优化掉了（（

别骂了别骂了（（

[Chiyuru]

@lagrangekmno4 你做的情况还是比我好多了（乐，没上 dl theory 导致的（

[wafarinliu]

逆转裁判好玩的，有品

[Chiyuru]

@wafarinliu 有品归有品，没时间（x

[wafarinliu]

期末周拜读完了驰大法官的判决书！只不过杜某的叔父为什么不姓杜而是姓迟（）

[Chiyuru]

@wafarinliu 啊，啊这，草，我没有这号亲戚所以都不知道是哪边的就瞎写了（（

因为杜某随母姓，嗯嗯

[wafarinliu]

太复杂了，请您续写红楼梦.jpg

[TUCYDAbc]

好家伙 这发烧频率怎么都快和身体孱弱的我相当了（雾） 只不过我是11月下旬连烧两次罢了——第一次我通过及时用药，两天之内把烧退了，然后看来病毒觉得很不满（？）于是不久之后让我烧了一次更猛的——持续高烧四天，好不容易退烧了就赶上体测（）

然后体测完的转天我拿到了某比赛的参赛资格（狗头）

[Chiyuru]

@TUCYDAbc 有生之年您怎么来了（x

您不是前体育生吗怎么还那个身体孱弱了（）

[TUCYDAbc]

@Chiyuru 如果能做十个引体就算体育生的话这标准也太低了点儿哈哈哈哈哈哈哈哈（大雾）

[srzer]

不相信茶课的质量，相信茶课调分的实力！

[RecursionSheep]

ypk：我前两天和华为那帮人见了个面，讨论了一些 GPU 加速的问题，就比如怎么让矩阵乘法算的更快一点，要不你看看这个

不是你们怎么也GPU加速啊，不会真有人觉得把矩阵乘法的指数降个0.0001就能让算法更快吧

ypk：这是我前两天看到 Zipei Nie 发的随机优化的一个方法反正挺复杂的也不用写代码全是推公式，你看这些玩意这么复杂应该比较满足你对理论的要求了（。工程一点的做法的话 Deepmind 用 AI 做了一个很不一样的，你回去顺着这两篇往前找找整个问题发展的脉络，开个 overleaf project 写一写然后把链接给我吧，这是不是能起到一个监督的作用（

DeepMind：虽然我的工作没有理论价值，但我是用AI跑出来的啊；虽然我的工作没有应用价值，但是我们在理论复杂度上有提升啊（
我上ypk高维概率的时候有个同学pre讲了nzp的线性求解器的工作来着，感觉是很有MO风格的爆算bound

ypk：你回去也可以读点 TCS 顶会别的文章看看还有没有感兴趣的话题，啊对就算是 TCS 也可以不写代码的（

笑点解析：做应数的人可能真的会关心代码能不能写出来，而TCS壬不会
不过讲道理我觉得原教旨主义的TCS的美感在于用数学为计算搭出框架，虽然不一定用到很深的数学（当然了，像什么算术复杂性能扯上代数几何的这种也有），但是可以很优美且rigorous地刻画现实的计算问题，哪怕推出来的bound现实用不上。现在的track A TCS已经快变成研究怎么把10^100的常数塞进大O里的bound游戏了