Archive

华诗三百首

未完待续

心灵鸡汤

心灵鸡汤

文摘

文摘

长平之战分析

长平之败因

百里奚

五羖大夫

时运赋

破窑赋

犀牛角和水牛角一样吗

茶壶断水分析

茶壶如何断水利索

读书札记

温故知新

jekyll地址绑定127.0.0.1导致其他机器无法访问

jekyll can't be accessed because of binding 127.0.0.1

uniapp发布H5后PC file协议打开，禁用模拟移动端显示

uniapp H5 deplyment

外语中的中国

China Kitay

unicloud云函数操作数据库

unicloud servless

ubuntu 安装jekyll

Ubuntu install jekyll

解决本地调试Github Page报错

Github Page

第一篇Github Page/Gitee Page 文章

Github Page Gitee Page

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

Open file with terminal Vim from the macOS Finder

「SF-QC」2 TypeClasses

Quickcheck - A Tutorial on Typeclasses in Coq

「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

Vim 与中文输入法

Using Vim with non-english input method

Xcode命令行工具管理

如何切换Xcode命令行工具

从一道网易面试题浅谈 Tagged Pointer

浅谈 Tagged Pointer

为博客添加 Gitalk 评论插件

BY Blog 添加 Gitalk 的评论插件了

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

How to explain the Halting Problem?

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

Why is there more uncomputable functions?

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

Why I dislike CSS as a programming language

GCD 在 Swift 中的用法

Swift 4 新特性

很高兴 Swift 4 不再是一门新语言了😅

利用 Debug Memory Graph 检测内测泄漏

利用 Xcode 内存表（Debug Memory Graph）检测内测泄漏

iTunes Connect 构建版本不显示

App打包上传到 App Store, iTunes Connect 构建版本不显示

Swift的HMAC和SHA1加密

swift中利用HMAC的SHA1对文本进行加密

饿了么的 PWA 升级实践

Upgrading Ele.me to Progressive Web App

Xcode9 无线调试功能

zsh的快速配置

快速配置zsh

zsh的快速配置

How does SW-Precache works?

在 Swift 中使用 IBInspectable

IBInspectable 在 Swift 中的实际应用

R.swift 的使用

在项目中引入 R.swift，更安全的获取资源

Swift 的懒加载和计算型属性

比较水的个人笔记

RVM 使用指南

RVM 常用的命令整理

iOS自动打包

利用 xcdeobulid 打包项目、上传

CocoaPods 安装和使用

安装时间 2017/04/13, 环境macOS 12.10.1， cocoapod版本 1.2.1

强化 swift 中的 print

强化 swift 中的 print 输出函数

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

Why is document an instance of HTMLDocument?

Swift 3.1 的新变化「译」

What’s New in Swift 3.1?

AsyncDisplayKit 2.0 教程:入门「译」

AsyncDisplayKit Tutorial:Getting Started

Mac终端(zsh)下用代码编辑器打开文件或目录

更改 zsh 配置文件，在终端使用sublime、vscode、atom快速打开文件或目录

CocoaPods私有仓库的创建

继续带你创建 CocoaPods 私有有仓库

CocoaPods公有仓库的创建

手把手教你创建 CocoaPods 公有仓库

文件目录树状(tree)显示

Mac终端显示输树状文件结构

Swift 代理模式

Swift中如何使用代理模式

Xcode 控制台输出中文

在 Xcode 控制台输出中文的方法

Mac 文件的隐藏与显示

使用终端 显示/隐藏 文件

使用 .gitignore 忽略 Git 仓库中的文件

.gitignore 文件在Git中的使用

Git 代码回滚

回滚代码的正确姿势

Git指令整理

不适合阅读的整理的一些个人常用的 Git 指令

Mac 文本转音频

在Mac终端上将文本文件转换为音频文件

快速搭建个人博客

手把手教你在半小时内搭建自己的个人博客(如果不踩坑的话🙈🙊🙉)

Mac 快速调出终端

在Mac下为终端设置快捷键

Objective-C Runtime 详解

Runtime 详解

Objective-C Runtime 基本使用

Runtime 使用案例

ReactiveCocoa 进阶

函数式编程框架 ReactiveCocoa 进阶

ReactiveCocoa 基础

函数式编程框架 ReactiveCocoa 基础入门

定时器 你真的会使用吗？

iOS定时器详解

忽略 Xcode 8 中的注释警告

Bulid Settings -> Documentation Comments -> NO

快速添加圆角和描边

iOS 为图片添加圆角和描边的几种方式

iOS噪音计

一个iOS噪音计模型、以及测量原理及分贝计算

JSON转模型 For YYModel

使用 YYModel库 快速完成 JSON 转模型

Xcode Debug 大全

iOS开发中利用 Xcode 各种调试Bug方法

iOS手势与变形

手势与变形基础知识笔记

「译」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?

JavaScript Module Loader

CommonJS，RequireJS，SeaJS 归纳笔记

Unix/Linux 扫盲笔记

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