7.19.26 | GPT-5.6 closes convex optimization gap, Mayor Mamdani bans AI images for advertising, speech recognition and TTS less than 500kb

This is a recap of the top 10 posts on Hacker News on Jul 19, 2026.Feel free to leave feedback on Github: https://github.com/denolfe/hacker-news-highlights(00:00) - Intro (00:20) - GPT-5.6 used a prompt to close a 30-year gap in convex optimization (01:53) - Mayor Mamdani Says Landlords Can't Use AI Images to Advertise (03:21) - Speech Recognition and TTS in less than 500kb (04:33) - Transcribe.cpp (05:53) - If You Build It, They Will Come (07:05) - The Kimi K3 Moment (08:26) - Fable 5 vs. GPT-5.6 Sol on an NP-Hard Problem: Does /goal help? (09:56) - Gleam Is Now on Tangled (11:15) - Setting up your spare Mac for Claude Code to control, a step-by-step guide (12:29) - Elixir-lang.org has a new design (13:36) - Outro GPT-5.6 used a prompt to close a 30-year gap in convex optimizationhttps://old.reddit.com/r/math/comments/1uxj3cy/after_openais_cdc_proof_announcement_gpt56_used_a/https://news.ycombinator.com/item?id=48957779Mayor Mamdani Says Landlords Can't Use AI Images to Advertisehttps://petapixel.com/2026/07/16/mayor-mamdani-says-landlords-cant-secretly-use-ai-images-to-advertise-properties/https://news.ycombinator.com/item?id=48962983Speech Recognition and TTS in less than 500kbhttps://github.com/moonshine-ai/moonshine/tree/main/microhttps://news.ycombinator.com/item?id=48911793Transcribe.cpphttps://workshop.cjpais.com/projects/transcribe-cpphttps://news.ycombinator.com/item?id=48963879If You Build It, They Will Comehttps://www.benlandautaylor.com/p/if-you-build-it-they-will-comehttps://news.ycombinator.com/item?id=48959090The Kimi K3 Momenthttps://stephen.bochinski.dev/blog/2026/07/18/the-kimi-k3-moment/https://news.ycombinator.com/item?id=48960218Fable 5 vs. GPT-5.6 Sol on an NP-Hard Problem: Does /goal help?https://charlesazam.com/blog/fable-5-gpt-5-6-sol-goal/https://news.ycombinator.com/item?id=48956879Gleam Is Now on Tangledhttps://tangled.org/gleam.run/gleamhttps://news.ycombinator.com/item?id=48959143Setting up your spare Mac for Claude Code to control, a step-by-step guidehttps://ykdojo.github.io/claude-controls-mac/https://news.ycombinator.com/item?id=48959392Elixir-lang.org has a new designhttps://elixir-lang.org/https://news.ycombinator.com/item?id=48959042