跳至主要内容

2024-09-14

前 CrowdStrike 員工:『品質控制並非我們流程的一部分』

  • 前 CrowdStrike 員工聲稱,優先考慮速度而非品質導致了一次軟體故障,這次故障擾亂了航空公司和銀行服務,影響了850萬台電腦,並造成54億美元的損失。
  • 據報導,關於緊迫的截止日期和過重的工作量的投訴被忽視了一年多,導致程式碼錯誤增加和訓練不足。
  • 該事件導致預期交易損失六千萬美元,並使CrowdStrike的股市價值大幅下跌,促使執行長George Kurtz承諾將採取未來的預防措施。

評論

  • “前 CrowdStrike 員工指控該公司在開發過程中過度強調速度而忽視安全,導致了一次重大全球性中斷及其他問題。”
  • 他們聲稱品質控制並未被優先考量,這反映了科技產業中重視快速程式碼部署而非徹底測試的更廣泛趨勢。
  • 雖然有些人為 CrowdStrike 辯護,認為批評可能有偏見,但該公司最近的重大失敗使這些指控更具可信度。

OpenAI 威脅要撤銷 o1 的訪問權限,因為詢問其思維鏈條。

評論

  • OpenAI 正考慮撤銷對於詢問其思維鏈的用戶的訪問權限,這引發了對透明度和競爭力的擔憂。
  • “有猜測認為 OpenAI 可能是在保護專有技術或避免公關問題,而另一些人則認為這是為了防止競爭對手複製他們的技術。”
  • 「這種情況突顯了 AI 安全性、透明度與商業利益之間持續存在的緊張關係。」

「我的 71 TiB ZFS NAS 經過 10 年且零硬碟故障」

  • 一台 4U 71 TiB 的 ZFS NAS,使用二十四個 4 TB 硬碟組建,已經運行超過 10 年且沒有任何硬碟故障,這歸功於在不使用時關閉伺服器。
  • 這台 NAS 已經經歷了主機板和電源供應器的更換,但仍然可靠,處理超過一拍位元組的數據,在定期檢查中沒有出現校驗錯誤。
  • 從四埠千兆網路升級到Infiniband,後來再升級到10Gbit乙太網路卡,提升了性能,同時自訂的風扇控制腳本保持系統安靜。

評論

  • 一位使用者分享了他們運行一台 71 TiB ZFS NAS 長達 10 年且沒有任何硬碟故障的經驗,這引發了關於硬碟可靠性和儲存策略的討論。
  • 有人對於因相似磨損而導致同時硬碟故障的風險提出了擔憂,並強調分散購買硬碟以避免批次相關問題的重要性。
  • 對話中還提到了使用大型、低轉速風扇來為 NAS 散熱的好處,以減少噪音和功耗,一些用戶分享了他們對特定風扇配置的正面經驗。

Meet.hn – 在你的城市與 Hacker News 社群見面

  • 一個新的平台 https://meet.hn 已經上線,幫助用戶通過在地圖上添加他們的位置和興趣來找到並與他們城市中的駭客聯繫。
  • 創作者旨在促進 Hacker News(HN)社群內的社區連結,特別是在像圖盧茲這樣具有強大產業重點的城市。
  • 這個專案是開源的,並且與其他 HN 工具整合,鼓勵使用者分享回饋並參與其開發。

評論

  • 「一個新的平台 meet.hn 已經上線,旨在幫助 Hacker News (HN) 用戶透過在地圖上添加他們的位置和興趣來在各自的城市中互相聯繫。」
  • 使用者可以透過填寫包含用戶名、城市和國家的表單,將自己添加到地圖中,然後將生成的文字貼到他們的 HN 描述中。
  • 該平台已經收到了大量的關注和反饋,包括對新增功能的需求,如支援 Mastodon、處理變音符號以及更好的城市名稱消歧。

Lisp 使用 Rust 巨集實作

  • lisp-in-rs-macros 是一個完全使用 Rust 宣告式巨集編寫的 Lisp 解釋器,允許在編譯時評估 Lisp 代碼。
  • 這個 lisp! 巨集將 Lisp 代碼展開為其計算值的字串表示,展示了 Rust 巨集在不到 250 行代碼中的能力。
  • 主要特點包括支援基本的 Lisp 表達式,如 DEFINEQUOTELAMBDAPROGN,但缺乏明確的遞迴功能,可以通過使用 lambda 函數進行自我應用來解決。

評論

  • 「使用 Rust 巨集創建了一個 Lisp 實現,引起了科技社群的極大興趣和討論。」
  • 這個專案突顯了 Rust 巨集系統的靈活性和強大功能,儘管在處理帶有連字符號的符號時存在一些限制。
  • 討論還涉及到格林斯潘的第十法則,該法則幽默地指出,任何足夠複雜的程式最終都會實現一半的 Common Lisp,這反映了程式設計複雜性的本質。

欺騙的程度:美國大學如何成為債務工廠

  • 「美國的學生貸款系統已經造成了1.7兆美元的債務泡沫,這些貸款在破產時無法免除,導致借款人面臨嚴重的財務後果。」
  • 錯誤的激勵機制和監管俘虜使得大學在不提高教育質量的情況下提高學費,導致高失業率和低畢業率。
  • “提出的解決方案包括在破產時允許貸款免除、將貸款與學位價值掛鉤,以及讓機構承擔責任,但由於強大的既得利益,這些方案難以實施。”

評論

  • 美國的大學因透過外包職業、施壓學位取得以及寬鬆的公共資金標準而助長學生債務而受到批評。
  • 不斷上漲的學費和政府擔保貸款,消除了貸款機構的風險,進一步加劇了債務問題,特別是對於財務知識不足的學生而言。
  • 提出的解決方案包括在破產時允許學生貸款免除以及改革高等教育資金。

Janet Jackson 擁有使筆記型電腦當機的能力(2022)

  • Raymond Chen 詳細介紹的系列文章中,AArch64 處理器(也稱為 arm64)是重點,並在第 16 部分討論了條件執行。
  • 條件執行允許根據特定條件執行某些指令,從而提升 arm64 架構的效率和性能。
  • 「這個系列對於那些對低階程式設計和理解現代處理器架構複雜性有興趣的人來說非常重要。」

評論

  • 珍娜·傑克森的音樂可能會因共振頻率而導致特定筆記型電腦硬碟損壞,這突顯了一個不尋常的科技現象。
  • 「用戶分享了有關技術故障的個人經歷,包括保利效應和『示範效應』。」
  • 討論還涉及影響硬體的外部力量,例如放在暖通空調設備上的筆記型電腦,並引用塔科馬海峽大橋倒塌事件來說明共振問題。

OpenAI o1 在 ARC-AGI-Pub 上的結果

  • 「OpenAI 推出了新的 o1-preview 和 o1-mini 模型,這些模型在連鎖思維(CoT)推理方面顯示出潛力,能夠減少具有中間步驟的任務中的錯誤。」
  • 這些模型在 ARC Prize 排行榜上的表現優於 GPT-4o,但比 Claude 3.5 Sonnet 花費更多時間,這突顯了準確性與計算時間之間的取捨。
  • OpenAI 的新強化學習演算法和合成連鎖思維(CoTs)增強了訓練效果,但計算效率仍然是一個挑戰,這表明需要新的想法來推進通用人工智慧(AGI)。

評論

  • OpenAI 的 o1 模型在 ARC-AGI 基準測試中展現了更佳的表現,解決了先前模型難以應對的任務,但速度仍然比不上 Anthropic 的 Claude 3.5 Sonnet。
  • 討論強調了人類反饋的重要性、當前 AI 基準的局限性,以及多模態模型在推動 AI 發展中的潛力。
  • 關於ARC-AGI基準測試是否是衡量通用人工智慧的有意義測試存在爭議,對於其對理解通用智慧的影響有不同的看法。

「有關極端人類老化的數據從內到外都是腐爛的」

  • 「UCL 的研究員 Saul Justin Newman 因揭穿有關極端人類老化的說法而獲得搞笑諾貝爾獎,強調了報告中超過 105 歲年齡的不準確性。」
  • “Newman 的研究指出,被稱為藍色地帶的區域以高壽命著稱,但由於記錄不善和養老金詐欺,這些區域的數據往往存在疑問。”
  • 他建議邀請物理學家參與,以創造更可靠的年齡測量方法,因為目前的數據經常因錯誤和不準確而存在缺陷。

評論

  • “關於極端人類老化的討論揭示了數據中的缺陷,使用者分享了個人經歷,並強調積極的生活方式和避免惡習是關鍵因素。”
  • 辯論包括生活條件的影響,例如高樓層促進身體活動,以及遺傳和環境因素在老化中的作用。
  • 對於某些地區年齡記錄準確性的懷疑,突顯了驗證極端年齡聲稱的複雜性以及長壽的多面性。

「英特爾敲定35億美元合約,為軍方製造晶片」

評論

  • “英特爾已經獲得了一筆價值35億美元的合約,將為軍方生產晶片,這標誌著自1997年退出後,英特爾重返國防領域。”
  • 此舉反映了英特爾在面對來自台積電和三星等公司的競爭壓力下,進行多元化收入來源的策略轉變。
  • 這項交易符合美國政府推動國內半導體生產以確保供應鏈安全的目標。

「陶哲軒談 O1」

評論

  • O1 模型在向量相似度專案的優化 Rust 代碼中顯示出顯著的加速效果,在某些任務中超越了 GPT-4o 和 Claude3.5。
  • 用戶反映 O1 有助於概念化新的統計依賴性測量,並提供快速實現的正規化互信息,儘管最初可能需要一些除錯。
  • 討論強調了大型語言模型(LLMs)在編碼和研究中的不斷演變的實用性,並強調了有效提示的重要性以及LLMs在協助解決複雜問題任務中的潛力。

Void 捕獲超過一百萬台 Android TV 盒

  • Doctor Web 專家已經發現了一種名為 Android.Vo1d 的惡意軟體感染,影響了來自 197 個國家的近 130 萬台 Android TV 盒。
  • 該惡意軟體安裝第三方軟體並修改系統檔案以確保自動啟動,針對未修補漏洞的過時 Android 版本進行攻擊。
  • Dr.Web 防毒軟體可以偵測並治療所有已知的 Android.Vo1d 變種,為受影響的用戶提供解決方案。

評論

  • “超過一百萬台 Android TV 盒子已被入侵,這突顯了運行過時 Android 版本的設備存在的漏洞。”
  • 問題源於製造商未提供更新,導致安全漏洞未修補和被迫淘汰。
  • 這種情況突顯了封閉設備的更廣泛問題,以及需要開源韌體或替代作業系統來確保長期支援和安全性。

用 Rust 編寫作業系統

  • 《用 Rust 寫作作業系統》系列提供了逐步教學,指導如何使用 Rust 程式語言構建作業系統,該系列教程托管於 os.phil-opp.com。
  • 「每個教學的源代碼都組織在不同的 git 分支中,使用者可以使用 git worktree 來檢出特定的分支,例如用於堆積分配的 'post-10' 分支。」
  • 該專案涵蓋多個主題,包括建立獨立的 Rust 二進位檔、核心開發、VGA 文字模式、測試、中斷、記憶體管理和多工處理。

評論

  • 這篇文章討論了使用 Rust 程式語言開發作業系統(OS),並強調了 Phil Opp 的一個教程,這個教程啟發了許多開發者。
  • 提到幾個作業系統專案和資源,包括 Tock-OS、Oxid-OS、Hubris 和 Redox,重點在於即時作業系統(RTOS)和像 Embassy 和 RTIC 這樣的框架。
  • 社群反饋強調了Phil Opp教程的價值以及Rust在作業系統開發中的廣泛影響,特別是在記憶體安全和資源管理方面。

「聖劍傳說:提升專注力的沉浸式體驗」

  • 研究人員開發了一個名為《聖劍傳說》的虛擬實境系統,透過拔出聖劍的沉浸式體驗來增強專注力。
  • 該系統提供多模態反饋,包括視覺、聽覺和觸覺,以幫助使用者提升有意識地控制專注力的能力。
  • 這種創新方法詳述於提交至 arXiv 的人機互動類別的論文中,強調其對提升專注力技術的潛在影響。

評論

  • 一個名為《聖劍傳說》的全新沉浸式體驗旨在提升專注力,靈感來自亞瑟王傳說,其中亞瑟憑藉其價值而非力量從石中拔出聖劍。
  • 討論中強調了多種提升專注力的技巧,包括來自帕坦加利八支瑜伽的冥想練習以及運動中使用的「靜眼」技術。
  • 「目前有一項研究正在期待中,旨在測量這種體驗對專注力的效果,不過需要額外的資金才能繼續進行。」

“美國針對電商平台 Temu 和 Shein 利用的貿易漏洞採取行動”

評論

  • 美國正在解決電子商務公司 Temu 和 Shein 利用的一個貿易漏洞,這使得阻止劣質產品和非法藥物如芬太尼變得更加複雜。
  • “官員們認為,大量包裹使得攔截這些貨物變得困難,儘管有些人認為大多數芬太尼是經由墨西哥而非中國進入美國。”
  • 這場辯論強調了在不產生意外後果的情況下關閉貿易漏洞的複雜性,這影響了國際貿易、毒品走私和地方經濟。