2010/10/17

[facebook digest] The fall and redemption of IXUS 200 IS

  1. We can use LOOKMANO instead of OPTIONS when specifying Agda pragmas? What does LOOKMANO mean?    [2010-10-10 18:03:06 +0100]
    • Josh Ko ⇒ And then it seems the word doesn't matter at all. It can even be omitted.    [2010-10-10 18:04:21 +0100]
    • Josh Ko ⇒ No, I was entirely wrong. It didn't seem to matter because it was an ordinary comment...    [2010-10-10 19:52:40 +0100]
  2. Now we have a potential clash between lectures and classes...    [2010-10-11 08:55:01 +0100]
  3. A fire alarm went off and I got out of the house after a bit of hesitation. Fortunately it's a false one. We've still got our house.    [2010-10-11 21:36:44 +0100]  [ 1 人說讚！]
  4. While I was finding my way to Lecture Theatre B, I realised Comlab is not maze-like - it *is* a maze.
    昨天找 B 講堂途中，我頓悟到 Comlab 並不是像迷宮 — 它根本就是迷宮。    [2010-10-12 09:09:03 +0100]
    • J******** ⇒ Is it likes the building in harry potter?? Except the moving stairs. XDXD    [2010-10-12 22:13:33 +0100]
    • Josh Ko ⇒ Perhaps close to that. I would suggest you pay a visit to grasp the complexity of the building. XD    [2010-10-12 22:20:05 +0100]
  5. "Because the theory is foundational we should not expect a formal explanation of it. If we were to give a formal explanation of the theory then we should be appealing to another theory. Then that would be a better theory to use as a foundation." - Neil Leslie, Just What is it that Makes Martin-Löf's Type Theory so Different, so Appealing?    [2010-10-12 11:48:47 +0100]
    • Josh Ko ⇒ This note turns out to be not so useful (to me).    [2010-10-12 11:58:42 +0100]
  6. 找檯燈找了整個晚上，唯一很喜歡的卻好像從 UK 市場消失了⋯ ↦ Z-BAR High Power by Koncept    [2010-10-13 09:54:49 +0100]
  7. bought a desk lamp online with his debit card and the shopping website crashed when he was leaving the payment page and being redirected back to the website. The money has been debited, but fortunately they immediately confirmed the order after he made an inquiry.    [2010-10-13 11:10:06 +0100]
    • 王** ⇒ 網上標價有標錯嗎？比如說少一個零之類的XD    [2010-10-13 14:34:31 +0100]
  8. The scaffolds outside my window are being removed.    [2010-10-13 14:20:54 +0100]
    • 王** ⇒ how's the view? XD    [2010-10-13 14:35:21 +0100]
    • Josh Ko ⇒ Nice. (The scaffolds are not completely removed yet.) XD    [2010-10-13 20:11:38 +0100]
  9. Per Martin-Löf. Truth of a proposition, evidence of a judgement, validity of a proof. Synthese 73(3), pp 407 - 420, December 1987. This one is really useful.    [2010-10-13 14:23:05 +0100]
    • Josh Ko ⇒ "What is characteristic of this whole analysis, intuitionistic or verificationistic analysis, of the notions of proposition and truth is that the notion of proof of a proposition is conceptually prior to the notion of truth."    [2010-10-13 14:30:28 +0100]
  10. I dropped my camera and the lens got stuck halfway... No idea how expensive it would be to do a repair here in the UK yet.    [2010-10-14 02:02:27 +0100]
    • 王** ⇒ 囧    [2010-10-14 03:48:23 +0100]
    • Josh Ko ⇒ It seems the cost of fixing the camera can be as expensive as getting a new one in the UK (since the lens are likely to be replaced). But I think I am going to have it fixed anyway...    [2010-10-14 10:21:58 +0100]
    • L********* ⇒ 如果價格差不多的話還是買新的比較好吧？修過的和新品保固差滿多的…    [2010-10-14 15:59:09 +0100]
  11. IXUS 200 IS 現在的慘況。 ↦ http://www.facebook.com/photo.php?fbid=134445276608018&set=a.126799950705884.40277.100001276392360    [2010-10-14 10:43:35 +0100]
    • 賴* ⇒ 用枕頭的貓拳吧!!!    [2010-10-14 17:34:33 +0100]
    • 翁** ⇒ 看來只好拿鐵鎚敲了@@"    [2010-10-14 18:13:06 +0100]
  12. Creative GigaWorks T40 Series II 也太大隻了吧，毫無疑問是我有史以來最高檔的喇叭⋯（XOO 專業推薦果然不一樣 XD。）    [2010-10-14 15:47:38 +0100]  [ 1 人說讚！]
    • L********* ⇒ 印象中這對破5k NTD… XD    [2010-10-14 15:55:56 +0100]
    • Josh Ko ⇒ 在英國買打六折！XD    [2010-10-14 16:02:49 +0100]
    • L********* ⇒ 有這等好事？免稅也沒有差這麼多吧 @@    [2010-10-14 16:12:19 +0100]
    • Josh Ko ⇒ 或許台灣進口比較貴吧，我這邊買含稅含運 £70.10。    [2010-10-14 16:13:34 +0100]
    • L********* ⇒ 天啊！差這麼多… 台灣的東西好像總是比國外貴 = ="    [2010-10-14 16:49:36 +0100]
    • L************** ⇒ 也是有例外啦，Grado RS-1 在台灣賣 NTD$ 20k, 在英國要賣 £800。害我都想在台灣買來賣 ...    [2010-10-14 17:01:23 +0100]
  13. deposited £500 cash into his bank account, entering the plastic money age.
    把 500 鎊現金存進銀行，進入塑膠貨幣時代。    [2010-10-14 16:12:08 +0100]
  14. 真的掰回來了！Waiting is GOD!!! ↦ http://www.facebook.com/photo.php?fbid=134526939933185&set=a.126799950705884.40277.100001276392360    [2010-10-14 18:14:25 +0100]  [ 8 人說讚！]
    • 施** ⇒ 留學生無所不能XD    [2010-10-15 12:00:24 +0100]
    • Y********** ⇒ 太強了 XDDDDD    [2010-10-15 13:41:54 +0100]
  15. seems to better understand the way of justification of (Martin-Löf's) Type Theory.    [2010-10-14 20:36:10 +0100]
  16. The legendary Algebra of Programming group meeting to take place tomorrow!    [2010-10-14 22:41:21 +0100]  [ 2 人說讚！]
  17. The matriculation ceremony to begin at 8 am.    [2010-10-16 07:40:48 +0100]
    • J******************* ⇒ 我以為你下線了0.0    [2010-10-16 07:41:17 +0100]
    • Josh Ko ⇒ 你捎來訊息時我正在換裝 XD。    [2010-10-16 12:32:08 +0100]
  18. I have matriculated?    [2010-10-16 10:36:35 +0100]
    • S************ ⇒ HP+30, MP+30.    [2010-10-16 11:34:50 +0100]
    • Josh Ko ⇒ I followed people to St Catherine's College without knowing where they were heading for after Matriculation, and a few minutes ago I discovered that St Catherine's is in fact the newest college in Oxford. No wonder that its buildings are so modern. It's intriguing that a student in the oldest college (or at least one of the oldest colleges) just wandered to the newest one.    [2010-10-16 12:04:21 +0100]
  19. The Internet failed suddenly. I'll cross-check it's not a problem of my computer but I won't be online until the connection is fixed. (I am using my mobile typing this message, which is inconvenient.)    [2010-10-16 17:19:41 +0100]
    • P********** ⇒ You can share your mobile connection with your computer. XD    [2010-10-16 20:07:49 +0100]
    • E******** ⇒ XDDDDDDD I Do agree with the up-stair    [2010-10-17 00:53:07 +0100]
    • Josh Ko ⇒ My phone is not advanced enough to do that. XD    [2010-10-17 11:37:32 +0100]
  20. Yesterday evening I went to Mc Donald's for a Big Mac meal, which costed 3.99. I gave the clerk three 1s, four .20s, one .10, four .02s, and one .01. Fortunately the clerk just gave me a smile.    [2010-10-17 10:21:15 +0100]
    • 王** ⇒ greedy? XD    [2010-10-17 10:23:33 +0100]
    • Josh Ko ⇒ I've got .50s. I chose this combination because it maximises the number of coins. XD    [2010-10-17 10:34:28 +0100]
    • 王** ⇒ XDD so basically u're testing whether the clerk would be pissed off?    [2010-10-17 10:39:03 +0100]
    • 王** ⇒ BTW it seems that there are many types of coins to choose from when paying with GBP....    [2010-10-17 10:40:26 +0100]
    • L************** ⇒ a-ha. If you'd like to consume your conins, just go to any self checkout, throw all of them and then pay the remaiing by card.    [2010-10-17 13:29:16 +0100]
    • A********** ⇒ What an expensive smile.    [2010-10-17 14:16:05 +0100]
  21. 今天中午到 Comlab 交完作業，走出來看天氣大好，不如就到隔壁的 University Parks 晃一圈。結果令人驚豔，怎麼照都是風景。

    I went to Comlab and submitted my homework this noon. After that I stepped out of the building and the weather was extremely good, so I decided to take a walk in the University Parks. It was fascinating: you just took photos and they were automatically beautiful. ↦ University Parks    [2010-10-17 16:53:51 +0100]  [ 1 人說讚！]
  22. 網路回神啦。
    The Internet is back.    [2010-10-17 17:22:56 +0100]

Labels:

posted by Josh Ko @ 7:48 pm   0 項意見