See my full blog at Skyward.
Blog
- 物理模拟：拉格朗日视角（一）
- 重修 CSS（四）：盒模型之高度问题
- 重修 CSS（三）：盒模型之宽度问题
- 重修 CSS（二）：相对单位
- 重修 CSS（一）：层叠、优先级和继承
- Review: Formal verification of a realistic compiler
- Paper Report: Mastering the game of Go without human knowledge
- Review: Reflections on Trusting Trust
- Review: Social Processes and Proofs of Programs
- Review: Use of Formal Methods at Amazon Web Services
- Fixed Point Theorem 不动点定理
- Haskell 中的类型
- LC410. Split Array Largest Sum
- LC516. Longest Palindromic Subsequence
- LC152. Maximum Product Subarray
- LC34. Find First and Last Position of Element in Sorted Array
- LC394. Decode String
- LC133. Clone Graph
- LC139. Word Break
- LC146. LRU Cache
- LC253. Meeting Rooms II
- LC295. Find Median from Data Stream
- LC124. Binary Tree Maximum Path Sum
- LC42. Trapping Rain Water
- LC210. Course Schedule II
- LC102. Binary Tree Level Order Traversal
- Python 中的那些数据结构
- LC45. Jump Game II
- Codeforces 1009E: Intercity Travelling
- Beware of the Information Trap of the Internet
- Ex Machina: Rebellion of an Intelligent Species
- Operator Overloading in C++
- Psychology 101 Notes - Part II
- Psychology 101 Notes - Part I
- 土豪小白怎么挑电脑
- 《范伟记：写给高考完买电脑的同学们》及其他——6月11日日志
- 德语笔记（初级下）
- PKU EECS Summer Camp Retrospect
- 北大体验营回顾
- A Day in NYU Shanghai
- Final Project: Simulation
- AIVD Memories
- Processing: Cellular Automata
- Board Game: Plumax
- Arduino: Binary LED Counter & Music Player
- Game Review: ...But That Was [Yesterday]
- Processing: Gravity Ball Game
- How does a human talk to a computer?
- Processing: Gravity Ball
- Processing: Seurat Link
- Processing: Visual Bubble Sort
- Game Review: You Have To Burn The Rope
- Game Review: Press Space To Win
- The Ludology-Narratology Debate
- Twine Game: The Wizard Of Dumbalf
- Twine Game: Alice's Suspicion
- Numeral Systems
- Game Review: Legend of Zelda - The Skyward Sword