太好玩了 z3-solver https://www.arealme.com/luck-test/cn/ 这个网站是用 Math.random() 来抛随机数的，而众所周知， Math.random() 不是密码学安全的，它在 v8 用的是 xorshift128+，它很快，但是所有运算都是线性的 于是我们可以用 z3-solver 通过几个随机数求解出其内部 state，然后算出接下来一段时间内的随机数 一直知道可以这么干，今天终于实践了一下（

DeepSeek V3.2 来了 https://mp.weixin.qq.com/s/ohsU1xRrYu9xcVD7qu5lNw 看了下技术报告，主要还是 DSA 那套，不过性能有提升 正好试用一手（

https://anuneko.com/ 一觉起来发现米哈游在做 LLM，字节在做手机 业务是这样拓展的吗（