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

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

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

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

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

听了几节讲什么语法文法的课, 听不懂. 实验和这个一点关系也没有, 建议不讲这些奇奇怪怪的, 讲点 LLVM 多好.