Archive

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

okex欧易官网okx交易所 (2023最新免翻墙地址入口)


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


火币网官网huobi 火必(2023最新免翻墙地址入口)


火币关于下线火必NFT市场及迁移说明的公告


火币第六期“投票上币”携手“火箭计划


2022

火币Huobi Global将于7月7日13:00(GMT+8)开放SRT交易


火必Huobi Global将于7月7日17 :00(GMT+8)开放VELO交易


火必Huobi Global将于7月7日19:00(GMT+8)开放MEDAMON交易


火币Huobi Global将于7月7日22:40(GMT+8)开放SAO交易


火币Huobi Global将于7月8日20:00(GMT+8)开放TAVA交易


火币Huobi PrimeList 将于7月15日上线MUDOL2


火必Huobi Global将于07月15日21:30(GMT+8)开放POOLZ


火币Huobi Global将于7月19日19:30(GMT+8)开放PSG, JUV, ATM, OG交易


火币Huobi Global将下架IIC、LOL、PC和YEE


火币Huobi Global关于支持ETH潜在分叉及处理方案说明


火币HuobiGlobal 将于8月15日上线VVS新币活动


火必Huobi Global 将于8月19日上线FIU交易赛


火必HuobiGlobal 将于8月22日上线PBR交易赛


火币Huobi Global将于9月5日下架部分币种


火币Huobi Global将于09月08日16:00(GMT+8)开放VINU


火币Huobi Global关于支持Terra Classic链1.2% 征税


火币Huobi Global 将于9月9日上线VINU


火币Huobi Global 将于9月15日上线MMF新币


火币Huobi Global 将于9月17日上线ETF新币


火币Huobi Global关于支持PHX置换


火币代币空投活动】CandyDrop将于9月27日推出WAXL


火币合约新上永续合约品种通知


火币Huobi Global将于5月6日上线LHB


火币Huobi Global“创新区”于5月11日上线新币CSPR


火币Huobi Global将于5月11日开启“ICP交易赛”


火币Huobi Global将于4月22日上线FORTH新币活动


火币Huobi Global将于5月5日上线CTSI


火币Huobi Global“创新区”于3月30日上线AXS


火币Huobi Global启动“交易稳定币享0手续费”


火币Huobi Global“全球观察区”于4月1日上线INSUR


关于火币Huobi Global开通14个锚定代币在HECO


关于火币Huobi Global将于3月28日开启FIL


火必将于11月24日下架CRO/USDT


火必Huobi与波场Poloniex正式达成战略合作伙伴关系


火必将于12月23日17:30(GMT+8)开放GEAR


火必将与Visa联合推出火必Visa卡


火必Huobi将于12月24日上线OAS


火币运营周报


火币全球站“全明星VIP”费率活动


关于Huobi Global第四期限时优惠点卡


关于火币全球站支持ETH 2.0质押并上线


火必2022年终报告:晒出属于自己的年度记忆


火必开启第二期投票上币活动——上币大战,谁能胜出?


火必理财产品优化升级


火必荣誉之夜:2022年度综合影响力颁奖典礼


火币即将于1月18日上线RPL


火必新春7天乐,邀您瓜分$20,000,000 等值奖励


第2期火必大使火热招募中,10大福利全新升级


火必上线ALI充值赛,奖池价值10,000 USDT


火必关于支持CTX(C2X)置换为XPLA的公告


火币宣布加入BTTC L2生态,推动创建链上开放金融系统


火币将下架FILDA和WAR


火币将于2023年3月6日22:30(GMT+8)开放TRU (TrueFi)现货交易


火必将于2023年3月13日上线VOLT


火必理财:关于新老客户Prime权益限时活动的公告


火必NFT清退通知


火币 7 年的七个故事


杜均回归火币:我负责币价


过去一个月,超55000枚BTC从火币流入币安


火币重推三板斧,领衔牛市下半场


2021

火必最强新人福利——每天限量200名


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?