leaderone23 Blog

「Time and world are my friends」

谷歌研究报告

研究谷歌如何赚钱,是否值得投资

本文转载自CSDN上的博客,但修改了一些内容 原文链接:https://blog.csdn.net/shizheng_Li/article/details/147027247 Alphabet及Google商业模式与发展战略深度报告 引言 Alphabet是Google的母公司,于2015年成立,旨在将Google的核心业务与其他新兴业务分离管理。作为全球最具影响力的科技巨头之一,...

中海油研究报告

未来股价预测

1 中海油业务组成 1.1 油气开采 1.1.1 中国近海油气田 「渤海油田」截至二零二三年底,中国约85.7%的净证实储量和约86.2%的净产量来自自营油气田。渤海地区是该公司最主要的原油产区,所产原油主要为重油。渤海的作业区域主要是浅水区,水深约为10米至30米。截至二零二三底,渤海的储量和产量分别达到1,968.4百万桶油当量和599,847桶油当量/天,分别占公司储量和产量的约...

程序员中的梦想家

Dreamers among programmers

本文首发于我的知乎专栏 The Little Programmer,转载请保留链接 ;) 有一类程序员是 visionary 型的,为了实现一些超前的 idea,绕过某些技术的限制,他们写的 code 晦涩高深得只有他们自己能懂,做出来的 tool 看上去很美好结果处处是坑出了 bug 根本没法查,但正是这类人不断创造出新的东西,在洗礼之后成为一个个 big thing。 我每周...

《PWA 实战》推荐序

「博文视点」邀请我给《PWA实战:面向下一代的Progressive Web APP》 写的推荐序。 Progressive Web App 是继 Ajax、响应式设计、HTML5 之后,web 平台的又一次革命性突破。它在开放 Web 标准的基础之上,突破了以往 Web 应用只能「依赖互联网分发」与「依赖浏览器为入口」的两大桎梏,一下子打开了 Web 应用从性能、架构到用户体验...

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

Why is there more uncomputable functions?

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

Unix/Linux 扫盲笔记

不适合人类阅读,非常水的自我笔记

This document is not completed and will be updated anytime. Unix Unix is a family of multitasking, multiuser computer OS. Derive from the original AT&T Unix, Developed in the 1970s a...

对中国用户而言,Pure Android 是否比 MIUI 或 Flyme 体验更好?

这篇文章转载自我在知乎上的回答 哎呀~不要站队嘛。其实这是一个很有意思的题目,让我们一点点来看 哦对,谢妖~。本人是Nexus 5用户,系统当然是Pure Android KitKat啦(臭谷粉!点Down!喂喂喂我还没给结论呢) 毕竟是回答问题嘛,先给一个明确的答案: 否。(对中国用户而言,Pure Android 并不比 MIUI 或...

如何评价 MIUI 6?

这篇文章转载自我在知乎上的回答 MIUI 6,充满了“借鉴”,iOS 7 版的 Android…… 米 4,碉堡了,不服跑个分,简直就是 iPhone 4……你们说得这些我一点都不反对。 可是,你们对小米的要求太高了。 其实小米说到底也不过是一个才初创4年的公司而已, 你是指望小米能引领一套新的设计风格? ...