欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
帮助更多的孩子们学习和使用电脑。
帮助更多的孩子们学习和使用自由、开源的软件和游戏。
帮助更多的孩子们尽可能早的学习软件开发,这也可能改变偏远、落后地区孩子们的未来。
组织更多的自愿者去偏远、落后地区的学校,帮助他们提升计算机使用水平, 给他们带去一些书籍、可能的话通过捐款给他们带去一些电脑。
.....