SkyDiscover with Alexander Krentsel, Shu Liu, Shubham Agarwal, and Mert Cemri - Weaviate Podcast #147!
介紹 SkyDiscover 專案,利用 AI 代理自動設計、最佳化並驗證資料庫等複雜系統,解決通用系統無法滿足特定工作負載的問題。
依發布時間
介紹 SkyDiscover 專案,利用 AI 代理自動設計、最佳化並驗證資料庫等複雜系統,解決通用系統無法滿足特定工作負載的問題。
Harald Kirschner 分享 VS Code 如何透過重建工程系統,將每月發布改為每週發布。團隊透過讓程式碼庫準備好供 AI 代理使用、加速建置與引入強制審查機制,來應對 AI 加速產出的壓力。
※ 摘要僅根據標題與說明
示範使用 NVIDIA DOCA 技能與無技能狀態下,由 AI 程式碼代理建立 RDMA 應用程式的差異。透過對比顯示,具備技能能大幅減少手寫程式碼與硬體互動指令,提升開發效率。
※ 摘要僅根據標題與說明
介紹 GitHub Copilot SDK 的基礎知識、運算機理與多語言支援,並透過實作示範如何建立自訂代理工具與配置。看完後能了解如何將 AI 能力嵌入工作流,並掌握 SDK 的安裝與使用方式。
基於 TypeSafe 創辦人 Diogo Almeida 的設計筆記,探討若大模型無 KV Cache 時如何重構編碼智慧體。
深入解析編碼代理的核心運作機制,包括 LLM 預測、上下文工程與工具呼叫。講者 Nico 解釋了為何強模型能移除特定工具、如何透過壓縮與規劃最佳化長程任務,並分享 Amp Code 與 Pi 的實作經驗。
探討 AI 編碼代理生成大量低質「垃圾程式碼」的現象,並對比業界大牛與 Uncle Bob 的不同策略。作者分享個人經驗,說明如何透過架構嗅探、嚴格測試約束及多模型交叉審查來確保 AI 產出程式碼的品質與可維護性。
介紹使用 Go 語言開發的 pigo AI 編碼代理,並分享其從零構建的完整經驗。文章展示了如何利用 AI 主導開發流程,快速實現功能並驗證目標工作流方法的有效性。讀者可學習如何構建自主編碼代理及相關工程實踐。
Model Context Protocol 發布 2026-07-28 版本規範,核心改為無狀態架構,支援多輪請求與基於標頭的路由。開發者可學習如何構建可擴展的代理工作流,並利用更新後的 SDK 進行實作。
Weaviate 創辦人 Bob van Luijt 與 Etienne Dilocker 在播客中回顧公司七年發展,探討 AI 代理程式設計、世界模型及對抗 AI 生成內容千篇一律的「AI slopification」問題。
※ 摘要僅根據標題與說明
介紹 Matt Pocock 開源的 Claude Code Skills 工作流,將開發過程分為拷問想法、寫成規範、拆成任務、實作與雙軸審查五步。
探討 macOS Terminal 透過 ANSI 轉義碼進行 DNS 資料洩漏的漏洞,並介紹 Apple 在 macOS Tahoe 26.1 中的修復。讀者可了解如何利用 LLM 劫持終端機執行惡意指令,以及開發者如何安全編碼控制字元。
介紹「程式碼壞味道」概念,並分享作者如何使用 AI 技能 /smell 自動掃描開源專案。讀者能學會辨識常見架構與效能問題,並掌握用 AI Agent 生成優先順序重構路線圖的方法。
記錄 Google 將 Gemini CLI 併入 Antigravity 後,開發者如何在 30 天內將 CLI 從 gemini 切換為 agy,並自動導入舊設定。
分享一個 WebRTC 聊天室從自建 Go/Pion 到 Elixir/Membrane,再到 Cloudflare RealtimeKit 與 Realtime SFU 的四次技術演進。
探討 AI 代理如何降低開發成本,讓開發者能重新構思舊有軟體的解決方案,而非僅複製。透過合成測試與現有工具,團隊能針對特定問題(如文字排版、內容管理系統)進行創新,快速驗證並迭代。
訪談介紹了 Mozilla AI 開發的 Any-LLM,一個讓開發者能用單一介面切換不同大型語言模型的 Python 工具庫。透過快速更換模型,使用者能測試最佳效能、降低 API 費用並提升資料安全性。
探討 AI 代理如何改變程式開發迴圈,主張從人類中心轉向「代理工效學」,並討論 Go 語言在自動化流程中的潛力。透過 Wes McKinney、Marcel Kornacker 與 Alison Hill 的對話,了解多模態 AI 對資料…
專訪 Takeoff AI 創辦人 McKay Wrigley,探討 Opus 4.5 如何改變 AI 程式設計代理,並討論 Google DeepMind 新架構如何解決記憶問題。
※ 摘要僅根據標題與說明
Armin Ronacher 訪談中探討 Python、Go 與 Rust 的差異,並分享 AI 程式設計工具如何改變工程師工作模式。
訪談分享 Sourcegraph 團隊開發 AI 程式碼編輯代理人的實戰經驗,展示如何透過工具呼叫與反饋迴圈讓模型自主完成複雜任務。聽眾可學習現代 AI 代理在軟體開發中的應用模式與實際效果。
OpenAI 第九天開發者日發布 o1 API 正式版、WebRTC 語音支援及偏好微調功能,並推出 Go 與 Java 開發套件。開發者可透過這些更新以更低成本與更簡易方式構建應用。
※ 摘要僅根據標題與說明
依人氣
Harald Kirschner 分享 VS Code 如何透過重建工程系統,將每月發布改為每週發布。團隊透過讓程式碼庫準備好供 AI 代理使用、加速建置與引入強制審查機制,來應對 AI 加速產出的壓力。
※ 摘要僅根據標題與說明
示範使用 NVIDIA DOCA 技能與無技能狀態下,由 AI 程式碼代理建立 RDMA 應用程式的差異。透過對比顯示,具備技能能大幅減少手寫程式碼與硬體互動指令,提升開發效率。
※ 摘要僅根據標題與說明
Armin Ronacher 訪談中探討 Python、Go 與 Rust 的差異,並分享 AI 程式設計工具如何改變工程師工作模式。
介紹 GitHub Copilot SDK 的基礎知識、運算機理與多語言支援,並透過實作示範如何建立自訂代理工具與配置。看完後能了解如何將 AI 能力嵌入工作流,並掌握 SDK 的安裝與使用方式。
介紹使用 Go 語言開發的 pigo AI 編碼代理,並分享其從零構建的完整經驗。文章展示了如何利用 AI 主導開發流程,快速實現功能並驗證目標工作流方法的有效性。讀者可學習如何構建自主編碼代理及相關工程實踐。
記錄 Google 將 Gemini CLI 併入 Antigravity 後,開發者如何在 30 天內將 CLI 從 gemini 切換為 agy,並自動導入舊設定。
介紹 Matt Pocock 開源的 Claude Code Skills 工作流,將開發過程分為拷問想法、寫成規範、拆成任務、實作與雙軸審查五步。
基於 TypeSafe 創辦人 Diogo Almeida 的設計筆記,探討若大模型無 KV Cache 時如何重構編碼智慧體。
探討 AI 編碼代理生成大量低質「垃圾程式碼」的現象,並對比業界大牛與 Uncle Bob 的不同策略。作者分享個人經驗,說明如何透過架構嗅探、嚴格測試約束及多模型交叉審查來確保 AI 產出程式碼的品質與可維護性。
探討 AI 代理如何降低開發成本,讓開發者能重新構思舊有軟體的解決方案,而非僅複製。透過合成測試與現有工具,團隊能針對特定問題(如文字排版、內容管理系統)進行創新,快速驗證並迭代。