Skip to main content

黑洞资源笔记

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

  1. Tock 是一个嵌入式操作系统，设计用于在基于 Cortex-M 和 RISC-V 的嵌入式平台上运行多个并发的、相互不信任的应用程序。 Tock 的设计以保护为中心，防止潜在的恶意应用程序和设备驱动程序。

    Tock 使用两种机制来保护操作系统的不同组件。
    首先，内核和设备驱动程序是用 Rust 编写的，Rust 是一种提供编译时内存安全和类型安全的系统编程语言。Tock 使用 Rust 来保护内核（例如调度程序和硬件抽象层）免受平台特定设备驱动程序的影响，并将设备驱动程序彼此隔离。
    其次，Tock 使用内存保护单元将应用程序彼此隔离并与内核隔离

    repo | doc | 入门指南 | 官网

  2. Gaia 是一个开源自动化平台，可以轻松有趣地使用任何编程语言构建强大的管道。 基于 HashiCorp 的 go-plugin 和 gRPC，gaia 高效、快速、轻量级、对开发者友好。

    在SDK的帮助下开发强大的管道，并简单地将你的代码签入到git仓库中。Gaia会自动克隆你的代码库，将你的代码编译为二进制文件，并按需执行。所有的结果都会被流传回来，并被格式化为用户友好的图形输出。

    Cosmos SDK 是用于构建区块链应用程序的框架。Cosmos SDK 用于构建 Gaia，即 Cosmos Hub 的实现。

    项目地址 | 主页

  4. 图神经网络(GNNs)学习指南

    作者语：图神经网络 (GNN) 正在 ML 中快速推进复杂图数据应用程序的进展。我编写了这个简明的食谱（即学习表），专门用于希望学习和了解 GNN 最新动态的学生。它并非详尽无遗，但旨在让学生熟悉该主题。

    项目地址 | #指南

  10. Raspberry Pi Camera：用树莓派 DIY 相机

    该项目包含构建紧凑型便携式 Raspberry Pi 相机所需的文件和信息。该项目基于 Pi Camera v3，它具有自动对焦和 12 兆像素传感器，但任何兼容的相机模块都可以工作（包括 Arducam 的更高分辨率或自动对焦相机）。

    所需零件
    Raspberry Pi 4 B 型（2 GB RAM 或更好）
    Raspberry Pi 摄像头模块 3（其他摄像头模块应该也可以！）
    闪迪至尊极速 128GB microSD 卡
    微雪 3.5" TFT GPIO LCD
    Twidec 12mm 瞬时按钮
    2x4 2.54mm 母头
    为 Pi 供电的 USB-C 电池组和 USB-C 电缆
    螺丝和螺母：
    M2.5x12mm x4，每个螺丝一个螺母（用于Pi）
    M2.5x4mm（螺丝）x4（用于前置摄像头附件）
    M2x5mm x2（用于底板）

    pi-camera | YouTube视频介绍 | #Raspberry Pi

  15. Silver Searcher (ag)是一种用于在大型代码库中快速搜索特定字符串或模式的工具。具有高度可配置性，并且可以定制以满足你的特定需求。

    它通过索引代码库的内容并在你键入时提供快速搜索结果来工作。

    这比使用编辑器的搜索功能或“grep”命令手动搜索代码库更快、更有效。

    Silver Searcher | #工具

  16. diff-so-fancy是一个工具，可以更轻松地查看和理解 Git 提交和差异中所做的更改。它通过以更具视觉吸引力和更易于阅读的方式格式化“git diff”命令的输出来实现这一点。

    例如，它突出显示添加和删除的行，使用颜色来区分不同类型的更改，并删除元数据和合并冲突等不必要的信息。

    diff-so-fancy 的主要好处之一是它可以帮你专注于差异中最重要的信息，而不是迷失在细节中。这在处理大型或复杂的代码库时尤其有用，因为在这些代码库中很难理解给定更改的影响。

    diff-so-fancy | #工具

  17. 一个命令行模糊查找器，可以轻松地从终端搜索和打开文件、目录和其他资源。它的工作原理是在你键入时向你显示搜索结果列表，并允许使用键盘选择所需的结果。

    这比手动浏览目录或使用“查找”命令搜索特定文件更快、更有效。

    fzf 最酷的特性之一是它与其他命令行工具和实用程序无缝集成。例如，可以使用它在编辑器中搜索和打开文件，或者在shell历史记录中搜索和运行命令。这可以极大地改善工作流程，并使你更容易从终端访问所需的资源。

    fzf | #工具 #命令行