Show Notes

• ProofOfThought: LLM-based reasoning using Z3 theorem proving
• A comparison of Ada and Rust, using solutions to the Advent of Code
• Show HN: Run – a CLI universal code runner I built while learning Rust
• How to inject knowledge efficiently? Knowledge infusion scaling law for LLMs
• Clavier: An FPGA-based mechanical keyboard with USB hub and comms interfaces

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

スミス: 一つ目のニュースは「ProofOfThought: LLM-based reasoning using Z3 theorem proving」。二つ目のニュースは「AdaとRustの比較、Advent of Co...

Show Notes

• Offline card payments should be possible no later than 1 July 2026
• Fluid Glass
• TrueVault (YC W14) Is Hiring a BDR (Ex-ECommerce Manager)
• Niri – A scrollable-tiling Wayland compositor
• Jules, remote coding agent from Google Labs, announces API

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

スミス: 一つ目のニュースは「2026年7月1日までにオフラインでのカード決済を可能に」。二つ目のニュースは「Fluid Glass」。三つ目のニュースは「TrueVault (YC W14) が BDR (元Eコマースマネ...

Show Notes

• Signal Protocol and Post-Quantum Ratchets
• Babel is why I keep blogging with Emacs
• Why most product planning is bad and what to do about it
• Playball – Watch MLB games from a terminal
• We bought the whole GPU, so we're damn well going to use the whole GPU

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

スミス: 一つ目のニュースは「Signal Protocol and Post-Quantum Ratchets」。二つ目のニュースは「Babel is why I keep blogging with Emacs」。三つ...

Show Notes

• Pushing the Boundaries of C64 Graphics with Nuflix
• Building the heap: racking 30 petabytes of hard drives for pretraining
• Edge264 – Minimalist, high-performance software decoder for H.264/AVC video
• Egg-Shaped Curves
• US gov shutdown leaves IT projects hanging, security defenders a skeleton crew

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

スミス: 一つ目のニュースは「NuflixでC64グラフィックスの限界を押し広げる」。二つ目のニュースは「ヒープを構築する：プリトレーニング用に30ペタバイトのハードドライブをラックに搭載」。三つ目のニュースは「Edge26...

Show Notes

• Atuin Desktop: Runbooks That Run – Now Open Source
• Our Stewardship: Where We Are, What's Changing and How We'll Engage
• Diff Algorithms
• Introduction to Multi-Armed Bandits
• Launch HN: Airweave (YC X25) – Let agents search any app

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

スミス: 一つ目のニュースは「Atuin Desktop: Runbooks That Run – Now Open Source」。二つ目のニュースは「Our Stewardship: Where We Are, Wha...

Show Notes

• Loadmo.re: design inspiration for unconventional web
• What is artificial general intelligence?
• Jax: Fast Combinations Calculation
• If Odin Had Macros
• ML on Apple ][+

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

スミス: 一つ目のニュースは「Loadmo.re: 型破りなウェブデザインのインスピレーション集」。二つ目のニュースは「人工汎用知能（AGI）とは何か？」。三つ目のニュースは「Jax: 高速な組み合わせ計算」。四つ目のニュー...

Show Notes

• Privacy Badger is a free browser extension made by EFF to stop spying
• When I say “alphabetical order”, I mean “alphabetical order”
• The AI coding trap
• Scm2wasm: A Scheme to WASM compiler in 600 lines of C, making use of WASM GC
• The Weird Concept of Branchless Programming

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

スミス: 一つ目のニュースは「Privacy Badger is a free browser extension made by EFF to stop spying」。二つ目のニュースは「When I say ")al...

Show Notes

• SSH3: Faster and rich secure shell using HTTP/3
• The death of east London's most radical bookshop
• The Postmark backdoor that’s downloading emails
• 2025 Nikon Small World in Motion Competition Winners
• Typst: A Possible LaTeX Replacement

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

スミス: 一つ目のニュースは「SSH3: Faster and rich secure shell using HTTP/3」。二つ目のニュースは「The death of east London's most radic...

Show Notes

• SimpleFold: Folding proteins is simpler than you think
• The Beauty of Programming
• Modular Manifolds
• Britain to introduce compulsory digital ID for workers
• The von Neumann bottleneck is impeding AI computing?

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

スミス: 一つ目のニュースは「SimpleFold: Folding proteins is simpler than you think」。二つ目のニュースは「The Beauty of Programming」。三つ目...

Show Notes

• Improved Gemini 2.5 Flash and Flash-Lite
• Ollama Web Search
• Athlon 64: How AMD turned the tables on Intel
• RedoxFS is the default filesystem of Redox OS, inspired by ZFS
• Can a model trained on satellite data really find brambles on the ground?

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

スミス: 一つ目のニュースは「Gemini 2.5 FlashとFlash-Liteの改良版が登場」。二つ目のニュースは「Ollama Web Search」。三つ目のニュースは「AMD Athlon 64がIntelの形...