技術新聞
我們每天早上整理 GitHub Resources 的工程文章,以及 Hacker News 上開發者正在討論的專案,用中文寫成摘要。每一則都附原文連結,想看細節就點進去讀原文。
-
· GitHub Blog
GitHub Copilot App 整合 diff、終端機與瀏覽器
GitHub 介紹 Copilot App 如何把檢查改動、跑指令、看畫面整合成一個介面,方便驗證 AI 程式碼。
看摘要 -
· GitHub Blog
GitHub 揭密 Copilot 省成本不犧牲品質的四招
GitHub 工程團隊公開四項降低 AI 程式代理成本的做法,實測顯示效率提升且品質不受影響。
看摘要 -
· Hacker News
獨立開發者推出瀏覽器內跑語言模型的決策實驗工具
SemIf(前身 OpenJev)讓語言模型完全在瀏覽器裡跑,比較兩種讀取模型判斷結果的方式哪個比較快、比較準。
看摘要 -
· Hacker News
記憶體分配庫 jemalloc 釋出 5.4.0,清償大量技術債
廣泛被系統與應用程式使用的記憶體分配庫 jemalloc 推出新版,包含超過 160 次提交的重構、修錯與可攜性改進。
看摘要 -
· Hacker News
開源 x86 模擬器 FEX 團隊剖析 ARM 上模擬記憶體順序的難題
開源專案 FEX-Emu 團隊發文說明,在 ARM 處理器上模擬 x86 程式時,記憶體讀寫順序不一致會造成效能與正確性挑戰。
看摘要 -
· GitHub 熱門專案
Cloudflare 開源安全稽核技能,讓 AI 代理階段揪出真漏洞
Cloudflare 釋出開源技能,讓 AI 程式代理依六階段流程稽核程式碼,並互相驗證後才回報漏洞,避免誤判。
看摘要 -
· GitHub Resources
左移測試:把抓錯的時間點提前到寫程式的當下
GitHub 介紹左移測試的概念,主張測試要從需求分析階段就開始,而不是等到上線前才做。
看摘要 -
· GitHub Resources
軟體組成分析:自動幫程式專案裡的開源套件抓漏洞
GitHub 說明軟體組成分析(SCA)如何掃描專案用到的開源套件,找出漏洞、過時版本與授權問題。
看摘要 -
· GitHub Resources
GitHub 科普文拆解 AI 代理人:不用人一直盯著的軟體
GitHub 官方文章解釋 AI 代理人如何自主接任務、規劃步驟並執行,不需要人類每一步都下指令。
看摘要 -
· GitHub Blog
GitHub 推出 gh-stack 讓 AI 產生的大型 PR 變好審查
GitHub 推出堆疊式拉取請求工具 gh-stack,把 AI 一次生成的龐大程式改動拆成多層,方便人類逐層審查。
看摘要 -
· GitHub Blog
GitHub 揭密 Blackbird 搜尋引擎極速文字比對技巧
GitHub 工程團隊分享用無分支演算法,讓程式碼搜尋引擎以記憶體頻寬速度處理 480TB 原始碼的大小寫比對。
看摘要 -
· GitHub Blog
GitHub 剖析五個 AI 開發圈熱議說法背後真相
GitHub 部落格逐一檢視「不用讀 AI 程式碼」「RAG 已死」等五個流行說法,指出實際情況比口號複雜。
看摘要 -
· 程式忍者專文
Agent Sprite Forge:從自然語言到引擎就緒的 2D 遊戲素材自動化實施方案
把自然語言需求直接變成帶元數據與碰撞資料的 2D 遊戲素材,補上 AI 生成的「美圖」與引擎真正吃得下的「資產」之間那一段斷層。
看摘要 -
· Hacker News
開發者推出可自架的個人隱私搜尋引擎 Hister
Hister 是一套開源專案,讓使用者自己架設搜尋引擎,把瀏覽過的網頁和檔案建成私有索引,不必依賴外部搜尋服務。
看摘要 -
· Hacker News
新創 PrismML 把 27B 大模型壓縮到近乎無損還能跑在筆電上
PrismML 發布開源模型 Bonsai 2 27B,用三元權重把模型壓小九倍,效能只掉一點點,還能在一般裝置上跑。
看摘要 -
· Hacker News
新程式語言 Bend 想用數學證明擋下 AI 寫錯的程式碼
Bend 是一門新程式語言,開發者可以先寫下規則,之後 AI 產生的程式碼都得通過數學證明才能過關,藉此防止 AI 改壞程式。
看摘要 -
· GitHub 熱門專案
阿里巴巴開源程式碼審查工具,號稱省九成代幣成本
阿里巴巴將內部用兩年、服務數萬名工程師的 AI 程式碼審查工具開源,強調行級精準定位並節省代幣成本。
看摘要 -
· GitHub Resources
GitHub 科普文說明「非監督式學習」怎麼從沒標籤的資料找規律
文章介紹 K-means、DBSCAN 等分群演算法,說明電腦如何在沒有人工標籤的資料中,自動找出隱藏的分類與規律。
看摘要 -
· GitHub Resources
GitHub 整理「威脅建模」概念,教開發團隊在設計階段先抓安全漏洞
文章介紹 STRIDE、DREAD 等安全分析框架,說明如何在軟體還沒上線前,就先找出系統可能被攻擊的弱點。
看摘要 -
· GitHub Resources
GitHub 分享企業導入「內源」開發模式加速創新的做法
GitHub 整理 3M、Ford、Autodesk 等企業案例,說明把開源協作方式搬進公司內部(內源)如何減少重複開發、加快專案進度。
看摘要 -
· GitHub Blog
GitHub 新實驗功能 HydraFusion:協調多個 AI 模型
GitHub Copilot CLI 推出研究預覽功能 HydraFusion,依任務選擇模型執行方式,兼顧品質與成本。
看摘要 -
· GitHub Blog
GitHub Copilot 執行環境改寫成 Rust,AI 代理主筆
GitHub 把 Copilot 執行環境從 TypeScript 改寫成 Rust,多數程式碼由 AI 代理完成。
看摘要 -
· GitHub Blog
GitHub 一次解釋 loop、harness 等新 AI 流行語
GitHub 的 Cassidy Williams 整理近來常見的 AI 新詞彙,解釋幾個大家常聽到但搞不清楚的用語。
看摘要