2026-07-20

14 stories suggest →

Top stories

  1. Counterexample to the Jacobian Conjecture posted with help from Claude Mathematician Levent Alpoge posted a verifiable counterexample to the 85-year-old Jacobian Conjecture, developed with Anthropic's Claude. developing AI
  2. Hacker wipes Romania's national land registry after failed extortion A hacker destroyed Romania's land-registry systems and backups after its extortion demand was refused, halting the property market for a week. confirmed Security
  3. Moonshot AI suspends new subscriptions on Kimi K3 demand Moonshot AI suspended new subscriptions due to demand for Kimi K3, its 2.8-trillion-parameter model whose open weights arrive by 2026-07-27. confirmed AI
  4. Ollama raises 88M USD for local and hybrid open-model inference Ollama raised 88 million USD for local and cloud inference serving 8.9 million developers, targeting hybrid inference across on-device and cloud. confirmed Markets

AI

  1. Alibaba previews Qwen 3.8, a 2.4T-parameter model going open weight Alibaba previewed Qwen 3.8, a 2.4-trillion-parameter model it positions as second only to Fable 5, with no benchmarks or release date given. discussion

Agentic coding

  1. Write-up flags permission-bypass gaps in the OpenCode coding agent A write-up detailed multiple bypasses of OpenCode's bash filters through pipes, aliases, encoding, and environment-variable redirects. discussion

Security

  1. WordPress core pre-auth RCE found with GPT-5.6 for about 25 USD Searchlight Cyber used GPT-5.6 Sol Ultra to find a pre-auth WordPress RCE chain at a cost of about 25 USD affecting versions 6.9.0 through 7.0.1. confirmed

Developer tools

  1. The last MPEG-4 Visual patent has expired Brazil's last MPEG-4 Visual patent expired, removing all remaining patent claims on the Xvid and DivX codec family, simplifying open-source use. confirmed
  2. Minecraft Java Edition switches from GLFW to SDL3 Minecraft Java Edition switched from GLFW to SDL3 for window management, adding native Wayland support and physical-key input event bindings. confirmed

Languages and runtimes

  1. Claude Code ships a preview of Bun rewritten in Rust Claude Code v2.1.181 embeds Bun v1.4.0, the Rust rewrite, shipping a major runtime rewrite to millions before the public release. confirmed

Engineering posts

  1. Account of building and selling 2,500 units of MIDI recorder hardware An engineer recounted designing, manufacturing, and selling 2,500 MIDI recorder units with practical production lessons for software teams. discussion

Hacker News

  1. Show HN replaces a 120k USD bowling scoring system with 1,600 USD of ESP32s A Show HN project replaced a 120,000-USD bowling-scoring system with about 1,600 USD of ESP32 microcontrollers and wireless messaging. discussion
  2. Study reports AI advice lowered accuracy while raising confidence A study found participants receiving AI advice on a task were less accurate yet more confident in their answers than those without advice. discussion

Reddit and social pulse

  1. Weekend pulse centers on the JVM roadmap and open-weight coding models Reddit pulse focused on JVM roadmap discussions including Project Valhalla and sustained interest in self-hostable open-weight coding models. discussion