查找讨论
全部讨论
Tcl_Obj 的 shimmering 与解释器线程
嵌入 Tcl 的 C 这一侧，一张明信片就写得下。Tcl_CreateInterp、Tcl_EvalObjEx、Tcl_GetObjResult，跨边界的一切都是字符串。嗯，差不多吧。 Tcl_Obj 还会缓存一个内部表示。同一个值这里当列表用、那里…
接手的工作簿和 On Error Resume Next
随便打开一个接手来的工作簿，模块头下面的第一行几乎都一样。On Error Resume Next。不是包在某个有风险的调用外面，而是放在最顶上，管所有代码。 这是怎么来的，很容易想象。某人的宏因为运行时错误停了，另一个人把这行贴进去，宏不再停了，大…
partial def 下 #eval 得到 111，但 rfl 和 decide 都失败。有没有不依赖 ofReduceBool 的可检查路径？
我有个小的审计工具，toolchain 是 leanprover/lean4:v4.15.0。步数计数器是个 partial def，因为没人有终止性证明。 lake build 没有问题，#eval Audit.collatzSteps 27 得到…
你说的是哪个构建时间？
每个讨论拆 crate 的帖子，最后都会有人甩出一个构建时间。其实有两个，而且变化方向不一样。 干净构建指的是从空的 target 开始的全部过程。拆分可能会让它稍微变差，因为每个 crate 都带着自己的元数据，链接器还是得看到全部内容。编辑循环指…
协程 proposer 要 amber 却拿到 green，history 里只剩最后一块 tile
在给一个调色板小玩具做 tile 选择器（移动端应用，接触屏 UI 之前先用 lua main.lua 加一串脚本化的决定做无界面测试）。有两处不对劲，我分不清是一个 bug 还是两个。 1. 带 want = "amber"（调色板里第三个）的拒绝…
步数预算用完时，包装层该返回 NotFound 吗？
let loop = loop in if loop then Just 1 else Nothing 的类型是 Maybe Int，却既不是 Just 也不是 Nothing。类型并不能保证它能求出结果。一旦求值器在步数预算用完后停机，这就有关系了…
with-lenient-parse 记录了错误，但 SBCL 还是会进入调试器
我写了个宏，让 hosts 文件里的坏行被记录下来，加载继续往下走。完整代码如下。 parse-line 有一个 skip-line 重启，但我不确定有没有东西会调用它。输入格式是 name addr [port]，每行一台主机，我用 sh run.…
Java 把依赖声明了两遍，两份清单还会慢慢对不上
一个模块化的 Java 项目会把依赖描述两遍。构建脚本说明要下载哪些制品并放到路径上。module-info.java 说明这个模块 requires 哪些模块。没有任何东西强制两份清单一致，所以它们会慢慢对不上。 两种失败的情形并不对称。requi…
(x, x) 并不表示两半相等
学习者总把 OCaml 的 (x, x) 读成“两半相等”。其实不是，而且它根本不合法。 新手往往会想到两种说法。一种是第一个 x 给某个分量命名，第二个去和它比较。另一种是模式里的每个变量都引入一个新绑定，所以写两次 x 只是个错误。OCaml 要…
合并后的邮箱日志里的因果关系
一份合并后的邮箱日志写着 A1, B1, B2, A2，它能告诉你的比看上去的少。 A 先发 A1 再发 A2，B 先发 B1 再发 B2，只有一个接收者，都是普通消息。能保证的只有每个发送者各自的顺序，而这份日志满足这一点。B1 排在 A1 前面的…
f2py 每次调用都复制我的 C 序数组
通过 f2py 把 NumPy 数组传给 Fortran 子程序。数组是用常规方式创建的，np.zeros((n, m))，所以是 C 序。Fortran 要的是列连续。f2py 知道这一点，对于普通的输入参数，它会悄悄按正确的顺序逐元素复制一份。没…
eval 该不该回退到宿主全局变量？
rate 在 env 里绑定为 3 时，eval("rate + 1", env) 的结果就该是 4。编译期模式是这样，运行时模式是这样，每次都是这样。哪怕把一个叫 rate 的可变宿主全局变量改成 9，这个输入的含义也不该变。 这就是我想给这个实验…
M-expression 和 S-expression
McCarthy 最初那篇 Lisp 论文让记法承担了两个不同的任务，e 节正好能看到这两者是怎么分开的。函数先写成 M-expression，论文就是用这种形式向读者解释它们的。然后再翻译成 S-expression，这样一个函数就可以传给另一个函…
这个队列需要缓存个数吗？
调用方对这个队列问的只有一件事，就是 List.length items > 8，而且问得很频繁。这个队列就是一个不可变的 OCaml 列表，每次更新都返回一个新队列。现在有两个选项。带一个精确的个数，或者暴露一个阈值查询。 用 (items, co…
热循环里 try 和 catch unreachable 的对比，数字完全对不上
我在给 try parseLine(line) 和 parseLine(line) catch unreachable 计时，输入是大约 200 万条生成的 ts,level,bytes 行，对 bytes 求和。用 -Doptimize=Relea…
builder 升到 golang:1.25 后，pod 里 GOMAXPROCS 还是 32
已经用 golang:1.25 重新构建了，本以为运行时能识别到 2 个 CPU 的限制。pod 里还是打印 gomaxprocs=32 numcpu=32，而且每次运行 nr_throttled 都会涨几千。workers 从 16 降到 4，也只…
在 morph 还在动的时候改方法
我最喜欢在 Squeak 里做草图的一点，就是什么都不用重启。你创建一个 morph，给它发 startStepping，从那以后 world 会调用它的 step 方法，间隔是每 stepTime 毫秒。然后你打开它所在类的浏览器，改一下 step…
炸弹只杀掉一半敌人，而且 144 Hz 下玩家速度不一样
你好，我在做课程项目的小型俯视角射击游戏，用 Godot 4。有两个问题，可能是一个 bug，也可能是两个。 1. 炸弹。 玩家捡到炸弹，它会调用波次管理器上的 kill_all()。有 10 个敌人的时候，只死了 5 个。另外 5 个还在，这一波一…
interface 的 uses 子句算 API 的一部分吗？
Delphi 的 unit 本身就有一种拆分，其他语言还在不断重新发明。写在 implementation 之上的声明，对 use 了这个 unit 的其他 unit 可见，只写在它下面的东西，从外面连名字都引用不到。大家最容易低估的是 uses 子…
对 (total, count) 二元组用了 foldl'，常驻内存还是超过 1 GB？
我有个工作用的小工具（移动端应用），读取一份分析导出文件，是一个会话事件的 CSV，大约 600 万行，差不多 300MB，输出平均会话时长。结果是对的。但是跑完整文件时，我那台老 Intel MacBook 的风扇狂转，+RTS -s 显示最大驻留…
