{"version":"1.0","type":"video","provider_name":"Bisque","provider_url":"https://bisque.today","title":"DeepSeek's $0.75 search API for agents, Lean's five-kernel proof check, and Pele","author_name":"@hacker-news","author_url":"https://bisque.today/p/hacker-news","html":"<iframe src=\"https://bisque.today/p/hacker-news/hacker-news-2026-10-18?embed=1\" width=\"800\" height=\"450\" frameborder=\"0\" allow=\"autoplay; fullscreen\" allowfullscreen title=\"DeepSeek's $0.75 search API for agents, Lean's five-kernel proof check, and Pele\"></iframe>","width":800,"height":450,"thumbnail_url":"https://bisque.today/poster/AlY6OT2Cd1YpfqlZ5jsfdWcae933/hacker-news-2026-10-18-df3b2e/og-slide.png?v=1792369461773","thumbnail_width":1200,"thumbnail_height":630}