欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Openmoko
| 第3行： | 第3行： | ||
[[Image:neo-front.gif|right|neo]] | [[Image:neo-front.gif|right|neo]] | ||
| + | Openmoko 是一个Linux 的套件，它被设计为一个开放式的计算平台，透过这个平台，使用者可以自行开发客制化的程序，或者，透过开放式的特性，下载及安装社群中所开发的项目。因此，Openmoko这个开放式的平台所代表的，并不仅止于「手机」这项功能。 | ||
| + | |||
| + | Openmoko 也是Openmoko Linux 套件的开发公司名。Openmoko开发团队，除了不断的开发软件外，同时也制造供软件平台执行的手机，如 Neo FreeRunner，即为目前最新的手机产品。 由于Openmoko 所具备的开放特性，因此，在FreeRunner平台下，您可以执行不同的Linux套件，如Google 的[[Android]] 、SHR、[[Debian]]…等。 | ||
[[Image:neo1973.jpg|right|thumb|neo1973]] | [[Image:neo1973.jpg|right|thumb|neo1973]] | ||
| + | |||
| + | Openmoko 的开放特性，除了表现在提供完整的开放源码Linux 套件，让开发人员共享及共享，透过开放机构及CAD档案，Openmoko 更能集思广义，提供创新概念的行动装置产品。 | ||
| + | |||
| + | Openmoko的首支手机是Neo 1973，在2007年份首卖，目前最新的产品FreeRunner，已量产出货，您可以在Openmoko直营的网络商店 购买Openmoko的手机。中国地区的用户，目前可透过中国区的代理商，购买FreeRunner，或者，您可以透过Group Sale团购的方法，取得手机。 | ||
==Links== | ==Links== | ||
*http://www.openmoko.com/ | *http://www.openmoko.com/ | ||
2009年7月13日 (一) 15:34的版本
OpenMoko is a GNU / Linux based open software development platform. Developers have full access to OpenMoko source and they can tailor their implementations to underlying hardware platforms.
Openmoko 是一个Linux 的套件，它被设计为一个开放式的计算平台，透过这个平台，使用者可以自行开发客制化的程序，或者，透过开放式的特性，下载及安装社群中所开发的项目。因此，Openmoko这个开放式的平台所代表的，并不仅止于「手机」这项功能。
Openmoko 也是Openmoko Linux 套件的开发公司名。Openmoko开发团队，除了不断的开发软件外，同时也制造供软件平台执行的手机，如 Neo FreeRunner，即为目前最新的手机产品。 由于Openmoko 所具备的开放特性，因此，在FreeRunner平台下，您可以执行不同的Linux套件，如Google 的Android 、SHR、Debian…等。
Openmoko 的开放特性，除了表现在提供完整的开放源码Linux 套件，让开发人员共享及共享，透过开放机构及CAD档案，Openmoko 更能集思广义，提供创新概念的行动装置产品。
Openmoko的首支手机是Neo 1973，在2007年份首卖，目前最新的产品FreeRunner，已量产出货，您可以在Openmoko直营的网络商店 购买Openmoko的手机。中国地区的用户，目前可透过中国区的代理商，购买FreeRunner，或者，您可以透过Group Sale团购的方法，取得手机。
