2011/10/12

[facebook digest] Entering Michaelmas Term 2011

  1. OAOAOO has appeared in ACM Digital Library. (No video yet.) ↦ Modularising inductive families    [2011-09-26 10:42:38 +0100]
  2. Hm, perhaps what I need is a higher-order pivot table..    [2011-09-27 23:22:53 +0100]  [ 2 人說讚！]
  3. Implementation rate of my Clarendon Scholarship for the last academic year: 93.02%（上學年獎學金執行率）    [2011-09-28 09:26:35 +0100]
    • Josh Ko ⇒ 只算經常門的話，執行率僅 82.12%，看起來不錯。    [2011-09-28 09:46:10 +0100]
  4. Now I believe I have a working accounting table, but I have no good explanation of why it works yet.    [2011-09-28 10:42:10 +0100]  [ 1 人說讚！]
  5. And I wish Excel has support for monads..    [2011-09-28 10:43:24 +0100]  [ 2 人說讚！]
  6. Hm, 會計確實是需要腦筋轉一下的東西。    [2011-09-28 10:53:36 +0100]  [ 2 人說讚！]
    • Josh Ko ⇒ 如果網路上的會計學就是一般在學的會計，那還真的滿慘的 — 說明方式之落後模糊令人驚訝。    [2011-09-28 11:01:23 +0100]
    • 陳** ⇒ 所以學長正在oxford修會計學嗎? XD    [2011-09-28 11:23:35 +0100]
    • Josh Ko ⇒ 沒，我在設計自己用的會計學 XD。    [2011-09-28 11:27:49 +0100]
    • 柯** ⇒ 真的很麻煩的東西厚~爸爸一直炫耀說當初他一手抱著我，一手算會計還能all pass    [2011-09-28 14:18:14 +0100]
  7. Some day I might write a blog post on "the essence of accounting" (from my perspective), but I don't think it will be in the near future.    [2011-09-28 11:14:43 +0100]  [ 1 人說讚！]
  8. HelloUK 竟然出現一個 MSc in Computer Science 新生！    [2011-09-29 20:32:53 +0100]  [ 2 人說讚！]
  9. Russell O'Connor posted his story about publishing his WGP paper. ↦ The ACM and me    [2011-09-30 09:20:24 +0100]  [ 3 人說讚！]
  10. 熟練度（速度）有差不多達到最低限度了。副音群應該想成主音的延續，用它們做音量變化和彈性速度。
    https://sites.google.com/site/joshkos/Ocean_20111002.mp3    [2011-10-02 17:07:28 +0100]
    • Josh Ko ⇒ 可是接下來幾天不能彈太猛，手有點痠⋯    [2011-10-02 17:29:45 +0100]
  11. Week 0 starts in about 4 hours. As a computing scientist, this means that my second year will start shortly.    [2011-10-02 20:16:51 +0100]  [ 3 人說讚！]
    • M*********** ⇒ Josh, I need to remind you that in Oxford it's Sunday that is the first day of the week (or maybe I should say 0th day of the week?). In any case, week zero is already on for more that 24 hours.    [2011-10-03 01:53:05 +0100]
    • Josh Ko ⇒ Argh, you're right. I start working on Monday, however, so it feels that, practically, Week 0 starts today. XD    [2011-10-03 08:04:15 +0100]
    • J********** ⇒ 老大, 這個麻糬擺明在嗆你, 要不要幫你打爆他的頭??    [2011-10-03 19:32:11 +0100]
    • Josh Ko ⇒ 可是他說得很對呀，考試規則確實是這麼寫的 XD。    [2011-10-03 19:34:26 +0100]
    • J********** ⇒ 我不管啦><    [2011-10-03 19:49:32 +0100]
  12. 彰中換了新校長。一查，竟然是和苗栗苑里高中的校長互換？！    [2011-10-02 20:56:42 +0100]
    • W************ ⇒ 苑里高中 XD? 沒聽過就是了 XD    [2011-10-03 02:49:58 +0100]
    • 陳** ⇒ 據說是舊任校長的養老計劃，去山上養老種菜? XD    [2011-10-05 09:57:13 +0100]
    • Josh Ko ⇒ 他在苑里高中網頁上的照片還是以彰中為背景 XD。
      http://www.ylsh.mlc.edu.tw/principal/menu1/index.php    [2011-10-05 10:08:11 +0100]
    • Josh Ko ⇒ 還做 SWOT 分析，看起來很認真不像要養老呀 XD。    [2011-10-05 10:09:01 +0100]
  13. £426 for a LHR-TPE round trip, really competitive price.. (Er, I jet got up and will go back to sleep very soon.)    [2011-10-04 04:19:18 +0100]
    • L************** ⇒ Ours travel?    [2011-10-04 04:32:15 +0100]
    • Josh Ko ⇒ No, directly on the website of British Airways!    [2011-10-04 04:43:07 +0100]
    • Josh Ko ⇒ Tax and surcharges are included in £426, so it's really attractive.    [2011-10-04 04:44:42 +0100]
    • Josh Ko ⇒ s/jet/just/    [2011-10-04 04:46:33 +0100]
    • Josh Ko ⇒ It turns out not to be that cheap — £426 is for a single trip only...    [2011-10-04 12:08:45 +0100]
  14. It seems that Tim Cook is giving a bad presentation.

    "18:20: This is a lot like a financial briefing so far Tim.
    "18:22: iOS now. It's popular says another pie chart slide. That's about 57 pie charts and graphs so far. *sigh*"

    http://www.techradar.com/news/internet/iphone-5-launch-what-to-expect-1031146 ↦ TechRadar: iPhone 5 launch: what to expect    [2011-10-04 19:05:55 +0100]  [ 3 人說讚！]
  15. Which category does ". -> ." stand for? ↦ Wall Photos    [2011-10-05 09:03:20 +0100]
    • J************* ⇒ The category with two objects and three arrows (two identities, of course, and one additional arrow from one of the objects to the other), presumably.    [2011-10-05 09:33:20 +0100]
    • Josh Ko ⇒ Ah, right. I misinterpreted the dots as places for arguments instead of unnamed objects (and thus was utterly confused). Thanks!    [2011-10-05 09:39:54 +0100]
    • Josh Ko ⇒ So it's a category "which looks just like that" (ref. Mac Lane p66).    [2011-10-05 09:43:19 +0100]
  16. Still stuck at: "A Cartesian map above an isomorphism is an isomorphism. Especially a vertical Cartesian map is an isomorphism."    [2011-10-05 09:20:10 +0100]
  17. "Mythology."
    A great artist whose works are worth studying.
    http://www.apple.com/stevejobs/ ↦ Wall Photos    [2011-10-06 03:09:27 +0100]  [ 1 人說讚！]
    • Josh Ko ⇒ Suddenly I noticed that in "1955-2011" they used a hyphen instead of an en-dash..    [2011-10-06 03:53:58 +0100]
    • Josh Ko ⇒ But well, the length of en-dash is not standardised..    [2011-10-06 04:00:43 +0100]
  18. Thesis proofreading is highly challenging. But well, thesis writing is presumably even more difficult than that..    [2011-10-07 11:16:50 +0100]
    • Josh Ko ⇒ It's almost like limited co-authorship, I think.    [2011-10-07 11:22:45 +0100]
    • L********** ⇒ Indeed    [2011-10-07 17:19:52 +0100]
  19. Got an email from a fourth-year undergraduate Japanese student enquiring about getting a DPhil position in the AoP group. Discussing with Jeremy what to do.    [2011-10-09 09:54:50 +0100]  [ 2 人說讚！]
    • Josh Ko ⇒ Eventually I found myself unable to give helpful answers and simply relayed the email to Jeremy.    [2011-10-09 16:46:52 +0100]
  20. Registered as a referee for the student conference.    [2011-10-09 17:15:30 +0100]  [ 1 人說讚！]
    • L********** ⇒ Thank you Josh!    [2011-10-09 17:40:25 +0100]
  21. "At present they have very few abstract submissions and for the [student] conference to be a success many more are needed."

    I just submitted my abstract and it is the third submission.. Well, it's (slightly) better than WGP! XD    [2011-10-11 10:40:45 +0100]  [ 1 人說讚！]
    • L********** ⇒ Hi Josh, if you could remind students in the AoP group the submission deadline which is this Friday, that would be great help (probably no need to forward the message again, just talk to them when you meet in the department). Many thanks!    [2011-10-12 11:10:58 +0100]
    • Josh Ko ⇒ OK!    [2011-10-12 11:12:37 +0100]
  22. I think I need to set myself some short-term goal. Hm.. How about getting a reasonably good idea about Chapters 1 and 2 of Jacobs in this term?    [2011-10-11 15:07:36 +0100]  [ 1 人說讚！]
  23. Hm, calling it the French National Flag problem is in fact more suitable, and I would be able to cite the famous painting by Delacroix. (But anyway..) ↦ File:Eugène Delacroix - La liberté guidant le peuple.jpg - Wikipedia, the free encyclopedia    [2011-10-11 20:59:33 +0100]
  24. Received an email from ANSI that ISO/IEC 14882:2011, i.e., the latest version of C++ standard, has been released. (I received this email because I bought ISO/IEC 14882:2003 from their web store when I was in high school.)    [2011-10-12 07:49:38 +0100]
    • Josh Ko ⇒ Now I have little interest in understanding C++11, I'm afraid..    [2011-10-12 07:51:39 +0100]
    • 林** ⇒ Just reviewed C++ recently... XD    [2011-10-12 13:16:53 +0100]
  25. Booked my flight: outbound 29 Nov / inbound 17 Jan. Need to extend the length of stay a bit and skip presumably the last AoP meeting of this term because of, naturally, the ticket price.    [2011-10-12 10:54:33 +0100]  [ 2 人說讚！]
    • Josh Ko ⇒ Came across this article on air ticket pricing: http://www.maa.org/devlin/devlin_09_02.html    [2011-10-12 10:58:20 +0100]
    • L************** ⇒ How much is the ticket?    [2011-10-12 11:07:43 +0100]
    • Josh Ko ⇒ £630. I believe this is the standard price?    [2011-10-12 11:08:20 +0100]
    • Josh Ko ⇒ In fact, if I book the ticket directly on the website of Cathay Pacific, the price is £629.73..    [2011-10-12 11:09:33 +0100]
    • L************** ⇒ I got £580, but the outbound is in January.    [2011-10-12 11:09:56 +0100]
    • L************** ⇒ Try Ours Travel to see if it could be cheaper...    [2011-10-12 11:13:05 +0100]
    • Josh Ko ⇒ I think the inbound date also matters. And that's indeed the result I got from Ours Travel..    [2011-10-12 11:13:58 +0100]

--
啊，不要再拖稿了啦⋯！

Labels:

posted by Josh Ko @ 2:06 pm   0 項意見