Skip to main content

黑洞资源笔记

黑洞资源笔记
黑洞资源笔记

  3. Twitter工作原理

    1️⃣一条推文是通过Write API进入。
    2️⃣Write API将请求路由到Fanout服务。
    3️⃣ Fanout服务做了大量的处理，并将它们存储在Redis缓存中。
    4️⃣ 时间线服务用来寻找有主页时间线的Redis服务器。
    5️⃣ 用户通过时间线服务拉取他们主页的时间线。

    搜索 & 发现
    🔹 Ingester：对推文进行注释和标记，以便对数据进行索引。
    🔹 Earlybird：存储搜索索引。
    🔹 Blender：创建搜索和发现时间线。

    推送计算
    🔹HTTP推送
    🔹移动设备推送

  4. Twitter上有人分享的跟编译相关的文章。了解编译器对增长你的工程知识很有帮助。


    1. 通过在25行的JavaScript上建立一个编译器和解释器来学习最基本的知识

    2. rspivak写的”让我们建立一个简单的解释器 "博客系列

    3. 解析方式

    4. 通过建立一个简单的类型化的lambda微积分来介绍类型系统

    5. 编译器开发的经典之作，也是我读过的关于编程语言的最佳书籍之一
    《Compilers: Principles, Techniques, and Tools 2nd Edition》

    6. 《Types and Programming Languages》 --从更多的数学角度看类型理论，是一本更密集的书。很多令人兴奋的话题，如lambda计算和程序的完整性
    Twitter
    Minko Gechev
    Understanding compilers is helpful to grow your engineering knowledge. Here's a thread to help you get started 🧵👇

  5. #电子书 《函数式编程指北》

    这本书的主题是函数范式（functional paradigm），我们将使用 JavaScript 这门世界上最流行的函数式编程语言来讲述这一主题。

    第 1 部分是基础知识。

    第 2 部分讲述类型类（type class），比如 functor 和 monad，最后会讲到到 traversable。希望能塞进来一些 monad transformer 相关的知识，再写一个纯函数的应用。

    第 3 部分将开始游走于编程实践与学院学究之间。将学习 comonad、f-algebra、free monad、yoneda 以及其他一些范畴学概念。（但这部分还没写）

  6. 《逻辑学简短入门》牛津通识读本的重译版

    Graham Priest 的 Logic: A Very Short Introduction 是牛津通识系列中的一本。该书在众多逻辑学入门书中独树一帜，并不试图完整介绍逻辑学的理论，而是通过一些哲学难题或逻辑谜题引入解决这些问题的逻辑理论和方法，在介绍逻辑知识的同时展示逻辑可以如何来用。 #电子书
    译者wxflogic发现之前的翻译有些术语不太准确，所以重新翻译了一下

  7. #电子书 《利用Python进行数据分析》第二版

    本书讲的是利用Python进行数据控制、处理、整理、分析等方面的具体细节和基本要点。目标是介绍Python编程和用于数据处理的库和工具环境，掌握这些，可以让你成为一个数据分析专家。虽然本书的标题是“数据分析”，重点却是Python编程、库，以及用于数据分析的工具。这就是数据分析要用到的Python编程

  14. Spacedrive，一个开源的跨平台文件管理器，内置了虚拟分布式文件系统（VDFS）。

    支持从云服务到离线硬盘，将设备的存储容量和处理能力整合到个人分布式云中，用起来既安全又直观

  15. 个人博客系统：Bolo Solo，简单易部署，自带精致主题、数据统计表、邮件提醒、自定义图床、功能丰富的 Markdown 编辑器，专为程序员设计