AKI的博客 | AKI SUOU

部署在cloudflare上的个人静态导航网页。

两种

演示图片（一）代码 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 ...

Posted by SUOU AKI on April 22, 2025

华为与苹果：科技巨头的全面对比与客观评价

从创始人到企业文化，剖析两家公司的优劣与发展

“科技的较量，文化的碰撞，未来的预演。” 作者：AKI_SUOU 本来已经做好了我的网页，我的个人网站无法在中国大陆区进行直接访问，说白了就是被防火墙dns污染了，白做了。就随手爬取了，一个荒废的博客，在github上部署了这个静态的博客，我的wed语言不是很好就随便写了一个页面。本文将从创始人、发展历程、思想转变、市场规模、世界比重、市值变化、企业管理、企业文化、重大事件及管理...

Posted by AKI on March 19, 2025

美国无实名手机号现货出售

Google voice 虚拟号码无月费永久 Talkatone 实体手机号无月费永久作用国际通话低至0.1美元每分钟！！！可注册国内各大APP、注册海外各大app、银行接码通通免费！！！套餐购买 Google（美区）+Google voice 47元 Google（美区）+Talkatone 50元 Google（美区）+Googl...

Posted by AKI on March 18, 2025

把「终端下的 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 应该是最容易的。背景知识「停机问题」研究的是：是否存在一个「程序」，能够判断另外一个「程序」在特定的「输入」下，是会给出结果（停机），还是会无限执行下去（不停机）。在下文中，我们用「函数」来表示「程序」，「函数返回」即表示给出了结果。...