← Feed

Posts

• View post

• View post

• View post

• View post

• View post

• View post

• View post

• View post

• View post

  What is the relationship between slitscan -- a filmmaking technique used for the Stargate sequence in Stanley Kubrick's 2001, the going to hyperspace effect in SW, the dopplered star effect in Trek -- and Morse Theory? https://en.wikipedia.org/wiki/Morse_theory https://www.youtube.com/watch?v=qKOAOzVHvFQ&t=1157s /VFX History: Slit Scan/ by ShiveringCactus: VFX from the video description: How did 2001: A Space Odyssey, Star Wars, Doctor Who and Star Trek: The Next Generation...

• View post

  https://www.youtube.com/watch?v=4MQbd5wTlI8 Emily Riehl (@emilyriehl ) Higher Category Theory, Homotopy & AI in Math | aboutlogic #15 (from the video description): ------ aboutlogic #15 | Emily Riehl (Johns Hopkins University) joins us to explore higher category theory, homotopy, and the role of AI in modern mathematics. From the foundations of category theory to the challenges of formalizing math with proof assistants like Lean, Emily shares her insights on synthetic vs. analytic app...

• View post

• View post

  odd question: for the Borwein cubic theta functions, and for the Jacobian theta functions satisfying a fourth power identity... is there a Frey curve?

• View post

• View post

• View post

  In the late 1990s I was working through organizing some of my writing and rearranging the order was done in the bookmarks editor of netscape on an SGI O2... About the only decent modern equivalent seems like Omnioutliner. (org-mode?, eek). It would be swell if the slew of paper with (gradient descent combine)-named sections and subsections would stop, or at least be mollified in some way: being able to have more fine grained control of sectioning and subsection, preferable through a gui, migh...

• View post

• View post

  https://arxiv.org/abs/2604.23468 /A Milestone in Formalization: The Sphere Packing Problem in Dimension 8/ Sidharth Hariharan, Christopher Birkbeck, Seewoo Lee, Ho Kiu Gareth Ma, Bhavik Mehta, Auguste Poiroux, Maryna Viazovska abstract: In 2016, Viazovska famously solved the sphere packing problem in dimension 8, using modular forms to construct a 'magic' function satisfying optimality conditions determined by Cohn and Elkies in 2003. In March 2024, Hariharan and Viazovska laun...