博客 / 列表

觀復 - 在 Linux 系統上安裝 Miniconda、安裝 Xinference，並設置 Xinference 開機自啓動

一、安裝 Miniconda 1. 下載 Miniconda 安裝腳本 x86_64 架構： cd ~ wget https://repo.anaconda.com/miniconda/Miniconda3-latest-Linux-x86_64.sh ARM 架構（如樹莓派或 Apple Silicon 的 Linux 虛擬機）： wget https://repo.anaconda.com

llm , ai開發 , Linux , 人工智能 , 大模型

觀復 - 一條命令配置移動端(Android / iOS)自動化環境

配置adb命令工具 點擊前往Gitee快速下載 - 推薦 點擊前往Gitcode快速下載 - 不推薦，需註冊登錄 下載後解壓，然後配置目錄路徑到path(系統環境變量) 安裝Python 建議：在官網下載安全版本然後安裝，比如當前(2025.3.31)最新的是3.11 建議：創建虛擬環境並激活虛擬環境後，然後使用下面命令安裝。環境隔離可避免與系統環境已有其他項目依賴包衝突。 pip

自動化 , Android , 自動化測試 , 爬蟲 , ios

觀復 - Lean4安裝配置

打開鏡像下載： 上海交通大學鏡像 搜索 elan 下載elan和glean elan 下載路徑 elan/elan/releases/download/eager-resolution-v2 打開上面下載的 elan-init ，然後輸入 1 選擇使用 default 將 glean 解壓放到用户目錄下的 .lean/bin 目錄下 搜索lean找到下面這個 git/lean4-package

數學