海底两万里工作室

「掌握大海的人才能掌握世界」

太平洋战争　1941-1945

“我们总算赢了”－大洋彼岸的英国首相丘吉尔安然入睡。“不论在不在港内，我们每个人都将永远记住这一时刻。”1941年12月8日，美国总统在国会发表了其历史性的演说，而后国会通过对日宣战和英国对日宣战。――摘自《太平洋战争　1941-1945》。 1941年的11月26日傍晚，庞大的战舰群静静地驶出集结地：千页群岛的单冠湾，目标是3000英里外的夏威夷珍珠港。“赤城”号上南云忠一中将拿...

Posted by king on December 18, 2024

作为一个前端，看不懂@黄玄 的几乎每一个回答，只有我自己吗？

Taking this chance to reflect on myself

这篇文章转载自我在知乎上的回答 我也看不懂。 | 雷伊泰灣海戰 | | — | | 第二次世界大戰太平洋戰爭的一部分 | | 1944年10月20日美軍登陸雷伊泰島的路徑 | | 日期1944年10月20日—1944年10月26日地点菲律宾莱特岛附近海域结果同盟国军队取得了决定性胜利日本海军联合舰队、航空兵主力基本被殲滅日本在中东太平洋的制海權和制空權遭到徹底剝奪日本徹底喪失戰...

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

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

《大海战Ⅱ》是一款基于二战的海战策略游戏，玩家需要熟练操作舰艇和武器，使用精准射击击沉敌舰。支持多人模式，基于真实历史的舰炮、鱼雷、炮弹和舰艇设备，提供独特的游戏体验。

FRIENDS