The Mathematician

Chapter 3: The Book That Some People Read (analog-antiquarian​.net). Copernicus’s On the Revolutions explored: heliocentrism, epicycles, and Aristotelian influence amid 16th-century reception and Osiander’s preface controversy

Good Reads: The Princeton Companion to Mathematics (math3ma​.com). Timothy Gowers edits a comprehensive math reference with accessible chapters on category theory, abc conjecture, GR, P vs NP, C*-algebras, Riemann zeta, Calabi-Yau manifolds, and historical pieces

The history of science in medieval Islamicate culture. (thonyc​.wordpress​.com). Reviews Islamic astronomy, the House of Wisdom, and key figures like Nasīr al-Din al-Tūsī, Ibn al-Haytham, al-Biruni, and Pormann; recommends Blake, Steele, Masood, and the Encyclopedia of Arabic Science

Remembering R.C. Ward (doc​.searls​.com). R.C. Ward remembered through Ward’s Law, personal anecdotes, and biographical details of his life and career

Outside the Box Thinking: Galileo's Geometry of Dante's Inferno (politicalcalculations​.blogspot​.com). Galileo's geometry of Dante's Inferno inspires cross-disciplinary insights linking math, literature, and later scientific work

De Valera Connections (telescoper​.blog). Éamon de Valera’s funeral anniversary, Maynooth connection, and reflections on his role and RTÉ documentary

Einstein’s First Lecture in Britain (telescoper​.blog). Einstein’s 1921 Britain lecture in German at Manchester; 1919 eclipse fame, honorary DSc, Guardian clipping discussion, Nottingham lecture, violin anecdote

Statistical methods in variety testing (cameroncounts​.wordpress​.com). Overview of the Thirteenth Working Seminar on Statistical Methods in Variety Testing at COBORU, with discussions on design, models, regulation, data re-analysis, and cryptography-linked history in Poznań

7 tutorials of MODFLOW6 and mf6Voronoi for mine related groundwater modeling (hatarilabs​.com). Tutorial series on MODFLOW6 and mf6Voronoi for regional to transport modeling in mining hydrogeology

All coins are dice but not all dice are coins (andifugard​.info). Explores viewing a coin as a degenerate 2-sided die and discusses randomness, dice, and related quotations

Update on Possible Breaches to Postquantum Cryptography (trevornestor​.com). Discussion of Beijing trip and potential new methods to break postquantum cryptography, with links and author background

Fourier transform history in mathematics (flowingdata​.com). Historical overview of Fourier's transform, JPEG compression, and the fast Fourier transform by Cooley and Tukey

The Strangely Anthropic Form of Natural Laws (brianschrader​.com). Anthropic viewpoint on natural laws, the complexity dip, and teaching Newtonian mechanics contrasted with QFT and GR

Dynamic Formal Verification in OCaml: An Ortac/QCheck-STM Tutorial (tarides​.com). Dynamic formal verification in OCaml via Ortac/QCheck-STM for Gospel specifications and Dune integration

Linkage (11011110​.github​.io). Crowdsourced linking of erdosproblems.com with OEIS, updates on math topics, licensing issues, and anecdotes across Wikipedia, META operations, and matroid theory

PY2010: Intermediate Logic (consequently​.org). Intermediate Logic course covering proof theory and model theory of propositional, modal, and predicate logic with Logical Methods textbook

[Draft] Extensions to Claycode (1a-insec​.net). Explores claycode extensions: erasure coding, custom layouts, footprint functions, Poisson sampling, and contour-based cell layouts

Defeating Nondeterminism in LLM Inference (simonwillison​.net). Nondeterminism in LLM inference arises mainly from varying load and batch size; paper proposes invariant kernels in PyTorch to achieve determinism

Fibonacci Funhouse: Exploring Ruby Algorithms for Fibonacci Numbers (rorvswild​.com). Ruby algorithms for Fibonacci numbers: recursion, Binet, BigDecimal, Rational approximations, tail call optimization, matrices, fast doubling

CuTe partitions (veitner​.bearblog​.dev). CuTe tiling modes: Inner/Outer/Thread-Value partitions, tiled_divide, make_layout, and kernel examples for bf16 Copy operations on CUDA

CuTe Tilers (leimao​.github​.io). CuTe tilers, composition, complement, division, product, and tiling concepts for data access in CuTe layout algebra

3D Mathematica graphics for the triangle problem (leancrew​.com). 3D graphics in Mathematica for a triangle problem, using Graphics3D and ListPointPlot3D, with notes on lighting and notebook evaluation

Emmy, the Algebra System: Classical Mechanics Chapter One (clojurecivitas​.github​.io). Explores SICM-inspired Lagrangian mechanics demonstrations using Emmy: free particle, harmonic oscillator, Euler–Lagrange equations, and path optimization

Dragon Curve Fractal - Complex & Bits (clojurecivitas​.github​.io). Dragon curve fractal explored through complex numbers, powers of (1+i), and binary bit tricks in Clojure’s fastmath

Quickly approximating Shapley Games (theorydish​.blog). Monotone contractions, fixed points, gluing theorems, and complexity bounds for approximating Shapley Games

Planarizing matchings (11011110​.github​.io). Planarizing matchings in the Petersen graph; string graphs, planarizing matchings, NCL-inspired reductions, and linear-time recognition in bounded treewidth graphs

Maria-Romina Ivan and Sean Jaffe: The saturation number for the diamond is linear (gilkalai​.wordpress​.com). Saturation number for the diamond is linear; poset saturation, diamond poset, linear lower bound, Maria-Romina Ivan, Sean Jaffe

Richard Montgomery and Lisa Sauermann Present Major Progress on Rota’s Basis Conjecture (gilkalai​.wordpress​.com). Asymptotically-tight packing and covering with transversal bases in Rota’s basis conjecture by Montgomery and Sauermann

Is the Prob Method `Just Counting'- I say no and HELL NO (blog​.computationalcomplexity​.org). Lower bounds via probabilistic method in Ramsey numbers; domination sets; counting vs probability; remarks on Domination Set Theorem

Many Hard Leetcode Problems are Easy Constraint Problems (buttondown​.com/hillelwayne). LeetCode problems as constraint-satisfaction tasks using MiniZinc, Z3, or OR-Tools with examples like stock trading and histogram area optimization

Out of Distribution Data, and other experiments for 'ML and vanishing order' Paper (davidlowryduda​.com). Machine learning experiments on L-functions, PCA/LDA, and out-of-distribution data using Dirichlet coefficients and primes, with Python code excerpts

A Shadow of Triality? (golem​.ph​.utexas​.edu). Relation between triality of Spin(8) and inner automorphisms of octonions via Lamont’s theorem and Moufang identities

Smooth numbers and max-entropy (terrytao​.wordpress​.com). Maximum entropy approach to model smooth numbers and the role of prime size distribution in friable numbers

Young Ramanujan Challenged Mathematicians. No One Solved It (mindyourdecisions​.com). Ramanujan-inspired nested radicals problem, patterns, proofs, and Putnam contest connections explored

A triangle inequality by Erdős (johndcook​.com). Erdős conjectured a triangle inequality; Mordell and Barrow proved it, relating distances to vertices and sides inside a triangle

More triangle inequalities (johndcook​.com). Four more triangle inequalities by Oppenheim in a triangle with a point P inside, relating vertex distances x,y,z to side distances p,q,r

Hurwitz space components; and the Coleman-Oort Conjecture (arxiv:math). Hurwitz spaces, braid orbits, Schur multiplier, lift invariant, Modular Towers, and Coleman-Oort relations in Galois covers and Hurwitz components

Permutation-Based Distances for Groups and Group-Valued Time Series (arxiv:math). Permutation-based distances (Cayley, Kendall tau) on finite groups; Cayley's theorem; ordinal representations in time series; group-valued time series analysis

The Negation Of Singer's Conjecture For The Sixth Algebraic Transfer (arxiv:math). Algorithmic computation of GL(q)-invariants in the Kameko kernel disproves Singer's monomorphism conjecture for sixth algebraic transfer

Efficient Polynomial Identity Testing Over Nonassociative Algebras (arxiv:cs). Efficient PIT for nonassociative polynomials: Amitsur-Levitzki-type results, randomized and deterministic PIT, and hitting sets

Meromorphic solution of a certain type of algebraic differential equation (arxiv:math). Meromorphic solutions of a special algebraic differential equation via normal families and Li–Yang, Xu et al. generalizations

I've got a big favor to ask - keeping Blaze running isn't expensive, but it does all add up, so I'm asking readers like you to help, if you can.
That's why I'm launching a Patreon page!. Nothing flashy, just a way for folks who find value in these newsletters to chip in a little each month. In return, you'll get:

• Real say in how Blaze evolves — vote on new topics, features, topic curation ideas
• First dibs on merch (details still cooking)
• That warm fuzzy feeling knowing you're supporting something that saves you time and keeps you plugged into great tech writing

If you are getting value from blaze, checking this out would mean the world. And if you can't contribute, no worries—the newsletters keep coming either way, and you can follow along on patreon for free.
Thanks for reading and being part of this nerdy corner of the internet. All the best - Alastair.