davide

中国高等教育的系统性失败

The Systematic Failure of Higher Education in China

该回答在知乎问题「如何评价上海交通大学 18 级计算机系第一名「迟先生」的言论？」下无原因被夹。询问我的「专属小管家」多次后仍然给不出任何原因与具体修改意见，自己多次尝试小幅修改无果，干脆直接将原文发上来吧。高票 @Youngster38324 的回答透露出来的本质上是「中国高等教育的系统性失败」，逐层来看: 「进大学前唯分数和同质化教育」导致了太多人去大学...

Posted by Hux on January 19, 2021

Data Representation - Floating Point Numbers

「数据表示」浮点数

In the last episode we talked about the data representation of integer, a kind of fixed-point numbers. Today we’re going to learn about floating-point numbers. Floating-point numbers are used to a...

Posted by Hux on June 21, 2020

Data Representation - Integer

「数据表示」整数

Integers, or whole number from elemental mathematics, are the most common and fundamental numbers used in the computers. It’s represented as fixed-point numbers, contrast to floating-point number...

Posted by Hux on June 19, 2020

Peter John Landin

「计算机科学偶像」- 彼得·约翰·兰丁

wiki 维基 I was long curious about how does λ calculus become the foundation of formalizaing programming languages. It’s strange that I haven’t look up the answer until today: It’s i...

Posted by Hux on September 13, 2019

My Spacemacs Workflow

From Vim to Spacemacs

Emacs tend to provide a good support for functional programming languages. Indeed, many FP language community exclusively use Emacs and give only first-party IDE supports to Emacs, such as Coq, Agd...

Posted by Hux on September 8, 2019

把「终端下的 Vim」作为 macOS Finder 的打开方式

Open file with terminal Vim from the macOS Finder

我的日常主力编辑器主要是： (Neo)Vim Spacemacs (via Emacs-plus) Visual Studio Code IntelliJ IDEA 这里面只有 (Neo)Vim 是存活在终端中的（我并不在终端内使用 Emacs），而由于我日常主要是从终端（via iTerm）来使用电脑，所以会把他们都加入到 $PATH 里以方便从终端中唤起，VSCo...

Posted by Hux on September 3, 2019

Vim 与中文输入法

Using Vim with non-english input method

Update: 我最后还是放弃把 Vim 作为主要编辑器来输入中文了，整体使用下来 mental model 的 cost 太重了。记笔记时用用中文呀或者改改博客时偶尔用一下还蛮去，这个时候这个功能至少能帮助你 Esc 之后不煞笔，所以也不算完全没有价值吧…… 我相信很多中文世界的 Vimer 都遇到过这个烦恼，在 vim 的 insert 模式时可能突然想输个中文，输完之后会本能的...

Posted by Hux on October 6, 2018

Avoiding success at all cost

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

“Avoiding success at all cost” is the informal motto behinds Haskell. It could be parenthesized in two ways, either “Avoiding (success at all cost)” or “(Avoiding sucess) (at all cost)”. I’m not going to interpret them directly but rather to share some thoughts on “the success vs. costs” basing ...

Posted by Hux on September 27, 2018

程序员中的梦想家

Dreamers among programmers

本文首发于我的知乎专栏 The Little Programmer，转载请保留链接 ;) 有一类程序员是 visionary 型的，为了实现一些超前的 idea，绕过某些技术的限制，他们写的 code 晦涩高深得只有他们自己能懂，做出来的 tool 看上去很美好结果处处是坑出了 bug 根本没法查，但正是这类人不断创造出新的东西，在洗礼之后成为一个个 big thing。我每周...

Posted by Hux on June 30, 2018

给《PWA 实战》一书写的推荐序

「博文视点」邀请我给《PWA实战：面向下一代的Progressive Web APP》写的推荐序。 Progressive Web App 是继 Ajax、响应式设计、HTML5 之后，web 平台的又一次革命性突破。它在开放 Web 标准的基础之上，突破了以往 Web 应用只能「依赖互联网分发」与「依赖浏览器为入口」的两大桎梏，一下子打开了 Web 应用从性能、架构到用户体验...

Posted by Hux on May 11, 2018