https://bgm.tv/group/topic/353822
低成本项目都是靠薅大公司羊毛的（确信

vd = VoidDuck()
vd.__class__.__getattr__ = lambda self, key: None
assert VoidDuck().item is None

套个 CF 罢

@mxalbert1996 #14 （好的……

@lostpg #9 各平台的宋体只是宋体的一种实现，而不是宋体本身，宋体说的就是有缀线的国标字形。除了自带的（同时也是各平台相关的）宋体外还有思源宋体等等，只要符合国标笔画结构和大致形状都是宋体。黑体同理。
这和日文明朝体不同，那是特定字体。

宋体就是 serif，黑体就是 sans (sans-serif) 啊
并不是特定的某种字体，而是一 “族” 字体。幼圆也是黑体。

1. 考虑 xelatex
2. 考虑生成后再重新去解析 PDF （脏

arch 默认 py3，py2 还得手动安装（
话说前段时间的 NSA 内部 Python 教程，安装就是说用 conda 或者另外一个好像是 PyEnv ？

@Nostalgiaaaa #4 我跑题了……
我主要是觉得：知道 AST 是什么，却不知道 AST 是个超脱于特定语言的概念挺神奇的。

说到底有政策就有对策罢了，不存在银弹，全是猫捉老鼠的事。

突发奇想，有个看上去挺可行的办法
学历同时把必修、选修的所有科目列上来。通常直接导出绩点表就行（可以去掉具体成绩）。这大概能卡住一半造假的了，同时也可以看到在校有多少代码相关的实际操作。
灵感是 Joel on Software 里面提到要一份程序员工作，选课尽量选带拉丁文的 “练习” 这一个词的，既能得到锻炼，名字也够高大上。
英语环境能用拉丁文来高大上可真方便啊（

@reus #39 卖啊，模型、舰 C 、balabala

@triangle111 #1 直接把讨论 lowB 化了还行……
AST 就是个 PL 的概念，除了超一维的语言和花指令写不出 AST 以外，哪个语言没有 AST ？
Lisp 都被人吐槽 “不就是手撸 AST”

@mjikop1231 #14 PAN （

证明题反而是小儿科了，形式化证明的手段在第一阶段 AI 研究专家系统的时候已经玩烂了
latex 格式描述不靠谱，建议 DSL 。Latex 表示同一个公式有数百种代码天差地别但渲染结果仅仅只有些微差异的写法，不如用 Wolfram Alpha 的形式化。
不如说理科不是有 Wolfram 在做了吗？还能自动出题，虽然没用过……

主观题不太可能，除非是某些科目的 “主观” 题。
训练个模型没问题，但你如何保证其没有在某些位置上发生过拟合或者拟合不足？

草还能给 C++ 加上 gc

> 看官网能学到真正可以实战的知识和大量细节
实战知识和大量细节都不是能够 “学” 到的，都是 “习” 出来的。

这个甚至可以混杂 f-string r-string 甚至 three quote string
print("normal string\n"
r"r-string, but \n is just \n" ", for LF use another normal string at end\n"
f"f-string, {2+3=}\n"
f"""three-quote f-string{ " ".join(str(i) for i in range(10)) }""")