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