欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Huihoo and Yihan
来自开放百科 - 灰狐
祎涵为灰狐10岁生日,写了首诗和散文。在此,对她表达深深谢意。
《灰精灵 自由飞歌》
新世纪的橙色
暖醒 沉睡的绮梦
跟随 千年的足迹
理想在梦境 闪动
展开稚嫩的透明翅膀
灰精灵 腾空飞越
托举起 引领世纪的创想
在梦的星空 决策
高雅的外表 柔和的色泽
淡定 自豪 从容 平和
犹如回眸的
那一丝甜美的微微笑
柔媚着 醉了
悄然凝视的眼波
定格 千年的等待
在世纪的动车里 融合
闪动的羽翼
捕捉 万变的信息
汇成 字字珠玑
让一份畅想的自由
在更加开放的
互联空间穿梭
完美着<IT>信息领域
日新月异的 转折
携手同行 协作的理念
让自由 飞扬在更广阔的世界
撷取 成功后的殊荣
洗礼 在心灵里检阅
灰精灵的心愿
开源走近生活 让方便 更快捷
引领他 带给我 贴近你
分享 看得见的那份儿 快乐
走过世纪的十分之一
自由在开放里延续
怀揣宏远的理想
日渐丰盈着羽翼
在次次的风雨中 挺立
献身 载满爱和激情的
公益活动
下一个十年 飞跃
灰精灵 在开放的
快乐里飞扬 自由里徜徉
十年的风雨 苍伤里坚强
十年的梦想 百年里辉煌
精灵的翅膀 遮住太阳
羽化的灰狐
理想和爱心双飞
在成歌的海洋
分享您的观点