欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Huihoo and Yihan
祎涵为灰狐10岁生日送上的祝福,在此,对她表达深深谢意。
《灰精灵 自由飞歌》
新世纪的橙色
暖醒 沉睡的绮梦
跟随 千年的足迹
理想在梦境 闪动
展开稚嫩的透明翅膀
灰精灵 腾空飞越
托举起 引领世纪的创想
在梦的星空 决策
高雅的外表 柔和的色泽
淡定 自豪 从容 平和
犹如回眸的
那一丝甜美的微微笑
柔媚着 醉了
悄然凝视的眼波
定格 千年的等待
在世纪的动车里 融合
闪动的羽翼
捕捉 万变的信息
汇成 字字珠玑
让一份畅想的自由
在更加开放的
互联空间穿梭
完美着<IT>信息领域
日新月异的 转折
携手同行 协作的理念
让自由 飞扬在更广阔的世界
撷取 成功后的殊荣
洗礼 在心灵里检阅
灰精灵的心愿
开源走近生活 让方便 更快捷
引领他 带给我 贴近你
分享 看得见的那份儿 快乐
走过世纪的十分之一
自由在开放里延续
怀揣宏远的理想
日渐丰盈着羽翼
在次次的风雨中 挺立
献身 载满爱和激情的
公益活动
下一个十年 飞跃
灰精灵 在开放的
快乐里飞扬 自由里徜徉
十年的风雨 苍伤里坚强
十年的梦想 百年里辉煌
精灵的翅膀 遮住太阳
羽化的灰狐
理想和爱心双飞
在成歌的海洋
《远眺的华彩 你最美的舞台》
崭新的世纪元年,年轻的心在暖阳下激荡。承载着太多人辉煌梦想的开端。在橙色的梦想里,燃烧着的炙热情怀,把未来烘烤得澎湃。向往中期盼的美好,时刻充盈着每个人内心的激情。搅动翻卷的心海狂澜。
创业——创想里腾飞的一份理想的伟业。
找寻里坚定属于自己的路,执着于脚下,踩出坚实的基础。
梦想——成就伟业的起点。
一个精灵,载着神圣的使命,沐浴在云兴霞蔚般的憧憬里,在这样一个具有特殊纪念意义的美好时间——诞生!
2000,12,28,灰狐 http://huihoo,com 在互联的空间安家。
“回眸一笑百媚生”精灵展现着甜甜的笑容,眯起的笑眼成了一条缝儿。征服了“甜美”这个愉快里充满美好的词藻。刻印般镶嵌在灰狐深意识的直觉里,带给人永远的温情而暖意融融。
灰狐是精灵。平和里透着可爱,温情里裹着轻灵。携带着一份旺盛充足的精力,把一份份详细而又有计划的决策,掌握在运筹帷幄之中,如上紧的发条,开足的马力,在绮丽的星空下奔跑。在理想的国度里驰骋。
而崇尚自由、开放的理念,是它首要的追求。(Open Source)开源,主张在自由的空间开放,在开放的世界遨游。更多的你,在更好的它的牵手下,工作会轻松,生活充满乐趣,学习在简单方便里找寻一份别样的快乐。(Open Souice)开源,让两者合二为一。
协作的意义,会让更多的人,有更好的机会来共同参与。又是灰精灵发自心底的愿望。携手同行,共享辉煌。拥有团队的力量,体验成功后发自内心满足而又欣慰的笑意。
精灵的翅膀,会成为指引你找到成就理想的方向,一起写书,在线出版。把内心的狂热、柔情倾泻在美好的文字抒怀。一起募集资金,爱拍电影。让自己的星梦在遥远的幻想里走进现实,演绎你最动人的表情。充实着自己人生的激动。一起创作并演唱自己的音乐。唱出你最真实的柔情,放怀心灵深处的歌声。
而献身于环保和公益,让精灵的翅膀在欢快的闪动中,激情难抑。因为这将成为所有努力的最终意义。把一颗爱心放在圣洁的双手,无私的梦会腾飞于灵魂深处。
让我们的小家洁净。让我们的国家洁净里温馨。呵护我们的地球母亲,同呼吸蔚蓝下的纯净,灰精灵毕生追求着的美好心愿。
爱心也会在无私的奉献里传递。“赠人玫瑰 手留余香”,感受那份付出的愉悦和舒畅。让我们携起手吧,在灰精灵散播的这份爱的海洋,把诚挚的一颗心,交付无私的给予,你的人生会圆满的无悔无愧。
走过不平凡的十年。灰狐的媚笑,在十年的风雨里依然闪耀。带着对美好未来的一份希冀,携着十年里创想的辉煌业绩,把更宏伟的一页再掀起。让自由的理想在未来的征程上、开放的互联里、协作的牵手下、分享的快乐中继续。
落入灰色眼眸的旖旎,谱成华彩的乐章响彻国际。
这是祎涵亲手制作送给灰狐的礼物,弥足珍贵。