- 聯邦法院裁定,警方不得無限期保留在逮捕過程中扣押的財物,強調第四修正案對抗不合理扣押的保護。
- 美國哥倫比亞特區上訴法院的葛瑞格·卡薩斯法官表示,繼續持有被扣押的財產必須是合理的,這對之前的巡迴法院判決提出了挑戰。
- 此案件涉及原告在黑人的命也是命抗議活動中手機被扣押超過一年且未被起訴,這可能會設定全國性的先例並促使最高法院審查。
- 聯邦法院裁定警方在逮捕後不能無限期扣押財產,但未明確規定扣押財產的最長期限。
- 批評者認為,缺乏具體的時間限制使得該裁決無效且容易導致警方濫用,建議設置一個如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 堆疊被強調為具有前景,涵蓋了許多重要的計算機科學概念。」