欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Linux
来自开放百科 - 灰狐
严格的说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书籍
分享您的观点