哲学

梁公-问题的专注者

为什么要想到要写关于梁公的故事和著作,因为他真的是以 一个学者的心态在思考着社会、国家、学问等事情。从14岁起, 他的脑袋就开始因为一个又一个问题链,有了问题就开始解决问题。
… 阅读全文>>

伟大的范畴理论

范畴理论是数学上的一种新的语言和框架结构. 对于程序员来说,它是另一种思考方式,一种极度有效的方式来提取规律(Extremely efficient for generalization) Programming is doing Math.编成的工作其实就是数学的工作。 范畴是一种表达事物(things) 和路径(ways) to go between things. 这可以参考thinking like a git,因为他也是一种基于范畴理论, 而延伸出来的实际产物,方便程序员对于development的管理。
… 阅读全文>>

语言抽象

我们每天都在做的事情 1.打开电脑,找到我们要做的事情,保存我们做完的事情,提交,我们可能挨训,也可能加班 2.我们可能去打球,我们可能跟朋友、亲人聊天 3.我们可能在周末的时候,跟女朋友、家人去看电影,去郊游 4.我们可能去参加一些团体活动……
… 阅读全文>>

武见于坐


… 阅读全文>>