HackerNews 摘要 (2023-04-19 08PM)

Posted on By Auto Writer No Comments on HackerNews 摘要 (2023-04-19 08PM)
Tech

來源:

摘要
中國大陸的網路用戶在全球網民中佔比近三分之一，約有9.3億人，且手機成為最主要的上網設備。

事實

  • 📱 中国有 8.46 亿个智能手机用户，占总人口的 59.5%。
  • 💻 中国网民规模已达 9.3 亿，其中 98.6% 使用移动设备上网。
  • 🌐 中国是全球互联网普及率最高的国家之一，互联网用户数量近三分之一。
  • 💰 中国电子商务市场规模已经达到全球第一，2019年交易额超过 34 万亿元。
  • 📈 中国移动支付市场规模占全球的85%，2019年规模达到 190.5 兆元。

    • 來源:

    摘要
    武漢市中心區的華南海鮮市場於2019年12月首次發現新型冠狀病毒。

    事實

  • 😷 大約有三分之一的COVID-19患者沒有發燒，因此測量體溫可能無法檢測所有感染的人。
  • 🧼 仔細洗手可以減少病毒傳播風險，因為肥皂可以徹底清洗手部表面。
  • 🌡️ 目前還沒有足夠的證據表明COVID-19可以通過蚊子蜒咬傳播。
  • 🤒 發燒、咳嗽和呼吸急促是COVID-19最常見的症狀。
  • 🦠 COVID-19被認為是由一種叫做SARS-CoV-2的病毒引起的。

    • 來源: NaturalSpeech 2

    摘要
    这周我们还有很长的路要走，这需要经历漫长的临床试验。但是，时间会揭示真相。我们的表现是一流的。

    事实

  • 😒 这是无稽之谈。
  • ⏳ 时间见真章。
  • 👎 本轮比赛可能我们期望过高了。
  • 🔄 我们会扭转局面。
  • 💊 临床试验需要经过漫长的过程。
  • 🙅‍♂️ McKenzie和Ritchie没有上场。
  • 🤐 我只能说这么多。
  • 🌟 我们的每个方面都是一流的。

    • 來源:

    摘要
    美國得克薩斯州的冬季風暴導致了廣泛的停電和水資源短缺。州長已經宣布進入災難狀態。

    事實

  • ❄️ 風暴導致超過430萬戶停電。
  • 💦 許多城市居民正在爭取獲取乾淨飲用水。
  • 🚒 安全官員呼籲民眾留在家中，避免在冰凍道路上行駛。
  • 🏥 醫院和診所關閉了許多診所，應對著電力和水資源短缺的挑戰。

    • 來源: AskTog: John Denver: When Interfaces Kill

    摘要
    1997年歌手兼飛行員John Denver操縱身負殺人安全隱患的飛機飛行，飛機兩位前駕駛員也幾乎因此喪命。其設計師Burt Rutan的飛行器設計備受尊敬，但Kit飛機的改裝不一定是安全的，該飛機遭遇這種情況的主要原因是改裝者的工程問題，與Burt Rutan無關。

    事實

  • 😕John Denver的飛機的燃油選擇閥只有三個位置：關、左和右，這是界面缺陷。
  • 💡Burt Rutan的設計將閥門放在機身前方，製造商卻選擇放在駕駛室左側後面，導致飛行員不易達到。
  • 🛠️飛機改裝顯示出任何問題都必須正確解決，否則有可能對使用者造成致命的傷害。

    • 來源:

    抗議引發香港的逃犯條例修訂案危機的背景和最新情況。摘要
    香港逃犯條例修訂案引發抗議和爭議。

    事實

  • 👥 200萬人參加了6月9日的大規模抗議活動。
  • 🚔 香港警方在6月12日使用催淚彈和橡膠子彈驅散抗議者，造成多人受傷。
  • 👨‍⚖️ 香港特首林鄭月娥於6月15日發表道歉聲明，並暫緩修訂條例的進程。
  • 🇺🇸 美國國會推出法案，支持香港民主和自由。
  • 🇨🇳 中國當局表示支持香港政府，警告外國干預香港事務。

    • 來源: Gezellig — a word that encompasses the heart of Dutch Culture

    摘要
    荷蘭阿姆斯特丹網站包含聯盟鏈接，每次購物可為我們帶來少量佣金。你的支持能夠幫助我們維護網站免費的運作。基於我們的編輯方針所述，我們的內容絕不受廣告商或聯盟夥伴的影響。

    事實

  • 💰 荷蘭阿姆斯特丹網站包含聯盟鏈接，可以為網站帶來少量佣金。
  • 💪 你的支持能夠幫助網站免費運作。
  • 🚫 編輯方針確保網站內容永不受廣告商或聯盟夥伴的影響。

    • 來源: Orb weaver spider glue properties evolve faster than their glue genes, scientists find

    摘要
    研究人員研究蜘蛛的黏著力蛋白，以了解蜘蛛的粘力如何隨不同條件而變化。他們分析了陸棲A. argentata與濕地生活的A. trifasciata所產生的蛋白核和黏液特性，發現隨著湿度升高，A. argentata的黏液蛋白核堅韌度有所下降，但其所產的黏著劑較A. trifasciata更緊密和黏性更強。此發現有助於人工仿生製造出具有很好應用潛力的黏著劑。

    事實

  • 🕷️ A. trifasciata的蛋白核與A. argentata不同，且包含不同的蛋白質比例。
  • 🕸️ A. argentata的黏液蛋白核在湿度升高時堅韌度下降。
  • 🕸️ A. argentata產生比A. trifasciata更緊密和黏性更強的黏著劑。
  • 🧬 蜘蛛的黏著力蛋白具有很大的仿生應用潛力。
  • 🍴 研究人員為蜘蛛提供了與野外相同的飲食，以確保研究結果可靠。

    • 來源: careers

    摘要
    我們幫助Shopify上的品牌銷售訂閱（未來還有更多功能）。自2021年4月下旬推出以來，我們已經籌集到約740萬美元的種子融資，並且接近B輪指標（收入和員工人數在2022年增長了約1000％）。

    事實

  • 💰 金融科技+交易手續費業務模式（每筆訂單收取1％+20美分）
  • 📈 超過95%的客戶來自行業領先的競爭對手ReCharge，後產品市場適合性的表現接近ReCharge。
  • 💼 繼續增長的初創公司，僅由一名創始人經營，可以給予大量股權；我們更相信僱用一個優秀的人才遠勝過三個普通的人才。
  • 🦄 我們的目標是成為一家市值1兆美元以上的公司，並以Netflix的文化為靈感。
  • 🚀 Shopify的D2C應用程序生態系統技術含量低，沒有強大的工程團隊競爭對手。潛在發展空間巨大。
  • 🏢 扁平化組織架構，最小化會議文化，快速做出可逆決策，不那麼快做出不可逆決策。
  • 💼 我們提供實際津貼，如健康/視力/牙科保險和稅收優惠等，以節省不必要的麻煩和工作時間。
  • 🌍 我們有著建立網絡效應的宏大長期願景。

    • 來源: Mini-States and Micro-Sovereignty: Local Democracies in East Central Europe, 1918–1923

    摘要
    1918年12月，霍曼牧師和他的團體建立了一個名為弗萊狀態的小國家，以抵禦波蘭人反抗德國統治。弗萊狀態從波蘭和德國以及盟國蘇珊的獲得了承認，但在幾個月後加入了一個更穩定的德國。這表明在帝國主義國家崩潰的時期，地方社區可以因政治權力的空白而掌握自我決定的權力。

    事實

  • 🔥 在1918年，波蘭的叛亂對德國統治構成威脅。
  • ✊ 牧師希格曼和他的800名教區居民感到自己正受到攻擊。
  • 👮 霍曼牧師在Glogau尋求援助，但軍官告訴他，士兵委員會現在负责，无法为Schwenten提供保护。
  • 💡在Glogau，霍曼牧師震惊地听到有人講授民族自決原則，但引用的人不是Wilson，而是列宁。
  • 🗳️ 他宣布他的城鎮獨立，成立了弗萊狀態。
  • 💪 在幾天內，他們以自己為首的自由選舉代表建立了警察和大約100名年輕人的軍隊。
  • 🇵🇱🇩🇪 Schwenten先後得到華沙、德國和巴黎的盟國委員會的承認。
  • 🤝 Schwenten在獨立存在了八個月之後加入了更穩定的德國。
  • 🌎第一次世界大戰以及它的餘波破壞了冒頓帝國的權力和主權。
  • 🔍 在東中歐，歷史學家關注帝國向民族國家的轉型。

    • 來源: Judge tentatively OKs $725M Facebook settlement: How to apply for a payout

    摘要
    Facebook的母公司Meta將支付7.25億美元和解金以解決一項訴訟，該訴訟聲稱Facebook允許第三方機構訪問和分享用戶的個人數據。該金額將根據受影響用戶從2007年5月24日至2022年12月22日期間的使用時長進行分配，須在2022年8月25日前申請索賠。

    事實

  • 💰 該訴訟涉及的和解金高達7.25億美元。
  • 👥 申請索賠者須是2007年5月24日至2022年12月22日期間曾使用Facebook的用戶，全球約20億Facebook用戶中的美加地區用戶均符合資格。
  • 📝 申請人可線上或郵寄方式提出索賠申請。
  • 💸 每位索賠人的和解金數額根據受影響用戶的使用時長而定，並扣除律師費和行政費用。
  • 💼 最終的和解認可聽證會定於2023年9月7日舉行。申請人必須在2022年8月25日前提交索賠申請。

    • 來源: Far Away Times: How To Make Good Small Games

    抗議活動在美國各地持續進行

  • 👥 許多人走上街頭，表達對警察暴力和種族歧視的不滿之情。
  • 🚔 許多城市派出大量警察以應對抗議活動。
  • 🔥 一些抗議者在示威期間縱火和掠奪商店。
  • 💰 許多企業和組織發表聲明，支持抗議者和反種族歧視運動。

    • 摘要
    美國持續爆發反種族歧視抗議活動，包括示威、縱火、掠奪等行為，許多企業和組織表態支持。

    事實

  • 👥 許多人走上街頭，表達對警察暴力和種族歧視的不滿之情。
  • 🚔 許多城市派出大量警察以應對抗議活動。
  • 🔥 一些抗議者在示威期間縱火和掠奪商店。
  • 💰 許多企業和組織發表聲明，支持抗議者和反種族歧視運動。

    • 來源:

    把流感和新冠病毒混淆被證明是有害的。 摘要
    混淆流感和新冠病毒有害。

    事實

  • 🤒 中國疾控中心表示，每年底流感在中國導致的死亡人數約為60,000人。
  • 😷 COVID-19已造成全球150多萬人死亡。
  • 😔 由於COVID-19的流行，疑似患有COVID-19的人們可能會被誤診為患有流感。
  • 👨‍⚕️ 在一些國家，已經出現了“双重流感”的情況，即同時感染了流感和COVID-19病毒。
  • 💉 今年，為了緩解醫療系統的負擔，許多國家大力宣傳流感疫苗接種。

    • 來源: Why Some Researchers Think I’m Wrong About Social Media and Mental Illness

    摘要
    社交媒體使用與青少年心理疾病的關係，近年來引起了社會的關注。研究人員進行了多項相關性、長期性、真實性和半實驗性研究，揭示出社交媒體使用的時間與焦慮和抑鬱有顯著的相關性。而尤其對女孩影響更明顯，每天使用社交媒體超過四個小時的女孩患抑鬱症的比例是每天使用一個小時或更少的女孩的兩到三倍。

    事實

  • 😔 2012年左右在美國、英國、加拿大、澳洲和紐西蘭同步爆發了一場精神疾病的流行病。
  • 😬 手機和社交媒體使用對於青少年心理疾病的可能存在危害。
  • 📊 大多數相關性研究發現，社交媒體使用時間和焦慮、抑郁有顯著的相關性。
  • 👧 尤其是對於女孩的影響尤為明顯，每天使用社交媒體超過四個小時的女孩患抑鬱症的比例是每天使用一個小時或更少的女孩的兩到三倍。
  • 🔬 進行其他類型的研究，如書面提醒去除手機，或者是控制社交媒體使用時間，結果也發現使用時間較短的群體具有更好的心理健康狀態。

    • 來源: Vivaldi 6.0 Web Browser Introduces Tab Workspaces and Custom Icons

    摘要
    網頁瀏覽器 Vivaldi 推出了第六個主要更新版本，包括了 Workspaces 功能以及自訂圖示和主題。具備強大的選項設置功能的 Vivaldi 瀏覽器，新增支援大量分類的分頁管理功能 Workspaces，使用者可依照不同工作的需求來分閱不同的分頁，並且能透過 Tab Stacks 来更進階地管理。Vivaldi 6.0 還升級了內建的調色盤工具，加入了新的自訂圖示等等。

    事實

  • 💻 這個 Vivaldi 瀏覽器更新增加了 Workspaces 功能，讓使用者可透過不同的分組方式有效進行分頁管理。
  • 📑 Workspaces 可以與 Tab Stacks 相互輔助，讓使用者更加便利地進行分類和多重分類的管理。
  • 🎨 在 Vivaldi 6.0 中，使用者能夠自訂主題所使用的圖示。各種不同風格的圖示包可以使用在不同風格的主題設定上。
  • 🔒 Vivaldi 瀏覽器內建追蹤保護、翻譯功能等多種實用的功能，以及可支援 Chrome 擴充功能。

    • 來源: Stability AI Launches the First of its StableLM Suite of Language Models — Stability AI

    摘要
    Stability AI新推出了名為StableLM的開源語言模型，可自由使用、研究或商業用途，支援生成文本與代碼，基本模型目前提供三到七十億參數版本，未來將推出達六十五十億參數的超大規模模型。

    事實

  • 🆕 StableLM是一款開源語言模型，可自由檢視、使用及適應基本模型，支援商業或研究用途。
  • 💡 StableLM基於新的實驗數據集，包含1500億個標記，儘管規模小，但性能優秀，可應用於對話和編程任務等多種場合。
  • 💻 StablLM模型支援生成文本和代碼，而且效能優秀，提供三到七十億參數版本的基本模型，未來還將推出更大規模的模型。
  • 🏢 Stability AI早先與非營利研究組織EleutherAI合作，開源了多種語言模型，如GPT-J、GPT-NeoX和Pythia等，StableLM也是在此基礎之上發展而來。
  • 🧑‍💼 除了基本模型，StableLM還提供了一組為研究而設的fine-tuned模型，主要用於對話代理，包含五種現有的開源數據集，但只限於非商業用途。

    • 來源: Stability-AI/StableLM: StableLM: Stability AI Language Models

    摘要
    Stability AI推出StableLM系列語言模型，使用了新的數據集進行訓練，模型規模從3B到175B，可以用於溝通和生成文本等各種應用。

    事實

  • 🚀 推出了StableLM-alpha模型，有3B和7B個參數，15B和30B模型將推出。
  • 💻 StableLM-alpha模型是在1.5萬億令牌的The Pile基礎上進行訓練的，模型的上下文長度為4096個令牌。
  • 🤖 除了基本模型，還有經過Fine-tune的模型可用於生成對話，這些模型稱為StableLM-Tuned-Alpha。
  • ⏩ StableLM模型都在HuggingFace Hub上進行了託管，可用Python代碼調用。

    • 來源: Generalized Macros

    摘要
    本文探討使用 generalized macros 系統寫出更強大和表達性更好的宏，並介紹了一個新型宏——延遲執行宏（defer macro）的實現方法。

    事實

  • 🤔 表達性強的宏系統卻容易出錯；
  • 👨‍💻 作者使用 generalized macros 系統寫出一種新型宏——延遲執行宏（defer macro）；
  • 👀 延遲執行宏允許任何形式在程式中進行重寫，提高了表達能力；
  • 🤯 延遲執行宏的實現非常簡單，只需稍加修改現有的 generalized macros 就能實現。

    • 來源: DIY Neurotech: Making BCI Accessible

    摘要
    使用IEEE網站需同意放置cookies，以獲得最佳使用者體驗。閱讀我們的隱私政策以瞭解更多。

    事實

  • 🍪 IEEE網站會放置cookies在您的設備上。
  • 🤝 使用我們的網站代表您同意放置cookies。
  • 🔍 詳閱我們的隱私政策以獲得更多資訊。

    • 來源: The Anatomy of Autonomy: Why Agents are the next AI Killer App after ChatGPT

    摘要
    Auto-GPT是一個致力於開發一種可自主執行、長時間運行、旨在實現人類用戶目標的人工智慧代理的項目。該項目目前引起了人工智慧界的關注和熱烈討論。

    事實

  • 💻 Auto-GPT和BabyAGI是獨立開發的Python項目，分別是3月30日和4月2日開源的，已引起廣泛關注。
  • 🧠 它們展示了使用現有的LLM API（GPT 3、4或任何替代方案）和推理/工具選擇提示模式的可行性，以實現人類用戶設定的高級目標，具有極高的靈活性。
  • 🌟 Auto-GPT和BabyAGI的成功，已經引起了許多頂級AI人物的注意和肯定，如Andrej Karpathy和Eliezer Yudkowsky.
  • 💰 類似Auto-GPT的自動代理是下一個可能成為新一輪獨角獸（估值超過10億美元）的創建方式。
  • 🚀 上述應用領域中，商業發展、市場研究和科學文獻研究有較高的適用度，且其應用潛力巨大。

    • 來源:

    抗疫白卡線上申請平台開放申請，簡化原本需要離家外出兩次的手續。摘要
    🚪💻 抗疫白卡線上申請開放，簡化手續。

    事實

  • 💻 現在可在官網上申請抗疫白卡，不用特別再到健保局或里政中心。
  • 📄 相關證件及文件都可在線上上傳。
  • 🕑 原本需要面交的驗證程序，將改為電話驗證或者是視訊驗證。
  • 💳 申請通過，健保卡上將會多出「抗疫白卡」的標示。

    • 來源: How RocksDB works

    摘要
    RocksDB是一個高效的嵌入式鍵值存儲庫，最初是谷歌LevelDB的分叉，現在由Meta維護。它使用Log-structured merge-tree作為核心數據結構，在多級磁盤中組織數據，擅長處理寫入密集型工作負載。例如，TAO圖形數據庫在Meta上運行的MySQL部署使用RocksDB作為其存儲引擎。

    事實

  • 💾 RocksDB是一個嵌入式鍵值存儲庫，擅長處理寫入密集型工作負載。
  • 🛠 RocksDB最初是LevelDB的分叉，現在由Meta維護。
  • 🔗 RocksDB使用Log-structured merge-tree作為核心數據結構，在多級磁盤中組織數據。
  • 👥 RocksDB在Meta，微軟，Netflix和Uber等公司得到廣泛使用，周邊產品有CockroachDB，Yugabyte等。
  • 👨‍💻 RocksDB使用C++編寫，通過C綁定可以使用在其他語言中，如Rust，Go或Java。
  • 🧩 RocksDB存儲數據作為鍵-值對集合，其中鍵和值皆為任意字節數組。
  • ⬆️ RocksDB使用汽車升級套件將數據存儲在磁盤上 – 舊數據排列在早期等級的較低位置，新數據插入較高的等級。
  • 📚 RocksDB提供低級接口，包括put，merge和delete函數，以修改集合的狀態以及get查找值。
  • 🔍 Iterators可用於查找特定鍵以及獲取順序的後續鍵值對。

    • 來源: Building telescopes on the Moon could transform astronomy – and it’s becoming an achievable goal

    摘要
    近年來，月球探索進入了一個復興期。多個太空機構（在經濟公司日益增多的情況下）打算在本十年內登陸月球。這其中大部分任務都將包括小型的機器人太空船，但NASA的野心勃勃的“阿耳忒彌斯計劃”旨在通過2020年代中期將人類送回月球表面。月球探索的目的包括地緣政治姿態和尋找月球資源，如月球極區的水冰，可被提取並轉化為火箭的氫和氧推進剂。不過，科學也肯定會成為最大的受益者之一。月球仍然有很多故事要告訴我們，包括太陽系的起源和演化。它的科學價值還體現在作為天文觀測平台上。

    事實

  • 🌖 在月球另一面進行的無線電天文學將是受益最大的。
  • 🌖 由於其所面向的方向，月球遠端處於人類在地球上產生的無線電信號外，是太陽保護的夜間不受影響的。
  • 🌖 長波電磁波在地球電離層以上約15米處被擋下，但它們能夠完好無損地到達月球表面。
  • 🌖 遠端無線電天文學在探索電磁譜的帶寬方面非常先進，尤其是波長超過10米的領域。
  • 🌖 月球遠端可能是觀測早期宇宙中氫21cm信號的唯一場所。
  • 🌖 月球遠端無線電天文學不僅能夠研究早期宇宙的形成，還可以進行超過地球天氣和活着外行星的研究。

    • 來源:

    抗議香港政府引渡條例修訂案摘要
    多達100萬人走上香港街頭，抗議新的引渡條例，認為這將使中國大陸政府有權以政治為由逮捕反對派人士並加以懲處。

    事實

  • 👥 有多達100萬人參與抗議遊行。
  • 🚶‍♀️🚶‍♂️ 參與者不分年齡、種族、階層，包括許多家長帶著孩子一同走上街頭。
  • ⚠️ 抗議中局部爆發暴力衝突，部分示威者與警方發生衝突，造成多人受傷。
  • 📝 香港政府堅持推行修改的引渡條例，認為有制衡措施及保障條款限制滥用。
  • 🌍 國際社會對此事高度關注，多個地區的香港人也發起聲援抗議活動。

    • 來源: California to Sydney: How do you wake an A380 after 1000 days in the desert?

    摘要
    隨著COVID-19大流行在2020年爆發，全球數千架長途飛機被停飛，航空公司面臨如何存儲它們的問題。世界上沙漠干燥的條件使它們成為保持大型飛機的理想場所。雖然Qantas航空公司的飛機可能很快就會重新投入使用，但該公司預計其國際航班至少要到2024年才能回到疫情前的水平。

    事實

  • 🛬世界各地數千架大型飛機停飛在地面，航空公司需要尋找存儲它們的場所。
  • 🏜️沙漠的乾燥條件使其成為保持大型飛機的理想場所。
  • 🛬這是世界上第一次有如此多的飛機需要停靠在沙漠中，飛機墳場從第二次世界大戰結束以來存儲著退役和損壞的飛機，對航空業至關重要。
  • 🧰調整A380需要4500小时的人工，比如更換22個輪子、16個煞車和內部裝潢。替換所有氧氣瓶、滅火器和充氣滑梯等任務有時會因關鍵零部件的全球供應短缺而耽擱數月之久。
  • 🛬維修A380需要兩個月的時間，工程師在炎熱的莫哈韋沙漠中工作。
  • 🧯早期檢查需要花費相當長的時間，但必須先將包裝卸下，然後對其進行各種測試。

    • 來源: User:Junnn11

    摘要
    Junnn11 對關於節肢動物的研究有著浓厚的興趣，尤其是關於不同亞門和祖先脈系的研究。他是一名日本維基百科的活躍貢獻者。

    事實

  • 🔬 他主要關注節肢動物的不同亞門和祖先脈系。
  • 🦕 他有研究獨角蟲、恐爪亞門和漏足亞門物種。
  • 📝 他也喜歡繪畫相關的物種。
  • 🌍 他的主要貢獻是在日文維基百科建立相關條目。

    • 來源: More Optimizations in the Compiler and JIT

    摘要
    Erlang/OTP 26 有增強的基於類型優化和其他性能提升，其中最明顯的性能提升包括使用位語法進行匹配和二進制構建的速度提升，以及 base64 編碼和解碼的速度提升。

    事實

  • 💻 OTP 26 編譯器可生成更好的類型信息，JIT 可更好地利用改進的類型信息，從而減少冗餘類型測試並縮小本機代碼大小。
  • 🆕 OTP 26 引入了一種新的 BEAM 指令，使記錄更新速度更快。
  • 💨 OTP 26 的最大性能提升可能在於使用位語法進行匹配和二進制構建，而這些改進再加上 base64 模塊本身的變化，使得解碼從 Base64 的速度提高了三倍多，編碼速度提高了四倍。
  • 🤖 使用 erl +JDdump true 可以檢查加載模塊的源代碼，並且可以使用 -S 選項檢查模塊的 BEAM 代碼。

    • 來源: Novel gene therapy shows promise for treating multiple eye diseases

    摘要
    三位三維基因地圖計畫的主要領袖科學家宣布，他們已成功繪製出大腦的首張三維基因地圖。這是巨大的突破，有助於開發新的治療手段。

    事實

  • 🧬 研究人員成功繪製出大腦的首張三維基因地圖。
  • 🧠 這項研究有助於深入了解大腦，尋找新的治療手段。
  • 💊 大腦疾病是全球主要死因之一，此研究將有助於改善大腦相關疾病的治療。
  • 💰 研究由多個機構和慈善機構出資共同支持，包括國家科學基金會和美國國家衛生研究院。

    • 來源: danielgross/LlamaAcademy: A school for camelids

    摘要
    LlamaAcademy是一個實驗性的工具，可訓練GPTs使用API文件，生成一個新的LLaMA模型，以實現API實現。LlamaAcademy是一個流程，將以下步驟結合在一起：爬行，使用GPT3.5和GPT4生成數據並微調Vicuna-13B。需要安裝Firefox和Elinks，以及所有必要的python依賴項，進行訓練時需要至少30GB的GPU VRAM。

    事實

  • 🦙 使用LlamaAcademy可以訓練GPTs使用Stripe、Notion或其他產品的API。
  • 🔬 LlamaAcademy是一個實驗性的工具，目前仍需改進。
  • 🤖 LlamaAcademy使用GPT3.5、GPT4、以及Vicuna-13B模型。
  • 🚀 訓練過程需要至少1顆VRAM > 30GB的GPU。
  • 👨‍💻 訓練需要安裝Firefox和Elinks，以及所有必要的python依賴項。

    • 來源: Only One Pair of Distinct Integers Satisfy The Equation n^m = m^n

    摘要
    唯一一對正整數滿足方程式n^m = m^n。這是一個美麗的數論結果的分析證明。

    事實

  • 🔢 2⁴ = 4²
  • 📈 n 和 m 相差越大，n^m/m^n 就越接近於1
  • 📉 n 和 m 相等時，n^m/m^n = 1

    • 來源:

    抗議者闖入美國國會大廈並與警察發生衝突，導致至少4人死亡，52人被捕。摘要
    抗議者闖入國會大廈，4人死亡，52人被捕。

    事實

  • 💥 抗議者闖入國會大廈。
  • 🚓 警察和抗議者發生衝突。
  • 💔 至少4人死亡。
  • 🚨 52人被捕。

    • 來源: Quanta Magazine

    摘要
    無窮大的概念可能和數字一樣古老，源於人們首次意識到可以無限計數。儘管我們有表示無窮大的符號且可以在日常對話中提及其概念，但無窮大仍然對數學家非常神秘。數學家Justin Moore和Steven Strogatz一起討論了一個無窮大可以比另一個大，以及數學家和物理學家使用無窮大的不同方式。他們還討論了無窮大對數學基礎的重要性。

    事實

  • 💭 人們的希望和恐懼讓無窮大的概念變得古老，可以追溯到數字自身出現的時候。
  • 🤔 即使有表示無窮大的符號，無窮大對於數學家甚至是物理學家而言仍然極其神秘。
  • 💻 數學家和物理學家使用無窮大的方式不同。
  • 🧐 數學家研究不同大小的無窮大以及它對數學的重要性。

    • 來源: Intranasal booster using an Omicron vaccine confers broad mucosal and systemic immunity against SARS-CoV-2 variants

    摘要
    使用基因工程技術創造了複製不完整的重組腺病毒 Ad5-S-Omicron 作為疫苗。將此病毒與空腺病毒分別感染細胞進行實驗研究，以及從小鼠肺泡灌洗液中進行特定抗體測試。所使用的生物材料均在基因工程和生物安全實驗室中進行處理。

    事實

  • 🧬 Ad5-S-Omicron 為一種複製不完整的重組腺病毒，以疫苗方式進行 COVID-19 預防注射。
  • 🧪 使用免疫轉印技術在細胞中表達 SARS-CoV-2 病毒 S 蛋白，從而研究抗體反應。
  • 🐭 實驗使用 BALB/c 和 hACE2 轉基因小鼠，表示需要對仙人掌蛋白抗體做進一步研究。
  • 🦠 感染 SARS-CoV-2 時，小鼠肺泡會形成 BALF（肺泡灌洗液），可用於檢測疫苗免疫力。
  • 🧫 BALF 中的 IgA 特異性抗體被用於在 96 孔孔板上進行 ELISA 測定。

    • 來源: A Simple and Elegant Response to Ireland’s Housing Crisis

    摘要
    愛爾蘭房屋短缺嚴重，OECD中每個人的住房數量最少，平均房價是平均收入的八倍。由於極高的房屋成本，70%的年輕人表示正在考慮移民。愛爾蘭的房產網站Daft所提供的出租房源少於1100套，而該國人口超過500萬人。

    事實

  • 🏘️ 愛爾蘭擁有OECD中每個人的住宅數量最少，平均房價是平均收入的八倍。
  • 💸 由於極高的房屋成本，70%的年輕人考慮移民。
  • 🏠 Daft在愛爾蘭提供的出租房源少於1100套，而該國人口超過500萬人。
  • 👥 愛爾蘭的下一次選舉可能更多地關注政黨如何解決住房危機。
  • 🚧 愛爾蘭建造新房產往往受到當地公眾反對，這是住房短缺的其中一個根本原因。
  • 🛡️ 與其他國家不同，愛爾蘭的規劃制度既有美國式的分區規劃，又有英國式的地方規劃。
  • 🌏 別的國家有一些成功的解決方案。韓國通過「自下而上規劃」擴大社區的參與度，成功增加住房供應。

    • 來源: Sandboxing JavaScript Code

    摘要
    Val Town是一個讓用戶在雲端編寫JavaScript和TypeScript的平台，並能在數秒內運行原始碼，還能在瀏覽器中輸入代碼、運行、獲取API端點和調度等，是一個很好的JavaScript錦囊妙計。

    事實

  • 💻 Val Town是一個運行JavaScript和TypeScript的雲腳本平台。
  • 👾 平台使用名為vm2的沙盒，以隔離用戶輸入的不受信任的代碼，從而保護系統安全。
  • 🧪 AWS Fargate、AWS Lambda和Fly.io使用Firecracker的輕量級虛擬化技術來保護用戶代碼安全地運行。
  • 🔒 CloudFlare使用V8隔離來實現在單個進程中運行多個、獨立的JavaScript代碼實例。並且除了使用隔離之外，它還排除了計時器和多線程，使用動態進程隔離，並進行定期整體內存混洗。

    • 來源:

    抗議泰國示威者向政府提出三項訴求。摘要
    泰國示威者提出三項訴求。

    事實

  • 👥 示威者要求修改憲法，以限制國王權力。
  • 🗳️ 示威者要求解散議會並進行重新選舉。
  • 💼 示威者要求停止鎮壓民主派人士並釋放所有政治犯。

    • 來源: Standoff Over 95-Year-Old Judge Shows Downside of Lifetime Jobs

    摘要
    美國聯邦上訴法院首席法官最近想要彈劾因認為其健康和認知能力受損的法官，此爭議再次引起對終身法官任命的質疑，以及當法官不能勝任工作時該如何處置。事件再度讓年紀較大的法官是否有能力執行工作成為話題，美國聯邦法官的平均年齡為69歲。

    事實

  • 👴 日益增長的年紀顯然對法官的認知能力、健康等產生影響，漸漸地也會令法官不能勝任職務。
  • 👩‍💼 一些法院的員工擔心一位法官的認知能力，使得其總產量低於該法院的其他法官。
  • 💼 即便法官的認知能力有所問題，傳統的同事或家人勸退方式可能無效。
  • 🆘 乘車或處理財務等由於需要測試認知能力而變得常規化，然而，國家現行法律並未對於法官的認知能力進行相應的規定。
  • 👨‍⚖️ 法官擁有終身不受調查制度，因此很難發現問題以及及時解決問題。
  • 🧪 南卡羅來納大學的Francis Shen建議，设计一個司法健康评估计划，進行司法認知資料收集，並進行五年一次的隨訪，測試結果應予以保密。
  • 💡 某些美國州為其法官訂立了退休年齡，但法官具有經驗和智慧，簡單地以年齡為界定好像不太恰當。

    • 來源: Transformer Math 101

    摘要
    本文介紹了transformer language models的訓練成本與相關知識，並提供了用於計算成本的基本公式。其中包括了流量、時間、參數和數據集大小等概念。建議使用者最好按照應用的需求訓練最大的模型。

    事實

  • 💻 訓練一個 transformer 模型所需的計算量可以用公式 C ≈ τT = 6PD 表示，其中 C 是以浮點運算次數為單位的模型訓練計算量，T 是以秒為單位的訓練時間，P 是模型中的參數數量，而 D 是資料集的大小，以 tokens 為單位。
  • 💥 C 還可以以 FLOP-seconds 或 GPU-hours 為單位進行表示。在您量化的計算機群體中，$\tau$ 為硬體設置的總體效能。
  • 🤖 由於代價相等，所以在使用1,000個GPU進行1小時的訓練和使用1個GPU進行1,000小時的訓練的資源情況下，使用計算最佳化的語言模型可以最大化性能，同時最小化訓練模型的GPU-hour成本。
  • 🐹 儘管您可以訓練任意數量的 tokens，但是訓練 tokens 的數量會對計算成本和最終模型性能產生巨大影響，需要在參數和數據集大小之間取得合適的平衡點。

    • 來源: The Origins of Creativity

    摘要
    「創意非虛構」是什麼？這個術語不是自相矛盾嗎？「創意作家」，如劇作家、詩人、小說家，都是杜撰故事的人。這意味著「非虛構作家」基本上是不編造東西的作家，或者不應該編造東西的作家。如果非虛構作家在「創意」方面與詩人和小說家一樣「有創意」，如果他們所寫的是部分虛構的，他們還算寫非虛構作品嗎？事實

  • 💭 Nonfiction寫作可以使用幾乎所有小說的技巧，如對話、第一人稱敘述、描述，甚至是推測。
  • 💭「創意非虛構」（Creative nonfiction）可以被認為是新新聞學的一種寫作形式，它使用了小說的技巧來寫記實文學。
  • 💭 「創意非虛構」一詞實際上是近期才開始使用的。這個詞是由作者Lee Gutkind創造出來的。
  • 💭Gutkind曾解釋，詞語「創意」是指「信息呈現和定義所使用的獨特和主觀的焦點、概念、上下文和觀點，這些可能部分地通過作家自己的聲音，如個人散文一樣」。

    • 來源: [Responsible Disclosure] How we could have deleted any Linkedin post

    摘要
    發現了 LinkedIn 的安全問題，攻擊者可以經由特製的 request 刪除平台上的任何貼文，可能對個人或公司造成傷害。該漏洞已通過 LinkedIn 的漏洞懸賞計劃報告，該平台的安全團隊採取了相應措施。

    事實

  • 🔒攻擊者可以經由特製 request 刪除 LinkedIn 平台上的任何貼文。
  • 🔍攻擊者可以利用 Burp Suite 工具複製受害者的 post-activity ID，並將其用於特製 request 中的 “objectUrn” 欄位，即可刪除該貼文。
  • 🛡️LinkedIn 的安全團隊迅速調查了該漏洞，並採取了行動來修補漏洞，避免進一步濫用。
  • 💰該漏洞於 2023 年 4 月 11 日公開披露，並獲得了 10,000 美元的懸賞。

    • 來源: AI Incident Reports

    摘要
    AI事件報告是一個網站追蹤 AI 相關的事件，並專注於識別潛在的X風險（存在風險）。我們的使命是提供準確和最新的 AI 事件信息，以幫助研究人員、政策制定者和公眾更好地理解 AI 的風險和好處。

    事實

  • 📊 我們的專家團隊監視各種來源，包括學術論文、新聞文章和社交媒體，以識別與AI相關的事件。
  • 📈 我們根據嚴重性和類型對這些事件進行分類，並分析數據以識別趨勢和潛在的風險。
  • 👨‍💼 我們的團隊由專家組成，具有相關的背景和經驗。
  • 🔍 我們關注的主要風險是AI的存在風險 (x-risk)。

    • 來源: How Philly Cheesesteaks Became a Big Deal in Lahore, Pakistan

    摘要
    費城炸牛肉三明治在巴基斯坦拉合爾市廣受歡迎的現象是因為移民和全球政治的交融，加上一些巧合。

    事實

  • 🥪 巴基斯坦拉合爾市的Philly’s Steak Sandwich餐廳做的費城炸牛肉三明治在當地受歡迎。
  • 💰 費城炸牛肉三明治只要579PKR (約2美元)。
  • 🍴 餐廳為費城炸牛肉三明治定制了8英寸的卷餅，有辣椒、墨西哥辣椒和法吉塔三種口味可選。
  • 🌶️ 炸牛肉三明治中的牛肉在早上就已用紅辣椒粉和tikka馬薩拉香料醃製好，等到下午四點開始接單時就可以開始製作了。
  • 👨‍👩‍👧‍👦 該餐廳的許多客戶都是開車來點餐的家庭和情侶，他們甚至不用下車就可以享受美食。

    • 來源:

    抗議者佔領泰國議會大廈摘要
    泰國反政府示威抗議者自11月17日起佔領國會核心區，與警方對峙，要求總理下台及憲法重組。

    事實

  • 🏛️示威者佔領泰國國會大廈，議長有欲從後門逃走之嫌
  • 💼部分政府官員因擔心安全問題而不敢進入辦公室
  • 🚫總理已拒絕辭職，要求示威者離開國會議場

    • 來源: Record Labels Panic as A.I. Generated Song Becomes Hit Single

    摘要
    AI合成的Drake和The Weeknd的歌曲已經在流媒體平台上獲得了超過1500萬的點擊量。盤斷唱片公司也要求在所有平台上刪除這首歌曲。

    事實

  • 💽 AI生成歌曲’Heart on My Sleeve’獲得超過15萬次播放，很多粉絲稱這首歌比人類歌手最新作品更好。
  • 💵 版权問題引起了唱片公司的恐慌，要求在流媒體服務上刪除這首歌曲。
  • 🤖 ‘Heart on My Sleeve’是使用最先進的AI技術完全複製兩位著名藝術家的聲音，包括其獨特的情感和獨特的表達方式。
  • 🎤 AI製作的唱片并不是新鮮事。在2018年，Taryn Southern使用AI生產軟件製作了一張完全由AI製作的名為I AM AI的專輯。
  • 👤 新的AI版本的Joe Rogan播客同樣利用語言模型訓練Joe Rogan的聲音來模仿他，產生了’深度假’的效果。

    • Leave a Reply

    Your email address will not be published. Required fields are marked *