HackerNews 摘要 (2023-04-25 01AM)

來源: Gopiandcode > logs > How I wrote an Activitypub Server in OCaml: Lessons Learnt, Weekends Lost

摘要
Activitypub 規範過於一般化，導致與其他伺服器互動的實作相當具挑戰性。除了規範以外，必須查看來自現有活躍伺服器的實際訊息，但這造成但書面解析活動可能不一定進行互通的情況。

事實

📋 Activitypub 規範過於一般化，導致與其他伺服器互動的實作相當具挑戰性。

🧭 除了規範以外，必須查看來自現有活躍伺服器的實際訊息，但這造成但書面解析活動可能不一定進行互通的情況。

❓ Activitypub 規範最令人困惑的地方之一，是大多數字段可以是物件或指向物件的連結，這值得注意。

🐣 為了解決這種困境，作者閱讀現有活躍伺服器的測試套件，特別是 Pleroma 的回報書夾，以處理嚴格的掌控 Activitypub 訊息。

💻 使用 OCaml 的解碼庫，作者寫了一套解碼函數，以從 fixtures 中擷取 Activitiypub 訊息。

來源: Piper: A proposal for a graphy pipe-based build system

摘要
Piper是一個基於管道的構建系統，可以為任何語言提供易於使用的構建方法。

事實

💡 Piper使用類似於Make的語法，但沒有其痛點。

💡 Piper可以自動處理並行性、增量編譯、構建圖可視化等問題。

💡 Piper支持1-1和N-1轉換，支持自定義glob模式。

💡 Piper允許定義映射和集合規則。

來源: Derek Parfit: the perfectionist at All Souls

摘要
Derek Parfit的《理由与人》（1984年）被誉为过去一个世纪最伟大的道德哲学家之一。这本书是他对个人身份的观点的最充分阐述，他在其中讨论了未来人存在时我们的责任，并引发了道德哲学的分支。全书紧迫感十足，对其要求非常高。

事实

📚 Parfit在《理由与人》中讨论了个人身份和道德哲学，尤其是我们对尚未被孕育的人的义务。（👶🏻）

📝 在Parfit之前，人口伦理学的哲学写作很少，尤其是关于我们对仅仅可能存在的人的义务。Parfit开创了道德哲学的分支。（🌱）

💪🏻 尽管被誉为道德哲学家，但他著最痴迷于完美主义者，引起出版商和其他学者对其写书能力的怀疑，他用特别快的速度完成了这本书。（💪🏻）

🎓 All Souls是一个无本科生区的牛津精英学院，是为数不多的研究员可以免除教学的机构，这为出版《理由与人》提供了压力。（🏫）

來源: Haiku’s (Kernel) Condition Variables API: Design & Implementation

摘要
本文介紹了Haiku作業系統核心的條件變量API，詳細介紹了這種API的設計和實現，同時比較了其他操作系統的類似API的差異和特點。通過本文的學習，讀者可以更好地理解條件變量的作用及其在線程同步操作中的應用。

事實

💻 Haiku的條件變量API具有其他操作系統API所沒有的顯著特點和功能。

🤖 操作系統必須對線程進行同步，並需要特定的API來實現同步操作。

🤔 設計和實現高效的線程同步機制是操作系統中一個非常重要的問題。

👨‍💻 使用atomic操作可以讓線程操作變得更加安全和高效。

🤝 Haiku的條件變量API的設計和實現通過多種同步機制實現高效的線程同步。

來源: The Interstellar Style of Sun Ra

摘要
Sun Ra同時是未來、古代過去和當下的糾紛者。他是來自美國南方的一個受過教育的音樂家，以埃及書籍為靈感，並影響了許多音樂家。

事實

👶 8歲時，他從公共圖書館的後門裡得到了一些書籍。

👑 他因發掘圖坦卡蒙墓而對埃及文化感興趣。

🎷 他的音樂受到大量的埃及靈感的影響，他也有一個才華橫溢的門徒: 法老沙德。

🍲 Moon Stew是他為朋友烹製的招牌菜，每次菜譜都不同。

💊 他很少喝酒，不吸毒，早在阿拉巴馬州的大多數人知道什麼是維生素之前就服用營養補充劑。

🚀 他的所謂外太空之旅早在流行媒體中充斥著外星人綁架的故事之前就已經流傳。

來源: My Search for the Origins of Clothing

摘要
穿衣起源的研究是一门极富挑战性的课题。我们祖先为什么开始穿衣物仍是科学界大有可为之处的开放性问题。

事实

🧥 在寒冷的环境下，穿着不足可能会导致死亡

👗 穿衣物的起源有两种：一种为了生理需求，另一种是出于文化原因

🧤 明智的穿衣选择能帮助人体承受气候变化并应对寒冷

👖 简单的衣物无法有效遮挡寒风，而复杂的衣物能更好地紧贴身体，有更强的保暖性能

來源: The Great Electrician Shortage

摘要
美國多個行業長期面臨技術工人短缺，包括焊工、機械師、木工、管工等，缺工問題導致許多環保項目無法落實。一間工會報告顯示，2022年平均每月有39萬個建築行業工作機會，缺工問題尤其嚴重，因為現有工人約四分之一年齡在55歲以上。

事實

💡 冬季電力中斷導致水管凍裂，緊急需要大量技術工人維修。

💔 各行各業長期面臨技術工人短缺，導致環保項目無法落實。

🛡️ 管工是不可或缺的，需要進行大量與能源相關的項目，包括地源供熱/冷系統的安裝。

🌡️ 全美各地的氣候變化和海平面上升威脅著許多地區的乾淨飲用水，水務建設失敗會導致整個社區受到影響。

👴 現有技術工人中，約四分之一年齡在55歲以上，業界缺工問題更加誇張。

來源: The technology, management, and culture of water in ancient Iran from prehistoric times to the Islamic Golden Age

摘要
本研究旨在以比較歷史研究方式，探討伊朗自史前時期到伊斯蘭黃金時期水資源的發展情況。研究者使用了多種國內外搜尋引擎，總共篩選出460篇資料並分類整理為242篇。雖然地理位置及政治動盪等因素對資料保存造成不少困難，但研究者以邏輯正確的方式分析資料並提出結論。

事實

🔍 研究者使用了國內外多種搜尋引擎，總計查閱460本文獻。

📚 研究者主要以考古遺跡、文物、遺物以及民族觀察為主要方法進行資料收集。

⚒️ 板塊及行政記錄的保存情況受制於政治因素，許多文獻至今未被翻譯或整理。

🌍 由於地理位置及氣候因素，資料保護不易。

🔎 由於許多歷史紀錄未被充分研究或資料的真實性無法高度信賴，因此不應因為不確定性而放棄分析。

來源: Nine ways to shoot yourself in the foot with PostgreSQL

摘要
透過本文可以了解 PostgreSQL 的 9 個陷阱，大多數是針對可擴展性。在製作小型資料庫時可能不會受影響，但在擴大資料庫時則會影響效能，所以需事先考慮這些陷阱。

事實

📈 不更新 work_mem 預設值可能會影響效能（hash 與排序運算時間變慢），需針對伺服器大小、複雜度等因素調整合適的參數值

💻 過度地將應用邏輯轉移到數據庫層可能會影響效能，特別是針對包含巢狀和遞迴操作的程式碼

來源: The Future of AI Relies on a High School Teacher’s Free Database

摘要
名人造型師Jason Bolden帶領我們從他在聖路易斯和芝加哥的青少年時期到成為好萊塢最受追捧的造型師之一的旅程。他從開設紐約老式服飾店到有機會為Gabrielle Union進行造型和建立A-list客戶名單，通過時尚講述故事，重新想象造型師的意義。

事實

💼 Bolden開設了位於紐約的Vintage服飾店。

👗 他為Gabrielle Union等名人進行造型。

👑 Bolden已經建立了一個A-list客戶名單。

🎥 他透過時尚訴說故事，重新想像造型師的意義。

來源: Palo Alto Research Center (PARC) to join SRI International

摘要
著名的Xerox子公司Palo Alto Research Center（PARC）已被加利福尼亞獨立非營利性科研機構SRI International收購。 SRI International將有助於擴大其能力，在不同的科技和科學領域中進行研究和發掘前沿技術，包括計算設計、電腦視覺、人工智能和人機協同等方面。

事實

💼 SRI International將收購Xerox旗下Palo Alto Research Center（PARC）。

💡 SRI International和PARC將合作推出科學與技術革新，從而有助於解決全球性挑戰。

👥 合併後， SRI International將增加PARC的人力資源，以拓展公司的研究能力。

🌎 SRI International網絡擴及加利福尼亞以外的美國城市，包括新澤西州的普林斯頓、密西根州的安娜堡、科羅拉多州的博爾德、華盛頓特區和 Shenandoah Valley。

💻 PARC獨立公司成立於2002年，以開發包括以太網、激光打印、圖形用戶界面和普遍計算等在內的眾多技術的先驅聞名。

來源: The Deming Paradox: The Human Costs of Operational Rigour

摘要
作者在探索 W. Edwards Deming 的哲學時發現，其系統比單純的資料工具更為深刻，並且是一個完全不同的企業經營觀點。然而，這個系統的使用也可能產生高昂的人為代價，這是一個悖論。

事實

💻 用來研究資料的工具可能會產生高昂的人為代價。

🏭 在西方，運作嚴謹的公司通常不是一個讓人愉快工作的地方。

🀄 Deming 的哲學旨在深入探討人性。

🌏 Deming 的系統在日本最為普及。

💡 使用 Deming 的系統，可能要在追求卓越與人性考量之間做出折衷。

來源: GCC 13 and the state of gccrs

摘要
GCC 13將在不久後正式推出，但gccrs將不包含其中。這篇文章將講述為什麼會這樣，還會說明如何嘗試使用我們的編譯器。

事實

💻 gccrs是Rust Programming Language的GCC工具鏈替代實現。

👷 Rust是一門很難實現的語言，因為除非所有的東西都運作正常，否則沒有一樣東西能夠運作。

📚 標準庫是核心（core）和分配（alloc）幾個部分的依賴項。

🚀 目前gccrs還無法編譯目標版本的核心庫（core crate），並且也無法編譯迴圈。

來源: The Ravenna Ultra-Low-Altitude Vehicle: A Rocketship Treehouse

摘要
RULAV是一座位於西雅圖一個社區的小木屋，外觀呈六邊形舱身，擁有三個操縱水管和壓縮空氣噴射口的「推進器」，外部覆蓋著約800顆LED數字燈，內部配有操縱杆、多個工作開關和面板，以及配備了三個特別設計的微控制器的自製操作系統RULOS，帶你體驗如同真實火箭發射的場景。

事實

🚀 這是一座造型獨特的六邊形舱身小木屋，外觀鮮豔，內部有許多控制面板，操控杆，大約有800顆LED數字燈，帶有數控顯示板，顯示內部的各種設備狀態

💻 外部飛行操作由三個Atmega328微處理器控制，這些微處理器通過TWI網絡互相通信，並最終通過串口與房屋進行通信

⚡️ 由於需要控制面板和LED顯示屏，機內需要12VDC電源供電，此外，噴射器使用水和壓縮空氣進行操作。機底下有三個噴射口

🔉 為了讓飛行體驗更加真實，通過配備動力低音炮來模擬火箭發射時的隆隆聲和震動效果

🛠️ 構建這座小木屋需要各種不同工藝和技術，如焊接、繪畫、水暖、電路設計、鈑金、軟件開發等

🌉 該小木屋建於2009-2010年間，由Jon Howell和Jeremy Elson負責設計製作，並得到了其他人的幫助

來源: Capturing the Flag with GPT-4

摘要
作者在 BSides SF 2023 上參加 CTF 競賽，使用 OpenAI 的 GPT-4 智慧型語言模型來幫助解決一些挑戰。GPT-4 幫忙解決了一些挑戰並提供寶貴提示，然而有些問題因為與黑客攻擊相關而被限制。作者分享了他在幾個挑戰上的使用經驗。

事實

🤖 GPT-4 幫助解決了 CTF 競賽中的一些挑戰，有時提供非常有用的提示。

👾 GPT-4 提供幫助的限制為問題大小和是否與惡意攻擊有關。

🕵️‍♂️ 作者分享了關於 Shamir 秘密共享挑戰的使用經驗。

來源: Where the Sidewalk Ends

hen was calm and deliberate, it was less clear what fuels his optimism. Maybe it’s love. Maybe it’s the chicken coop he’s building in his backyard. Maybe it’s just that he knows how to make good soup. 摘要
新交的朋友 Zac Henson 在家中為我做湯，當他在廚房忙碌時，他開始向我說起家庭、學校和蒙哥馬利社會的故事。他渴望改變世界，加入反種族主義馬克思主義政治組織，但在多年的努力後，深感失望和幻滅，不知道這樣做是否有意義。不過他重新振作起來，重返活動中心，學習關心他人和改變制度的方法。

事實

🍲 Zac Henson 會煮湯，也許是他重燃希望的原因。

👴 Zac Henson 的父親是一個“壞人”，但他渴望成為一個“好人”。

👨‍🔬 Zac Henson 在高中後追求自己喜歡的工作，而不是按照家人和老師的期望發展。

🌄 Zac Henson 好管閒事，對比爾明漢地區的社區組織和合作事業感興趣。

🌸 Zac Henson 有些天真和樂觀，但他已經歷過社會和政治組織的挫敗。

🚲 阿拉巴馬州的交通嚴重不足，公共交通幾乎不存在，城市也不易步行。

來源:

摘要
歐盟經濟顧問認為，歐洲經濟復甦恢復速度將比預期更快，且應在2022年前恢復至2019年水平。

事實

💰 歐元區經濟將在2021年增長4.8％，2022年增長4.5％。

🛢️ 石油價格可能會因為美國的積極疫苗接種導致上漲。

📈 歐洲股市表現強勁，並且將在未來幾個月繼續上升。

📊 歐洲製造業和服務業PMI指數均持續升高，並且預計會繼續上升。

來源: ox

摘要
為什麼從牛身上得到的肉稱為”牛尾肉”？事實

🐂“Ox”是一個古老的專有名詞，延伸至現代英語，意為用作運輸的中性的公牛。

🥩大多數飼養的牛為母牛，公牛則通常被結紮，轉化為”steers”，此外，公牛肉較為硬且好鬥，不適宜食用。

🌾一隻「牛」指的是整個物種，包括男性和女性。母牛與公牛分別就是一頭「牛」的女性與男性。

💡引用「我從未看過真正的水牛」的例子，說明大部分現代英語習用的「ox」字義較狹義，指用于農耕的公牛。

🟢「Ox」的含義因時代更替不再使用，現代英文中用於形容特別強壯或愚笨的人。

來源: Are pull requests bad because they originate from open-source development?

摘要
引用Dave Farley的名言：“拉取请求是为开源项目发明的，在这种情况下，您希望对来自未知和不受信任的人的更改进行门户保护，以确保安全地更改代码。”作者认为这种论点有缺陷。

事實

🤔 审核请求的功能不仅仅是为了防范不受信任的人，也可用于增加代码质量，提高合作和交流。

🤔 允许所有人随意编辑代码并不是一种明智的过程。

🤔 将代码放在公共存储库上没有任何限制是开放的，不代表对代表质量和价值观的组织没有要求。

🤔 异步协作允许参与者在自己的时间表上工作，并更容易处理时区转换。

來源: Bean Leaves Don’t Let the Bedbugs Bite by Using Tiny, Impaling Spikes

摘要
睡床蝨是一種不會傳播疾病但能引起皮膚紅疹的寄生蟲，最近科學家發現在東歐巴爾幹地區使用豆葉作為天然捕捉器來捕捉睡床蝨。豆葉具有在葉片表面生長的維管束毛，能夠纏繞睡床蝨的腿部，防止蝨子逃脫，且能夠迅速且高效地殺死這種寄生蟲。

事實

🏨 人類與寄生蟲共存數千年，且睡床蝨已有2,000年的歷史。

🌃 1995年開始，睡床蝨爆發性地再次出現在新興國家的家庭和旅館中。

🏠 棲息在城市如紐約市的睡床蝨歸納起來，通常數量約100隻到15萬隻不等。

🌡️ 消滅睡床蝨的方法通常需要結合化學和非化學方法，且需要專業的殺蟲人員。

🌿 研究人員重新發現東歐巴爾幹地區使用豆葉捕捉睡床蝨的歷史，豆葉上的維管束毛能纏住睡床蝨的腿部，使睡床蝨無法逃脫，達到快速有效的殺蟲效果。

來源: The Four Hobbies, and Apparent Expertise

摘要
Marc Brooker 經常從事編程、閱讀代碼，並透過這些活動感受到電腦世界的美好。他喜歡打造實用的東西，也鑽研加工、焊接、烹飪和滑雪等多項興趣。目前，他是 Amazon Web Services (AWS) 的工程師，負責數據庫、無服務器 (serverless) 和無服務器數據庫的開發工作。在此之前，他參與了 EC2 和 EBS 項目的開發。

事實

📸 愛好者常常被分為四種類型：喜歡「實際去做」、迷戀「器材收藏」、「討論活動本身」及「討論器材」。

喜歡裝傻的迷藏喜歡討論輝煌表現與最佳器材相關聯，但實際上沒有關係。

開始學習一項嗜好或運動時，記得選擇你喜歡參與哪一類型：實際做的、器材收藏的、討論活動本身的、或討論器材的。

來源: Google Online Security Blog: Google Authenticator now supports Google Account synchronization

摘要
Google Authenticator現在可將一次性驗證碼備份到你的Google帳戶，讓你的帳戶更安全和方便。

事實

💡 Google Authenticator現在可將一次性驗證碼備份到你的Google帳戶以提高方便性和安全性。

🔒 Google Password Manager可以協助安全地儲存你的密碼並在Android和Chrome上更快地登入。

🔑 Sign in with Google允許你使用你的Google帳戶登入網站或應用程式。

💻 Google長期以來致力於提供多種安全身分驗證選擇。

🌐 Google正在與業界夥伴和FIDO聯盟合作，推出更方便和安全的身分驗證產品。

來源: DNNs from Scratch in Zig

摘要
本文將使用 Zig 標準庫，從頭建立一個簡單的 Deep Neural Network，達到 96% 的 MNIST 正確率。

事實

👨‍💻 本文將介紹如何使用 Zig 標準庫來從頭建立 Deep Neural Network。

📈 本文使用的神經網路可達到 96% 的 MNIST 正確率。

🧑‍💼 作者認為手動計算梯度可以突顯每層的作用，讓架構變得更清晰易懂。

💻 程式碼將分為四個模組：layer、relu、nll、mnist。

來源: Day Ahead Market adventures: capacity restrictions and huge negative prices for business day 2023-04-19

摘要
4月18日荷比地區電力市場出現負價格，本文將解釋負價格出現的原因。在歐盟的單一日前市場中，每日交易的電力隔日交貨，市場求和做出價格決定。負價格代表電力供需平衡出現嚴重問題。

事實

💰 负价波动表明电力供需失衡。

🌬️ 风能是其中的一個重要因素，在荷兰和比利时的风能发电量非常高。

📈 荷兰和比利时的太阳能发电量也较高，加剧市场供过于求的情况。

🏭 大量太阳能和风能发电设施以及传输瓶颈都加重了市场波动性。

👨‍👧‍👦 高无功电流需求，是市场波动的另一个重要因素。

📊 单日前耦合区域是优化涵盖大面积的欧盟地区的电力市场，由贸易顾问通过投标来供给电力。

來源: Senior Software Engineer – Full Stack at Lancey

摘要
Lancey 以客戶為中心的方法，致力於透過先進的平台幫助軟體公司快速創建並推出產品。他們的創新技術已吸引了不少客戶，並已在其首個營收週中產生營收。現正尋找有經驗的軟件工程師參與其團隊中並接受自主的開發工作。

事實

💻Lancey 是以客戶為中心的軟體公司，致力於推動現代軟件公司如何與客戶互動。

💰Lancey在 Y Combinator 的 S22 中表現優異，成立營收令人矚目。

🤖Lancey 的工程團隊負責應用全流程開發，自主決策解決問題。

🏆Lancey 的主要關注點是建立客戶真正需要的產品，挑戰性和興奮的問題是我們日常的事情。

💼Lancey 正在招聘一位有超過 4 年以上的軟體工程工作經驗的高級工程師。

👩‍💻在這個職位上，你將開發從概念到生產的全新全端解決方案，協助決策關於要解決的問題，並協力確保維護服務的質量。

🎁此職位具有靈活工作時間、遠程工作、發展機會以及有競爭力的薪資和慷慨的股票選擇權計劃等福利；

✅Lancey 希望真正代表社會各個群體，培育多樣性團隊，並招聘來自這些社區和其他被邊緣化群體的人達到進展的目標。

❓即使您不符合上述要求的所有資格，請在申請中解釋您如何在這個職位上表現出色，並成為合適的匹配。

來源: Hawthorne effect

摘要
觀察效應是指在人類行為中，當個體知道自己正受到觀察後，會改變其行為的一種現象。Hawthorne工廠的研究發現，員工的生產力將隨著燈光的任何變化而增加，但實際情況並非如此。受試者作為研究對象的新奇感和被關注度的提高可導致期間性增加生產力，這種現象被稱為“Hawthorne效應”。

事實

👀在被觀察者知道自己正在被觀察後，人們可能會改變自己的行為。

💡在Hawthorne工廠裡的研究表明，隨著燈光的任何變化，員工的生產力似乎會增加，但這一點實際上是不正確的。

🧑‍💼研究表明，作為研究對象的新奇感和被關注度的提高可臨時增加工人的生產力。

📈這種短暫增加生產力的現象也被用來描述其他任何類型的短暫提高生產力。

來源: Local license key verification – Theory

摘要
本文介紹了本地軟體許可驗證，包括簡單的效驗方法和潛在的風險。也提出分析軟體驗證時應該考慮的幾個方面，並介紹了一種在驗證中添加擴充資料的方法。

事實

🛡️ 使用校驗碼驗證許可證的有效性。

🕵️ 可能會出現盜版風險，具有一定的漏洞。

🗝️ 許可證可以儲存某些額外的信息，例如產品ID號碼，許可類型或控制給定功能的變量。

來源: IPv6OurPassiveExposure

摘要
內部網路啟用 IPv6 可能會被惡意攻擊者利用，因為許多公司並不監控 IPv6 流量，容易形成「暗網路」。在幾乎所有伺服器啟用 IPv6 的情況下，威脅漏洞仍可透過已啟用連線的裝置繞過防火牆保護，而使用 IPv4 進行流量監控也有限制。

事實

💻 公司聲稱不使用 IPv6，但實際上可能僅僅是忽略了 IPv6 網路流量，內部網路被形成「暗網路」，難以追蹤。

🔌 IPv6 對所有設備都啟用時，可能會有漏洞被攻擊者利用，包括手機，印表機和IoT設備等。

🔒 防火牆設置應對 IPv6 已啟用的情況，否則可能影響公司資訊安全。

🚨 從 IPv4 監控網路流量方面有限制，易出現漏洞被攻擊者繞過，導致資訊安全問題。

🕵️‍♀️ 使用 IPv6 的漏洞對資料進行攻擊時，難辨別其攻擊行為，需要加強網絡安全。

來源: Digital addiction: focusing on the cure, not the disease.

摘要
數位沉迷已經引起關注，人們需要更多的社交、個人空間、大自然，而非用數位裝置逃避孤獨感。

事實

💻數位沉迷的問題是社交、個人空間和大自然的缺乏所引起的。

📱數位裝置是一個逃避孤獨感的方法。

🏞️增加在大自然中的活動可以增強對環境的歸屬感。

👥建立面對面的關係可以增強對他人的歸屬感。

🧘冥想可以增強對自己的歸屬感。

社會和個人的改變都可以解決數位沉迷產生的問題。

來源: FYI: Will Blocking remain legal for all in the USA? Supreme Court to rule on issue. from Bob Wyman on 2023-04-24 (public-swicg@w3.org from April 2023)

摘要
美國最高法院同意審理兩項與政府官員封鎖社交媒體用戶相關的合法性挑戰案。該裁決將對在美國使用社交系統的人產生重大影響，進而影響其設計和使用。

事實

🇺🇸 最高法院同意審理兩項挑戰政府官員封鎖社交媒體用戶行為的案件。

👥 該裁決可能會影響在美國使用和設計社交系統的重要特徵。

🚫 裁決可能影響用戶對回帖控制的方法的實用性和可行性。

👮 假如最高法院對封鎖作出裁決，那麼那些擔任政府角色的人可能會被禁止使用提供封鎖功能的實例。

❓ 然而，也許未來的案件可能會涉及到人們自由選擇使用哪個實例的限制。

Leave a Reply Cancel reply