Archive

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

okex欧易官网okx交易所(2023最新免翻墙地址入口)电脑版网页入口 ouyi欧意 手机APP下载


币安交易所Binance官网网址


2022

币安赚币:完成EOS测验


币安活期借币


对话币安新高管Zora Chen,币安的“大中华区”布局与野望


币安交易所推出EOS持仓返利计划,年化收益1%-3%


赵长鹏:未来LaunchPad和币安上币优先考虑币安链上项目


对话赵长鹏何一:未来人们不需要知道币安


币安为“何”这样红


币安连续被六国调查或警告,新加坡“保护伞”之外还有何底牌?


币安Launchpad将上线Hooked Protocol(HOOK)


赵长鹏:币安禁止项目宣传他们将在币安上线等信息,小心诈骗


交易量屡超A股,币安币稳坐「新三大」


币安链社区发布币安智能链白皮书,测试网初版即将上线


币安Binance Chain 测试网上线


币安Binance上线子母账户


币安Binance上币费将透明化并悉数捐给慈善


币安币安开启第六期免费上币


币安Binance超级返利规则更新


币安Binance Launchpad将于2019年02月25日上线Fetch.AI


币安Binance已完成Theta Fuel


币安Binance上线子母账户功能


币安Binance第八期免费上币投票名单


币安Binance收购移动钱包-Trust Wallet


Binance安全信息更新


Binance将下架BCHSV


Binance上线子母账户功能


币安学院测试版上线公告


Binance上币费将透明化并悉数捐给慈善


Binance完成VEN升级主网VET


币安黑客通缉令


币安第5期免费上币投票名单


币安波场TRON退币


币安开启第三期免费上币投票活动


币安开启投票免费上币机制


币安交易平台开启APP小范围公测


币安开启实名认证公告


Binance天使召集令


币安官网开户送配额名额已满的通知


币安期权交易系统维护公告


币安将推出定投指数相关计划


Binance


币安将于手续费优惠项目


Binance


币安推出区间收益宝


币安NFT市场现已添加Polygon网络


币安现已上线新一批BTC云算力挖矿产品


币安慈善机构已整合币安支付


Binance


币安创始人CZ:Coinbase上市给加密公司提供了「非常清晰的手册」


上线币安智能链BSC只是MDEX的第一步


币安智能链NFT域名(.bnb)正式上线,可用于替换合约地址、内容哈希


诞生一年跻身公链头部阵营,币安智能链做对了什么


详解币安Launchpad项目Hooked经济模型以及产品玩法


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


如何评价 MIUI 6?