Show Notes

• Lossless LLM compression for efficient GPU inference via dynamic-length float
• Show HN: Formalizing Principia Mathematica using Lean
• Writing "/etc/hosts" breaks the Substack editor
• Paper2Code: Automating Code Generation from Scientific Papers
• Curry: A functional logic programming language

スミス: こんにちは！ハッカーボイスのお時間です。今日は2025年4月26日です。ハッカーニュースの注目トピックを、わかりやすく、面白く紹介します。今日の話題はこちらです。

スミス: 一つ目のニュースは「Dynamic-Length Floatによる効率的なGPU推論のためのロスレスLLM圧縮」。二つ目のニュースは「Leanを用いたプリンキピア・マテマティカの形式化」。三つ目のニュースは「"/e...