Archive

keep hungry keep foolish
2020

linux 安装 postfix 邮件服务

javamail 连接 postfix 发送邮件


免费资源 云主机, gitpage, cdn

免费资源 云主机, gitpage, cdn


cloudflare 全球节点备忘录

cloudflare 全球节点备忘录


老司机开车专用

老司机开车专用


k8s 部署nginx 使用configMap

k8s 部署nginx 使用configMap


Fiddler抓包工具手机添加代理后连不上网

Fiddler抓包工具手机添加代理后连不上网


2019

收藏一些v2ray 免费订阅, 免费订阅的速度也非常快

收藏一些v2ray 免费订阅地址, 免去你建服务器的烦恼


使用KebeSail 免费 建立自己的 v2ray 服务

科学上网 v2ray, 免费 不限流量 KubeSail


自建免费图床, 免费资源利用 onedriver api 自建图床

自建免费图床, 免费资源利用 onedriver


申请 免费OneDrive 5T 网盘教育邮箱, rclone raiDriver 挂在硬盘

申请 免费OneDrive 5T 网盘教育邮箱, rclone raiDriver 挂在硬盘


收藏一些免费图床, 备用, 做站用都可以, 图片代理

收藏一些免费图床, 备用, 做站用都可以


收藏一些BT 磁力鏈接網站, 開車專用

收藏一些BT 磁力鏈接網站, 開車專用


百万连接linux tcp 配置, 内存泄露 netty 内存泄露 配置

百万连接linux tcp 配置, netty 内存泄露 配置


edtiplus 正则表达式 替换中间的字符

edtiplus 正则表达式 替换中间的字符


网络上 免费的 https, ssl 服务 或工具, 自动续期

使用网络上的免费资源 构建 网站 https


消息中间件通常需要解决哪些问题, 如何编写一个消息中间件

What do messages middleware usually need to solve, how to write a message middleware


远程调用服务(RPC)和消息(MQ Message Queue)对比及其适用/不适用场合

Comparison of Remote Call Service (RPC) and Message (MQ Message Queue) and their application/non-applicability


使用caddy 部署 Typecho 免费https

使用caddy 部署 Typecho 免费https


linux centos yum 安装 mysql5.6 mysql5.7

linux centos yum 安装 mysql5.6 mysql5.7


centos6 centos7 yum 安装 nginx 和一些配置

centos6 centos7 yum 安装 nginx 和一些配置


centos7.0 centos6.0 yum 安装php服务

centos7.0 centos6.0 yum 安装php服务


安装 typecho 打造自己的 独立博客, typecho教程

安装 typecho 打造自己的 独立博客


使用 github GitHub Pages 免费 搭建 自己的 博客

Create your own blog for free with github.io


修改hosts 文件 github clone 加速 访问 github 加速

Modify the hosts file github clone speed up access github acceleration


Peter John Landin

「计算机科学偶像」- 彼得·约翰·兰丁


把「终端下的 Vim」作为 macOS Finder 的打开方式

Open file with terminal Vim from the macOS Finder


「SF-PLF」19 PE

Programming Language Foundations - Partial Evaluation


「SF-PLF」18 UseAuto

Programming Language Foundations - Theory And Practice Of Automation In Coq Proofs


「SF-PLF」17 UseTactics

Programming Language Foundations - Tactic Library For Coq


「SF-PLF」16 LibTactics

Programming Language Foundations - A Collection of Handy General-Purpose Tactics


「SF-PLF」15 Norm

Programming Language Foundations - Normalization of STLC


「SF-PLF」14 RecordSub

Programming Language Foundations - Subtyping with Records


「SF-PLF」13 References

Programming Language Foundations - Typing Mutable References


「SF-PLF」12 Records

Programming Language Foundations - Adding Records To STLC


「SF-PLF」11. TypeChecking

Programming Language Foundations - A Typechecker for STLC


「SF-PLF」10 Sub

Programming Language Foundations - Subtyping (子类型化)


「SF-PLF」9 MoreStlc

Programming Language Foundations - More on The Simply Typed Lambda-Calculus


「SF-PLF」8 StlcProp

Programming Language Foundations - Properties of STLC


「SF-PLF」7 Stlc

Programming Language Foundations - The Simply Typed Lambda-Calculus


「SF-PLF」6 Types

Programming Language Foundations - Type Systems


「SF-PLF」5 Smallstep

Programming Language Foundations - Small-Step Operational Semantics


「SF-PLF」4 HoareAsLogic

Programming Language Foundations - Hoare Logic as a Logic


「SF-PLF」3 Hoare2

Programming Language Foundations - Hoare Logic, Part II


「SF-PLF」2 Hoare

Programming Language Foundations - Hoare Logic, Part I


「SF-PLF」1 Equiv

Programming Language Foundations - Program Equivalence (程序的等价关系)


「SF-LC」16 Auto

Logical Foundations - More Automation


「SF-LC」15 Extraction

Logical Foundations - Extracting ML From Coq


「SF-LC」14 ImpCEvalFun

Logical Foundations - An Evaluation Function For Imp


「SF-LC」13 ImpParser

Logical Foundations - Lexing And Parsing In Coq


「SF-LC」12 Imp

Logical Foundations - Simple Imperative Programs


「SF-LC」11 Rel

Logical Foundations - Properties of Relations


「SF-LC」10 IndPrinciples

Logical Foundations - Induction Principles


「SF-LC」9 ProofObjects

Logical Foundations - The Curry-Howard Correspondence


「SF-LC」8 Maps

Logical Foundations - Total and Partial Maps


「SF-LC」7 Ind Prop

Logical Foundations - Inductively Defined Propositions (归纳定义命题)


「SF-LC」6 Logic

Logical Foundations - Logic in Coq


「SF-LC」5 Tactics

Logical Foundations - More Basic Tactics


「SF-LC」4 Poly

Logical Foundations - Polymorphism and Higher-Order Functions


「SF-LC」3 List

Logical Foundations - Working with Structured Data


「SF-LC」2 Induction

Logical Foundations - Proof by Induction


「SF-LC」1 Basics

Logical Foundations - Functional Programming in Coq


2018

Vim 与中文输入法

Using Vim with non-english input method


程序员中的梦想家

Dreamers among programmers


2017

饿了么的 PWA 升级实践

Upgrading Ele.me to Progressive Web App


How does SW-Precache works?


「知乎」如何理解 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)


Progressive Web Apps,复兴序章「QCon 上海 2016」

🎞 Slides:Progressive Web Apps, Make Web Great Again. (QCon Shanghai 2016)


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

React versus Angular 2: There Will Be Blood


2015

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

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


「译」ES5, ES6, ES2016, ES.Next: JavaScript 的版本是怎么回事?

ES5, ES6, ES2016, ES.Next: What's going on with JavaScript versioning?


JavaScript 模块化七日谈

🎞 Slides:JavaScript Modularization Journey


聊聊「阿里旅行 · 去啊」—— 行业与战略

聊聊在线旅行行业与老东家的产品思路


JavaScript Module Loader

CommonJS,RequireJS,SeaJS 归纳笔记


See you, Alibaba

再见,阿里。


hUX 随想录(二):操作系统的浪漫主义 —— Metro 篇

信息、载体、抽象、UI 设计乱谈


Unix/Linux 扫盲笔记

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


Definition of End to End User Scenarios


hUX 随想录(一):Digital native 数字原住民

两岁的侄女天天叫着手机手机