欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
OSCC Support
来自开放百科 - 灰狐
2006.07.18, Huihoo获得开源中国社区赞助的服务器空间: IA-64架构, 双CPU, 8G内存的配置.
CPU信息
/proc$ more cpuinfoz
processor : 0 vendor : GenuineIntel arch : IA-64 family : Itanium 2 model : 1 revision : 5 archrev : 0 features : branchlong cpu number : 0 cpu regs : 4 cpu MHz : 1500.000000 itc MHz : 1500.000000 BogoMIPS : 2239.75
processor : 1 vendor : GenuineIntel arch : IA-64 family : Itanium 2 model : 1 revision : 5 archrev : 0 features : branchlong cpu number : 0 cpu regs : 4 cpu MHz : 1500.000000 itc MHz : 1500.000000 BogoMIPS : 2239.75
内存信息
/proc$ more meminfo
MemTotal: 8306208 kB MemFree: 7448032 kB Buffers: 126656 kB Cached: 358384 kB SwapCached: 0 kB Active: 402480 kB Inactive: 260096 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 8306208 kB LowFree: 7448032 kB SwapTotal: 1953088 kB SwapFree: 1953088 kB Dirty: 96 kB Writeback: 0 kB Mapped: 235904 kB Slab: 95872 kB Committed_AS: 420880 kB PageTables: 4848 kB VmallocTotal: 137429633024 kB VmallocUsed: 5408 kB VmallocChunk: 137429626672 kB
Linux版本
/proc$ more version
Linux version 2.6.8-1-mckinley-smp (dannf@biglpk) (gcc version 3.3.5 (Debian 1:3.3.5-2)) #1 SMP Thu Nov 25 16:41:15 MST 2004
在此感谢开源中国社区对Huihoo的支持 :)
分享您的观点