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

[1/3] 今天手把手教我的印度学生(女)用 Emacs(HOL4 的官方编辑器)。先用 Ctrl+@ 标记复制的起始位置,然后 Alt+w 复制,最后 Ctrl+y 粘贴。她问我为什么不都用 Ctrl?我通过演示单手操作的具体指法和键盘键位之间的垂直位置关系说明了这样设计的精妙之处。反正我自己是信了[拜拜] ​​​

Reply to this note

Please Login to reply.

Discussion

No replies yet.