Naïve software developer, FOSS enthusiast, anime fan and (ex)CTF player for fun. | 开源恐怖分子，傻卵二次元，编程苦手。
Joined May 2022
- Tweets2.8K
- Following386
- Followers1.7K
- Likes19.9K
Pinned Tweet
Checkout this new tool I’ve built: It compiles GNU/binutils to WASM for fast, realtime (dis)assembly in the browser. Targeting multiple architectures (see image), works similarly to PwnTools’ asm functions. Try it out at binutils-wasm.vercel.app. Feedback & bug reports welcome.
宣传一下最近写的工具，把gnu的binutils编译到了wasm让它在浏览器运行(快+即时性好)，用来汇编和反汇编，支持很多种架构(见附图)
基本操作逻辑和pwntools的asm/disasm函数类似
网站地址：binutils-wasm.vercel.app/
目前还在开发阶段，如果有改进建议或者遇到了bug可以回复或者直接去GitHub提issue（
dmesg -w | grep mixdev retweeted
FastAPI 0.144.0 adds WebSocket support to security dependencies 🔒️
Thanks @usrbinmix ! 🙌
fastapi.tiangolo.com
昨晚夜宵吃麻辣烫，发现锅里有卤蛋和白蛋颜色的鹌鹑蛋，还在想老板居然还有这种供货，结果捞起来一看一半黑的一半白的
我以为是鹌鹑蛋 Pro 和 Flash，结果是同一个鹌鹑蛋系列的不同 Checkpoint……
OPSEC Level: ChatGPT
We discovered a sophisticated recording device that was hidden inside one of our offices. We used our models to understand the device and where it had come from, identifying that a specific employee had planted it a few days earlier. We referred the matter to the FBI, and we’re grateful to the agents and prosecutors who moved quickly to make an arrest. The FBI’s investigation is ongoing and we will continue to support their work.
At this time, we have no indications of this individual inappropriately accessing or exfiltrating model weights, source code, or customer data. The employee was terminated.
We take protecting our technology, data, and people seriously, and as a matter of national importance. Our security program is designed to protect against a wide range of threat actors, from insider risks to cybercriminals to nation states, and this case is an example of how AI can help address these sophisticated security threats.
dmesg -w | grep mixdev retweeted
最近在准备开源我的新 Markdown 编辑器组件 "Kagami" (MPL 2.0)，目前还在整理和重构代码。简单来说，我希望它 (1) 有超过 Typora 的文字编辑体验，(2) 更好地尊重 CommonMark 和 GFM 标准，(3) 支持块框选和块拖拽，并且可以作为组件被使用，在一定范围内能按需配置，而不是和一个私有软件绑定销售。
即时预览、富文本编辑器、Markdown 标准都是让人极度痛苦的东西，尤其是当它们被放到一起做取舍时（而且通常来说，没有很多东西是可以真的被 "舍" 掉的）。本来我打算以一个非常严格的非商用源码可用 (source-available) 协议公开源码，不过后来我被说服选择一个相对宽松的开源协议，但是想来想去我还是决定不公开一部分私有文档和测试集，它们写了大量我为整个编辑器订立的规则、详细的理由、优先级、如何取舍和解决冲突，这里边包含了我数年来对这类编辑器的思考，而且很难靠 AI 从源码里还原和推断出来。
我确实希望我喜欢的人从这个组件中获益，不一定是使用它，也包括从里边学到有趣的解决方案，但我也讨厌用 AI 把其他人的工作简单包装和改写就拿去卖钱，不加入自己的工作和思考，只会做营销和讲故事的人。一份开源的代码加上闭源的文档和测试集，这是一个让我比较能保持心理平衡的区间。
不过现在说这些还稍微有点早，我还有很多代码审阅和重构要做，稍后会更新一些进度。
dmesg -w | grep mixdev retweeted
经过两天的观察，我有充分的理由怀疑这个账号是 Astra 而不是真人在运营。先是以一条模糊到难以产生有效判断的提示词开始，完全不遵照常识去理解对方的真正意图，在背地里进行大量莫名其妙的工作，并且定期就会停下来向你报告一个你既没有要求也不知道和最终目标有什么关联的任务已经阶段性完成。当你发现你要的东西、它声称的东西、实际存在的东西这三者没有任何两者之间能对上号的时候，它就开始胡言乱语，不断吐出一些看起来像是无意义随机字符串的东西。
dmesg -w | grep mixdev retweeted
最近有一个挺难受的感触：agent 让我同时推进了远超过去规模的项目，oral paper、基模实习、极限加速的方法，结果都不错，但我好像很久没有真正学到东西了。
以前我一直坚信边做边学，写代码、debug，被一个问题卡住，顺着它往下挖，慢慢就懂了（我曾经真是身边人中使用 debugger 最溜的那个）。
现在卡住了就交给 agent，回来时问题已经解决，我也切去看另一个项目了。最后代码能跑，指标达标，但好多状态机我没理清，corner case 我没亲手修过，甚至还得回头读懂“我做的项目”的代码。
我依旧忙得要死，却很久没有进入过那个专注到忘记时间的 zone。
说起来也不全是进度逼的，我自己也越来越习惯这种轻松得到结果的感觉，不愿意静下心啃东西了。
我当然不想回到所有代码都得手写的时代，但开始意识到，过去那套靠项目顺便学习的方法，现在可能真的不够了。
有些时间得专门留给自己，学基础、手操、把一个复杂问题想到底，不然项目越做越多，我可能还是停在什么都懂一点、什么都没懂透的地方。
这和我当初想做的事，差得还很远。
drewjin.github.io/blog/2026/…
dmesg -w | grep mixdev retweeted
巴黎 Kernel Recipes 介绍Linux内核Swap与内存回收机制回放出来了，演讲信息有点紧凑，Slides比较详尽，应该是目前介绍这些最全面（之一？。二次激活LRU，Swapcache与重构，MGLRU等有不少文章介绍，但几乎没见到过讲设计背后原理和缘由的，这里则把来龙去脉未来演进都梳理了🤓
kernel-recipes.org/en/2026/s…
dmesg -w | grep mixdev retweeted
Post-modern era Hackintosh is probably about:
1) Find a CPU with 16KB page granular
2) Find a CPU with reasonable enough extension sets
Unfortunately for 8cx Gen 3 you die at (2, FEAT_SHA3), and Elite X1 don't have (1), and I don't want to buy GB10
