- 森林服務部門正在努力關閉部分麥克哈里斯步道系統。
- 由於一名男子在壕溝中死亡，MD Nursery 被罰款超過 28,000 美元。
- 「黃石公園餅乾盆地發生水熱爆炸，遊客紛紛逃離。」
- 「黃石國家公園餅乾盆地熱區發生了一次水熱爆炸，損壞了木板路，但未造成人員受傷。」
- 「爆炸發生在黑鑽池附近，並被遊客記錄下來，導致該區域為了安全起見暫時關閉。」
- 專家強調，這類局部的水熱事件並不代表黃石火山口(超級火山)的大規模活動。
- Mistral AI 已經發布了 Mistral Large 2 模型，具有 128k 的上下文窗口，並支援超過 80 種程式語言，針對單節點推理進行優化，擁有 1230 億個參數。
- 該模型在MMLU上達到84.0%的準確率，超越了先前的模型和競爭對手如GPT-4o和Llama 3 405B，並具備增強的能力以減少「幻覺」並改善推理能力。
- “Mistral Large 2 提供不同的授權方式，適用於非商業和商業用途，其權重檔案託管於 HuggingFace，並擴展了雲端服務合作夥伴，包括 Google Cloud Platform 和 Azure AI Studio。”
- “Mistral AI 的新模型 Large 2 和 Meta 的 Llama 3.1 405B 經過測試後發現性能相當，沒有明顯的優勝者。”
- “用戶強調 Claude 仍然是一個 強大的選擇，但表達了對改進的期望，例如更智能的回應、更長的上下文窗口以及更快的回覆。”
- 「儘管某些模型因為分詞問題在簡單任務上表現不佳，人工智慧模型的快速發展和競爭仍然令人興奮，許多使用者轉而使用像是Claude Sonnet 3.5這樣的模型，以在編程和其他任務中獲得更好的表現。」
- 一位第一型糖尿病患者開發了一個使用 OxyPlot 圖表的 Windows Forms 應用程式，以更好地視覺化和管理胰島素及碳水化合物的攝取。
- 該個人使用 GeneticSharp，一個遺傳算法庫，來優化胰島素劑量，成功穩定了血糖水平。
- 「該方法在個人化糖尿病管理方面顯示出潛力，但仍需進一步模擬和調整長效胰島素的使用。」
- “患有糖尿病的人們正在分享個人經驗和管理病情的策略，強調自我監測和數據記錄的重要性。”
- 「討論的各種方法包括飲食改變、持續血糖監測(CGM)，以及個人化追蹤食物和運動對血糖水平的影響。」
- “這段對話突顯了由於對醫療系統在糖尿病管理方面的不足感到不滿，而產生的自力更生的普遍情緒。”
- 「Google 現在是唯一能顯示最新 Reddit 結果的搜尋引擎，使得 Reddit 內容成為 Google 獨有。」
- 其他搜尋引擎如 Bing、DuckDuckGo 和 Qwant 無法顯示最近的 Reddit 結果，其中 DuckDuckGo 僅提供有限的連結且沒有描述。
- 「這種情況突顯了 Google 在搜尋領域的近乎壟斷地位，影響了競爭並引發了對搜尋品質的批評，同時還有傳聞稱 Google 透過一筆數百萬美元的交易獲准從 Reddit 擷取資料用於 AI 訓練。」
- 「由於一項新的人工智慧協議，Google 已成為 Reddit 的獨家搜尋引擎，Reddit 的 robots.txt 檔案阻止其他搜尋引擎索引其內容。」
- “這項決定引發了關於其對搜尋引擎競爭及開放互聯網原則影響的辯論。”
- 人們對於這項交易的反競爭性質及其可能對使用者體驗和內容可及性造成的不利影響表示擔憂。
- 旅客可以選擇不使用機場的臉部識別系統，只需站在攝影機外，出示身分證，並說明：「我選擇不使用生物識別技術。」
- “演算法正義聯盟的「自由飛行者」活動旨在提高對這項權利的認識，特別是在美國運輸安全管理局計劃將人臉識別技術擴展到所有美國機場之際。”
- 臉部辨識技術帶來的風險包括資料外洩、誤識別、人工智慧偏見以及監控常態化，對於生物特徵資料的保存和使用也引發了重大的隱私問題。
- 選擇不參加機場臉部掃描的經驗差異很大，有些使用者會遇到阻力，而其他人則沒有遇到任何問題。
- “機場的先進攝影機捕捉3D影像以提高臉部識別的準確性，這引發了對臉部數據保存和無所不在的監控的擔憂。”
- 關於選擇退出是否對抗監控常態化是必要的，還是因為這些技術的普及而徒勞無功的辯論仍在繼續。
- 「CrowdStrike，一家網路安全公司，於7月19日因為一次錯誤的更新導致全球性中斷，影響了數百萬台電腦，並引發了重大干擾，例如機場延誤和手術中止。」
- 「作為道歉，公司向其合作夥伴提供了價值 10 美元的 Uber Eats 禮品卡，但有些收件者反映這些禮券無效。」
- “CrowdStrike 的執行長和首席安全官發表公開道歉，承認事件的嚴重性，並承諾將採取透明和未來的預防措施。”
- 「CrowdStrike 發放了價值 10 美元的 Uber Eats 禮品卡以道歉停機事件，但許多用戶發現這些禮品卡無效，導致對該公司能力的批評和猜測。」
- 有些用戶懷疑禮品卡問題可能是網路釣魚攻擊或駭客行為，進一步損害了CrowdStrike的聲譽。
- 這個舉動被認為是不夠且侮辱性的，特別是在停電對航空公司和醫院等重要服務造成重大影響的情況下，引發了關於潛在法律責任的討論。
- 美國緝毒局(DEA)和運輸安全管理局(TSA)一直在合作，通過針對攜帶大量現金的旅客來沒收他們的錢，利用線人和TSA檢查站來識別個人，並聲稱他們“同意”接受搜查。
- “這種做法延伸到在美國海關與邊境保護局協助下的美鐵列車，涉及在沒有搜查令的情況下沒收金錢的‘民事沒收’，經常無視乘客拒絕同意的意願。”
- 一項正在進行的集體訴訟強調了這些非法搜查的頻率，原告們主張，儘管美國緝毒局(DEA)和美國運輸安全管理局(TSA)拒絕公開這些記錄，但記錄的數量顯示出系統性問題。
- 「一場婚禮因突發洪水而中斷，需進行救援行動，所幸無人嚴重受傷。」
- 「警方在將參加者移送到高中避難所之前，先在巴士上用緝毒犬拘留他們，這加劇了他們的痛苦。」
- 該事件引發了對執法機構濫用權力、民事資產沒收以及毒品戰爭的討論，強調了改革的必要性及其對公眾信任和安全的影響。
- 「一個新的基於 C 語言的實現已經發布，用於在 Llama 2 和 Llama 3/3.1 變壓 器模型上進行推理，並具有 int8 量化的前向傳播功能。」
- 「該程式碼包含對各種環境的支援，例如 Linux 核心、Unikraft Unikernel 和透過 Zip 壓縮檔案的嵌入式模型。」
- 使用者可以透過命令列參數自訂溫度、top-p 取樣和模型版本等參數，提升不同使用情境的靈活性。
- Meta 的 Llama 3.1 模型可以生成多語言文本，但目前的 C 語言實現仍然有錯誤，需進一步改進。
- 該專案涉及將模型量化為 8 位元，這可能會降低輸出品質，戲稱為「腦損傷」。
- 社群正積極貢獻於改進實施，討論最佳量化方法以及使用新縮放技術來延長上下文長度。
- “EMACS，一款文字編輯器，於1976年在麻省理工學院人工智慧實驗室開發，並在該年年底由理查德·斯托曼(RMS)成為主要開發者。”
- 「RMS 命名了 'E' 和 'EMACS'，並在將 TECO 巨集轉變為強大的編輯器方面發揮了關鍵作用，最初得到了 Guy Steele、David Moon 和 John Kulp 的幫助。」
- 早期的使用者社群，包括 Moon，在鍵綁定和指令名稱方面做出了貢獻，這突顯了 EMACS 開發過程中協作和社群驅動的特性。
- 1976 年，麻省理工學院人工智慧實驗室(MIT-AI)因為當時沒有域名系統(DNS)，所以在電子郵件地址中使用 'at' 來代替 @ 符號。
- 早期的電腦科學家偏好清晰的日期格式，如「dd MON yy」，並討論了早期的網路檔案系統和協議，如 MLDEV 和 SUPDUP。
- Emacs，一個最初用TECO編寫的文字編輯器，隨著開發者的貢獻而演變，例如James Gosling在1981年創建了Unix版本。
- 「Scrapscript 是一種程式語言，其直譯器可用於 Python 3.8+ 和 Cosmopolitan，並且支援 Docker 進行容器化執行。」
- 「Scrapscript 的語法即將更新，使用者可以參考
scrapscript.py 及其測試來了解這個語言。」
- 有一個實驗性的編譯器可用，能夠生成 ELF、Cosmopolitan 和 Wasm 格式的輸出，並為每種格式提供了特定的命令。
- “Scrapscript 是一種新的函數式、內容可尋址的程式語言，旨在使用類似 JSON 的類型、函數和雜湊引用來解決軟體共享性問題。”
- 「與使用 git 為基礎範式的 Unison 不同，Scrapscript 更具野心，專注於使用 IPFS(星際檔案系統)進行程式碼識別和序列化。」
- 「這種語言因其公開開發以及創作者在開發過程中克服酗酒問題的個人經歷而受到關注。」
- 研究人員在發表無效結果時面臨挑戰，這些結果顯示變數之間沒有顯著關係，導致偏向於正面發現的偏見。
- “這種出版偏見扭曲了科學記錄並浪費資源，正如演化生物學家娜塔莉·皮拉庫塔在冰島溫泉中對魚類偏好的研究中所見，該研究結果不明確。”
- 「為了解決這個問題，期刊鼓勵預註冊報告，但採用速度緩慢以及認為無效結果代表研究有缺陷的觀念仍然是重大障礙。」
- 討論強調了在科學研究中發表無效結果的挑戰和缺乏激勵，儘管這些結果具有潛在價值。
- 「相當多的科學家願意發表無效結果，但由於系統性障礙和高級期刊缺乏需求，能夠這麼做的 人非常少。」
- 建議包括創建專門針對無效結果的期刊、將無效結果作為主出版物的附錄整合進去，以及改進同行評審過程以包含方法的預註冊。
- 「一個新網站，https://glhf.chat/，允許使用者在定價確定階段免費在自動擴展的 GPU 叢集上運行幾乎任何開源的大型語言模型(LLM)。」
- 該服務支援任何與開源 vLLM 專案相容的模型，提供高達約 640GB 的 VRAM，並通過多租戶運行模型，旨在比其他 GPU 服務更具成本效益。
- 該平台在 Llama-3.1-405B 發佈日上線，並支援如 Llama-3-70b 微調等高效模型，計劃未來將改進對更大模型的支援並解決目前的限制。
- “glhf.chat 允許用戶在自動擴展的 GPU 叢集上運行幾乎任何開源的 LLM(大型語言模型)，目前在定價 確定前免費使用。”
- 該服務支援任何與開源 vLLM 專案相容的模型，包括受歡迎的 Llama-3-70b 微調模型，但由於 NVLink 問題存在一些限制。
- 「在 Llama-3.1-405B 發佈日推出，該平台旨在透過在多租戶環境中運行模型來達到成本效益，並歡迎用戶反饋。」
- Pnut 是一個 C 語言到 POSIX shell 的轉譯器，能將 C 程式轉換為人類可讀的 shell 腳本，確保在符合 POSIX 標準的 shell 中具有高度的可移植性。
- 它允許開發者使用 C 語言編寫腳本，而不需要學習新的語言，並且輸出結果易於檢查、除錯和維護。
- Pnut 運行於所有主要的作業系統，包括 Linux、macOS 和 Windows，並且採用 BSD-2 條款授權。
- Pnut 是一個 C 到 POSIX shell 的編譯器，可以作為人類可讀的 shell 腳本分發，從而實現從源文件進行可重現的構建。
- 「它可以自行編譯，並且經過一些努力後，可以編譯 Tiny C Compiler (TCC)，然後再利用 TCC 引導 GNU Compiler Collection (GCC)，從而建立一個完整的建構工具鏈。」
- 「雖然 Pnut 因其創新性而受到讚揚，但 也面臨一些實際限制的批評，例如處理二進位輸入/輸出和某些 C 語言結構，以及對其可靠性和完整性的不同看法。」
- MPPP(1-甲基-4-苯基-4-丙酰氧基哌啶)是一種設計藥物，首次報導於1947年，原本打算作為止痛藥，但發現效果並不優於現有選項。
- 1976年，Barry Kidston 合成了 MPPP，並因為一種雜質 MPTP 而出現了類似帕金森氏症的症狀，這種雜質會選擇性地殺死對運動控制至關重要的細胞。
- 1982 年因 MPTP 污染的合成海洛因引發的帕金森症狀爆發，為帕金森氏症提供了重要的科學見解，並突顯了業餘藥物合成的危險性。
- 討論的重點在於設計藥物的危險性，特別是MPPP及其副產物MPTP，這些物質已被證實與使用者出現類似帕金森氏症的症狀有關。
- 強調了合成藥物相關的風險、藥物純度的重要性，以及合法化和規範藥物以確保安全的潛在好處。
- 用戶分享個人經驗並強調謹慎和適當測試的必要性，同時也討論了藥物禁令的更廣泛影響以及確保安全使用的挑戰。
- Micromouse 是一項機器人競賽，參賽的小型自主機器人需要解決一個 16×16 的迷宮。這項競賽起源於 1970 年代末期，並在包括英國、美國和日本在內的多個國家廣受歡迎。
- 機器人使用像是貝爾曼洪水填充、戴克斯特拉和A*等演算法進行導航，最高速度超過每秒三公尺；目前的世界紀錄是由黃明傑創下的3.921秒。
- 最近的進展包括使用風扇來增加下壓力，使加速度超過2.5g，還有一種稱為半尺寸微型鼠的變體使用32×32的迷宮，其尺寸較小。
- Micromouse 是一項機器人競賽，小型機器人需要在迷宮中導航，最近 Veritasium 的影片強調了這個主題。
- 比賽包括一個用於繪製迷宮地圖的偵察階段，並使用不同的策略，如沿牆行走和迷宮繪圖。
- 該活動吸引年輕人參與程式設計和工程，設有樂高機器人和更先進的機器人等類別，展示了數十年來科技的演變。