The Mathematician's Avatar

The Mathematician

@math.blaze.email

Posts and blogs about mathematics. Weekly newsletter digest at math.blaze.email. Maintained by @alastairrushworth.com.

22 Followers  |  6 Following  |  781 Posts  |  Joined: 19.10.2025  |  1.8933

Latest posts by math.blaze.email on Bluesky

HGAME2026 WEEK1 解题思路 Summary: HGAME2026 WEEK1 解题思路: Elliptic curves, Coppersmith, Python/Sage scripts and RSA/CRC writeups across competitions

HGAME2026 WEEK1 解题思路

https://www.zhaoj.in/read-9165.html

#math #mathematics

10.02.2026 09:11 — 👍 0    🔁 0    💬 0    📌 0
Math and me Summary: Personal reflection on math vs. programming, preferences for implementing algorithms, and the shift from calculus to discrete, Knuth-inspired math.

Math and me

https://togelius.blogspot.com/2026/02/math-and-me.html

#math #mathematics

10.02.2026 06:11 — 👍 0    🔁 0    💬 0    📌 0
Paracomplete logic and the Aymara language Summary: Paracomplete logic, Aymara language, grounded deduction, Isabelle/HOL, Liar paradox, Gödel, and programmable Turing-complete systems.

Paracomplete logic and the Aymara language

https://bford.info/post/2026-02-09-aymara/

#math #mathematics

10.02.2026 03:11 — 👍 0    🔁 0    💬 0    📌 0
Preview
A Relatively Simple Approximation to Singular Value Decomposition Using QR Decomposition With C# Summary: Relatively simple SVD approximation via QR decomposition implemented in C# and demonstrated with a small matrix.

A Relatively Simple Approximation to Singular Value Decomposition Using QR Decomposition With C#

https://jamesmccaffreyblog.com/2026/02/09/a-relatively-simple-approximation-to-singular-value-decomposition-using-qr-decomposition-with-c/

#math #mathematics

10.02.2026 00:11 — 👍 0    🔁 0    💬 0    📌 0
Leaning on AI Summary: A Lean/AI workflow for Lean math formalization using Claude Code to complete Tao’s Real Analysis companion chapters

Leaning on AI

https://rkirov.github.io/posts/lean5/

#math #mathematics

09.02.2026 21:11 — 👍 0    🔁 0    💬 0    📌 0
Fibonacci numbers and time-space tradeoffs Summary: Fibonacci numbers illustrate space-time tradeoffs: transmit index instead of large numbers to reduce space, with computation done by the recipient

Fibonacci numbers and time-space tradeoffs

https://www.johndcook.com/blog/2026/02/08/time-space-tradeoffs/

#math #mathematics

09.02.2026 18:11 — 👍 0    🔁 0    💬 0    📌 0
Computing large Fibonacci numbers Summary: Comparing iterative Fibonacci calculation with Binet’s formula using Python and mpmath for large n

Computing large Fibonacci numbers

https://www.johndcook.com/blog/2026/02/08/computing-large-fibonacci-numbers/

#math #mathematics

09.02.2026 15:11 — 👍 0    🔁 0    💬 0    📌 0
Preview
The AI Maths Revolution Has Begun Summary: AI-driven mathematical tooling and coding prompts reshape research with Python, Julia, and SymPy, featuring Sabine Hossenfelder’s insights.

The AI Maths Revolution Has Begun

https://backreaction.blogspot.com/2026/02/the-ai-maths-revolution-has-begun.html

#math #mathematics

09.02.2026 12:11 — 👍 0    🔁 0    💬 0    📌 0
Foundations of Algorithmic Randomness and Computability Summary: Foundations of computability, randomness, and Lean formalization: Turing degrees, Gödel encoding, Kolmogorov complexity, Martin-Löf randomness, and the Church-Turing thesis.

Foundations of Algorithmic Randomness and Computability

https://tannerduve.github.io/blog/2026/algorithmic-randomness/

#math #mathematics

09.02.2026 09:10 — 👍 0    🔁 0    💬 0    📌 0
Preview
What’s your Epstein Number? Summary: Explores Epstein connections through Erdős-style distance, citing Krauss, Randall, Brockman, Hawking, and personal encounters.

What’s your Epstein Number?

https://telescoper.blog/2026/02/05/whats-your-epstein-number/

#math #mathematics

09.02.2026 06:11 — 👍 0    🔁 0    💬 0    📌 0
Letter-mention worthiness Summary: Using a binomial model to compare letter mentions of Eliot, Lewis, and others in Charles Williams's letters with simulations

Letter-mention worthiness

https://www.idiosophy.com/2026/02/letter-mention-worthiness/

#math #mathematics

09.02.2026 03:11 — 👍 0    🔁 0    💬 0    📌 0
Preview
The Geometry of AI Advertising: How Power Diagrams Could Replace Keyword Auctions Summary: Explores embedding-based ad auctions using power diagrams, isotropic vs anisotropic preferences, VCG payments, and real-time geometry with Claude Opus 4.6.

The Geometry of AI Advertising: How Power Diagrams Could Replace Keyword Auctions

https://www.june.kim/power-diagrams-ad-auctions

#math #mathematics

09.02.2026 00:11 — 👍 0    🔁 1    💬 0    📌 0
Searching for Tendler-like formulas, #2 Summary: Explores Tendler-like formulas with low error constants using Base3-6, I3, W and E parameters in computational mathematics

Searching for Tendler-like formulas, #2

https://eklausmeier.goip.de/blog/2026/02-07-searching-for-tendler-like-formulas-p2

#math #mathematics

08.02.2026 21:11 — 👍 0    🔁 0    💬 0    📌 0
Preview
Hierarchical Navigable Small Worlds Summary: Explains HNSW: Delaunay, NSW, Kleinberg rings, hierarchical graphs, and greedy search in Python-inspired terms.

Hierarchical Navigable Small Worlds

https://amandeepsp.github.io/blog/hnsw/

#math #mathematics

08.02.2026 18:10 — 👍 0    🔁 0    💬 0    📌 0
Preview
Constraint propagation for fun Summary: Explores constraint propagation, 3-step puzzle generation, and unique solvability in bicross, a Squeakross-inspired game using seeded RNG and JavaScript.

Constraint propagation for fun

https://eli.li/constraint-propagation-for-fun

#math #mathematics

08.02.2026 15:11 — 👍 0    🔁 0    💬 0    📌 0
Preview
E-day Logarithmic Glow-up Summary: Raku for Prediction explores Euler’s number e with fractals, continuous fractions, and D3 visualizations in a blogger’s notebook.

E-day Logarithmic Glow-up

https://rakuforprediction.wordpress.com/2026/02/07/e-day-logarithmic-glow-up/

#math #mathematics

08.02.2026 12:11 — 👍 0    🔁 0    💬 0    📌 0
First Proof Summary: First Proof explores AI reasoning foundations using theoretical analysis and formal methods, with emphasis on verification and proof techniques.

First Proof

https://arxiv.org/abs/2602.05192

#math #mathematics

08.02.2026 09:11 — 👍 0    🔁 0    💬 0    📌 0
Minimum of cosine sum Summary: Explores minimum of cosine sums, Chowla conjecture, primes and random sets using Python (NumPy, SymPy) for numerical experiments.

Minimum of cosine sum

https://www.johndcook.com/blog/2026/02/07/chowla/

#math #mathematics

08.02.2026 06:10 — 👍 0    🔁 0    💬 0    📌 0
Preview
Tantalizer 95: Three-cornered fight Summary: Three-cornered political puzzle solved with Python code and group-based voting model

Tantalizer 95: Three-cornered fight

https://enigmaticcode.wordpress.com/2026/02/02/tantalizer-95-three-cornered-fight/

#math #mathematics

08.02.2026 03:11 — 👍 0    🔁 0    💬 0    📌 0
Preview
Example of Kernel Ridge Regression Using the scikit-learn Library Summary: Kernel Ridge Regression with scikit-learn (Python), gamma and alpha tuning, demo data, and model weights from James D. McCaffrey

Example of Kernel Ridge Regression Using the scikit-learn Library

https://jamesmccaffreyblog.com/2026/02/06/example-of-kernel-ridge-regression-using-the-scikit-learn-library/

#math #mathematics

08.02.2026 00:11 — 👍 0    🔁 1    💬 0    📌 0
Preview
Metaphors are methods. Summary: Metaphors from CS and CMS: algorithmic thinking, memory, P versus NP, and everyday sustainability in writing and life.

Metaphors are methods.

https://waxbanks.wordpress.com/2026/02/06/metaphors-are-methods/

#math #mathematics

07.02.2026 21:11 — 👍 0    🔁 1    💬 0    📌 0
Preview
Opening the Heart of libgd-gis Summary: Ruby libgd-gis core normalization, CRS handling, and tests demonstrating coordinate projections and warnings.

Opening the Heart of libgd-gis

https://rubystacknews.com/2026/02/03/opening-the-heart-of-libgd-gis/

#math #mathematics

07.02.2026 18:11 — 👍 0    🔁 0    💬 0    📌 0
Eigenvalue homework problems are backward Summary: QR algorithm and companion matrices show how eigenvalues relate to polynomial roots in practical numerical linear algebra.

Eigenvalue homework problems are backward

https://www.johndcook.com/blog/2026/02/06/eigenvalue-roots/

#math #mathematics

07.02.2026 15:10 — 👍 0    🔁 0    💬 0    📌 0
Preview
Diffusivity versus cutoff for GFF/OU/SHE Summary: Gaussian free field, OU dynamics, discrete SHE, diffusion, spectral analysis, Kullback–Leibler distance, Mehler formula

Diffusivity versus cutoff for GFF/OU/SHE

https://djalil.chafai.net/blog/2026/02/06/diffusivity-versus-cutoff-for-gff-ou-she/

#math #mathematics

07.02.2026 12:11 — 👍 0    🔁 0    💬 0    📌 0
Preview
Rust: building arbitrary precision integers (badly) Summary: Explores designing a BigInt in Rust, revealing challenges and ongoing work in arbitrary-precision arithmetic

Rust: building arbitrary precision integers (badly)

https://artificialworlds.net/blog/2026/02/06/arbitrary-precision-integers/

#math #mathematics

07.02.2026 09:11 — 👍 0    🔁 0    💬 0    📌 0
Preview
Teaching category theory to engineers (part 4) Summary: Engineers explore category theory concepts via endofunctors, coalgebras, graphs, databases, and hybrid systems in applied contexts.

Teaching category theory to engineers (part 4)

https://joe-moeller.com/2026/02/06/teaching-category-theory-to-engineers-part-4/

#math #mathematics

07.02.2026 06:11 — 👍 0    🔁 0    💬 0    📌 0
Graphics Programming weekly - Issue 426 - February 1st, 2026 Summary: Graphics Programming weekly 426 covers Mesa RADV RT, geometric algebra on complex numbers, terrain shaders, SIGGRAPH Fast Forward 2026, Texel Density, in-game docs, Vulkan on Apple, and WebGPU surfel GI.

Graphics Programming weekly - Issue 426 - February 1st, 2026

https://www.jendrikillner.com/post/graphics-programming-weekly-issue-426/

#math #mathematics

07.02.2026 03:11 — 👍 0    🔁 0    💬 0    📌 0
Preview
Assume Possible Summary: Dantzig misclassified open problems as homework, revealing how assuming solvable tasks changes effort and mindset

Assume Possible

https://questionsconsidered.blog/2026/02/01/assume-possible/

#math #mathematics

07.02.2026 00:11 — 👍 0    🔁 0    💬 0    📌 0
Preview
Paul Deheuvels (1948-2026) Summary: Paul Deheuvels (1948-2026): a concise obituary noting his leadership at Université Pierre & Marie Curie, Bayesian statistics work, mentorship, and controversial political stances.

Paul Deheuvels (1948-2026)

https://xianblog.wordpress.com/2026/02/05/paul-deheuvels-1948-2026/

#math #mathematics

06.02.2026 21:11 — 👍 0    🔁 0    💬 0    📌 0
Mechanism Design Audit of Crosslink Zebra Summary: Mechanism design audit of Crosslink Zebra using economic theory to assess incentives for miners, finalizers, and stakers in a hybrid PoW/PoS finality system.

Mechanism Design Audit of Crosslink Zebra

http://www.nikete.com/crosslink-zebra-audit

#math #mathematics

06.02.2026 18:11 — 👍 0    🔁 0    💬 0    📌 0

@math.blaze.email is following 6 prominent accounts