Kuok的博客 | Kuok Blog

最好的起点是现在

今天终于有点拨开云雾见天日的感觉了

markdown是现在非常流行的轻量级标记语言，写笔记比较方便，只要记住一些快捷键，对于结构化的知识点总结很有帮助，特别是写blog总结知识点方便，程序员的标配。 MarkDown的使用及快捷键文件后缀就是.md，每个快捷符号后面+空格执行快捷键，文本编辑器为Typora（多的不说一个字，优雅） #号+空格表示标题，#号的数量就是几级标题 ...

Posted by Kuok on October 27, 2021

面向对象编程的特征

面向对象的四大特征「抽象」定义：抽象是将一类对象的共同特征总结出来构造类的过程,包括数据抽象和行为抽象两方面,抽象只关注对象的哪些属性和行为,并不关注这此行为的细节是什么研究事物的静态特征(属性) 研究事物的动态特征(方法/函数) 形成结果(类,class) 类和对象相互转变(new) 举例说明：学生...

Posted by Kuok on October 25, 2021

Daily lecture

This is my first daily lecture

现在觉得自己好苦逼，在应该奋斗的时候，没有一个人指明路，也没有太远的规划，现在需要面对这些的时候，却有些手足无措。种一棵树最好的时间就是现在。「记一下杰哥的github blog」「课中漫想」来这里学习也有一个半月了，我觉得这段时间过得太快了，在这里真的听到杰哥听到珍姐讲的那些优秀的人，才感觉自己多渺小，太多的要学习的东西了，反过来又回想自己大学几年到底做了些什么。谈过恋...

Posted by Kuok on October 18, 2021

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

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

程序员中的梦想家

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

「知乎」如何证明不可计算的函数比可计算的函数多？

Why is there more uncomputable functions?

这篇文章转载自我在知乎上的回答严谨的证明的话，可以使用「形式语言」（Formal language）来证明：在可计算理论和计算复杂度理论中，每个「计算问题」都被描述为一个一个「形式语言」，即字符串的集合。比如对于判断一个图是否是无向连通图这个问题：我们可以写为一个描述所有无向连通图的集合： \[A = \{ \langle G \rangle \vert G \text{ ...

Posted by Hux on December 12, 2017

kuok Blog