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

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

Mayor Mamdani Says Landlords Can't Use AI Images to Advertise
https://petapixel.com/2026/07/16/mayor-mamdani-says-landlords-cant-secretly-use-ai-images-to-advertise-properties/
https://news.ycombinator.com/item?id=48962983

Speech Recognition and TTS in less than 500kb
https://github.com/moonshine-ai/moonshine/tree/main/micro
https://news.ycombinator.com/item?id=48911793

Transcribe.cpp
https://workshop.cjpais.com/projects/transcribe-cpp
https://news.ycombinator.com/item?id=48963879

If You Build It, They Will Come
https://www.benlandautaylor.com/p/if-you-build-it-they-will-come
https://news.ycombinator.com/item?id=48959090

The Kimi K3 Moment
https://stephen.bochinski.dev/blog/2026/07/18/the-kimi-k3-moment/
https://news.ycombinator.com/item?id=48960218

Fable 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=48956879

Gleam Is Now on Tangled
https://tangled.org/gleam.run/gleam
https://news.ycombinator.com/item?id=48959143

Setting up your spare Mac for Claude Code to control, a step-by-step guide
https://ykdojo.github.io/claude-controls-mac/
https://news.ycombinator.com/item?id=48959392

Elixir-lang.org has a new design
https://elixir-lang.org/
https://news.ycombinator.com/item?id=48959042