最近搞论文要疯了 (焦虑焦虑焦虑…), 一星期了 approach 写不出几个字, 仔细思考又老发现算法存在问题, 遂去问宇宙第一 LLM Gemini 3, 他根本不理解, 只会胡扯. 于是给他详细解释, 纠正, 直到… 我自己给理清楚了 😅 . 非常难绷. 熬夜睡不着, 写点东西.

各种看视频偷师后发现, Top 都很会控野, 经常卡点刷熟练拿野怪资源. 于是开始尝试, 但是由于短期记忆很差, 口算能力更是约等于零, 所以我的大脑根本控不了野怪, 故想整一个外置大脑, 于是让 LLM 帮忙开发一个野怪计时器. 不过它写了两个小时愣是写不出来, (无语了, 到底是谁在吹 LLM 编程能力强, 本来以为不会写静态分析那也是情有可原, 这简单的业务逻辑都写不出来…), 遂自己动手改, 搓出了一个简单的.

傻逼国内pwn, 不会出可以不出, 套个 protobuf 断网不给环境打你 🐴

在 R3CTF 临期时出了个 Minecraft Hack 题, 差点难产了. 自认为出的不是很好, 和前年 给 D3CTF 出的那个 比差远了. 不过看最后看结果貌似还算可以? 至少问卷里喜欢这俩题的蛮多的.

软件所的形式化课直接教 Coq, 牛. 跟着课堂内容记录一下学习的过程, 整理的东西可能需要穿插着看.

最近打算搞 IoT 静态分析, 先来入门一下 IoT.