<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom" xmlns:content="http://purl.org/rss/1.0/modules/content/">
  <channel>
    <title>Tim Hsiung&#39;s blog</title>
    <link>https://bearomorphism.pages.dev/</link>
    <description>Recent content on Tim Hsiung&#39;s blog</description>
    <generator>Hugo -- 0.147.0</generator>
    <language>en</language>
    <lastBuildDate>Tue, 10 Mar 2026 21:01:45 +0800</lastBuildDate>
    <atom:link href="https://bearomorphism.pages.dev/index.xml" rel="self" type="application/rss+xml" />
    <item>
      <title>AI Agents Materials (持續更新)</title>
      <link>https://bearomorphism.pages.dev/posts/blog/ai-agents-materials/</link>
      <pubDate>Tue, 10 Mar 2026 21:01:45 +0800</pubDate>
      <guid>https://bearomorphism.pages.dev/posts/blog/ai-agents-materials/</guid>
      <description>&lt;p&gt;最近有點時間來研究 AI agent，而且這些工具差不多進步到可以用在工作上了，來持續更新一下資源和筆記。&lt;/p&gt;
&lt;hr&gt;
&lt;p&gt;&lt;a href=&#34;https://www.youtube.com/watch?v=2hbYCe_E5aU&#34;&gt;【Vibe Coding 學習地圖】用實戰帶你搞懂 Gemini、Google AI Studio、Antigravity 的使用情境&lt;/a&gt;&lt;/p&gt;</description>
    </item>
    <item>
      <title>收集的學習資源列表（會持續更新）</title>
      <link>https://bearomorphism.pages.dev/posts/blog/readings/</link>
      <pubDate>Mon, 02 Mar 2026 00:40:00 +0800</pubDate>
      <guid>https://bearomorphism.pages.dev/posts/blog/readings/</guid>
      <description>&lt;p&gt;都是我看過的（但可能沒有看完）。&lt;/p&gt;
&lt;h2 id=&#34;生活&#34;&gt;生活&lt;/h2&gt;
&lt;ul&gt;
&lt;li&gt;原子習慣&lt;/li&gt;
&lt;li&gt;搞定&lt;/li&gt;
&lt;/ul&gt;
&lt;h2 id=&#34;技術類&#34;&gt;技術類&lt;/h2&gt;
&lt;ul&gt;
&lt;li&gt;&lt;a href=&#34;https://ddia.vonng.com/toc/&#34;&gt;目录 – 设计数据密集型应用（第二版）&lt;/a&gt;&lt;/li&gt;
&lt;li&gt;System design interview by Alex Xu&lt;/li&gt;
&lt;li&gt;&lt;a href=&#34;https://github.com/donnemartin/system-design-primer&#34;&gt;donnemartin/system-design-primer: Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.&lt;/a&gt;&lt;/li&gt;
&lt;li&gt;Clean code&lt;/li&gt;
&lt;/ul&gt;
&lt;h2 id=&#34;數學&#34;&gt;數學&lt;/h2&gt;
&lt;ul&gt;
&lt;li&gt;&lt;a href=&#34;https://venhance.github.io/napkin/Napkin.pdf&#34;&gt;An Infinitely Large Napkin&lt;/a&gt;&lt;/li&gt;
&lt;li&gt;3blue1brown&lt;/li&gt;
&lt;li&gt;黑筆紅筆&lt;/li&gt;
&lt;li&gt;Dummit &amp;amp; Foote&lt;/li&gt;
&lt;li&gt;The Rising Sea&lt;/li&gt;
&lt;li&gt;Reverse mathematics proofs from the inside out&lt;/li&gt;
&lt;li&gt;Serge Lang&lt;/li&gt;
&lt;/ul&gt;
&lt;h2 id=&#34;podcast&#34;&gt;Podcast&lt;/h2&gt;
&lt;ul&gt;
&lt;li&gt;Crucible moments&lt;/li&gt;
&lt;li&gt;博音&lt;/li&gt;
&lt;li&gt;股癌&lt;/li&gt;
&lt;li&gt;劉軒&lt;/li&gt;
&lt;li&gt;大人學&lt;/li&gt;
&lt;/ul&gt;</description>
    </item>
    <item>
      <title>Function Order 是什麼？可以吃嗎？</title>
      <link>https://bearomorphism.pages.dev/posts/function-order/</link>
      <pubDate>Sun, 22 Jun 2025 23:46:18 +0800</pubDate>
      <guid>https://bearomorphism.pages.dev/posts/function-order/</guid>
      <description>&lt;p&gt;前陣子在臉書討論區看到 Kuanling Huang 大大寫了&lt;a href=&#34;https://hackmd.io/@caasih/function-order&#34;&gt;一篇文章&lt;/a&gt;在講 &amp;ldquo;function order&amp;rdquo;。&lt;/p&gt;
&lt;p&gt;我一開始懷疑這位大大在亂寫（結論是這位大大沒寫錯），於是就稍微查了一些資料研究了一下所謂 function order 到底是什麼。&lt;/p&gt;</description>
    </item>
    <item>
      <title>20250622 日報</title>
      <link>https://bearomorphism.pages.dev/posts/blog/report-20250622/</link>
      <pubDate>Sun, 22 Jun 2025 14:31:43 +0800</pubDate>
      <guid>https://bearomorphism.pages.dev/posts/blog/report-20250622/</guid>
      <description>&lt;p&gt;最近想要做但一直沒時間做的事情：&lt;/p&gt;
&lt;ul&gt;
&lt;li&gt;寫一篇文章分享從2022年到2024年準備面試的個人經驗&lt;/li&gt;
&lt;li&gt;寫一篇文章去吐槽一篇文章把計算 order of a function 講得好像不會這件事情很糟糕一樣&lt;/li&gt;
&lt;li&gt;寫一篇文章分享創業（失敗）的經驗以及我現在會怎麼做類似的事情避雷&lt;/li&gt;
&lt;li&gt;玩完 Detroit: Become Human&lt;/li&gt;
&lt;li&gt;玩完 GTA V&lt;/li&gt;
&lt;li&gt;整理 blog 首頁&lt;/li&gt;
&lt;/ul&gt;
&lt;p&gt;好容易把該做的事情忘記喔，有時甚至在記錄到 TODO List 以前就會忘記了。例如上面的列表寫一寫會忘記第三點原本要寫什麼。&lt;/p&gt;</description>
    </item>
    <item>
      <title>20250602 日報</title>
      <link>https://bearomorphism.pages.dev/posts/blog/report-20250602/</link>
      <pubDate>Mon, 02 Jun 2025 20:09:25 +0800</pubDate>
      <guid>https://bearomorphism.pages.dev/posts/blog/report-20250602/</guid>
      <description>&lt;p&gt;日報想到啥就寫啥。&lt;/p&gt;
&lt;p&gt;Giscus 感覺可以取代 Disqus，聲稱無廣告，其實蠻容易設定的，到官網點點點然後複製一下 html 即可。&lt;/p&gt;
&lt;p&gt;以後要記得紀錄時間都花在哪裡，但我最近有時連花錢花在哪裡都會累積兩三天才記了 QQ&lt;/p&gt;</description>
    </item>
    <item>
      <title>202505 月報</title>
      <link>https://bearomorphism.pages.dev/posts/blog/report-202505/</link>
      <pubDate>Mon, 02 Jun 2025 01:36:59 +0800</pubDate>
      <guid>https://bearomorphism.pages.dev/posts/blog/report-202505/</guid>
      <description>&lt;p&gt;今年五月花了好多時間在弄一些跟工作無關的事情，然後從五月中開始不小心發了 50 多支 PR，然後還不小心晉升源來適你 Commitizen mentor，受寵若驚。&lt;/p&gt;
&lt;p&gt;&lt;a href=&#34;https://commitizen-tools.github.io/commitizen/&#34;&gt;Commitizen Tools documentation site&lt;/a&gt;&lt;/p&gt;</description>
    </item>
    <item>
      <title>2025 履歷簡歷撰寫技巧 常用資訊整理 乾貨</title>
      <link>https://bearomorphism.pages.dev/posts/resume-tips/</link>
      <pubDate>Tue, 04 Feb 2025 23:42:44 +0800</pubDate>
      <guid>https://bearomorphism.pages.dev/posts/resume-tips/</guid>
      <description>&lt;p&gt;自從開始工作以來，就有蠻多機會幫朋友或學弟妹看履歷，過程中就發現其實有蠻多人不知道一個正常的履歷應該要長什麼樣子，想說直接整理一篇。&lt;/p&gt;
&lt;h1 id=&#34;tldr&#34;&gt;TL;DR&lt;/h1&gt;
&lt;h2 id=&#34;資源&#34;&gt;資源&lt;/h2&gt;
&lt;p&gt;&lt;strong&gt;影片&lt;/strong&gt;：建議大家看完，我覺得小 Lin 講得蠻好的&lt;/p&gt;</description>
    </item>
    <item>
      <title>2024 Microsoft Taiwan 台灣微軟 面試心得</title>
      <link>https://bearomorphism.pages.dev/posts/blog/2024-interview-microsoft/</link>
      <pubDate>Sat, 01 Feb 2025 10:32:50 +0800</pubDate>
      <guid>https://bearomorphism.pages.dev/posts/blog/2024-interview-microsoft/</guid>
      <description>&lt;p&gt;最一開始也是看到了有興趣的缺，然後請台灣微軟的朋友幫忙投內推。&lt;/p&gt;
&lt;p&gt;我從2024年一月到三月投了四個缺，因為那時我主要還是在等 Google 的機會，沒把注意力放在這裡。&lt;/p&gt;</description>
    </item>
    <item>
      <title>2022 Synology 群暉科技 面試心得 校招快速面試</title>
      <link>https://bearomorphism.pages.dev/posts/blog/2022-interview-synology/</link>
      <pubDate>Fri, 31 Jan 2025 12:06:29 +0800</pubDate>
      <guid>https://bearomorphism.pages.dev/posts/blog/2022-interview-synology/</guid>
      <description>&lt;p&gt;群暉科技歷年來都會到台清交舉辦說明會，並提供快速面試的管道。&lt;/p&gt;
&lt;p&gt;2022年群暉科技來台大舉辦說明會後，我跟學弟要了快速面試的表單連結。&lt;/p&gt;
&lt;p&gt;我根本沒去說明會，笑死。&lt;/p&gt;</description>
    </item>
    <item>
      <title>2022-2024 Google 面試過程紀錄</title>
      <link>https://bearomorphism.pages.dev/posts/blog/2022-2024-interview-google/</link>
      <pubDate>Thu, 30 Jan 2025 11:55:26 +0800</pubDate>
      <guid>https://bearomorphism.pages.dev/posts/blog/2022-2024-interview-google/</guid>
      <description>&lt;p&gt;Google 雖然我過了前面的面試但是等了一年都沒有缺，而且現在我都已經在微軟工作了，短期內不會再考慮 Google，就寫出來分享一下面試經驗吧。&lt;/p&gt;
&lt;p&gt;Google 相信不用多作介紹了，直接上時間線：&lt;/p&gt;</description>
    </item>
    <item>
      <title>The Art of Readable Code 投影片分享</title>
      <link>https://bearomorphism.pages.dev/posts/blog/20240205-study-group/</link>
      <pubDate>Mon, 05 Feb 2024 23:35:46 +0800</pubDate>
      <guid>https://bearomorphism.pages.dev/posts/blog/20240205-study-group/</guid>
      <description>&lt;p&gt;這是去年底公司內讀書會時，我準備的投影片，想說分享出來讓更多人可以參考。過年時我再花時間整理一個文字好讀版的。&lt;/p&gt;
&lt;p&gt;&lt;a href=&#34;https://hackmd.io/@-TyNLpH6RM-50upth1_LeQ/rkWxlB6Lp&#34;&gt;https://hackmd.io/@-TyNLpH6RM-50upth1_LeQ/rkWxlB6Lp&lt;/a&gt;&lt;/p&gt;</description>
    </item>
    <item>
      <title>[面試心得] AICS</title>
      <link>https://bearomorphism.pages.dev/posts/blog/interview-aics/</link>
      <pubDate>Thu, 20 Oct 2022 18:31:47 +0800</pubDate>
      <guid>https://bearomorphism.pages.dev/posts/blog/interview-aics/</guid>
      <description>&lt;p&gt;AICS 應該算是近期又紅起來的團隊，業務大概是在做「智慧醫療」，我面試時他們有在跟政府合作一些大案子。&lt;/p&gt;
&lt;p&gt;其實 AICS 在前陣子有一些不太好的消息，只要 google 一下 「AICS 面試 ptt」就可以查到了，大致上是在分享一些很糟糕的面試體驗，這邊就不再多說。另外我有不少系上強者朋友也有去面試，看了他們的心得文，有不少都是被無聲卡或者被刷掉。&lt;/p&gt;</description>
    </item>
    <item>
      <title>2022面試找工作經驗分享</title>
      <link>https://bearomorphism.pages.dev/posts/blog/interview-summary/</link>
      <pubDate>Thu, 20 Oct 2022 00:00:00 +0000</pubDate>
      <guid>https://bearomorphism.pages.dev/posts/blog/interview-summary/</guid>
      <description>&lt;p&gt;這裡會記錄一些我的面試心得，也分享給其他正在找工作的人和學弟妹。&lt;/p&gt;
&lt;h2 id=&#34;tldr&#34;&gt;TL;DR&lt;/h2&gt;
&lt;ol&gt;
&lt;li&gt;履歷要記得多給其他有經驗的朋友看過，差很多。&lt;/li&gt;
&lt;li&gt;面試時如果可以的話記得要 feedback，即自己有沒有需要進步的地方，有問有差。&lt;/li&gt;
&lt;li&gt;線上程式測驗 (OA) 只是入場門票，有刷過題一般來說就不會太難。&lt;/li&gt;
&lt;li&gt;不要說自己很熟 C++ 。&lt;/li&gt;
&lt;li&gt;不要怕找一些不認識的人問問題，以我的個人經驗來說，只要有一些基本禮儀、不要太伸手牌，通常大家都是願意幫忙的。這一點是跟面試模擬訓練好夥伴&lt;a href=&#34;https://www.linkedin.com/in/han-ru-chen-734816248/&#34;&gt;陳翰儒&lt;/a&gt;學的。&lt;/li&gt;
&lt;li&gt;可以的話，練習一邊 coding 一邊講自己在做啥。可以看這一系列的影片了解面試流程。 &lt;a href=&#34;https://www.youtube.com/watch?v=rw4s4M3hFfs&#34;&gt;Google Coding Interview With A Normal Software Engineer - YouTube&lt;/a&gt;&lt;/li&gt;
&lt;/ol&gt;
&lt;h2 id=&#34;個人背景和經歷&#34;&gt;個人背景和經歷&lt;/h2&gt;
&lt;ul&gt;
&lt;li&gt;112 CS 雙主修數學。&lt;/li&gt;
&lt;li&gt;Leetcode 在2022年8月刷到500題。&lt;/li&gt;
&lt;li&gt;大一上時拿過一次書卷獎。&lt;/li&gt;
&lt;li&gt;GPA 3.67/4.3，並不算亮眼，雖然是被很多數學系的怪課平均下去的。&lt;/li&gt;
&lt;li&gt;大學時當過三次資料結構與演算法助教，兩次演算法設計與分析助教。當了四年的資訊之芽講師，主要是講 Python。&lt;/li&gt;
&lt;li&gt;從高中一年級開始寫程式。那時因為做數學科展時要找一個不定方程式的整數解的 pattern，找了一個會寫程式的朋友請他幫忙寫個程式爆搜一下。他很快就幫我寫好了，我覺得超屌，就開始學習寫程式。那時從 C++ 開始學，高一下時加入高雄中學程式設計社，並且開始打程式競賽。大學之後就打得比較少了。&lt;/li&gt;
&lt;li&gt;2021年初請朋友幫忙內推實習，於是我到了&lt;a href=&#34;https://www.leju.com.tw/&#34;&gt;樂居&lt;/a&gt;後端工程部實習，共在樂居經歷快半年的時間。感謝這位朋友和樂居的同仁給我這個機會。&lt;/li&gt;
&lt;li&gt;2021年10月認識創業夥伴，開始投入創業計畫。從2022年3月左右開始近全職投入創業，直到2022年7月下旬退出。&lt;/li&gt;
&lt;li&gt;2022年8月開始認真生履歷，直到9月中才生出一個像樣的履歷。&lt;/li&gt;
&lt;li&gt;2022年9月初認識面試模擬好夥伴，開始真的練習面試。&lt;/li&gt;
&lt;/ul&gt;
&lt;!-- [![Leetcode Stats](https://leetcard.jacoblin.cool/Mrbear666)](https://leetcode.com/Mrbear666/) --&gt;
&lt;h2 id=&#34;面試心得文章連結&#34;&gt;面試心得文章連結&lt;/h2&gt;
&lt;ul&gt;
&lt;li&gt;&lt;a href=&#34;../interview-kronos&#34;&gt;Kronos&lt;/a&gt;&lt;/li&gt;
&lt;li&gt;&lt;a href=&#34;../interview-cmoney&#34;&gt;CMoney (全曜財經)&lt;/a&gt;&lt;/li&gt;
&lt;li&gt;&lt;a href=&#34;../interview-aics&#34;&gt;AICS&lt;/a&gt;&lt;/li&gt;
&lt;/ul&gt;</description>
    </item>
    <item>
      <title>A Finite Commutative Ring Without Zero Divisors Is a Field</title>
      <link>https://bearomorphism.pages.dev/posts/notes/a-finite-commutative-ring-without-zero-divisors-is-a-field/</link>
      <pubDate>Sat, 08 Oct 2022 12:54:34 +0800</pubDate>
      <guid>https://bearomorphism.pages.dev/posts/notes/a-finite-commutative-ring-without-zero-divisors-is-a-field/</guid>
      <description>&lt;h2 id=&#34;problem&#34;&gt;Problem&lt;/h2&gt;
&lt;p&gt;A finite commutative ring $R$ without zero divisors is a field. Here we don&amp;rsquo;t assume that $R$ has an identity.&lt;/p&gt;
&lt;h2 id=&#34;proof&#34;&gt;Proof&lt;/h2&gt;
&lt;h3 id=&#34;r-has-an-identity&#34;&gt;$R$ has an identity&lt;/h3&gt;
&lt;p&gt;For each $a \neq 0$ in $R$, consider the map&lt;/p&gt;
&lt;p&gt;$$\phi_a: x \mapsto ax$$&lt;/p&gt;
&lt;p&gt;Since $a$ is not a zero divisor, $\phi_a$ is injective. Because $R$ is finite, $\phi_a$ is also surjective. Hence, there is $e \in R$ such that&lt;/p&gt;
&lt;p&gt;$$a = \phi_a(e) = ea$$&lt;/p&gt;</description>
    </item>
    <item>
      <title>Quantum Algorithm Notes</title>
      <link>https://bearomorphism.pages.dev/posts/notes/quantum-algorithm/</link>
      <pubDate>Sat, 08 Oct 2022 12:41:57 +0800</pubDate>
      <guid>https://bearomorphism.pages.dev/posts/notes/quantum-algorithm/</guid>
      <description>&lt;h2 id=&#34;probability-of-collapsing&#34;&gt;Probability of collapsing&lt;/h2&gt;
&lt;p&gt;$a |0 \rangle + b |1 \rangle$ 變成 0 的機率是 $|a|^2$ 變成 $1$ 的機率是 $|b|^2$&lt;/p&gt;
&lt;ul&gt;
&lt;li&gt;Unitary operator 保長保角&lt;/li&gt;
&lt;li&gt;$M_{\text{NOT}} = \begin{pmatrix} 0 &amp;amp; 1 \ 1 &amp;amp; 0 \end{pmatrix}$&lt;/li&gt;
&lt;li&gt;$W_2 = \begin{pmatrix} \frac{1}{\sqrt{2}} &amp;amp; \frac{1}{\sqrt{2}} \ \frac{1}{\sqrt{2}} &amp;amp; \frac{-1}{\sqrt{2}} \end{pmatrix}$ fair coin toss&lt;/li&gt;
&lt;/ul&gt;
&lt;h2 id=&#34;tensor-product&#34;&gt;Tensor product&lt;/h2&gt;
&lt;ul&gt;
&lt;li&gt;Entangled state v.s. decomposable state&lt;/li&gt;
&lt;li&gt;$\langle a \otimes b, c \otimes d \rangle = \langle a, c \rangle \langle b, d \rangle$&lt;/li&gt;
&lt;li&gt;$$\begin{align*}M_{\text{CNOT}}: &amp;amp;|00\rangle \mapsto |00\rangle, |01\rangle \mapsto |01\rangle, \&amp;amp;|10\rangle \mapsto |11\rangle, |11\rangle \mapsto |10\rangle \end{align*}$$&lt;/li&gt;
&lt;/ul&gt;
&lt;h2 id=&#34;epr-pair&#34;&gt;EPR Pair&lt;/h2&gt;
&lt;p&gt;$$M_{\text{CNOT}}\left((\frac{1}{\sqrt{2}} | 0 \rangle +\frac{1} {\sqrt{2}} |1\rangle) \otimes |0\rangle\right) = \frac{1}{\sqrt{2}} |00 \rangle +\frac{1} {\sqrt{2}} |11\rangle$$&lt;/p&gt;</description>
    </item>
    <item>
      <title>Partitions of Unity</title>
      <link>https://bearomorphism.pages.dev/posts/notes/partitions-of-unity/</link>
      <pubDate>Thu, 06 Oct 2022 00:00:00 +0000</pubDate>
      <guid>https://bearomorphism.pages.dev/posts/notes/partitions-of-unity/</guid>
      <description>&lt;h2 id=&#34;theorem&#34;&gt;Theorem&lt;/h2&gt;
&lt;p&gt;Suppose $K$ is a compact set of $\mathbb{R}^n$, and $\{V_\alpha\}$ is an open cover of $K$. Then there exists functions $\psi_1, &amp;hellip;, \psi_s \in C(\mathbb{R}^n)$, such that&lt;/p&gt;
&lt;ul&gt;
&lt;li&gt;$0 \leq \psi_i \leq 1$;&lt;/li&gt;
&lt;li&gt;each $\psi_i$ has its support in some $V_\alpha$; (subordinate)&lt;/li&gt;
&lt;li&gt;$\psi_1 + &amp;hellip; + \psi_s = 1$ on $K$. (partition of unity)&lt;/li&gt;
&lt;/ul&gt;
&lt;h2 id=&#34;proof&#34;&gt;Proof&lt;/h2&gt;
&lt;p&gt;Associate with each $x \in K$ an index $\alpha(x)$ such that $x \in V_{\alpha(x)}$. Then there are open balls $B(x)$ and $W(x)$ centered at $x$ with&lt;/p&gt;</description>
    </item>
    <item>
      <title>Uniqueness of Continued Fraction Representation of Rational Numbers</title>
      <link>https://bearomorphism.pages.dev/posts/notes/continued-fraction-uniqueness/</link>
      <pubDate>Wed, 05 Oct 2022 16:52:06 +0800</pubDate>
      <guid>https://bearomorphism.pages.dev/posts/notes/continued-fraction-uniqueness/</guid>
      <description>&lt;h2 id=&#34;property&#34;&gt;Property&lt;/h2&gt;
&lt;p&gt;The continued fraction representation of a rational is unique.&lt;/p&gt;
&lt;h2 id=&#34;proof&#34;&gt;Proof&lt;/h2&gt;
&lt;p&gt;Let $r \in \mathbb{Q}$ and $[p_0, p_1, &amp;hellip;, p_n], [q_0, q_1, &amp;hellip;, q_m]$ be continued fraction representations of $r$. Now, process induction on $\min(n, m)$. The case $\min(n, m) = 0$ is trivial.&lt;/p&gt;
&lt;p&gt;By definition, we know that $p_0 = q_0 = \lfloor r \rfloor$. Then,&lt;/p&gt;
&lt;p&gt;$$(r - \lfloor r \rfloor)^{-1} = [p_1, &amp;hellip;, p_n] = [q_1, &amp;hellip;, q_m]$$&lt;/p&gt;</description>
    </item>
    <item>
      <title>Summation by Part</title>
      <link>https://bearomorphism.pages.dev/posts/notes/summation-by-part/</link>
      <pubDate>Wed, 05 Oct 2022 13:33:15 +0800</pubDate>
      <guid>https://bearomorphism.pages.dev/posts/notes/summation-by-part/</guid>
      <description>&lt;h2 id=&#34;theorem&#34;&gt;Theorem&lt;/h2&gt;
&lt;p&gt;Give 2 sequences $\{a_n\}$ and $\{b_n\}$, put&lt;/p&gt;
&lt;p&gt;$$ A_n = \sum_{k=0}^n a_n$$&lt;/p&gt;
&lt;p&gt;if $n \geq 0$; put $A_{-1} = 0$. Then, if $0 \leq p \leq q$, we have&lt;/p&gt;
&lt;p&gt;$$\sum_{n=p}^q a_n b_n = \sum_{n=p}^{q-1} A_n(b_n - b_{n+1}) + A_qb_q - A_{p-1}b_p$$&lt;/p&gt;
&lt;h2 id=&#34;proof&#34;&gt;Proof&lt;/h2&gt;
&lt;p&gt;$$ \sum_{n=p}^q a_n b_n = \sum_{n=p}^q (A_n - A_{n-1}) b_n = \sum_{n=p}^q A_nb_n - \sum_{n=p-1}^{q-1}A_nb_{n+1}$$&lt;/p&gt;
&lt;p&gt;Simplify the last expression.&lt;/p&gt;
&lt;h2 id=&#34;note&#34;&gt;Note&lt;/h2&gt;
&lt;p&gt;每次我要用這東西的時候都會忘記，就這樣記下來。&lt;/p&gt;</description>
    </item>
    <item>
      <title>Q8 is not Isomorphic to any subgroup of S7</title>
      <link>https://bearomorphism.pages.dev/posts/notes/q8-no-isomorphism-s7/</link>
      <pubDate>Tue, 04 Oct 2022 11:05:53 +0800</pubDate>
      <guid>https://bearomorphism.pages.dev/posts/notes/q8-no-isomorphism-s7/</guid>
      <description>&lt;h2 id=&#34;problem&#34;&gt;Problem&lt;/h2&gt;
&lt;p&gt;The Quaternion group $G = Q_8$ is not isomorphic to any subgroup of $S_7$.&lt;/p&gt;
&lt;h2 id=&#34;proof&#34;&gt;Proof&lt;/h2&gt;
&lt;p&gt;Let $A$ be a set with 7 elements. Any homomorphism $\alpha: G \to S_7$ can be viewed as a group action $G$ on $A$.&lt;/p&gt;
&lt;p&gt;For each $a \in A$, consider the size of its orbit $Ga$ and stabilizer $G_a$. Orbit-stabilizer theorem gives the following equality:&lt;/p&gt;
&lt;p&gt;$$ |Ga| = \frac{|G|}{|G_a|} $$&lt;/p&gt;
&lt;p&gt;Since $Ga \subseteq A$, we have $|G_a| \leq 7$. Then&lt;/p&gt;</description>
    </item>
    <item>
      <title>Every Vector Space Has a Basis</title>
      <link>https://bearomorphism.pages.dev/posts/notes/every-vector-space-has-a-basis/</link>
      <pubDate>Mon, 03 Oct 2022 20:19:18 +0800</pubDate>
      <guid>https://bearomorphism.pages.dev/posts/notes/every-vector-space-has-a-basis/</guid>
      <description>&lt;h2 id=&#34;theorem&#34;&gt;Theorem&lt;/h2&gt;
&lt;p&gt;Every vector space $V$ has a basis.&lt;/p&gt;
&lt;h2 id=&#34;proof&#34;&gt;Proof&lt;/h2&gt;
&lt;p&gt;The case $V$ is zero space is trivial, so we just consider the case $V$ is not zero.&lt;/p&gt;
&lt;p&gt;We will use &amp;ldquo;Zorn&amp;rsquo;s lemma&amp;rdquo; in the following proof.&lt;/p&gt;
&lt;p&gt;Let $P$ be the collection of all linearly independent subset of $V$. Note that $P$ is partially ordered with respect to &amp;ldquo;inclusion&amp;rdquo;. Also note that $P$ is not empty, since it must contain $\{v\}$ for some $v \in V$.&lt;/p&gt;</description>
    </item>
    <item>
      <title>Uncountable summation diverges</title>
      <link>https://bearomorphism.pages.dev/posts/notes/uncountable-sum/</link>
      <pubDate>Mon, 03 Oct 2022 19:06:42 +0800</pubDate>
      <guid>https://bearomorphism.pages.dev/posts/notes/uncountable-sum/</guid>
      <description>&lt;h2 id=&#34;problem&#34;&gt;Problem&lt;/h2&gt;
&lt;p&gt;If $S$ is an uncountable collection of positive real numbers, then the summation of $S$ diverges.&lt;/p&gt;
&lt;h2 id=&#34;proof&#34;&gt;Proof&lt;/h2&gt;
&lt;p&gt;Suppose otherwise, the summation converges.&lt;/p&gt;
&lt;p&gt;For $n = 1, 2, &amp;hellip;$, denote $A_n = \{x \in S \mid x \geq \frac{1}{n}\}$.&lt;/p&gt;
&lt;p&gt;Notice that $A_n$ is a subset of $S$, so its summation must converge.&lt;/p&gt;
&lt;p&gt;Since each element of $A_n$ has a lower bound $1/n &amp;gt; 0$, the cardinality of $A_n$ must be finite. (Otherwise $\sum A_n$ diverges.)&lt;/p&gt;</description>
    </item>
    <item>
      <title>[面試心得] CMoney (全曜財經)</title>
      <link>https://bearomorphism.pages.dev/posts/blog/interview-cmoney/</link>
      <pubDate>Tue, 27 Sep 2022 18:23:49 +0800</pubDate>
      <guid>https://bearomorphism.pages.dev/posts/blog/interview-cmoney/</guid>
      <description>&lt;h2 id=&#34;時間軸&#34;&gt;時間軸&lt;/h2&gt;
&lt;ul&gt;
&lt;li&gt;2022/07/30 在 COSCUP 看到這間公司的攤位，覺得有趣就記下來了，也有填寫他們的表單&lt;/li&gt;
&lt;li&gt;08/22 收到面試邀請 (標題其實是寫面試)&lt;/li&gt;
&lt;li&gt;08/29 因為對方 HR 直接來電提醒我，我才想到要回覆，並且把履歷和成績單附上&lt;/li&gt;
&lt;li&gt;09/07 線上一面&lt;/li&gt;
&lt;li&gt;09/13 線上一點五面&lt;/li&gt;
&lt;li&gt;09/25 邏輯推理測驗&lt;/li&gt;
&lt;li&gt;09/26 線上二面&lt;/li&gt;
&lt;/ul&gt;
&lt;h2 id=&#34;為什麼會來面這家公司&#34;&gt;為什麼會來面這家公司&lt;/h2&gt;
&lt;p&gt;在 COSCUP 看到這間公司，覺得有點有趣，順手填了表單。&lt;/p&gt;</description>
    </item>
    <item>
      <title>[面試心得] Kronos</title>
      <link>https://bearomorphism.pages.dev/posts/blog/interview-kronos/</link>
      <pubDate>Tue, 20 Sep 2022 17:38:29 +0800</pubDate>
      <guid>https://bearomorphism.pages.dev/posts/blog/interview-kronos/</guid>
      <description>&lt;h2 id=&#34;緣起&#34;&gt;緣起&lt;/h2&gt;
&lt;p&gt;之前在COSCUP的攤位上看到這個公司正在招人，剛好那時去聊天時跟我聊的人是單車社的，他說那邊目前蠻缺人的可以試試看。後來我請朋友幫我修履歷，修到一個「可以看」的水平之後，跟那位單車社朋友要了一下內推，我就投上去了。&lt;/p&gt;</description>
    </item>
    <item>
      <title>Leetcode 124 Maximum Path Sum</title>
      <link>https://bearomorphism.pages.dev/posts/notes/leetcode-124/</link>
      <pubDate>Sun, 04 Sep 2022 01:07:09 +0800</pubDate>
      <guid>https://bearomorphism.pages.dev/posts/notes/leetcode-124/</guid>
      <description>&lt;p&gt;&lt;a href=&#34;https://leetcode.com/problems/binary-tree-maximum-path-sum/&#34;&gt;題目連結&lt;/a&gt;&lt;/p&gt;
&lt;p&gt;給定一棵樹上的兩個節點可以得到唯一的路徑，要找到路徑上節點總和最大的值&lt;/p&gt;
&lt;p&gt;先把路徑其中一個端點限制在根節點上，考慮這個根節點走出去的最大總和路徑，我暫且叫它「假最大總和」，如果算出來是負的就把它當作 0。對每個節點我們可以遞迴算這個值。&lt;/p&gt;</description>
    </item>
    <item>
      <title></title>
      <link>https://bearomorphism.pages.dev/calendar/</link>
      <pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate>
      <guid>https://bearomorphism.pages.dev/calendar/</guid>
      <description>&lt;iframe src=&#34;https://calendar.google.com/calendar/embed?&amp;mode=WEEK&amp;title=Tim%20Hsiung%20(public)&amp;src=bear890707%40gmail.com&amp;ctz=Asia%2FTaipei&#34; style=&#34;border: 0&#34; width=&#34;100%&#34; height=&#34;800&#34; frameborder=&#34;0&#34; scrolling=&#34;no&#34;&gt;&lt;/iframe&gt;</description>
    </item>
  </channel>
</rss>
