用范畴编程的语言 | Haskell 简介
函数式编程语言 Haskell 的介绍及安装教程
GitHub | 多账户设置以及下载加速
如何在一台电脑上使用多个 git 托管平台
Ray 分布式计算框架简介
概要
Ray 是一个开源的分布式计算框架,由加州大学伯克利分校 RISELab 开发。它的主要目标是让分布式计算变得简单和高效,特别适合 AI 和机器学习工作负载。
优点:
简单易用:使用 Python API,学习曲线平缓,只需要少量代码修改就能将本地代码转换为分布式执行,支持函数级别的并行化。
灵活性:支持多种计算模式:任务并行、角色并行、数据并行,可以处理有状态和无状态的计算,适配多种应用场景:机器学习、强化学习、模型服务等。
高性能:低延迟任务调度,高效的对象存储系统,良好的可扩展性。自动管理 CPU、GPU 等计算资源。
容错机制:任务失败自动重试,Actor 故障恢复。
核心概念:
Task:通过 @ray.remote 装饰器将普通函数转换为分布式任务
Actor:支持有状态的并行计算
Object Store:分布式共享内存系统,用于数据共享
示例解析
分布式任务
将 func 函数转换为分布式任务,并通过 func.remote(args) 做未来的计算。
12345678910111213141516171819import ray# 初始化 Rayray. ...
i18next-tutorial
唠唠闲话
https://www.bilibili.com/video/BV1hK411W7qg
https://github.com/google/mdbook-i18n-helpers
这边有几个方案。方案概述。
关于 i18n 的介绍。
pot, po, mo 文件的介绍。
i18next 等翻译项目。
“i18next”: “^23.10.1”,
“i18next-http-backend”: “^2.5.0”,
“i18next-scanner-typescript”: “^1.2.0”,
回归传统方案。
Q1: Lean-zh 目前的翻译方案是什么?
Q2: lean2md 以及 md2lean
Q3: LEAN 社区代码交互相关的项目有哪些?
Q4: LEAN 学习指南。
.pot 和 .po 文件是与 GNU gettext 工具链相关的文件格式,常用于软件国际化(i18n)中。它们用于处理和管理翻译文本。
.pot 文件全称:Portable Object Template
翻译模板文件,包含应用程序中所有可以翻译的字符串的默认提取。如 xgettext)提取生成 ...
MDBook 使用指南
掌握 MDBook 的基本概念、安装步骤、配置方法,以及如何创建电子书和文档。
Rust 入门指南(零):安装及 Cargo 管理器
Rust 的基本概念、安装及配置方法,以及如何使用 Cargo 来简化项目管理。
Open WebUI | 自托管的类 ChatGPT 网站
一个可扩展、功能丰富且用户友好的自托管 WebUI,旨在完全离线操作。它支持各种 LLM 服务,包括 Ollama 和 OpenAI 兼容的 API。该项目在 GitHub 上已有 38k 星,是一个非常受欢迎的项目。
数据无忧:Ubuntu 系统备份全指南
如何高效地进行系统重装以及数据备份,避免重复劳动和数据丢失。
Predibase - 在线微调和部署开源大模型
使用 Predibase 在云端环境中,对大语言模型进行微调和推理。
Electron 详解:桌面应用的开发利器
教程介绍 Electron 打包应用的全过程,从本地测试,打包,到 GitHub 自动化,讲解 Electron Forge 和 Electron Builder 的用法,以及如何在 GitHub Actions 中自动化生成和发布应用。