- 聯邦法院裁定,警方不得無限期保留在逮捕過程中扣押的財物,強調第四修正案對抗不合理扣押的保護。
- 美國哥倫比亞特區上訴法院的葛瑞格·卡薩斯法官表示,繼續 持有被扣押的財產必須是合理的,這對之前的巡迴法院判決提出了挑戰。
- 此案件涉及原告在黑人的命也是命抗議活動中手機被扣押超過一年且未被起訴,這可能會設定全國性的先例並促使最高法院審查。
- 聯邦法院裁定警方在逮捕後不能無限期扣押財產,但未明確規定扣押財產的最長期限。
- 批評者認為,缺乏具體的時間限制使得該裁決無效且容易導致警方濫用,建議設置一個如14天或30天的硬性上限。
- 該裁決規定,一旦最初的理由消失,必須歸還財產,但允許合理的延遲,這引發了對法律模糊性及其對正義影響的擔憂。
- 「FlightAware 遭遇重大資料外洩事件,洩露了大量客戶資訊,包括姓名 、電子郵件地址、密碼和信用卡詳細資料。」
- 用戶對於FlightAware缺乏溝通感到沮喪,因為該公司未在其網站或社交媒體上提供更新。
- 「這次資料外洩事件引發了對FlightAware資料安全措施及其應對事件的擔憂,一些用戶僅收到緩慢的電子郵件通知來重設密碼。」
- 許多基準測試評估語言模型在人類任務上的表現,但對這些模型來說,一個關鍵的任務是預測下一個詞。
- 「這篇文章提出了一個問題:人類是否能在這項特定任務中超越語言模型。」
- 「JoelEinbinder 開發了一款遊戲,玩家需要預測 Hacker News 評論中的下一個詞,並與像 llama2 這樣的語言模型競爭。」
- 「用戶建議改進,例如一次顯示一個問題並立即反饋,並指出測驗的長度及其在衡量“聰明程度”方面的有效性。」
- 這款遊戲強調了人類與人工智慧在語言處理上的差異,激發了對人工智慧能力和人類智慧的討論,有時人類的表現甚至超越了這些模型。
- 作者回顧了在 Google 長達 9 年的職業生涯,強調了成就與挑戰,包括參與 Bigtable、Persistent Disk 和 GCE VMs 的工作。
- 主要收穫包括獲得工程和領導技能、財務穩定以及強大的社群,但也面臨壓力、認知負荷和有限的成長機會。
- 作者計劃休假一段時間,以探索新的機會和挑戰,目的是尋找新的目標和個人成長。
- 「一位前 Google 工程師回顧了他們九年的任期,強調從早期混亂的做法到更標準化的工具和流程的演變。」
- 這篇文章對比了網站可靠性工程(SRE)職位與軟體工程(SWE)職位中的高壓和倦怠,並指出了每個職位的獨特挑戰和獎勵。
- 「多位前 Google 員工提供了對 Google 文化變遷、管理問題及其廣告驅動商業模式影響的見解。」
- Dasel 是一個多功能工具,能夠使用統一的選擇器語法,對多種格式(JSON、YAML、TOML、XML、CSV)的資料結構進行查詢和修改,且無需任何運行時依賴。
- 它支援透過各種套件管理器進行安裝,並提供選擇、轉換、更新和刪除資料的指令。
- Dasel 以其速度著稱,比 jq 快 3 倍,比 yq 快 15 倍,並且包含 pre-commit hooks 等功能,且兼容 Linux、Mac 和 Windows。
- 討論的重點在於使用 SQL 風格語法來查詢各種非關聯數據格式,如 JSON、TOML、YAML、XML 和 CSV 的潛力。
- 雖然 SQL 理論上因其圖靈完備性而能查詢任何數據,但實際的效率和便利性在不同格式之間有所差異。
- 「這段對話強調了需要一種標準化的查詢語言來處理結構化數據格式,考慮到每種存儲格式的獨特特性以及像 jq 和 yq 這樣的工具在命令列數據操作中的優勢。」
- 「這篇文章是從零開始構建一個與 SQLite 相容的資料庫系列的第一部分,並附有 Rust 語言 的範例。」
- 它涵蓋了建立一個最小的測試資料庫、了解 SQLite 檔案格式,以及實作一個列出資料庫中所有資料表名稱的指令。
- 該專案涉及定義關鍵結構如
Pager
、Page
和 Db
,並設置一個基本的 REPL(讀取-求值-輸出循環)以支援 .tables
和 .exit
等指令。
- 「這篇文章討論了如何建立自訂的 SQLite 實作,重點在於列出資料表,並且是系列文章的一部分。」
- 一個值得注意的想法是使用 Rust 巨集來定義 SQL 查詢,允許在編譯時將 SQL 直接綁定到內部資料庫 API,從而繞過靜態查詢的運行時解析和查詢規劃的需求。
- 進行比較的是 SQLx,它使用巨集在編譯時驗證 SQL 查詢,確保 SQL 的有效性並優化性能。
- 「Didier Rémy 在 1988 年提出的 OCaml 類型泛化演算法通過使用層級來追蹤類型依賴性,避免了低效的環境掃描,從而提升了類型推斷的速度。」
- Rémy 的方法類似於世代垃圾回收,確保僅在定義區域不活躍時才對型別變數進行量化,從而防止不健全的泛化。
- OCaml 的型別檢查器實現了這個 演算法,使用層級來管理型別變數並強制範疇紀律,顯著提升了型別推斷的效率。
- 這篇關於 OCaml 型別檢查器的文章,更新於 2022 年,探討了超越 Hindley-Milner 型別推斷和 Algorithm W 的現代技術,並強調了如 union-find 這樣的高效方法。
- 這對於修改 OCaml 型別檢查器的開發者來說至關重要,並且包含了關於 Rust 型別檢查、OCaml 日益普及的討論,以及與 Gleam 和 Go 等語言的比較。
- 這篇文章在 OCaml 社群中備受推崇,經常在文件中被引用,反映出其重要性和影響力。
- 「開發者花了兩年時間創建了 'Toxoid',這是一個使用 Rust、WebAssembly (WASM) 和 WebGPU 的開源遊戲引擎,用於一款名為《世界傳奇》的 2D 像素藝術線上沙盒多人遊戲。」
- 毒素利用 Flecs 作為其實體元件系統(ECS),使用 Sokol 進行渲染,並使用 Emscripten 來實現網頁相容性,目標是達到高效能、快速迭代和長期可用性,且不受供應商鎖定的限制。
- 引擎現在已公開提供,未來計畫包括專屬網站 、範例、示例、測試和文件,以支援開發社群。
- 一位開發者花了兩年時間使用 Rust、WASM(WebAssembly)和 WebGPU 創建了一個自訂的遊戲引擎,現在正在使用該引擎開發一款類似 Minecraft 的遊戲。
- 「這個專案雖然並非以商業成功為目標,但已經引起潛在雇主的興趣,並且作為一個學習經驗。」
- 「Rust+WASM+WebGPU 堆疊被強調為具有前景,涵蓋了許多重要的計算機科學概念。」
- 「Kevin Boone 在 40 年後重新燃起了對 CP/M 程式設計的興趣,使用基於 Z80 的 CP/M 機器創建了新的工具,如 KCalc-CPM、cpmbox 和 cpmlife。」
- 「文章討論了在 CP/M 系統上使用 1982 年的 Aztec C 編譯器,強調其小巧的體積、古老的語法,以及由於資源有限而需要手動優化的必要性。」
- “Boone 強調在真實硬體上進行測試的重要性,因為模擬器可能會掩蓋效能低下的問題,他認為為 80 年代的硬體撰寫高效能程式碼的過程既具挑戰性又令人滿足。”
- 「一位開發者創建了一個簡單的 CP/M 模擬器和一系列 CP/M 二進位檔案,包括 Aztec C 編譯器,以便於為 CP/M 系統編譯程式碼。」
- 「這篇文章強調了在 CP/M 上使用 C 語言編程的懷舊感和挑戰,並將其與現代開發實踐和工具進行對比。」
- 討論包括有關 Aztec C 編譯器的歷史背景、其起源,以及從1980年代到今天 C 程式設計標準的演變。
- 「南澳大學的一項研究將低鎂水平與DNA損傷聯繫起來,這可能導致癌症、糖尿病和阿茲海默症等疾病。」
- 研究人員發現,低鎂水平與高同型半胱氨酸(一種基因毒性氨基酸)水平相關,而高鎂水平則與葉酸和維生素B12呈正相關。
- 美國食品藥品監督管理局(FDA)建議成人每日攝取 420 毫克的鎂,該研究強調了富含鎂的食物如堅果、種子、深色葉菜和黑巧克力的重要性。
- 低鎂水平與 DNA 損傷有關,這突顯了攝取足夠鎂的重要性。
- 「不同形式的鎂補充劑有各種健康用途: 鎂蘆丁酸鹽有助於腦部健康,鎂牛磺酸鹽有助於代謝問題,鎂甘胺酸鹽有助於緩解焦慮和失眠,而檸檬酸鎂則是一種經濟實惠的選擇。」
- 「鎂的食物來源包括豆類、堅果、種子和綠葉蔬菜,但現代農業做法可能會降低它們的鎂含量。」
- 在2024年,CSS將引入
align-content
來進行預設佈局中的垂直置中,從而不再需要使用flexbox或grid。
- 「此更新將在 Chrome 123、Firefox 125 和 Safari 17.4 中獲得支援,透過單一屬性簡化垂直對齊。」
- 歷史上,垂直置中需要使用複雜的方法,如表格單元格、絕對定位和彈性盒子,但新的方法簡化了這個過程。
- 「CSS 將在 2024 年引入一個新的垂直置中功能,簡化了在流佈局中不如在 flexbox 和 grid 中那麼直觀的任務。」
- 此新增功能旨在使垂直置中更易於使用,特別是針對那些覺得目前方法如
align-content
和 flexbox 不直觀的新手 CSS 使用者。
- 社群反應正面,指出雖然透過各種方法已經可以實現垂直置中,但這項新功能將提升便利性和易用性。
- 「監控觀察是一個互動地圖,揭露監控公司、其資金來源和聯繫之間的關係。」
- 該工具旨在提供有關參與監控活動的實體的透明度和認知。
- 「這項倡議具有重要意義,因為它幫助使用者了解監控公司的網絡和影響力。」
- 「Surveillance Watch(surveillancewatch.io)揭示了監控產業中的隱藏連結,專注於執法機構和政府用來監控和追蹤目標的供應商。」
- 討論強調了像 Meta 和 Alphabet 這樣的大型科技公司在向當局提供元數據時所扮演的角色,通常是在法院命令下進行的,以及它們對政府監控計劃的遵守情況。
- 網站的功能和可用性引起了討論,有人建議改進,例如在行動裝置上將地球儀設為可選項,並增加互動元素。