欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Linux
来自开放百科 - 灰狐
（版本间的差异）
| 第24行： | 第24行： | ||
*[[LinuxWorld San Francisco 2006]] - http://www.linuxworldexpo.com/live/12/events/12SFO06A | *[[LinuxWorld San Francisco 2006]] - http://www.linuxworldexpo.com/live/12/events/12SFO06A | ||
| − | + | ==Linux资源== | |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | == Linux资源 == | + | |
*[http://www.tldp.org Linux文档计划] | *[http://www.tldp.org Linux文档计划] | ||
*[http://www.kernel.org Linux内核官方网站] | *[http://www.kernel.org Linux内核官方网站] | ||
| 第43行： | 第33行： | ||
*[http://www.howtoforge.com/ HowtoForge is the source for Linux tutorials] | *[http://www.howtoforge.com/ HowtoForge is the source for Linux tutorials] | ||
| − | == | + | ==中国的Linux发行版== |
*[[Redflag|红旗(Redflag) Linux]] ([http://www.redflag-linux.com 官方网站]) | *[[Redflag|红旗(Redflag) Linux]] ([http://www.redflag-linux.com 官方网站]) | ||
*[[Xteam|冲浪(Xteam) Linux]] ([http://www.xteamlinux.com.cn/ 官方网站]) | *[[Xteam|冲浪(Xteam) Linux]] ([http://www.xteamlinux.com.cn/ 官方网站]) | ||
| 第49行： | 第39行： | ||
*[[Magic|Magic Linux]] ([http://www.magiclinux.org/ 官方网站]) | *[[Magic|Magic Linux]] ([http://www.magiclinux.org/ 官方网站]) | ||
| − | + | ==中国Linux社区网站资源== | |
*[http://www.linuxdby.com Linux大本营] | *[http://www.linuxdby.com Linux大本营] | ||
*[http://www.linuxforum.net 中国Linux论坛] | *[http://www.linuxforum.net 中国Linux论坛] | ||
| 第71行： | 第61行： | ||
*FreshDot IRC: irc.freshdot.org 6667 #Linux | *FreshDot IRC: irc.freshdot.org 6667 #Linux | ||
| − | == Linux书籍 == | + | ==Linux书籍== |
| − | + | ||
2006年8月9日 (三) 19:36的版本
严格的说Linux指的是Linux内核。Linux内核是Linux操作系统（也叫做GNU/Linux）的重要组成部分。它最初的作者是芬兰程序员Linus Torvalds。但是人们常说的Linux往往是指各种Linux发行版。Linux的吉祥物是企鹅Tux。
目录 |
Linux发行版
- Debian GNU/Linux (官方网站)
- Ubuntu (官方网站)
- Red Hat Linux (官方网站)
- Fedora Core (官方网站)
- SUSE Linux (官方网站)
- openSUSE Linux (官方网站)
- Mandrake Linux (官方网站)
- Slakeware Linux (官方网站)
- Gentoo Linux (官方网站)
- Knoppix Linux (官方网站)
厂商与Linux
- Dell - http://linux.dell.com/
- Oracle - http://oss.oracle.com/
- IBM - http://www-1.ibm.com/linux/
- HP - http://linux.hp.com
- SUN - http://www.sun.com/software/linux/
Linux展会
Linux资源
- Linux文档计划
- Linux内核官方网站
- Linux新闻
- Linux程序下载中心
- Linux.com
- Linux Wiki
- HowtoForge is the source for Linux tutorials
中国的Linux发行版
中国Linux社区网站资源
- Linux大本营
- 中国Linux论坛
- Linuxsir黄嘴企鹅
- 中国Linux公社
- 中国Linux技术中坚站
- Linuxeden
- FreeWay 自由之路原创文档小组
- FreeWill 自由意志翻译小组
- Gentoo 中文文档集散地
- LFS 中文用户小组
- Fcitx 小企鹅输入法
- 北京大学Linux俱乐部
中国Linux社区IRC资源
- PCHOME #Unix IRC: irc.pchome.net 6667 #unix #geekbone.
- 中国Linux公社 IRC: irc.linuxfans.org 6667~6669 7000 #linuxfans #linuxer etc.
- LinuxFire IRC: linuxfire.dhis.org 6667 #linuxfire
- LinuxSir IRC: irc.linuxsir.org 6667 #linuxsir etc.
- 北大Linux俱乐部IRC: linux.pku.edu.cn 6667 #club
- FreshDot IRC: irc.freshdot.org 6667 #Linux
Linux书籍
分享您的观点
