Enovace

Enovace

Explore Novelty and Ace the Pace

趣闲赚

Making money while lying at home~

Streaming Sharing

Netflix、Youtube、Spotify、HBO、AppleTV+

Overseas Servers

Faster than the others!

Leakage Privacy Data Query Tool

A quick privacy search engine!

把「终端下的 Vim」作为 macOS Finder 的打开方式
Reposts
把「终端下的 Vim」作为 macOS Finder 的打开方式
我的日常主力编辑器主要是： (Neo)Vim Spacemacs (via Emacs-plus) Visual Studio Code IntelliJ IDEA 这里面只有 (Neo)Vim 是存活在终端中的（我并不在终端内使用 Emacs），而由于我日常主要是从终端（via iTerm）来使用电脑，所以会把他们都加入到 $PATH 里以方便从终端中唤起，VSCo...
Vim
Sep 3
Avoiding success at all cost
Reposts
Avoiding success at all cost
“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 ...
Haskell 笔记 En
Sep 27
程序员中的梦想家
Reposts
程序员中的梦想家
本文首发于我的知乎专栏 The Little Programmer，转载请保留链接 ;) 有一类程序员是 visionary 型的，为了实现一些超前的 idea，绕过某些技术的限制，他们写的 code 晦涩高深得只有他们自己能懂，做出来的 tool 看上去很美好结果处处是坑出了 bug 根本没法查，但正是这类人不断创造出新的东西，在洗礼之后成为一个个 big thing。 我每周...
Facebook Meta
Jun 30
如何证明不可计算的函数比可计算的函数多？
Reposts
如何证明不可计算的函数比可计算的函数多？
这篇文章转载自我在知乎上的回答 严谨的证明的话，可以使用「形式语言」（Formal language）来证明： 在可计算理论和计算复杂度理论中，每个「计算问题」都被描述为一个一个「形式语言」，即字符串的集合。比如对于判断一个图是否是无向连通图这个问题：我们可以写为一个描述所有无向连通图的集合： \[A = \{ \langle G \rangle \vert G \text{ ...
知乎 计算理论
Dec 12
如何通俗地解释停机问题？
Reposts
如何通俗地解释停机问题？
这篇文章转载自我在知乎上的回答 我用 Python 伪代码来解释下，我觉得对这个问题有兴趣的应该都是有点编程基础的，所以直接上 code 应该是最容易的。 背景知识 「停机问题」研究的是：是否存在一个「程序」，能够判断另外一个「程序」在特定的「输入」下，是会给出结果（停机），还是会无限执行下去（不停机）。 在下文中，我们用「函数」来表示「程序」，「函数返回」即表示给出了结果。...
知乎 计算理论
Dec 12
为什么 CSS 这么难学？
Reposts
为什么 CSS 这么难学？
这篇文章转载自我在知乎上的回答 对我来说，CSS 难学以及烦人是因为它「出乎我意料之外的复杂」且让我觉得「定位矛盾」。 @方应杭 老师的答案我赞了：CSS 的属性互不正交，大量的依赖与耦合难以记忆。 @顾轶灵 @王成 说得也没错：CSS 的很多规则是贯彻整个体系的，而且都记在规范里了，是有规律的，你应该好好读文档而不是去瞎试。 「CSS是一门正儿八经的编程语言，请拿出你学C+...
Web CSS 知乎
Oct 6
Farewell, Flash. 感谢你，但这一次是真正的永别。
Reposts
Farewell, Flash. 感谢你，但这一次是真正的永别。
本文首发于我的知乎专栏 The Little Programmer，转载请保留链接 ;) 一年半前，我曾和 Flash 作过一次告别。那一次，Adobe Flash Professional CC 被重新命名为了 Adobe Animate CC，宣告着 Flash 作为一个创作工具走到了尽头。 而今天，通过 Chromium 博客 So long, and thanks f...
Web Flash
Jul 26
How does SW-Precache works?
Reposts
How does SW-Precache works?
SW-Precache is a great Service Worker tool from Google. It is a node module designed to be integrated into your build process and to generate a service worker for you. Though you can use sw-precache out of the box, you might still wonder what happens under the hood. There you go, this article is ...
Web PWA En
May 28
如何理解 <code>document</code> 对象是 <code>HTMLDocument</code> 的实例？
Reposts
如何理解 document 对象是 HTMLDocument 的实例？
这篇文章转载自我在知乎上的回答 谢邀。 首先要理解的是 DOM 是 API，是一组无关编程语言的接口（Interfaces）而非实现（Implementation）。前端平时常说的 DOM 其实只是浏览器通过 ECMAScript（JavaScript）对 DOM 接口的一种实现。 其次要知道的是，DOM 既是为 HTML 制定的，也是为 XML 制定的。而两者各有一些特异的部...
Web 知乎
Apr 6
下一代 Web 应用模型 —— Progressive Web App
Reposts
下一代 Web 应用模型 —— Progressive Web App
今年 9 月份的时候，《程序员》杂志社就邀请我写一篇关于 PWA 的文章。后来花式拖稿，拖过了 10 月的 QCon，11 月的 GDG DevFest，终于在 12 月把这篇长文熬了出来。几次分享的不成熟，这次的结构算是比较满意了。「 可能是目前中文世界里对 PWA 最全面详细的长文了」，希望你能喜欢。 本文首发于 CSDN 与《程序员》2017 年 2 月刊，同步发布于 Hux B...
Web PWA
Feb 9
如何客观地评价「小程序」的体验?
Reposts
如何客观地评价「小程序」的体验?
本文首发于我的知乎专栏 The Little Programmer，转载请保留链接 ;) 2017 年 1 月 9 号凌晨，看完《星战》回家，发现朋友圈都炸了……原来是「小程序」如约公测（以下简称小程序）。果然贵圈人都睡得晚啊，一个个大半夜了精神得不行。 截图推荐什么的已经漫天都是了，而且连 「推荐小程序的小程序」都已经出现了，我们就直入正题吧，今天笔者不跟你们聊情怀，就聊体验：...
Web 微信 UX/UI
Jan 9
Service Worker 101「GDG DevFest 2016 北京」
Reposts
Service Worker 101「GDG DevFest 2016 北京」
下滑这里查看更多内容 TLDR; It covers lots of cool stuff about Service Worker! Watching Fullscreen → Scanning on mobile Demo Code → Hello World of Service Worker Make your own Offli...
Slides Web PWA
Nov 20
没有什么问题你是解决不了的
avatar
Here's full of questions & views about products, design & develop, reposts and share also.
Believing that you can find knowledge and tutorials you need here.
Enovace
Explore Novelty Ace the Pace
Sponsoring Sponsor
OKX
Leading Crypto Exchange
Bandwagon
Wise
Panda Remit
giffgaff
Cloudcone
ihezu
QXZ
loseprivacy
Tags
Show All
统计
Total posts:
108