欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
黑客马拉松/编程马拉松(hackathon,又译为骇客松),又称骇客日(hack day)、骇客节(hackfest)或编程节(codefest),是一个流传于黑客(hacker)当中的新词汇。