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 体验更好?


灌云县名人录