Toggle navigation
binance交易所币安官网|2023最新入口
Home
About
Archive
About
Archive
「我干了什么 究竟拿了时间换了什么」
Show All
131
知乎
63
Meta
53
笔记
40
Coq
36
SF (软件基础)
36
Web
21
PLF (编程语言基础)
19
LF (逻辑基础)
16
PWA
8
产品
6
UX/UI
6
Slides
4
译
3
阿里
3
JavaScript
3
基础
2
微信
2
计算理论
2
C
2
C++
2
CSS
2
En
2
Vim
2
hUX 随想录
2
Facebook
1
Flash
1
Haskell
1
QC (Quickcheck)
1
React
1
bian
1
binance
1
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？
