2010/08/13

[facebook digest] No luck

  1. 不知道從哪冒出來的 toWitness after fromWitness 死死地擋住去路⋯    [2010-08-10 10:25:56 +0800]
    • Josh Ko ⇒ 才講完就成功把它掃在一旁(也是標準的扭來扭去扭出來但不知道為什麼)。    [2010-08-10 10:32:25 +0800]
  2. 住宿每天要 418RMB,開始覺得公雞學校好貴了⋯    [2010-08-10 11:36:19 +0800]
    • L********* ⇒ 蛤~ 這麼貴,我之前在上海也才住兩百多RMB    [2010-08-10 20:34:08 +0800]
    • L************** ⇒ 住哪一間啊 ...好貴啊。    [2010-08-10 21:48:27 +0800]
    • Josh Ko ⇒ 他幫我訂近春園,是不是很高級啊⋯?    [2010-08-10 22:33:22 +0800]
    • L************** ⇒ 近春圓漲價了 ...    [2010-08-12 09:07:29 +0800]
  3. Typings 另外寫比想像中還討厭一點。    [2010-08-10 11:39:31 +0800]
  4. 我定的 binary mixfix operators 顯示的時候 arguments 順序竟然被調換了,十分神祕。    [2010-08-10 11:44:31 +0800]
  5. 要把 typing 到一半的 states 全寫出來實在有夠難⋯    [2010-08-10 16:06:25 +0800]
    • 陳** ⇒ 應該很雜很煩,而且容易出錯Orz    [2010-08-10 20:10:30 +0800]
  6. 路好像一條條被擋住了,糟。    [2010-08-10 17:11:20 +0800]
  7. 時間都耗在 Agda 的骯髒隱晦之處⋯    [2010-08-11 11:24:53 +0800]   [ 1 人說讚!]
    • S************ ⇒ Sigh...    [2010-08-11 21:52:18 +0800]
  8. 遇到 process definition 就是沒輒。    [2010-08-11 11:54:49 +0800]
  9. 噢,好慘。好像沒有太多事情可以做了⋯    [2010-08-11 15:57:16 +0800]
    • L********* ⇒ 有,做好心理準備 XDD    [2010-08-11 22:08:27 +0800]
  10. 現在好像只要有路可以走就該感激不盡啦 XD。    [2010-08-11 16:47:34 +0800]
    • 陳** ⇒ 那我們來去散步吧(揍飛~    [2010-08-11 17:10:56 +0800]
  11. 第二次貼文到 Agda mailing list 上,不知道有沒有人會理我⋯    [2010-08-11 17:29:57 +0800]
  12. 把衣服收進來,幾秒鐘後就馬上下大雷雨。    [2010-08-11 18:20:34 +0800]
    • 陳** ⇒ 真幸運XD~    [2010-08-11 18:21:59 +0800]
  13. Typeless terms 推進到第四版,演化速率驚人。    [2010-08-12 10:11:17 +0800]
  14. 看到 DinBenDon 上面的團購資料,突然好想來玩 Access XD。    [2010-08-12 10:35:18 +0800]
  15. Good chance to succeed this time!    [2010-08-12 11:31:34 +0800]
    • Josh Ko ⇒ Not so good actually...    [2010-08-12 12:00:48 +0800]
    • S************ ⇒ Then we need.. good luck?    [2010-08-12 12:02:33 +0800]
  16. Checked, but it's actually not very good news...    [2010-08-12 12:15:59 +0800]
  17. 就直接從第 3 版接下去嘍!    [2010-08-12 14:10:33 +0800]
  18. 瘋狂打雷中⋯    [2010-08-12 14:13:20 +0800]
    • Y********** ⇒ 我家這邊已經打完了...    [2010-08-12 21:46:27 +0800]
  19. 太樂觀了,no luck at all...    [2010-08-12 15:00:17 +0800]
    • Josh Ko ⇒ Perhaps a liiiiiiiiiiittle bit of luck still remains.    [2010-08-12 15:11:19 +0800]
    • Josh Ko ⇒ No luck. XD    [2010-08-12 15:37:35 +0800]
    • L*********** ⇒ to lock or not to lock, that is... (拖)    [2010-08-12 19:56:37 +0800]
  20. 公雞學校說「我刚留意到您是台湾籍,十分抱歉学校只能为境内学员提供免费住宿。」剛才發現後來補了一封「不好意思刚有笔误,学校只能对内陆学员提供免费住宿。港澳台同胞需要预定宾馆住宿。」「境內」、「內陸」分得真明⋯    [2010-08-12 16:34:17 +0800]   [ 1 人說讚!]
    • 賴* ⇒ 為啥台灣政府對大陸生這麼好...真牛b    [2010-08-12 16:44:25 +0800]
    • 陳** ⇒ 內陸? 明明就是南投...    [2010-08-12 17:04:37 +0800]
    • L************** ⇒ 跟他們說英文啦。XD    [2010-08-12 18:33:47 +0800]
    • Y********** ⇒ 稱人家「同胞」卻連住宿都沒有...(搖頭)    [2010-08-12 21:30:40 +0800]

Labels: