博客 RSS 訂閱

iex365 頭像

觀復 - Lean4安裝配置

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

數學

收藏 評論

vivo_tech 頭像

vivo互聯網技術 - vivo 互聯網技術 2024年度盤點

歡迎來到一年一度的盤點時刻。在剛剛過去的2024年，vivo互聯網技術： 累計發佈44篇原創技術文章，並在公眾號及各大技術社區與技術同行分享和交流； 累計參與了19場技術演講，涉及雲原生、前後端技術、研發效能、平台工程、AI、大數據、安全、存儲與數據庫等技術領域； 積極參與開源生態貢獻，加入Linux/CNCF/TODO Group/CCF等組織/基金會； 截至目前有超過7萬技術同行在關

技術 , 互聯網 , 總結

收藏 評論

opentiny 頭像

OpenTiny社區 - TinyVue自動導入插件重大升級，@opentiny/unplugin-tiny-vue1.0.0版本開啓單組件包引入新模式

近日，@opentiny/unplugin-tiny-vue 發佈了其重要的1.0.0版本更新，此次更新帶來了全新的單組件包引入模式，顯著提升了開發者的本地編譯效率以及整個項目的構建速度。 在之前的版本中，開發者需要一次性加載整個TinyVue 庫，這個不僅增加了初始時間，也使得項目構建過程變得相對緩慢。然而，隨着新版本的發佈，這一問題得到了有效的解決。通過引入單組件包模式，開發者現在可以根據實際

vue.js , 組件庫 , 開源 , 前端

收藏 評論

nianqingyouweidenangua 頭像

迅易科技 - 2000 萬 Tokens！告別服務器繁忙焦慮，讓您免費極致體驗滿血 DeepSeek

隨着 DeepSeek 爆火，導致 “服務器繁忙” 是大家頻繁遇見的問題，官網擠不進去，本地部署設備成本高昂，難道我們就只能望 “模” 興嘆？不，今天小編就給大家帶來逆天改命的解決方案！ 首先解釋一下，為什麼不選擇本地部署？硬件成本高到離譜，部署十分複雜，從安裝 Ollama 到調試模型參數，小白直接被勸退，真心建議大家可以考慮上雲部署！ 目前，迅易科技早已獲得阿里雲的資質，只要您找迅易下單阿里雲

部署 , 雲服務器 , deepseek , 阿里雲 , 人工智能

收藏 評論

aibruce 頭像

Bruce - Roam 知識庫問答的 AB 測試. 騰訊 Ima VS AnythingLLM

Roam Research作為一款新一代（雖然已經有5年曆史）個人筆記工具，不僅讓我能夠通過Daily Note記錄每日的所思所想，還可以通過[[wiki link]]這種形式不斷積累和打磨對應詞條的知識。一開始，這些詞條可能只是學到的概念介紹，隨着時間推移，我會不斷疊加自己的深入思考。 從使用Roam的第一天起，我就開始構建與Bushcraft相關的詞條，至今已經有5年時間（從2019年到現在）

llm , 騰訊 , deepseek , chatgpt , 知識庫

收藏 評論

baidujiagoushi 頭像

百度Geek説 - 百度網盤防雪崩架構實踐

導讀 大模型在研發效能領域代碼生成方面發揮了越來越大的作用 而大模型的預訓練依賴大量的精標代碼，這些精標數據必須是比較好的工程實踐代碼 這些比較好的工程實踐代碼，需要大量的技術沉澱，包括工程架構，代碼架構等多緯度，涉及性能、可用性、擴展性、安全等方向 百度網盤有不少比較好的工程實踐，本文主要是介紹百度網盤工程架構中的防雪崩架構 拋磚引玉，與大家一起探討什麼才是優秀的工程實踐，為大模型的落地提供堅實

架構 , 百度

收藏 評論

san_qing 頭像

三_清 - 入行前值得一讀的書

前言 本書不是寫給程序員的，但筆者認為，本書同樣可以作為技術書籍來食用，並且可以視為程序員入行的大版本補丁 簡單總結 開篇即提出“項目是獨特的一次性事業”，強調項目在啓動時的模糊性和動態性，項目的本質與不確定性。 作者指出，用户需求往往在項目推進過程中才逐漸清晰，不管是 C 端需求還是 B 端需求，這與軟件工程中“用户根本不知道自己需要什麼，直到你把它擺在他面前”的現象一致。 這種不確定性導致

閲讀 , 書籍

收藏 評論

user_jwxwiyxh 頭像

移動研發平台EMAS - EMAS 性能分析全面適配HarmonyOS NEXT，開啓原生應用性能優化新紀元

阿里雲EMAS（Enterprise Mobile Application Studio，簡稱EMAS）性能分析現已全面適配華為HarmonyOS NEXT操作系統，為企業客户及開發者提供覆蓋應用全生命週期的性能監測與優化解決方案，助力企業搶佔鴻蒙生態先機，賦能開發者打造極致體驗。 為什麼選擇適配HarmonyOS NEXT HarmonyOS NEXT 以“全場景、分佈式、原生智能”為核心，徹底

性能監控 , harmonyos-next , 性能分析 , 阿里雲 , 開發者

收藏 評論

leeqvip 頭像

JonLee - PHP-Casbin 在分佈式服務中利用 Watcher 做策略同步

分佈式服務，是將多個具有不同或相同功能的服務分散在不同的服務器上，對外提供服務。 那麼在分佈式服務中，使用 PHP-Casbin 作為權限控制時，不同服務器上的服務的策略要保證是同步的。這裏我們主要探討常駐內存的 PHP 服務，在常駐內存的服務中，PHP-Casbin 一般是單例模式，所有的策略都會加載到內存，性能出色。 PHP-FPM 下每次都重新初始化 Enforcer 並重新加載策略，不

權限控制 , rbac , php , 分佈式

收藏 評論

vistart 頭像

vistart - tar 壓縮算法對比與實踐指南

在 Linux 系統管理和開發過程中，文件壓縮打包是一項常見的需求。tar 作為最常用的歸檔工具，支持多種壓縮算法，不同算法之間在壓縮比、壓縮速度和解壓速度等方面各有特點。本文將深入分析各種壓縮算法的性能特徵，並提供實用的選擇建議。 壓縮算法性能對比 我們選擇了五種常用的壓縮方式進行測試，包括： 原始 tar（無壓縮） gzip 壓縮（tar.gz） xz 壓縮（tar.xz） zstd

建議 , 效率 , 壓縮 , tar , Linux

收藏 評論

sretalk 頭像

SRETALK - 夜鶯監控發佈 v8.beta5 版本，優化 UI，新增接口認證方式便於鑑權

以防讀者不瞭解夜鶯，開頭先做個介紹： 夜鶯監控，英文名字 Nightingale，是一款側重告警的監控類開源項目。類似 Grafana 的數據源集成方式，夜鶯也是對接多種既有的數據源，不過 Grafana 側重在可視化，夜鶯是側重在告警引擎。比如把 Prometheus、VictoriaMetrics、ElasticSearch 等作為數據源接入夜鶯，即可在夜鶯裏配置告警規則做指標、日誌的告警。當

運維自動化 , 監控 , prometheus , 開源監控軟件

收藏 評論

huaweichenai 頭像

huaweichenai - windows下配置定時任務

一：打開定時任務計劃程序 在鍵盤上按下Win + R組合鍵打開“運行”對話框，輸入taskschd.msc後按回車鍵，即可打開“任務計劃程序”。 二：創建定時任務 1：創建任務 在任務計劃程序窗口中，找到左側導航欄的“任務計劃程序庫”，左鍵點擊並選擇創建任務 配置任務基本信息 2：設置觸發器 新建觸發器設置定時任務出發時間，如下設置的每十分鐘執行一次 3：設置操作 設置定時任務需要執行的操

windows , 定時任務

收藏 評論

chuck1sn 頭像

Chuck1sn - 《你不知道的 JAVA》💘 與 Docker 的集成之戀（第二章）

工程思維落地 《你不知道的 JAVA 》系列博客的工程理念與設計模式，已落地成一款 全新設計的 Java 腳手架 ，可與博客配套使用。 書接上文 各位同學，通過上一章 https://segmentfault.com/a/1190000046084433 的內容我們知道了 Docker 的運行機制和緩存的作用原理。這一章節我們書接上文，告訴大家 Docker 的原生緩存無法應對的情況以及處理辦法。

springsecurity , springboot , JAVA , Docker , jooq

收藏 評論

selectdb 頭像

SelectDB技術團隊 - 從 ClickHouse 到 Apache Doris：在網易雲音樂日增萬億日誌數據場景下的落地

導讀：日誌數據已成為企業洞察系統狀態、監控網絡安全及分析業務動態的寶貴資源。網易雲音樂引入 Apache Doris 作為日誌庫新方案，替換了 ClickHouse。解決了 ClickHouse 運維複雜、不支持倒排索引的問題。目前已經穩定運行 3 個季度，規模達到 50 台服務器， 倒排索引將全文檢索性能提升7倍，2PB 數據，每天新增日誌量超過萬億條，峯值寫入吞吐 6GB/s 。 網易雲音樂每

日誌分析 , 運維自動化 , 倒排索引 , 數據庫 , clickhouse

收藏 評論

uwatechnologies 頭像

侑虎科技 - 2024年度大賞 | UWA問答精選

UWA每週推送的知識型欄目《厚積薄發 | 技術分享》已經伴隨大家走過了419個工作周。精選了2024年十大精彩問答分享給大家，期待2025年UWA問答繼續有您的陪伴。 UWA 社區主頁：community.uwa4d.com UWA QQ羣：793972859 Q1：PuerTS和HybridCLR哪個更適合開發微信小遊戲 PuerTS和HybridCLR哪個更適合開發微信小遊戲？哪個更快

editor , script , network , ab , memory

收藏 評論

gqkmiss 頭像

月恆 - Cron 表達式用法

Cron 表達式 一、概述 Cron 表達式 是一種用於定義定時任務調度的標準語法，廣泛應用於 Linux 系統中的定時任務管理器 cron。它通過一組字段指定任務的執行時間，靈活地控制任務在特定時間點的運行。 在 cron 中，任務的調度時間通過 cron 表達式 來指定，它由 5 到 6 個字段組成（具體取決於環境）。每個字段表示時間單位（分鐘、小時、日期等），用來描述任務的執行計劃。 二、C

crontab , cron , 前端 , Javascript

收藏 評論

gqkmiss 頭像

月恆 - Electron 客户端心跳定時任務調度庫調研文檔 - Node.js 任務調度庫技術調研文檔

Electron 客户端心跳定時任務調度庫調研文檔 - Node.js 任務調度庫技術調研文檔 本文將對七個流行的定時任務調度庫：node-cron、rxjs、bull、node-schedule、agenda、bree、cron。這些庫都可以用來處理定時任務，但它們的特點和適用場景有所不同。我們將從以下幾個方面進行詳細對比： 功能 優缺點 使用場景 簡易度 下載使用量

定時任務 , node.js , electron , 前端 , Javascript

收藏 評論

yjdmx 頭像

鹽焗代碼蝦 - 支付寶 IoT 設備入門寶典（上）設備管理篇

相信不少朋友最近都被支付寶“碰一下”廣告刷屏，“不用打開APP 支付就碰一下”幾個字一出簡直自帶BGM……其實“碰一下”就是支付寶 IoT 設備的一種，趁着熱度還在，我會分為設備管理和設備經營上下兩篇，簡單介紹一下支付寶 IoT，以及在日常使用管理中的常見問題解決方案，本篇為上篇，感興趣可以關注一下，下篇會在近期發出~ 一、如何查看IoT設備基礎信息 1. 查看權限 如果你是 設備所有者 或 被

支付寶 , iot , 物聯網

收藏 評論

fenanjiu 頭像

南玖 - 小程序如何實現跨頁面通信

前言 最近有很多同學問，小程序裏面如何進行跨頁面通信。看了下之前的老代碼，基本都是基於onShow或者localStorage。雖然可以實現，但是並不怎麼優雅。 今天就來聊一聊，小程序的跨頁面通信的幾種實現方案。或許會有你想要的方案（優雅...） 方式一：onShow + localStorage 業務場景：頁面一未登錄跳轉至登錄頁面，登錄成功後返回頁面一，頁面一需要更新當前登錄態 !-- 頁面一

小程序 , taro , 前端

收藏 評論

baidujiagoushi 頭像

百度Geek説 - 如何在百度百舸部署滿血版DeepSeek-V3、DeepSeek-R1模型

百度百舸·AI異構計算平台已支持快速部署DeepSeek-V3、DeepSeek-R1及其蒸餾的Llama、Qwen等小規模dense模型。您可以登錄百度百舸平台快速部署DeepSeek系列模型體驗模型效果。 01 開通輕量計算實例 開通一台H20（ebc.lgn7t.c208m2048.8h20.4d）規格的計算實例並添加到百度百舸·AI異構計算平台。 02 部署vLLM 在百度百舸平台的左側

百度

收藏 評論

big_cat 頭像

big_cat - docker 構建 lnmp 環境

使用 docker-compose 編排的一套 lnmp 環境，並補充了 nginx / php / mysql / redis 的配置文件，補充了 php 的常用擴展。給到了 fpm / swoole 的部署、運行示例。可以方便大家快速搭建開發、生產環境、學習 docker 技能（涉及了鏡像打包、Entrypoint、yml 高大上的寫法 extends 引用）。 github 完整示例：do

lnmp , Docker

收藏 評論

huandanshendeshoushudao 頭像

慧星雲 - 一文看懂如何選最適合你的 DeepSeek:最快3分鐘上手可用！

DeepSeek DeepSeek系列模型的現象級爆火，引發國內外廣泛關注與討論熱潮，然而對許多想要投身AI這一風口的個人和企業來説，缺乏專業的技術支持與技術平台，缺少穩定高性價比的算力資源，正成為他們試圖踏入AI領域的重重障礙。 近日，專業AI算力雲平台與AI生產力平台「慧星雲」，重磅推出DeepSeek全面解決方案，以全棧能力釋放國產大模型潛力，助力企業和用户高效接入DeepSeek等

llm , 雲平台 , 部署 , 雲服務 , 人工智能

收藏 評論

dns1 頭像

帝恩思 - 域名解析錯誤—網絡訪問的“迷路”危機與應對指南

在互聯網世界中，域名解析如同精準的導航系統，但一旦出現域名解析錯誤，用户訪問網站的請求就會像迷途的旅人，無法找到正確的目的地。這種錯誤輕則導致網頁無法打開，重則引發業務中斷甚至安全風險。本文將從現象、原因到解決方案，全面解析這一常見但常被忽視的網絡問題。 一、域名解析錯誤的典型表現 當域名解析失敗時，用户會遇到以下場景： 瀏覽器提示“無法找到服務器”或“DNS_PROBE_FINISHED_NXD

dns解析 , 域名解析 , dns

收藏 評論

dns1 頭像

帝恩思 - 域名解析—互聯網世界的導航系統

在互聯網的世界裏，每個網站都像一座“城市”，而用户要找到這些“城市”，必須依賴一套精準的導航系統——這就是域名解析。無論是瀏覽網頁、發送郵件，還是使用移動應用，域名解析都在背後默默支撐着用户的每一次訪問。本文將深入淺出地解析域名解析的原理、流程及其在互聯網生態中的核心作用。 一、什麼是域名解析？ 域名解析（DNS Resolution）是將人類可讀的域名轉換為機器可識別的IP地址的過程。例如，當你

dns解析 , 域名解析 , dns

收藏 評論