Archive

keep hungry keep foolish
2020

印度教文化

整理关于印度教文化知识点


道教文化(一)— 道教神学

整理关于佛教文化知识点


佛教文化(三)— 佛教神祗与寺院

整理关于佛教文化知识点


佛教文化(二)— 佛教文化与世俗

整理关于佛教文化知识点


佛教文化(一)— 佛教起源与传播

整理关于佛教文化知识点


逻辑思维训练

运用逻辑思维做事情


2019

互联网产品运作模式

Internet product operation mode


十年看移动技术的发展

文/灵翼


奥黛丽赫本 与 玛丽莲梦露

文/灵翼


摘录—《阿甘正传》浅析

生活就像一盒巧克力,你永远不知道下一颗是什么味道。


Flutter-环境搭建篇

develop the flutter app on android & ios


Flutter-原理介绍篇

Some simply introduction, include Dart、Flutter Framwork


写给园园的毕业季

希望你的未来能更好


产品经理推荐书籍

Some books for product manager


产品设计“九步法”(摘录)

Nine Steps to do the product design


用户体验/产品 设计五要素

UE/ Product Five Core Elements For Design


电商数据指标体系

文/灵翼


用户增长模型(AARRR- RARRA)

文/灵翼


「软件基础 - PLF」 19. Partial Evaluation


「软件基础 - PLF」 18. Theory And Practice Of Automation In Coq Proofs


「软件基础 - PLF」 17. Tactic Library For Coq: A Gentle Introduction


「软件基础 - PLF」 16. A Collection of Handy General-Purpose Tactics


「软件基础 - PLF」 15. Normalization of STLC


「软件基础 - PLF」 14. Subtyping with Records


「软件基础 - PLF」 13. Typing Mutable References


「软件基础 - PLF」 12. Adding Records To STLC


「软件基础 - PLF」 11. TypeChecking


「软件基础 - PLF」 10. Subtyping


「软件基础 - PLF」 9. More on STLC


「软件基础 - PLF」 8. Properties of STLC


「软件基础 - PLF」 7. The Simply Typed Lambda-Calculus


「软件基础 - PLF」 6. Type Systems


「软件基础 - PLF」 5. Small-Step Operational Semantics


「软件基础 - PLF」 4. Hoare Logic as a Logic


「软件基础 - PLF」 3. Hoare Logic, Part II


「软件基础 - PLF」 2. Hoare Logic, Part I


Some Great National Songs

文/灵翼


「软件基础 - PLF」 1. Program Equivalence 程序的等价关系


Chinese Historical Disaster

文/灵翼


Stray Birds - Chapter 2


2018这一年

About 2018, this year


Stray Birds - Chapter 1


「软件基础 - LF」 16. More Automation


「软件基础 - LF」 15. Extracting ML From Coq


「软件基础 - LF」 14. An Evaluation Function For Imp


「软件基础 - LF」 13. Lexing And Parsing In Coq


「软件基础 - LF」 12. IMP


「软件基础 - LF」 11. Rel - properties of relations


「软件基础 - LF」 10. Induction Principles


「软件基础 - LF」 9. Proof Objects - The Curry-Howard Correspondence


「软件基础 - LF」 8. Maps - Total and Partial Maps


「软件基础 - LF」 7. Ind Prop (归纳定义命题)


「软件基础 - LF」 6. Logic


「软件基础 - LF」 5. Tactics


「软件基础 - LF」 4. Poly


「软件基础 - LF」 3. List


「软件基础 - LF」 2. Induction


「软件基础 - LF」 1. Basics (FP in Coq)


2018

Vim 与中文输入法

Using Vim with non-english input method


Avoiding success at all cost

Watching "Escape from the Ivory Tower: The Haskell Journey"


《疯狂动物城》13条哲理摘抄

好的作品值得欣赏


星爷《美人鱼》有感

无敌是多么寂寞。


重温《泰坦尼克号》

赌赢那张船票,是我这一生最幸运的事情。它让我遇见了你,对此我感激不尽。


程序员中的梦想家

Dreamers among programmers


曼谷街头

Walk in the Bangkok's Street


写在离开北京前

即将前往莫斯科的一点心路历程


《起跑线》引出的思考

世界很大,你很渺小


2017

「知乎」如何通俗地解释停机问题?

How to explain the Halting Problem?


「知乎」如何证明不可计算的函数比可计算的函数多?

Why is there more uncomputable functions?


「知乎」为什么 CSS 这么难学?

Why I dislike CSS as a programming language


Farewell, Flash. 感谢你,但这一次是真正的永别。

So long, and thanks for all the Flash


我是一个行走的人

The girls taken away by time


How does SW-Precache works?


生活没有止境

Life has no end


「知乎」如何理解 document 对象是 HTMLDocument 的实例?

Why is document an instance of HTMLDocument?


下一代 Web 应用模型 —— Progressive Web App

The Next Generation Application Model For The Web - Progressive Web App


一点对生活的思考

一些随想"


如何客观地评价「小程序」的体验?

Wechat Mini-Program vs. the Web, a UX comparison


2016

Service Worker 101「GDG DevFest 2016 北京」

🎞 Slides:Service Worker 101, Working Offline and Instant Loading (GDG DevFest 2016 Beijing)


2018年各个月份计划目标

Receive the growth from the hurt


Web 在继续离我们远去

After the release of Wechat Mini-Program


人生就是这样

The life is like this


我们所做的努力

你的现在来自你的每一份努力


叶芝精选《当你老了》

When you are old


转摘《戒掉这七种思维方式,才能走向真正成熟》

成长的过程,思维方式的转变


相信希望

Believe The Hope


《喜剧之王》心得

其实我是一个演员。


《般若波罗蜜多心经》有感

心无挂碍,无挂碍故,无有恐怖,远离颠倒梦想。


被时光带走的那些女孩

The girls taken away by time


那些逝去的伤口

Those lost wounds


不要小看任何人

Don't look down anyone forever


Progressive Web App 之我见

🎞 Slides:Progressive Web App, in my points of view


「译」React vs Angular 2:冰与火之歌

React versus Angular 2: There Will Be Blood


2015

都 2015 年了,CSS 怎么还是这么糟糕

🎞 Slides:CSS Still Sucks 2015


「译」iOS 9,为前端世界都带来了些什么?

iOS 9, Safari and the Web: 3D Touch, new Responsive Web Design, Native integration and HTML5 APIs


「知乎」设计师如何学习前端?

How designers learn front-end development?


2019年各个月份计划目标

You are my dream Since i met you!


JavaScript 模块化七日谈

🎞 Slides:JavaScript Modularization Journey


致我即将逝去的大学

大学之间的成长随感


JavaScript Module Loader

CommonJS,RequireJS,SeaJS 归纳笔记


Unix/Linux 扫盲笔记

不适合人类阅读,非常水的自我笔记


Definition of End to End User Scenarios


「知乎」如何评价 2015 年 3 月 9 日 Apple 春季发布会?

聊聊科技与新式奢侈品


2014

「知乎」你们觉得响应式好呢,还是手机和PC端分开来写?


2020年各个月份计划目标

永远相信自己,坦坦荡荡。