Global Feed Post Login
Replying to f6XF

[1/3] 我本来是不会写 Python 的,但现在赶鸭子上架也能写点儿了,毕竟每月付给我两千欧元(然后我只花了一小半时间在工作上)。我现在只会写单个 Python 3 脚本,并且只引用 Python 标准库。我把 Python 解释器当做一个代码执行的平台,就是说但凡编译期能固定下来的数据都用 Lisp 代码把这些数据直接输出到 Python 文件里作为全局列表,然后 Python 代码启动后第一件事就是在内存里建一个 SQLite 数据库把所有数据狠狠地插进去,接下来的计算尽可能地用 SQL 查询来表达,SQL 语句和正则表达式都可以在 Lisp 代码里完成开发调试,然后直接拿到 Python 下面去用也不会错。我只能说凑合着用吧……

29
f6XF 1y ago

[3/3] 终于完成了圣诞节至今卡住的一个阶段性工作,提交了将近 2000 行新代码——其中一半是在国内期间完成的。现在导师已经相信这个工作的难度前所未有了,因为我已经把他之前的相关代码量给翻倍了,而且我遇到的几乎每个新定理的证明都超长。试用期肯定没问题了,下周开始我要教书了(讲 HOL 定理证明器用法和形式化概率论)。

Reply to this note

Please Login to reply.

Discussion

No replies yet.