Archive

「我干了什么 究竟拿了时间换了什么」
2023

okex欧易官网okx交易所 （2023最新免翻墙地址）

币安交易所Binance官网网址 （2023最新免翻墙地址入口）

2022

OKX 欧易关于独家上线 Conflux (CFX) 赚币

OKX 欧易 Web3 钱包 支持 BRC-20 资产交易

欧易OKX上线Fame (FAME) 的公告

欧易OKX欧易上线Taki App

欧易OKX欧易支持Optimism网络

欧易关于部分合约梯度档位规则调整的公告

欧易OKX关于支持 MIR DeFi

欧易OKeX关于NANO置换XNO的公告

欧易OKX关于支持MOF 1000倍拆分的公告

欧易OKeX关于TONCOIN置换TON

欧易OKX上线Town Star (TOWN) 的公告

欧易OKeX关于完成PAX置换并上线

关于“欧易OKEx”正式更名为“欧易OKX”的公告

欧易OKeX上线Element Black

欧易OKeX关于上线 Jumpstart 项目TAKI

OKX NFT市场现已支持挂单到Magic Eden

欧易OKeX上线Step App

关于OKX平台CELT项目价格大幅波动情况说明及处置方案

欧易OKeX上线BORA (BORA) 的公告

欧易关于CELT空投规则的补充说明厂

欧易OKeX上线Paycoin (PCI)

OKX与Gitcoin达成战略合作：共同营造Web3优质项目梦工厂

OKX与英超联赛冠军曼城足球俱乐部达成官方合作

欧易履约即将公布储备金证明 重建行业信任基线

欧易OKeX上线Stader (SD)

欧易OKX荣获领英2022全球吸引力雇主奖，成唯一上榜Web3科技公司

OKX Ventures 2023年投资预测：加密行业蓬勃发展，笃定未来三年是下注良机

OKX宣布向土耳其捐款100万里拉，帮助抗震救灾

欧易OKeX上线Zebec Protocol

加密交易所OKEx更名为OKX

欧易上线ApeCoin

OKX：Nansen数据已验证OKX 60亿美元资产，仅为OKX部分储备

最新里程碑！OKX在巴哈马完成注册，并设立拿索办事处

欧易行业周报（9.5 - 9.11）欧易OKX首支品牌TVC《What is OKX》正式发布，全球同步上线

稳定币江湖录：背靠欧易OKX，OKCU将重塑行业格局

欧易行业周报（9.26 – 10.2）欧易OKX代言人丹尼尔·里卡多受邀出席

欧易OKX上线Immutable X

欧易OKX关于热门MEME

欧易OKeX上线TerraUSD

欧易OKeX上线Dose

欧易OKeX关于投资组合保证金功能

欧易OKX上线Gods

欧易OKX关于热门MEME Coin

欧易OKX上线Fodl Finance

欧易OKX关于开启热门MEME Coin

欧易OKX上线Spell Token

Okx

欧易OKX DeFi Hub 正式上线区块链游戏

欧易OKX上线Kollect

欧易OKX上线CherrySwap

欧易OKX上线Gala (GALA)

欧易OKX关于支持ELF主网切换

欧易OKX完成QUN置换并上线

欧易OKX关于SushiSwap Vested

欧易OKX赚币关于第九期加息项目

欧易OKX关于支持Cardano

欧易OKX上线Crypto Gladiator

欧易OKX上线Eden Network

欧易OKX上线dYdX

欧易OKX赚币关于第八期加息项目申购

欧易OKX上线Illuvium

欧易OKX上线Adventure Gold

欧易OKX DeFi Hub 开启公测，资产看板、NFT交易平台抢先了解

欧易OKX关于逐步停止经典账户使用、全面切换统一账户

欧易OKX关于支持KINE锁仓赚币，及第七期加息项目申购即将开启的公告

欧易OKX关于暂停ETH与Polygon网络充提的公告

欧易OKeX上线Ronin Network

欧易上线Everdome

欧易上线Metis

欧易关于支持 JOE 锁仓

欧易上线WAX (WAXP)

欧易OKX上线Acala

欧易OKX上线Glimmer

欧易OKX上线LooksRare

欧易OKX上线Gari Network

欧易关于开启TUSD锁仓赚币

欧易OKX上线DeHorizon

欧易关于双币赢产品

欧易OKeX上线WallStreetBets

欧易OKeX上线Raydium

欧易OKX上线Thetan Arena

欧易OKeX上线Guild of Guardians

欧易OKX关于投资组合保证金

欧易OKeX上线Radio Caca

欧易OKX上线GuildFi

欧易OKX上线Moonriver

欧易OKX关于“赚币年末礼献”

欧易OKeX上线ConstitutionDAO

欧易OKX上线Biconomy

欧易OKX上线WINkLink

欧易OKX上线gm

欧易OKX关于TONCOINUSDT永续

欧易OKeX上线Bloktopia

欧易OKeX发放BOBA空投

欧易OKX关于支持MEME拆分

欧易OKX关于支持MEME拆分

欧易OKX开放CELT/BTC交易对公告

2020

Data Representation - Floating Point Numbers

「数据表示」浮点数

Data Representation - Integer

「数据表示」整数

My Programming Languages Spectrum

我的编程语言光谱

React Hooks 是否可以改为用类似 Vue 3 Composition API 的方式实现？

Thinking in React vs. Thinking in Vue

2019

2019 年 PWA(Progressive Web App) 凉了吗？

Is PWA effectively dead in 2019?

把「终端下的 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

2018

Vim 与中文输入法

Using Vim with non-english input method

Avoiding success at all cost

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

程序员中的梦想家

Dreamers among programmers

《PWA 实战》推荐序

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

饿了么的 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)

Web 在继续离我们远去

After the release of Wechat Mini-Program

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?

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

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

JavaScript 模块化七日谈

🎞 Slides:JavaScript Modularization Journey

聊聊「阿里旅行 · 去啊」

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

See you, Alibaba

再见，阿里。

hUX 随想录（二）：操作系统的浪漫主义 —— Metro 篇

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

Unix/Linux 扫盲笔记

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

hUX 随想录（一）：Digital native 数字原住民

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

如何评价 2015 年 3 月 9 日 Apple 春季发布会？

聊聊科技与新式奢侈品

Hello 2015

"Hello World, Hello Blog"

2014

如何看待微信屏蔽快的打车事件？

恰有小感。

你们觉得响应式好呢，还是手机和PC端分开来写？

为什么阿里系软件体验都不好？

或许这就是所谓的企业 DNA

对中国用户而言，Pure Android 是否比 MIUI 或 Flyme 体验更好？

灌云县名人录