The Mathematician newsletter
📜 History and Biography of Mathematics and Science
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
📈 Applied Mathematics, Statistics, and Modeling
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
✅ Logic, Formal Methods, and Reproducible Computation
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
💻 Computational Mathematics, Visualization, and GPU Layouts
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
🧩 Combinatorics, Graphs, and the Probabilistic Method
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
🧮 Number Theory, Algebra, and Triangle Geometry
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
📚 Academic Research
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