Archive

• Fast fourier transform: An ingenious way to multiply polynomials
  January 16, 2021
• What I learned about Codata
  December 9, 2020
• Adjunctions and Eilenberg-Moore category
  November 16, 2018
• Algebras in list monad
  November 15, 2018
• 一篇面向初學者的簡短而又不失趣味(但願)的 Rust futures 入門指南
  November 24, 2017
• 服務器被入侵手記
  October 4, 2016
• banana algebra
  June 8, 2015
• 翻譯：逆向狀態，又：惰性之力
  March 4, 2015
• 深淵
  December 25, 2014
• Haskell 怎麼實現惰性求值
  November 24, 2014
• Function Calling Syntax
  August 3, 2014
• 翻譯：如何幸福起來
  July 28, 2014
• Linux 下 GFW 的 DNS 投毒解決方案
  July 26, 2014
• A brief journal about learning Coq
  July 5, 2014
• 夢魘
  June 29, 2014
• Setting up IP over ICMP with hans
  June 2, 2014
• Experience about contributing KDE projects
  December 31, 2012
• 祭獻
  November 14, 2012
• 朝曦
  October 14, 2012
• 挑戰龍的勇士
  September 15, 2012
• April 2012
  April 24, 2012
• February 2012
  February 26, 2012
• 完美世界
  January 3, 2012
• 來自倪匡「背叛」裡的一段文字
  December 24, 2011
• 「偉大」的想法
  September 15, 2011
• 夢
  May 19, 2011