$\newcommand{\defeq}{\mathrel{\mathop:}=}$

## 2011/07/13

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?