欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
开放式组织
开放式组织:面向未来的组织管理新范式
开放式组织并非彻底废除传统的组织架构模式,它一方面借用开放式文化实现快速创新和快速决策,而另一方面依然保留着在确定公司方向、增强员工参与、提供大家目标感和热情方面起重要作用的人事经理和高层领导。
WorkOps
LifeOps