鬼谷子留给我们的人性法则，永不过时的人生智慧，一定要收藏起来。

一：穷者重利，以利切入。跟没钱的人就不要谈啥理想愿景了，直接告诉他赚多少钱就行了。跟操心柴米油盐的人谈什么琴书画有啥意义呢？

二：弱者重尊，以谦切入，你求地位低下的人办事，你就要格外的尊重他，因为他最缺这个。

三：强者重果，以事切入。强者，不喜欢跟弱者打交道，也不喜欢说。你跟他交往，不需要太谦虚。别绕圈儿就事论事，直奔主题就行了，他们最反感的就是形式化的废话。所以他们只跟有结果的人玩，你就直接了当点儿，你想要什么，你能贡献什么，直接点就是他们想要的东西。

12星座周运--处女座 09.12-09.18
仅参考太阳星座

整体运势牌：正位-星辰+逆位-权杖侍从
本周可能会面临竞争或是不靠谱的提议、推销等，或是曾经的问题再度出现，但你会用一种新的方式（包括让第三方出面）劝退忽悠你的人，将问题解决。小部分人，可能会觉得有些事情刚有点儿希望，但很快又被打压（包括遇到竞争、无法跨越的阻碍）下去了。

事业：逆位-审判+逆位-圣杯6
本周事业可能会面临有点儿卡住的情况，之前存在的问题会再次出现，或是要面对来自同僚（同类公司）的竞争压力，但整体来说并不会对你的工作（职位），造成太大影响，只是可能会需要你与别人配合，或是在执行层面要听从别人的想法，让你感觉有点受限。还有人可能是终于认清了形式、现实，搞清楚了工作遇到的问题所在（包括想换工作的人），但现在还没有机会将它彻底解决。

学业：正位-宝剑2
本周在学业方面可能要面临别无选择，只能面对的情况，尤其是之前一些你一直拖延、犹豫不决的事情，现在你必须要去解决了。比如你要参加一个考试，之前一直拖着，现在到了deadline必须要去考了，不然就会失去一些资格等。

感情：正位-正义+逆位-宝剑7
单身的人，本周开始你会觉得自己处在比较被动的状态，之后会因获得别人的支持，而化被动为主动。比如有你不是那么喜欢的人追你，不过你会经过别人的帮助（也包括你有自己喜欢的人），而将这个人劝退；或是你的家人想要去你的相亲，你不愿意，最终有他人帮你解围。小部分人，可能是处在一个情感转移的过程中，用新的选择覆盖了旧的（令你不太开森）选择。
有伴侣的人，可能会因为一些事儿的归属权跟伴侣产生争执，或是对方会想要你去做一些你不愿意做，或与TA分享一些你不愿意与TA分享的事情，最终你会找到第三方或是用比较巧妙的方式来阻止伴侣对你的干涉。小部分人，可能在与对方诉讼离婚，你会得到第三方的帮助，达成你的目标。

财运：逆位-教皇+正位-星币骑士
本周有人可能会有赚外快的机会，还有人是要与别人分享你的财富（金钱），比较像是一种为了减少很大的损失而付出一些金钱的情况。小部分人要小心不要被别人“忽悠”或“蒙蔽”，导致花了一些冤枉钱。本周整体来说是“先进后出”的状态，或是不停的在防止自己的利益被别人侵占或流出，开始可能防止住了大的流失，但后面还是会防不胜防，失去一些。

本周使用：通用伟特塔罗牌
塔罗运势仅供参考
“向光而行 顺逆皆宜”

#星座# #处女座# #12星座# #塔罗# #大北塔罗周运#

[2/3] 我真是有点儿受伤，Lean 形式化数学定理库的膨胀速度实在太快了，我仅仅三个月没关注（一个月忙着搞 Acrobat 插件没写 HOL 代码），结果他们就把我搞了好几年的 “独立同分布随机变量强大数定律” 给搞完了。干这事的是一个法国数学家，他采用的原始论文跟我用的是一样的。由此可见我在定理证明领域的生产力也就那么回事，我这份博后工作也没什么可骄傲的，因为同行越来越多了，而且我用的还是缺乏大厂支持的小众软件（据说 Lean 开发者是从微软拿钱的，所以这个项目才能保持同时数百个 PR 在审，每天都有大量代码合并）。从个人发展的长远来看，计算机科学太 low 了，我要想实现人生价值，要么把梵语彻底搞明白，要么就得成为数学家。