#2026年07月
| Week | Mo | Tu | We | Th | Fr | Sa | Su |
|---|---|---|---|---|---|---|---|
| 27 | 1 | 2 | 3 | 4 | 5 | ||
| 28 | 6 | 7 | 8 | 9 | 10 | 11 | 12 |
| 29 | 13 | 14 | 15 | 16 | 17 | 18 | 19 |
| 30 | 20 | 21 | 22 | 23 | 24 | 25 | 26 |
| 31 | 27 | 28 | 29 | 30 | 31 |
##summary
看世界杯。用 ai review 各种论文。尝试配置 ai 工具,尝试使用 ai 工具。
##log
###06/29 - 07/05
又是看球和垂死挣扎的一周。
周一神奇的和上周末酒吧讲座主讲人合作,测试他的AI4MATH。
周二浑浑噩噩,被Liu分配了几个review的任务,亲自推动淘汰自己的工具。
剩下时间基本上就是熬夜看球,挣扎起床学用AI。写了点博客草稿。
周五踢球试了试第一人称,效果还不错,就是视角小了点。该考虑防抖、分辨率和广角的平衡了。
减肥大业毫无进展,周日跑了个步负隅顽抗一下。
- [>] math
- [>] mathran
- [>] review danus
###07/06 - 07/12
在北大听了一点报告,主要在蹭饭。其他时间在看球。以及试用和配置各种ai。用各种工具搞review。
- math
- [>] 北大
- [>] mathran try a lot
- [>] review danus
###07/13 - 07/19
看世界杯的一周,还写了点公众号。周日晚上熬了个通宵,看决赛到周一早上六七点,睡不着了。难看的决赛,像19年,又像14年,还像10年(对西班牙来说),梅西掩盖了太多问题。恭喜西班牙,足球赢了。
高强度依赖ai review了一些论文。尝试用 ai 做一些问题。测试各类 ai for math, 以及尝试用 ai 写代码。
接下来该想想未来出路了。
- [>] math
- finish flex
- [>] review syzygy
- [>] blog
- worldcup
- [>] ai
- [>] try ai4math
- [>] agent source, example settings.
- [>] dev
- [>] typst ssg
- [>] quickedit
###07/20 - 07/26
看完世界杯,感到落寞啊。 大部分时间在和老板读论文。其他时间水水博客,搞搞 agent 配置,然后试一试各种 ai4math。累啊。 久违地去喝酒,不尽兴,难受。
- [>] math
- [>] review syzygy
- [>] try flop
- [>] ai
- [>] agent at home
- [>] ai4math
- [>] set up profiles
- [>] blog
- mv morgue
- weblog for worldcup
###07/27 - 08/02
周四看了个电影,荷兰弟的第四部蜘蛛侠,感觉又好又坏。武术指导真有用吧,打戏好看很多。人物角色剧情多少有点生硬,但是整体演技不错。稍微像电影一点都漫威超英视频。
周五去酒吧兼职了半天,帮忙搞了下讲座,居然讲 约为整数,而且直接用pad写板书没有PPT,但是不讲月光魔群。
周六去朋友新家玩,享用大餐,开心。然后去喝酒,似乎吹空调冻感冒了。
然后一直在学习ai,用ai。以及激情下单了 opencode go套餐,开始使劲蹬。
未来就业真是一片灰暗啊。
- [>] math
- review syzygy
- [>] try flop
- review ler
- ai
- [>] agent at home
- [>] ai4math
- [>] set up profiles
- site
- typst ssg
##plan
- math
- flop
- syzygy review
- length of extremal ray
- review dannus
- blog
- 谈谈教育
- ai math
- not new in ai (post ai)
- site in web
- 收缩的正确
- guide-alcohol
- comics
- 代际矛盾
- life
- deal with videos
- World cup, jojo, rick and morty, tour de france, 攻壳机动队, The international, Stand up
- ride ride ride
- sorge
- clean room
- clean lib
- clean kitchen
- clean work desk
- e-waste
- donate books
- AI
- AI4MATH
- rethlas-general
- rethlas-plus
- danus
- mathran
- set up ai usr repo
- agents
- pi
- opencode
- reasonix
- zerostack
- profiles
- code
- math
- writer
- share
- mcp
- skills
- agents
- models
- agents
- set up workspace
- obsidian
- ai4math-wip
- memex
- docs
- AI4MATH
- dev
- new arch? fedora?
- vibe code quick editor
- try win iot
- site
- homepage
- math site (typst?)