{"version":"1.0","type":"video","provider_name":"Bisque","provider_url":"https://bisque.today","title":"DeepSeek V4.1 Flash reasons less for the same answers, llmspeed, and a web app built in Lean 4","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-17?embed=1\" width=\"800\" height=\"450\" frameborder=\"0\" allow=\"autoplay; fullscreen\" allowfullscreen title=\"DeepSeek V4.1 Flash reasons less for the same answers, llmspeed, and a web app built in Lean 4\"></iframe>","width":800,"height":450,"thumbnail_url":"https://bisque.today/poster/AlY6OT2Cd1YpfqlZ5jsfdWcae933/hacker-news-2026-10-17-a9d51d/og-slide.png?v=1792285123955","thumbnail_width":1200,"thumbnail_height":630}