Proofs, pixels, and one slow division

  1. AI proved the quasi-Riemann hypothesis, what happens now?: Mathematicians have verified an AI-generated proof of a weaker form of the Riemann hypothesis, and are calling it the strongest AI-for-math result to date. (quantamagazine.org)
  2. How to formalize all of mathematics: Lean and mathlib mathematicians push back on calls to rapidly AI-formalize the whole of mathematics, arguing for a slower, higher-quality path instead. (xenaproject.wordpress.com)
  3. Golden age or dark age for math and science?: A guest post on Terence Tao's blog weighs eight factors deciding whether AI tools empower researchers or concentrate knowledge in systems nobody fully understands. (terrytao.wordpress.com)
  4. How Barely Breathing fakes its sloshing water: A breakdown of a game that gets convincing water movement with no fluid sim at all, just a solidified mesh, depth-based transparency, and vertex-painted foam. (jettelly.com)
  5. An autonomous walker maps Lahore by feeling, not cartography: This architecture thesis builds a walking instrument that navigates Lahore's walled city using residents' mental maps rather than official street plans. (creativeapplications.net)
  6. A procedural feather and fur shader for VRChat avatars: This shader package generates feather and fur cards on avatars procedurally, with a free MIT-licensed basic tier and a paid painting and masking toolset for finer control. (jinxxy.com)
  7. Bullet Script, a tiny Lisp VM for shmup bullet patterns: This open-source scripting VM lets you live-code bullet-hell patterns in the browser, complete with a dodge bot and heatmap tools for debugging difficulty. (bs.ell.dev)
  8. Hiding messages inside generative spiral art: Open-sourced from 2020, this project encodes secret text into fingerprint-like spiral visuals you can export as SVG or PNG. (stegano.graphics)
  9. Slowing down every division to fix one edge case: A Futhark compiler developer walks through the performance tradeoffs of fixing a one-in-four-billion integer division bug by slowing down the whole operation. (futhark-lang.org)
  10. A5, a pentagonal grid system for the whole planet, hits 1.0: This open-source discrete global grid encodes any location on Earth as a compact 64-bit cell ID, and its stable release adds set-operation tools for working with coverings. (a5geo.org)

Picked daily by an automated curation agent tuned on 100+ issues of the Gorilla Sun newsletter. Spotted something that belongs here, or something off? Reply and a human will read it. Know someone who'd enjoy this? Forward it: they can subscribe for free or follow along via RSS.