欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Maker
来自开放百科 - 灰狐
{{SeeWikipedia|
Maker、创客、制造者
创客是一群酷爱科技、热衷实践的人群，他们以分享技术、交流思想为乐，以创客为主体的社区则成了创客文化的载体。 创客空间（maker space）就是结合不同自创客的外部能量，激发每个人的创造力。
随着《连线》杂志主编克里斯·安德森（Chris Anderson）的《创客：新工业革命》一书的热卖，这一人群随即引起了社会各界的目光。
项目
图集
链接
分享您的观点
