摸摸, 不哭, 下次怼回去, 不要受网友气了

2022 年只用 Gitlab 就可以了, 真么必要用 gerrit 和 jenkins.

你别把面试当成考试而是当成相亲, 甲之蜜糖，乙之砒霜. 像我比较在乎别人的代码能力, 而我的同事喜欢招学历高奖状多的人.

什么论坛? 想看它们的答案

老项目跑不起来不能升级说明换工作的时间到了

我用 17 还开模式匹配, 但是不用 spring

The most familiar measure of dependence between two quantities is the Pearson product-moment correlation coefficient (PPMCC), or "Pearson's correlation coefficient", commonly called simply "the correlation coefficient".

没有
没有
去考公, 评价期望薪资的方法, 如果做过游戏的话很简单, 看想进公司的游戏, 了解它们的技术栈, 估计一下游戏的成本, 自己每个月能完成的部分 /税率就是你的期望薪资.

试着翻译文档, 如果英语不好可以尝试已有翻译的文档, 或者熟悉语言 sdk 的注释文档

写协议, 比如用 bt 协议 Sybil Attack 自己

外键只是一个运行时保险丝, 编码时还是要捕捉外键抛出的异常. 无论是不是使用外键, 问题应该要在测试时暴露出来. 也就是说外键不会减少工作量, 也不会减少 bug, 只是能降低 bug 的影响.

另外, 本来想打一堆字的, 不过 tricks 太恰当了.

没有权重, 说明不够难. 带权重的图应该是日常会用到最难的

你是不是想只要有实体类 Entity, 就可以 @Autowired 注入 BaseMapper<Entity> 然后统一使用 LambdaQueryWrapper?
这样的话有两个步骤, 根据 Entity.class 生成 EntityWapper implements BaseMapper<Entity>, 将 EntityWapper 注入到 Spring. 现在的进展如何了?

leetcode 就是大量的测试用例. 不过这个答案 OP 可能不想听.

可以参考 https://www.lix.polytechnique.fr/Labo/Samuel.Mimram/teaching/INF551/course.pdf

But how can we achieve this goal of applying techniques of proofs to programs?
It turns out that we do not even need to come up with some new ideas thanks to
the so-called proof-as-program correspondence discovered in the 1960s by Curry
and Howard: a program is secretly the same as a proof! More precisely, in a
typed functional programming language, the type of a program can be read as
a formula, and the program itself contains exactly the information required to
prove this formula. This is the one thing to remember from this course:
PROGRAM = PROOF

简译:
怎么校验程序.
感谢 Curry 和 Howard 在 1960s 发明的证明(名词)作为程序的对应关系, (我们不用充钱买 IDEA 了(划掉)):
程序和证明(名词)其实是一样的!
准确地说, 一个有类型的函数式编程语言, 程序的类型可以看成是公式, 而程序的存在就是这个公式所需的证明(动词).
只需记住一点就是:
程序=证明(名词)


对了, 这本书的导论的第一节的标题就是 Proving instead of testing(证明而不是测试)

post 一把梭有一个厉害的名字叫做 "rpc style", 时髦值不在 "restful" 之下. 你的同事没你有信仰, 建议帮他觉醒成 rpcist, 然后你作为 restist 和他打一架, 谁赢了听谁的.

success, unsuccess