☄️掱掱斯☄️

「有了你，一切都成为可能。桑」

文言文

"虚词 其"

“文言文短句” 01 爱其子，择师而教之；于其身也，则耻师焉，惑矣。 [^001] 爱自己的孩子，就挑选老师来教他；对自己呢，却以跟从老师（学习）为可耻，（真是）糊涂啊！ 其：自己的。 于：介词，对于。 其：代词，他。 身：自身，自己。 也：语助，表停顿。 则：连词，表转折，却。 耻：名作意动，以……为耻。 师：名作动，从师。 焉：语助...

Posted by zbb on July 19, 2024

文言文

"虚词 而"

“文言文短句” “而”通常有4种用法：表并列，表转折，表承接，表修饰 承接关系与修饰关系的区别: “而”前后均为动词或动词短语为承接; “而”前为形容词、名词、介宾短语等, “而”后为动词则为修饰。 01 故夫知效一官，行比一乡，德合一君，而征一国者，其自视也亦若此矣。 [^001] 所以那些才智足以授给一个官职，品行可以适合一乡人的心意，道德符合一个君主的...

Posted by zbb on July 19, 2024

文言文

"古文 实词"

“文言文短语” 01 度我至军中，公乃入。沛公已去，间至军中。张良入谢。 [^001] 度 duó：估计。 间 jiàn：间道；偏僻的小路。 :flags: 间道：偏僻的或抄近的小路。 估计我到了军营，您才能进去(见项王)。刘邦离去后，(估计到)从小路(已经)回到军营里。张良(才)进去谢罪。 :bulb: ...

Posted by zbb on July 19, 2024

成语学习

"成语 01"

“成语五百伴 ” 01 物是人非 [^001] .wù shì rén fēi 已掌握请打上对勾！ 物：景物。 是：与非相对，意为没变 、依旧。 非：谓改变，不同原样。 景物依旧，人事已非。 多用以形容对故人的怀念。 :bulb: 李清照《武陵春》 “物是人非事事休，欲语泪先流。” ✌️ 故地重游，依然是...

Posted by Zbb on July 15, 2024

成语学习

"成语 02"

“成语五百伴” 01 析骸而爨</span> [^001] xī hái ér cuàn 确定已经掌握了请打上对勾！ <td bgcolor=#ff461f>析骸以爨<td bgcolor=#000000>1 <td bgcolor=#b61aae>析骨而炊...

Posted by Zbb on July 14, 2024

成语学习

"成语 03"

“成语五百伴” 01 蠢蠢欲动 [^001] .chǔn chǔn yù dòng 确定已经掌握了请打上对勾！ 可理解为　欲蠢动 蠢蠢：蠢动的样子。 🎏 蠢动：(敌人或坏人)进行活动。 🎏 蠢动：虫子爬动。 比喻敌人准备进攻或坏人阴谋捣乱。 ✌️ 癌症为什么很难发现呢...

Posted by Zbb on July 13, 2024

成语学习

"成语 04"

“成语五百伴” 01 居安思危 [^001] . jū ān sī wēi 确定已经掌握了请打上对勾！ 居：处于。 安：安定的生活、环境。 此处为名词。 思：想。 虽然处在平安的环境里，也想到有出现危险的可能。 指随时有应付意外事件的思想准备。 ✌️ 对于一般人来说，最难的是如何在顺境下保持居安思危。因为身处...

Posted by Zbb on July 12, 2024

成语学习

"成语 05"

“成语五百伴” 01 金兰之好 [^001] .jīn lán zhī hă 确定已经掌握了请打上对勾！ <td bgcolor=#22663a>义结金兰 金兰之交 金兰之谊<td bgcolor=#000000>1 <td bgcolor=#771c12>金兰之契 金...

Posted by Zbb on July 11, 2024

成语学习

"成语 06"

“成语五百伴” 01 大谬不然 [^001] . dà miù bù rán 确定已经掌握了请打上对勾！ 谬：荒谬，错误； 然：如此，这样。 非常错误，实际不是这样。</span> ✌️ 在不了解的人看来，小明是个非常听话的孩子，慢慢地就会知道，其实大谬不然。 ✌️ 对于未知的事物，我们的认知有...

Posted by Zbb on July 10, 2024

成语学习

"成语 07"

“成语五百伴” 01 言归正传 [^001] .yán guī zhèng zhuàn 确定已经掌握了请打上对勾！ 言：所说的话，话头。 - 🎏 话头：话题。 归：回归。 正传：正题或本题。 指话头转回到正题上来。 ✌️ 我不得不打断他，告诉他这些事回头慢慢再说，现在还是言归正传吧。 ...

Posted by Zbb on July 9, 2024

成语学习

"成语 08"

“成语五百伴” 01 歪打正着 👈 [^001] .wāi dǎ zhèng zháo 确定已经掌握了请打上对勾！ 歪：不恰当的；不正确的。 打：表示与身体有关的动作行为。 正：不偏斜，与“歪”相对。恰好。 着 zháo： 同“著”；中；合适。 正着：亦作“ 正著 ”。 恰巧碰上；准确打中。 比喻方法本来不恰当，却...

Posted by Zbb on July 8, 2024

成语学习

"成语 09"

“成语五百伴” 01 为虎添翼 👈️ [^001] wèi hǔ tiān yì 确定已经掌握了请打上对勾！ 为虎傅翼 1 为：给，替。 傅 fù：添加。 - 🎏 师傅：shī fu 替老虎加上翅膀。 比喻帮助坏人，增加恶人的势力。 ✌️ 这种为虎添翼的事，我们坚决不干。...

Posted by Zbb on July 7, 2024

成语学习

"成语 10"

“成语五百伴” 01 虚与委蛇 [^001] .xū yǔ wēi yí 确定已经掌握了请打上对勾！ 虚：假意；不真实。 与：和，跟。 委蛇：随便应付。 指对人虚情假意地敷衍应酬。 ✌️ 对等同学和朋友，要诚心相待，千万不能虚与委蛇，弄虚作假。 ✌️ 如果你总是拿腔作调，虚情假意，别人就只会同你虚与委蛇...

Posted by Zbb on July 6, 2024

《JavaScript 三十年》推荐语

雪碧（doodlewind）邀请我给《JavaScript 二十年》 写的推荐序。 JavaScript 常常被戏称为一门偶然成功的玩具语言。而实际上，它出身名门，更是成长在聚光灯之下。纵观历史，有资格被标准化的编程语言甚少，它因此成为多方角力的战场，却也有幸同时得到业界与学界先驱的亲传。时至今日，我们甚至难言是它背负了太多妥协，还是这些妥协才成就了它呢。以史为鉴，或许你会有自己的...

Posted by Hux on April 10, 2021

只有我自己吗？

Taking this chance to reflect on myself

这篇文章转载自我在知乎上的回答 我也看不懂。 对于任何一个我有一定了解的领域，我都知道一大堆我看不懂的东西。反而是对于那些我一点都不了解的，我甚至都说不出来我不懂什么。 有的时候我会觉得，在我眼里还只有前端的时候，我还更自信更爱分享一点。可能因为那时候我能感知到的「边界」就只有 2^4 = 16 这么大，还觉得自己满打满算已经懂了 4 吧。打个比喻的话就是觉得自己已经能干活了，...

Posted by Hux on July 5, 2020

React Hooks 是否可以改为用类似 Vue 3 Composition API 的方式实现？

Thinking in React vs. Thinking in Vue

这篇文章转载自我在知乎上的回答 不能，因为是很不一样的心智模型（Mental Model）。我觉得很多同学只关注到了这两套 API 在功能上都能复用逻辑的相似点，而低估了两个框架体系「大背景」上的差异。 正文开始前我先声明一下， 一是本文观点不代表公司。我是觉得圈子里不认同 Hooks 的声音太多了（比如 @徐飞 叔叔、 @贺师俊 贺老、 @题叶 同学等老朋友 ...

Posted by Hux on April 3, 2020

2019 年 PWA(Progressive Web App) 凉了吗？

Is PWA effectively dead in 2019?

这篇文章转载自我在知乎上的回答 作为 PWA 在国内的早期布道者与实践者，我觉得挺凉的。 以下都是主观感受且 opinion is my own。 PWA（甚至整个 Web）似乎被 Google（Chrome）与「第三世界」绑到一起去了。「这世界还有多少人没上过网、没有 4G、没有 3G……印度、印度尼西亚、非洲、乌干达……」这便是这两年的 Chrome Dev Summit 的...

Posted by Hux on November 19, 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

如何证明不可计算的函数比可计算的函数多？

Why is there more uncomputable functions?

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

Posted by Hux on December 12, 2017

如何通俗地解释停机问题？

How to explain the Halting Problem?

这篇文章转载自我在知乎上的回答 我用 Python 伪代码来解释下，我觉得对这个问题有兴趣的应该都是有点编程基础的，所以直接上 code 应该是最容易的。 背景知识 「停机问题」研究的是：是否存在一个「程序」，能够判断另外一个「程序」在特定的「输入」下，是会给出结果（停机），还是会无限执行下去（不停机）。 在下文中，我们用「函数」来表示「程序」，「函数返回」即表示给出了结果。...

Posted by Hux on December 12, 2017

为什么 CSS 这么难学？

Why I dislike CSS as a programming language

这篇文章转载自我在知乎上的回答 对我来说，CSS 难学以及烦人是因为它「出乎我意料之外的复杂」且让我觉得「定位矛盾」。 @方应杭 老师的答案我赞了：CSS 的属性互不正交，大量的依赖与耦合难以记忆。 @顾轶灵 @王成 说得也没错：CSS 的很多规则是贯彻整个体系的，而且都记在规范里了，是有规律的，你应该好好读文档而不是去瞎试。 「CSS是一门正儿八经的编程语言，请拿出你学C+...

Posted by Hux on October 6, 2017

FEATURED TAGS
知乎 笔记 Coq SF (软件基础) Web PLF (编程语言基础) LF (逻辑基础) 成语 PWA 产品 UX/UI JavaScript Meta Slides 文言文 译 阿里 基础 微信 虚词 计算理论 C C++ CSS En Vim hUX 随想录
ABOUT ME

生活中要有光
掱掱斯最爱 @ 麦桑

FRIENDS