HackerNews 摘要 (2023-04-29 06PM)

來源:

抗疫新進展：摘要
兩種新冠病毒疫苗開始產生免疫反應，有望投入使用。

事實

💉 早期試驗顯示兩種疫苗候選者可以產生免疫反應。

👩‍⚕️ 美國國家衛生研究院認為疫苗有望在9月份前開始使用。

🧪 疫苗研發遵循過往科學研究的步驟和安全性標準。

---

來源: Translation Validation of Tensor Compilers

摘要
張量編譯器用於圖像處理和深度學習領域，從多維張量的高級規範中生成高效的低層級代碼。 在規範的循環變換和代數簡化之後，產生的低層級代碼可以具有截然不同的結構。 因此，張量編譯器的正式驗證是一項艱鉅的任務，不適用於標準的相似性技術。 我提出了一種新的方法，用於在循環和代數變換存在的情況下驗證張量編譯器。 這種方法從程序表示的多面體技術中獲得啟示，並依靠從低層級代碼中的分配到張量編譯器提供的規範中的張量定義的精煉映射。 編譯器的每次運行都由在OCaml中實現的獨立驗證工具進行驗證，使該方法成為翻譯驗證的實例。 此驗證工具在Halide上進行測試，而Halide是一個工業級張量編譯器。

事實

💻 張量編譯器從高級規範中生成低層級代碼。

🔄 應用循環變形和代數簡化，生成的代碼可能與原規範具有不同的結構。

🔍 張量編譯器的正式驗證是一項困難的任務，需要新的方法。

🧩 提出的新方法受到程序表示中多面體技術的啟發，利用映射進行驗證。

🔧 獨立驗證工具在OCaml中實現，被用於驗證每個編譯器的運行。

📈 工具在工業張量編譯器Halide上進行測試。

---

來源: PhobosLab

摘要
QOA是一种有损音频压缩格式，具有输出少于非压缩WAV 1/5需求的音质。对于解码性能方面有8%的改善，且目前是他测试中最快速的格式之一。

事實

🎧 QOA是一种有损音频压缩格式

🐎 QOA相较于其他格式具有更好的解码性能

💾 QOA的编码大小是非压缩WAV的1/5

📈 该压缩格式的性能表现接近现有的其他压缩格式

⏩ 对于解码性能，特别是解码器，有特定的代码优化，例如qoa_clamp_s16()函数的专用化

---

來源: Microsoft quietly supported legislation to make it easier to fix devices. Here’s why that’s a big deal.

摘要
微軟是美國首家支持「修理權」法案的大型科技公司，通過此法案，消費者能夠更輕鬆地維修他們的電子設備。微軟的支持也讓其他製造商首次加入討論「修理權」法案的行列。

事實

💻微軟是美國首家支持「修理權」法案的大型科技公司

💻通過此法案，消費者能夠更輕鬆地維修他們的電子設備

💻其他製造商也首次加入討論「修理權」法案的行列

💻擁有「修理權」法案能夠讓消費者更容易地使用舊有產品，減少環境浪費和減少製造新產品的碳排放量

---