Now: The good news is that writes to the in-memory store are linearizable. There’s some bad news, however. Proving linearizability of a system is usually an arduous task; I did not need to whip out TLA+ to do it here. Here it is trivially provable. Because the system is, well, a hash table with a lock in front of it.
Read full article
。新收录的资料对此有专业解读
这是本次实验中最没有预料到、但可能最重要的发现。在案例 3 的 24 次编造中（DeepSeek-chat 6 次 + GLM 关思考 6 次，两个 A/B 组），以及 24 次拒绝编造中（DeepSeek-Reasoner 6 次 + GLM 开思考 6 次），推理模式的开关完美预测了结果。这个变量甚至比身份设定本身更具影响力——推理模型即使被赋予了专家身份，也不会轻易编造。
Current employee
，更多细节参见新收录的资料
第五十四条 境外个人和组织利用网络向中华人民共和国境内实施诈骗、赌博、传播淫秽物品等犯罪活动的，对其犯罪所得及利用犯罪所得投资的企业、有价证券、不动产等资产，应当依法查封、扣押、冻结；经人民法院审理，可以依法没收。有关主管部门可以作出限制其在境内直接或者间接投资的决定。，更多细节参见PDF资料
CatalyzeX Code Finder for Papers (What is CatalyzeX?)