📈
科技巨擘與初創公司Google 的「Big Sleep」AI 專案發現真正的軟件漏洞 (4 分鐘閱讀)
Google 的「Big Sleep」AI 專案證明了 AI 在發現軟件漏洞方面的潛力。這個 AI 系統成功找到 SQLite 資料庫引擎中的一個先前未知且可被利用的漏洞。研究人員表示，這是 AI 首次公開展示在真實世界軟件中找到可被利用的記憶體安全漏洞的案例。研究人員希望未來 AI 能夠在漏洞研究中提供更高的品質分析。
Elon Musk 終於承認特斯拉的 HW3 可能不支援全自動駕駛 (5 分鐘閱讀)
Elon Musk 終於承認，特斯拉的 HW3 電腦可能無法支援全自動駕駛，且他也不確定實現全自動駕駛需要甚麼。Elon Musk 在特斯拉公布 2024 年第三季財報後的電話會議中，首次鬆口承認此事。Elon Musk 表示，如果特斯拉確定無法在 HW3 上實現其承諾，特斯拉將提供電腦升級。
🧬
科學探索與創新科技
SpaceX 希望明年初測試 Starship 太空加油 (4 分鐘閱讀)
SpaceX 計劃在明年 3 月進行 Starship 太空船在軌加油測試，這是邁向 Artemis 計劃中無載人 Starship 登月示範的重要里程碑。NASA 與 SpaceX 簽訂了價值 40.5 億美元的合約，由 SpaceX 提供兩艘載人 Starship，將在 2026 年 9 月將人類送往月球表面。
Semaglutide 對治療關節炎的效果如此顯著 以至於患者「或多或少都被拋出了研究」 (3 分鐘閱讀)
一項令人驚奇的新研究發現，Ozempic 的活性成分在治療關節炎方面非常有效，以至於參與者在實驗結束時不再需要治療。這項研究由約十個國家進行，發現 Semaglutide 對膝蓋骨關節炎有顯著改善。這項研究由 Ozempic 和 Wegovy 製造商諾和諾德公司贊助，共有 400 名患者參與。
🔐
網絡安全與程式編寫
繞過 noexec 並執行任意二進位檔 (10 分鐘閱讀)
此文探討了在 Linux 系統中執行二進位檔的技巧，即使該系統設定了 noexec 限制，禁止執行。這項技巧利用 Bash 語法和系統呼叫（syscall），無需觸碰硬碟或使用 ptrace() 或 mmap()。這項技巧是一種創造性的解決方案，可以繞過 noexec 限制並執行任意二進位檔。
集合、類型和類型檢查 (65 分鐘閱讀)
這篇文章深入探討了類型理論，解釋了類型檢查存在的理由，以及類型抽象帶來的優勢。文章從類型理論的必要性開始，接著詳細介紹了類型的定義以及常見的類型建構方式。最後，文章說明了類型檢查的實作，包括類型上的操作。這篇文章能幫助讀者更好地理解類型系統的作用和重要性。
🎁
資訊科技百寶箱
Apple M4 Pro 和 M4 Max 早期跑分測試顯示效能大幅提升 (3 分鐘閱讀)
根據 Geekbench 數據，M4 Pro 處理器在單核測試中得分 3,925。M4 Max 處理器在單核測試中得分 4,060，成為首款在 Geekbench 6 中超過 4,000 分的生產型 CPU。
神秘的新影像生成模型已經出現 (3 分鐘閱讀)
最近出現了一款神秘的全新影像生成模型「red_panda」，在 Artificial Analysis 的群眾評比基準中，表現超越了 Midjourney 和 OpenAI 等知名模型。
OpenAI CFO 表示其 75% 的收入來自付費用戶 (5 分鐘閱讀)
OpenAI 的 CFO Sarah Friar 在最近的 Bloomberg TV 訪談中透露，該公司約 75% 的收入來自於消費者訂閱服務。
HelloMeme：整合空間編織注意力 在擴散模型中嵌入高級和高保真的條件 (15 分鐘閱讀)
這篇論文介紹了一種將適配器整合到文字轉圖像基礎模型中的有效方法，讓模型在執行複雜的下游任務時，仍能保持其泛化能力。
簡化 3D 高斯模型 從稀疏無姿勢影像重建場景 (20 分鐘閱讀)
此文介紹 NoPoSplat，一個能夠從稀疏、無姿勢的多視角影像中重建 3D 場景的模型，該場景使用 3D 高斯參數化。
適用於 iOS 和 macOS 的 Quick Share 可能正開發中 (8 分鐘閱讀)
Google 可能正在為 Apple 的 iOS 和 macOS 開發一款名為 Quick Share 的應用程式。Quick Share 是一項文件傳輸服務。
