[facebook digest] Slides

1. 床前明月光，疑是地上霜；舉頭望明月，低頭思故鄉。    [2011-07-13 23:20:28 +0100]  [ 4 人說讚！]
   • W************ ⇒ You can listen to "登彼岸"    [2011-07-18 15:38:17 +0100]
2. Dare I not raise the big question at the beginning of my talk?    [2011-07-14 23:18:54 +0100]
   • Josh Ko ⇒ I have to do so for WGP, I think; but for DTP it might be possible just to tell a story. Will do some experiments.    [2011-07-14 23:23:33 +0100]
   • Josh Ko ⇒ (Because not asking a question at the beginning can make the talk disorienting. The audience at DTP can be assumed to have more relevant backgrounds, though, so this might work for them.)    [2011-07-14 23:42:08 +0100]
3. Not sure if internalist dependently typed programming will succeed. If programs and proofs are to be composed simultaneously, wouldn't that violate the principle of separation of concerns? Is there some way to defend internalism (against the principle)?    [2011-07-15 21:46:44 +0100]
   • Josh Ko ⇒ Perhaps we just need both internalism and externalism. Program in the internalist way to show that the program is constructed with some sort of correctness in mind; prove afterwards in the externalist way that the program has other properties.    [2011-07-15 22:01:53 +0100]
   • Josh Ko ⇒ This is not entirely convincing, though.. I hope I won't have to make the conclusion in my thesis that internalism should be abandoned.    [2011-07-15 22:18:39 +0100]
   • J************* ⇒ Best of both worlds?    [2011-07-16 18:21:15 +0100]
   • Josh Ko ⇒ Yeah.. I guess that's the way to go.    [2011-07-16 19:36:05 +0100]
4. 《悲愴》的震撼至今尚未消散。    [2011-07-15 23:37:08 +0100]
   • W************ ⇒ 為何？    [2011-07-18 15:36:42 +0100]
   • Josh Ko ⇒ 可看我 blog.    [2011-07-18 15:37:51 +0100]
5. Gattai - sorted vectors!    [2011-07-16 15:28:27 +0100]
6. Killer effect of Keynote. ↦ Sorted vectors = sorted lists + vectors [HQ]    [2011-07-16 19:43:02 +0100]  [ 3 人說讚！]
   • 曾** ⇒ Magic Move!    [2011-07-16 20:07:51 +0100]
   • L************** ⇒ Cool!    [2011-07-16 21:00:12 +0100]
7. Kant's justification of faith (or the lack thereof) is comparable to the introduction of extensional substitution in observational type theory..    [2011-07-17 21:27:48 +0100]
8. 谷歌翻譯可以正確翻譯「傑瑞米長臂猿」耶 XD。    [2011-07-18 16:52:53 +0100]  [ 2 人說讚！]
9. "Haskell Curry (1900-1982): He worked in combinatory logic. There is a programming logic named after his first name! (see here). Sane!"
   
   ... "programming logic?" Interesting choice of term.. ↦ Computational Complexity: Disproving the Myth that many early logicians were a few axioms short of a    [2011-07-18 19:58:56 +0100]  [ 1 人說讚！]
10. The word "reify" does not appear in LDOCE (and spell checker)! Oxford dictionary includes it, though, and says it originated in mid 19th century — no wonder!    [2011-07-19 09:33:35 +0100]
11. Hmm.. Ornament composition is not yet a pushout in the present ornament language. Permutations of fields need to be taken into consideration. That can be messy...    [2011-07-19 19:37:58 +0100]
12. I dare not use the title "One more thing"...    [2011-07-19 21:36:49 +0100]
    • Josh Ko ⇒ But it's tempting!    [2011-07-19 21:38:44 +0100]
13. Fitting the third paragraph of the discussion section as the special slides for DTP. (For WGP it would be... datatype-generic implementation details?! Er.. will think about that later.)    [2011-07-19 22:34:58 +0100]
14. Great! I believe I have an adequate set of slides now. The remaining work is to make sure I can give a good performance. (The control of timing and expressions is less demanding than that required for performing a piano piece, but the principles are similar, I think.)    [2011-07-19 23:55:24 +0100]
15. Title page. ↦ Wall Photos    [2011-07-20 00:18:31 +0100]  [ 4 人說讚！]
    • Y********** ⇒ 右上角那個好俏皮呀 XDD    [2011-07-20 08:27:51 +0100]
    • Josh Ko ⇒ 旋轉 10 度，效果就不一樣 XD。
      （另外，擺那個是要提示聽眾有 paper 可以看。）    [2011-07-20 08:42:51 +0100]
16. Read a bit more fibred category theory, waiting for the installation of Lion to complete.    [2011-07-20 14:17:42 +0100]  [ 2 人說讚！]
    • Josh Ko ⇒ It was estimated to take 33 minutes.    [2011-07-20 14:20:52 +0100]
    • Josh Ko ⇒ In Lion!    [2011-07-20 14:38:08 +0100]
    • Josh Ko ⇒ It can take some time to get used to the opposite scrolling direction and different gestures.    [2011-07-20 14:50:29 +0100]
17. The UI design of the new OS X is not (yet) perfect this time... (Leopard was a success.)    [2011-07-20 18:47:24 +0100]
    • Josh Ko ⇒ Integration of the UI of Keynote into Lion is particularly crappy.    [2011-07-20 18:56:29 +0100]
18. TeXShop for Lion, supporting Resume, Auto Saving (and Versioning), and Full Screen Mode! ↦ TeXShop    [2011-07-21 14:42:04 +0100]  [ 1 人說讚！]
    • L********* ⇒ How's OpenVanilla? Will it work in Lion?    [2011-07-21 15:02:21 +0100]
    • Josh Ko ⇒ I use the built-in input method. XD    [2011-07-21 15:03:26 +0100]
    • L********* ⇒ But, I don't like it! XD
      I still remember that I trying to use simplified chinese IM on Lion DP2 version few month ago...    [2011-07-21 15:11:07 +0100]
19. 這隻 King J-Der 也太夢幻！要是可以變型就真的是極品了啊。（轉自 ptt BraveSaga 板 #1E86XoUK） ↦ http://www.amiami.jp/blog/2011/07/fes_01cgk/11.jpg    [2011-07-21 21:01:52 +0100]  [ 1 人說讚！]
    • Josh Ko ⇒ 不過網上有人指出如果為了變型而照原比例做的話看起來滿慘的⋯    [2011-07-21 21:04:27 +0100]
    • Josh Ko ⇒ http://tieba.baidu.com/f?kz=325206746    [2011-07-21 21:07:14 +0100]
20. Developing my "interpretation" of the slides.    [2011-07-21 23:03:25 +0100]
21. 30 + 4 slides for a 25-minute talk, the additional four slides being special slides for DTP, which might not fit into the talk due to the time limit, however. 30 slides, then, which seems to be a reasonable number, taking into account that a few of them are transitional. Will know more exactly how much time is needed after I rehearse the presentation.    [2011-07-22 00:06:58 +0100]
22. I will go to this one. ↦ Stephen Hough and Oxford Philomusica | Oxford Philomusica    [2011-07-23 23:00:59 +0100]  [ 1 人說讚！]
23. I think I did better than I had expected as a demonstrator for the first time (for the UNIQ summer school). (Three days to go.) ↦ UNIQ summer schools at Oxford - University of Oxford    [2011-07-25 18:59:30 +0100]  [ 3 人說讚！]
24. ICFP is expensive...    [2011-07-25 19:12:35 +0100]
    • Josh Ko ⇒ About £360 for ICFP, WGP, and Haskell Symposium (student price).    [2011-07-25 19:13:28 +0100]
    • J********** ⇒ ㄑ, 還好啦 我去 QSIC ㄉ註冊費要 £485 ㄉ說    [2011-07-25 19:14:44 +0100]
    • J********** ⇒ 當然 沒 funding 就另一個故事ㄌ    [2011-07-25 19:15:29 +0100]
    • L************** ⇒ CALCO costs over £500 ...    [2011-07-25 19:16:48 +0100]
    • Josh Ko ⇒ I had better keep all the receipts very carefully..    [2011-07-25 19:18:30 +0100]
    • L************** ⇒ I think the school can pay them directly...    [2011-07-25 19:19:42 +0100]
    • Josh Ko ⇒ It doesn't seem to be easier, though.    [2011-07-25 19:27:22 +0100]
25. Visa exemption! It's great to be a citizen of Taiwan.    [2011-07-25 19:31:48 +0100]
26. Second day. The part in my brain that handles English didn't work quite well in the morning, but it became normal in the afternoon. Dealt with a lot of parsing errors - teaching syntax *is* important..    [2011-07-26 18:11:49 +0100]
27. Fire alarm at 6 in the morning. Whoever forgot about his/her toast didn't (dare to?) show up.    [2011-07-27 06:19:03 +0100]
28. Jeremy is now Professor Gibbons!!!    [2011-07-27 16:39:33 +0100]  [ 3 人說讚！]
    • T************** ⇒ 手很長    [2011-07-28 07:02:33 +0100]
    • Josh Ko ⇒ 很好。    [2011-07-28 08:16:31 +0100]
29. Practised the presentation again. Cannot believe I could do it so badly..    [2011-07-27 21:55:39 +0100]  [ 1 人說讚！]
    • J********** ⇒ Wanna present it to me tmw?    [2011-07-27 22:36:42 +0100]
    • Josh Ko ⇒ Thanks, but tomorrow is definitely too soon - I need more practice!    [2011-07-27 22:47:36 +0100]
    • J********** ⇒ That's exactly the point though, cuz if you keep practicing in the same manner, the same shortcomings, if any, would stay... but certainly no pressure, let me know if feel like~~    [2011-07-27 22:49:40 +0100]
    • Josh Ko ⇒ You're right, but now I cannot satisfy even myself - it might be said that the presentation is still in an early draft form, so it's just premature to ask for comments from others.    [2011-07-27 23:02:49 +0100]
    • Josh Ko ⇒ More precisely: I am still thinking about what to say and how to say them..    [2011-07-27 23:05:24 +0100]
    • J********** ⇒ cool... my offer is upon your request~    [2011-07-27 23:18:26 +0100]
30. Managed to see one kid cracking the Caesar cipher and another cracking RSA.    [2011-07-28 18:36:26 +0100]
    • Josh Ko ⇒ However, I think some of them suffered from my non-proficient English..    [2011-07-28 18:41:39 +0100]
31. MS (Research) now does dependent types. ↦ Fstar: Secure Distributed Programming with Value-Dependent Types - Microsoft Research    [2011-07-28 21:56:21 +0100]
32. 那時候做白色版社會司中辦團體服的設計理念是不要太顯眼，結果到牛津這裡已經被問好多次那塊 QR code 的內容是啥⋯（用英文寫「社會司中辦」到這裡也變成很自然看得懂的字⋯）    [2011-07-29 19:34:08 +0100]  [ 1 人說讚！]
33. The phenomenon Jackie is experiencing. ↦ PHD Comic: The Repulsor Field Explained    [2011-07-29 20:09:20 +0100]  [ 2 人說讚！]
    • J********** ⇒ What the hell is wrong with Jackie?    [2011-07-29 20:10:11 +0100]
    • Josh Ko ⇒ Nothing: It's a natural phenomenon, as explained by the comics!    [2011-07-29 20:12:34 +0100]
    • J********** ⇒ 傑瑞米, 千萬不能跟吉姆講這件事ㄡ!!    [2011-07-29 22:31:02 +0100]
34. Oxford has appeared on the screening list! ↦ The PHD Movie!    [2011-07-29 20:50:16 +0100]
35. Wow, this is very democratic... "all participants are given 5 minutes for a quick “advertisement” of their proposed talk in the morning of 14th Sep. Participants then vote for talks they would like to listen to, and the programme is scheduled accordingly." ↦ Dependently Typed Programming    [2011-07-29 22:41:31 +0100]  [ 1 人說讚！]
    • Josh Ko ⇒ And there are lots of familiar names.. I suppose they will stay for ICFP too? (Thrilling.)    [2011-07-29 22:46:20 +0100]
    • Josh Ko ⇒ Shonan 是湘南；湘北比較有名吧？XD    [2011-07-29 22:57:46 +0100]

--
Updated the extraction program so the "like" counts are restored.

倫敦悲愴

《悲愴》的震撼至今尚未消散。

六月三十日在 Royal Festival Hall，Christian Vásquez 指揮 Philharmonia Orchestra，上半場以白遼士的《羅馬狂歡節》序曲開場（Overture, Le carnaval romain, Op. 9），然後與臨時代班的 Nikolai Demidenko 演出拉赫曼尼諾夫《第三號鋼琴協奏曲》。Demidenko 風格嚴謹，每一句都刻畫得相當仔細，雖然少了點狂野奔放，但也得以清晰呈現拉赫曼尼諾夫曲子那種精巧繁複的紋理。

然而，要找到能和《悲愴》同擺在曲目裡而不相形失色的曲子實在不容易。（在我目前相當有限的已知曲單裡是找不到的。）下半場《悲愴》登台，再次將我席捲其中。特別是晦暗中透著光明的第四樂章，樂團合奏竟能表現深沈的孤寂！儘管中間一段極其溫暖，但那是夾在更長的寒冷之間 — 孤寂才是常態⋯。尾奏，低音大提琴踏著沈重但穩定的腳步邁向死亡，上層旋律逐漸崩解，只剩下那穩定的腳步聲，低沈而分明，遠去，停止。指揮的右手停在結束手勢，全場靜默。

啊，那時彷彿在場的人都同感那深沈的孤寂，整個音樂廳裡的意志合而為一，為無止盡的黑暗所震懾。那不再是我自己的孤寂，而是一個群體的孤寂 — 不是群體內個別孤寂的聚合，而是整個群體因為知道自己是唯一得以感受此一震撼的群體（as the audience of that particular concert, or as human beings that are able to perceive the emotions）而共同領悟到的孤寂。整曲的悲喜冷暖，特別是第四樂章自無止盡黑暗中透出而更顯珍貴的光亮，得以感受這些情感正是我（們）的特質！

掌聲、地鐵、牛津街道。我不覺得「第四樂章象徵死亡」是精確的說法，說是死亡前對生命的回顧或許更貼切。這樣的回顧可不限於哪個時候才做，畢竟死亡隨時可能登門造訪。以死亡為背景，這樣的回顧更顯真實深刻。

--
希望還有機會複習。

[facebook digest] Double acceptance

1. I find that thinking about an adjunction in terms of the unit and counit (instead of the natural bijection) is easier, as they can be interpreted as saying that the left adjoint finds the least upper bounds and the right adjoint finds the greatest lower bounds in a certain sense. (The natural bijection is essential for calculation, of course. But I tend to express it with the unit and counit to see what's going on.)    [2011-06-30 04:32:47 +0100]
   • Josh Ko ⇒ > The natural bijection is essential for calculation, of course. But I tend to express it with the unit and counit to see what's going on.
     
     This is what we do to explain the meaning of the natural bijection anyway (deriving the unit and counit on the fly and stating their universal property).    [2011-06-30 04:35:58 +0100]
   • Josh Ko ⇒ I still haven't penetrated the symmetry of adjunctions, but I'll leave this mystery to a later time. (Yes, the form of the natural bijection is perfectly symmetric, but I am not satisfied with just a formal explanation.)    [2011-06-30 04:43:54 +0100]
   • L********** ⇒ We all stayed up late working, hehe    [2011-06-30 18:04:28 +0100]
   • Josh Ko ⇒ No, I got up early. ;)    [2011-06-30 19:23:28 +0100]
2. Incredibly fine-grained Rach3!    [2011-06-30 20:48:39 +0100]
3. Even if I, as an individual being, am not alone and can assume that human beings share the same way of thought, we humans as a collective being would still very likely be alone. (Some random thought after listening to another successful performance of Pathétique.)    [2011-07-01 01:45:29 +0100]
4. Got a new HTC Wildfire S to replace my frequently crashing ZTE Racer.    [2011-07-01 13:05:03 +0100]
   • L************** ⇒ Try to sync it with your google account ...:p    [2011-07-01 13:10:41 +0100]
   • 王** ⇒ 我才剛拜了一臺Desire S    [2011-07-01 13:25:50 +0100]
   • Josh Ko ⇒ 也可以打中文！    [2011-07-01 14:08:46 +0100]
   • Josh Ko ⇒ > Try to sync it with your google account ...:p
     
     This is definitely the worst part of it..    [2011-07-01 15:37:50 +0100]
   • W************ ⇒ 我最近也想換智慧型手機    [2011-07-01 16:44:16 +0100]
   • Josh Ko ⇒ 在外面可以上網、收信挺方便的，然後地圖導航功能特別實用！我這次去荷蘭就靠我的手機了 XD。    [2011-07-01 16:52:03 +0100]
   • W************ ⇒ HTC Wildfire S 好用嗎? 雖然被評為入門機    [2011-07-01 16:56:47 +0100]
   • Josh Ko ⇒ 到目前為止我覺得還不錯啊，上網上 FB 收信查地圖都滿順的，而且肯定比 ZTE Racer 好用 XD。    [2011-07-01 17:06:50 +0100]
   • C************ ⇒ 我也爆想換的....Sensation啦!!    [2011-07-02 04:50:43 +0100]
   • W************ ⇒ 那台雙核機 好像有問題 聽說目前不穩    [2011-07-02 16:46:52 +0100]
5. Dear Hsiang-Shang,
   
   We are happy to inform you that your paper
   
   Modularising inductive families
   
   has been accepted to the WGP'11 workshop. Congratulations!
   
   [...]    [2011-07-01 21:57:07 +0100]
   • Josh Ko ⇒ Evaluation given by the second reviewer, who is obviously an expert:
     
     > This is an extremely well written but tense paper, so reading it was challenging but also very much fun.
     
     I am really flattered by this comment!
     
     > The research reported is clearly exploratory at this stage. It is difficult to conclude anything very deep or definitive from the paper,
     
     Indeed; however, the whole story is what my thesis will be about (hopefully)!
     
     > but I find the discussion of the methodology of DTP very insightful and valuable.
     
     It is also the part of the paper I like most. (I realised those points I made in that part only after I had an early draft of the paper, and was eager to share them.)
     
     > I must acknowledge that although I am familiar with McBride's work on ornaments broadly, I haven't seen his journal paper and hence cannot quantify the delta of this paper wrt what was already done by McBride. But the exposition is very strong.
     
     Again flattered. I am now more confident about my writing ability!
     
     Two strong accepts (one of which rated by the second reviewer) and one accept — I feel great right now!    [2011-07-01 23:29:54 +0100]
   • R*********** ⇒ Congrat.!    [2011-07-02 02:13:16 +0100]
   • 陳** ⇒ 恭喜學長呀~!!!    [2011-07-02 05:08:30 +0100]
6. Bought the Longman Dictionary of Contemporary English (5/e) for my Wildfire S!    [2011-07-03 00:05:35 +0100]
7. Should have guessed that the music room would look like this after the ball. (I managed to manoeuvre through this mess to reach the piano, though.) ↦ Wall Photos    [2011-07-03 17:22:28 +0100]
8. Less vaguely, what the fourth movement of Pathétique told me this time was to learn to be lonely.    [2011-07-03 19:50:25 +0100]
9. I'll do a bit of fibred category theory everyday in the morning (in principle XD)!    [2011-07-04 09:45:14 +0100]
10. Had better go shopping before the predicted heavy rain arrives.    [2011-07-05 09:49:51 +0100]
11. Travel arrangements...    [2011-07-05 14:50:34 +0100]
    • Josh Ko ⇒ very annoying!    [2011-07-05 15:01:23 +0100]
    • L************** ⇒ As annoying as arranging a meeting    [2011-07-05 15:06:17 +0100]
    • Y************* ⇒ Where are you going?    [2011-07-05 15:58:16 +0100]
    • Josh Ko ⇒ Nijmegen (The Netherlands) in August and Tokyo in September.    [2011-07-05 16:03:01 +0100]
    • Y************* ⇒ That's cool!    [2011-07-05 16:03:23 +0100]
    • Y************* ⇒ How long are you gonna stay in Japan?    [2011-07-05 16:03:42 +0100]
    • Josh Ko ⇒ 5 days, I think, but I'll be attending the conference and workshops for most of the time.    [2011-07-05 16:06:29 +0100]
    • Y************* ⇒ oh ~ do you go there by your own?    [2011-07-05 16:07:10 +0100]
    • Josh Ko ⇒ I guess so.. But my supervisor and ex-boss will be in Tokyo too! I am hoping that my ex-boss, who stayed in Tokyo for his postdoc, can give us a short tour then. XD    [2011-07-05 16:10:42 +0100]
    • Y************* ⇒ That's cool.    [2011-07-05 16:11:52 +0100]
    • 洪** ⇒ 你要去哪裡參加研討會阿？好可惜都不能盡興玩！    [2011-07-05 16:14:06 +0100]
    • Josh Ko ⇒ 荷蘭一個老城市 Nijmegen（八月底）和東京（九月下旬）。我是沒特別喜歡玩啦，所以沒差 XD。    [2011-07-05 16:16:17 +0100]
    • 洪** ⇒ 好羨慕你喔！真的！我去英國把錢燒光了只能再賺錢準備下一次的旅行，還有我回台灣後跟朋友講了你的善心事跡，喔•••大家好想認識你喔！hahaha    [2011-07-05 16:22:30 +0100]
    • S********** ⇒ Josh Ko 是好人 ^^    [2011-07-05 16:42:29 +0100]
    • Y************* ⇒ 善心事蹟？我也要聽？他幹嘛了？    [2011-07-06 03:29:41 +0100]
    • Josh Ko ⇒ 欸⋯ 可參考 http://www.facebook.com/100001276392360/posts/179924578726754 XD。    [2011-07-06 09:11:40 +0100]
    • Y************* ⇒ I got it...so she is the one.    [2011-07-06 15:28:16 +0100]
12. New word learned yesterday. ↦ Recumbent bicycle - Wikipedia, the free encyclopedia    [2011-07-05 15:56:42 +0100]
13. 莊老師寫的交通資訊多有誠意呀！ ↦ transport [The Ninth Asian Symposium on Programming Languages and Systems, APLAS 2011]    [2011-07-05 16:04:28 +0100]
    • Josh Ko ⇒ 還可以簽名 XD。    [2011-07-06 13:58:29 +0100]
    • Y********** ⇒ 嗚嗚，我沒有 Jeremy 的書可以簽名 OQ    [2011-07-06 18:01:44 +0100]
14. After reading Terence Tao's latest blog post (only the first paragraph, apparently), what he called "proof mining" is quite similar to the result I'd like to have, namely refinement of program types. (To me, what he said looks like turning a program that produces, say, a natural number to one producing a finite number.) ↦ Polynomial bounds via nonstandard analysis « What’s new    [2011-07-06 09:45:40 +0100]
    • Josh Ko ⇒ Quote: "In many cases, a bound can eventually be worked out by performing *proof mining* on the argument, and in particular by carefully unpacking the proofs of all the various results from infinitary mathematics that were used in the argument, as opposed to simply using them as “black boxes”, but this is a time-consuming task and the bounds that one eventually obtains tend to be quite poor (e.g. tower exponential or Ackermann type bounds are not uncommon)."    [2011-07-06 09:47:50 +0100]
15. The city changes its character by replacing undergrads with tourists; DPhil students always stay, however.    [2011-07-08 14:26:36 +0100]
16. Just sent out my registration form for ITP (with which DTP is affiliated). Air tickets booked, hotel rooms reserved, travel insurance applied for — I think I can start working on the slides..    [2011-07-08 15:39:12 +0100]
17. Oh my goodness, it's fortunate that I decided to print the paper and read it thoroughly again. I still spot little typographical errors...    [2011-07-08 17:51:00 +0100]
    • J************* ⇒ It's always a bad idea to read it after it's submitted :-).    [2011-07-08 17:55:42 +0100]
18. Now I find myself making nontrivial revisions...    [2011-07-08 22:17:18 +0100]
19. Every time I read the discussion section (of the OAOAOO paper) I invariably feel that this is indeed the kind of paper I'd love to write.    [2011-07-09 10:59:28 +0100]
20. The hard decision I face now, after completing another revision: to submit the paper directly, or read it again tomorrow?    [2011-07-09 11:44:58 +0100]
    • Josh Ko ⇒ I'll just review those parts where I made nontrivial revisions..    [2011-07-09 15:09:51 +0100]
21. Submitted! (Meaning I should not read the paper again unless it is returned. XD)    [2011-07-09 16:34:43 +0100]
    • 陳** ⇒ AC~~~~~~~~~~    [2011-07-09 16:48:00 +0100]
    • Josh Ko ⇒ This time (and for the first time) I submitted my work to the *real* ACM. XD    [2011-07-09 16:53:23 +0100]
22. 作者: ByKiss (白親) 看板: Gossiping
    標題: Re: [新聞] 台語被稱閩南語 學者明抗議教部
    時間: Thu Jul 30 04:27:00 2009
    
    [...]
    
    另外補個大家也許不知道的東西，
    有機會看到新加坡人名字的羅馬拼音時可以注意一下，
    他們的姓氏，時常都是以閩南地區的方言下去拼音，
    而不是用華語。
    
    例如王先生的王，他們會拼做Ong，
    這是蠻有趣的一個現象。    [2011-07-10 20:44:42 +0100]
    • Josh Ko ⇒ Luke Ong!!    [2011-07-10 20:44:52 +0100]
    • M*********** ⇒ 其實他姓翁，不是王。    [2011-07-10 21:05:42 +0100]
    • Josh Ko ⇒ 哎呀，好可惜 XD。    [2011-07-10 21:09:52 +0100]
    • T************** ⇒ Ng BigPiece 給你猜這是誰    [2011-07-11 00:55:07 +0100]
    • P************* ⇒ yes 遇到有個姓蘇的 她是用Sow instead of Su    [2011-07-11 00:57:53 +0100]
    • T************** ⇒ 樓上...廣東話差不多也是這樣拼，不能當福建話的例子    [2011-07-11 01:01:47 +0100]
    • P************* ⇒ BTW 她是新加坡人 新加坡華人大部人是福建移民 講閩南語 checked!
      如果連其他方言都要考慮才能舉例的話 那豈不是要.很.忙.了    [2011-07-11 02:37:06 +0100]
    • Josh Ko ⇒ @TS: 呃⋯ 直譯是大塊？    [2011-07-11 08:10:07 +0100]
    • T************** ⇒ 是大塊    [2011-07-11 13:19:14 +0100]
23. Met the college cat of Hertford just outside the college's entrance yesterday. It was well cared for and very friendly to humans (which made me guess correctly that it's a college cat). ↦ Panoramic View    [2011-07-11 15:03:55 +0100]
    • L********** ⇒ There may be another one, which is blonde    [2011-07-11 23:59:59 +0100]
    • Josh Ko ⇒ Hm.. Perhaps you are referring to New College's cat?
      http://www.facebook.com/group.php?gid=348485626674    [2011-07-12 00:13:11 +0100]
    • L********** ⇒ Not sure...I saw it in Hertford...very cute!    [2011-07-12 00:18:12 +0100]
24. "The little prince went away, to look again at the roses. 'You are not at all like my rose,' he said. 'As yet you are nothing. No one has tamed you, and you have tamed no one. You are like my fox when I first knew him. He was only a fox like a hundred thousand other foxes. But I have made him my friend, and now he is unique in all the world.' "    [2011-07-12 00:33:06 +0100]
    • Josh Ko ⇒ It's hard to quote The Little Prince - I would have quoted the entire section about the fox if I could.    [2011-07-12 00:41:20 +0100]
    • 王** ⇒ 這和我之前跟你提過的花被吃掉的那段很像呀    [2011-07-12 08:26:39 +0100]
25. Being very inefficient when trying to work out the research proposal..    [2011-07-12 20:26:22 +0100]
    • Josh Ko ⇒ Let's just produce something and send it to Jeremy tomorrow. I quite believe he will have better ideas.    [2011-07-12 23:00:35 +0100]