May 26th, 2026

今日记录

睡前想到啥
- 模块probe得推一推
- 听到keyword: 语言
  - trace to grammar, local to global
  - llm4fuzz的低吞吐，能否变llm gen testcase为llm gen partial model、transform rule etc
    
    或者gen partial model后形式化等方式求解；原始的总是太大了
- 如果静态方法确实好用，可能包装个paper
  - impl/trace as backbone，比spec docs更好
  - spec docs本身怎么合理切片/rag也有些可改进处
- 需要些paper writing的ai pipeline
  - 至少得能自动检查出现过的那些问题
  - 可能还以小模型/无上下文模型来校验（自动生成问题）是否能让人看懂
中午再探京张铁路遗址公园二期，基本通到大钟寺了
- 三环桥目前能和列车同框，机位比较难得
- 路上似乎回想起李国杰院士cs2.0的啥，又忘了
听了听就业讲座，好像也没get太多，但似乎离打工人的道路更近了
- 其实没那么理想化，互联网对大部分或许依旧是优选了…
- 急也不急，求职甚至比毕业更先？或者说paper得在8月前投出
- 有空把简历往blog上更一更
这次怎么让我们都不来了呢……还想干活呢