#呼兰被公司福利套牢了#哦？小浣熊这是被套路了？[偷笑]#呼兰吐槽下午3点上班不一定是好事#？呼兰这波吐槽是不是又要成为李诞的新一波“福报”了[doge]不愧是wuli呼兰啊，让李诞的渡劫一波接一波！不过感觉下午上班可以错开高峰期，不用再人挤人、堵车是不是也挺好的？毕竟谁不想悠闲、美美的去公司hold住全场？大家觉得呢？

Wishing my daughter..I mean niece (lol) Sydney Jade the Happiest 6th Birthday
From the moment I held you in my arms, I knew you were going to be the bright, smart, energetic little lady you are today. You are growing before my eyes and I can’t wait to see what the future holds for you. Aunty loves you so much Babygirl!!!

[1/3] 英国有个计算机科学家叫 James H. Davenport。这个人曾经来过我们办公室（是我一个师兄的博士论文评审团主席），我当时还不认识他，但后来顺着名字查了一下就被惊到了。根据维基百科记载，此人 16 岁时就表现出极高的计算机天赋，曾经把 IBM 用于教学推广的 6 位低端计算机硬给改成了当时较为高端的 8 位机。他在算法领域虽然可能没有 Knuth 那么有名，但他在 CAS（计算机辅助代数软件）领域开发了 REDUCE（好像已经不常用了），也经历过 Symbolic Lisp 机时代，他的书也是用 LISP 给出示例代码的。但我真正想说的是，从他的书中可以看出，符号代数计算领域的两块重中之重分别是 “多项式化简” 和 “符号积分（原函数）”。众所周知，求导是一个相对简单的机械过程，求原函数那就得看经验和运气，但实际上是有高级算法的。我准备开始研究符号积分算法，目标是给 HOL 添加相关功能。这是个大项目，HOL 维护者也表示支持（废话，白给他干他当然愿意了）