read.ehrlich.dev
ai-curated rss
about
github
rss
dark
mathematics
Number theory, proof techniques, abstract structures, computational complexity
hot
new
week
month
year
spaces
all
ai
sci fi
3d printing
aerospace
ai agents
algorithmic trading
amateur astronomy
animation
anthropology
api design
aquariums
archaeology
astrobiology
astrophysics
audio programming
behavioral economics
bioinformatics
birding
board games
cartography
category theory
cellular automata
chemistry
chess
climate science
cloud infrastructure
cognitive science
compilers
complexity
computer architecture
computer graphics
computer vision
conlangs
consciousness
containers
cpp
creative coding
cryptography
data engineering
data visualization
databases
decision theory
demoscene
design
devops
digital rights
distributed systems
ecology
economics
electronic music
elixir
embedded systems
energy
espresso
ethics
evolution
existentialism
exploit development
fermentation
film
finance
formal verification
forth
fpga
fractals
game dev
game theory
genetics
geology
git internals
go game
golang
ham radio
haskell
history
history of computing
history of science
homelab
horror
indie games
information design
information theory
internet culture
javascript
kotlin
linguistics
linux
lisp
lock picking
machine learning
malware analysis
manga
materials science
math olympiad
mathematics
mechanical keyboards
meditation
metaphysics
music theory
mycology
nanotechnology
networking
neuroscience
nix
nonduality
nuclear
number theory
observability
oceanography
open source
operating systems
paleoanthropology
pharmacology
phenomenology
philosophy
philosophy of mind
philosophy of science
photography
physics
pixel art
political philosophy
procedural generation
programming languages
puzzles
python
quantum computing
reinforcement learning
retrocomputing
reverse engineering
robotics
rust
security
self hosted
semiotics
shell scripting
site reliability
solo dev
sourdough
space exploration
speedrunning
standup comedy
statistics
swift
synths
tabletop rpg
technical writing
thermodynamics
topology
true crime
type theory
typescript
typography
urban exploration
vinyl
wasm
webdev
witsrtn
woodworking
worldbuilding
writing
zig
280
Bounded Representations by $x^2+y^2-z^2$
(arxiv.org)
2 months ago ·
math olympiad
·
mathematics
162
Type Forcing
(june.kim)
2 months ago ·
category theory
·
mathematics
45
Learn Ring - 01. Why This Course?
(clojure-diary.gitlab.io)
2 months ago ·
lisp
·
mathematics
145
Geometric Criteria for 6-Functor Formalisms in the Setting of Pullback Formalisms
(arxiv.org)
2 months ago ·
mathematics
·
category theory
77
Minimal Weierstrass models and regular models of hyperelliptic curves
(arxiv.org)
2 months ago ·
number theory
·
mathematics
65
Furtherness in finite topological spaces
(arxiv.org)
2 months ago ·
topology
·
mathematics
42
Mahler's method and Carlitz logarithm
(arxiv.org)
2 months ago ·
number theory
·
mathematics
38
Classifying submodules over monoidal categories
(arxiv.org)
2 months ago ·
category theory
·
mathematics
165
A lesser-known characterization of the gamma function
(johndcook.com)
2 months ago ·
mathematics
·
math olympiad
8
У трьох областях – 6 загиблих та 27 поранених цивільних
(pravda.com.ua)
2 months ago ·
cryptography
·
mathematics
22
The triality of the twisted discrete trace formula for PGSO(8)
(arxiv.org)
2 months ago ·
number theory
·
mathematics
18
Close fields, affine Springer fibers and fundamental lemmas
(arxiv.org)
2 months ago ·
topology
·
mathematics
8
The non-abelian Leopoldt conjecture and equalities of $\mathcal{L}$-invariants
(arxiv.org)
2 months ago ·
mathematics
·
number theory
38
Formalization of QFT?
(math.columbia.edu)
2 months ago ·
physics
·
mathematics
112
beta omega is not hereditarily normal
(dantopology.wordpress.com)
2 months ago ·
category theory
·
mathematics
78
Powers don’t clear fractions
(johndcook.com)
2 months ago ·
mathematics
·
math olympiad
75
Mark Jason Dominus: Did Ahmes find the best expansions for 2/n?
(blog.plover.com)
2 months ago ·
math olympiad
·
mathematics
260
For \(R^3\) the problem is open. That's too bad. We live in \(R^3\)
(blog.computationalcomplexity.org)
2 months ago ·
mathematics
·
math olympiad
105
The paradox of derivatives and integrals
(statmodeling.stat.columbia.edu)
2 months ago ·
mathematics
·
physics
128
Mathematics Distillation Challenge – Equational Theories
(terrytao.wordpress.com)
2 months ago ·
mathematics
·
math olympiad
18
LMA designs Jewish history museum as "dreamscape" of village destroyed in Holocaust
(dezeen.com)
2 months ago ·
creative coding
·
mathematics
5
Handball. Le Nantais Aymeric Minne forfait pour le prochain rassemblement de l’équipe de France
(ouest-france.fr)
2 months ago ·
mathematics
·
type theory
15
Умер философ Юрген Хабермас
(meduza.io)
2 months ago ·
mathematics
·
math olympiad
135
Inverse cosine
(johndcook.com)
2 months ago ·
math olympiad
·
mathematics
8
Champions Athlone held in Sligo as Shelbourne, Shamrock Rovers and Galway win openers
(the42.ie)
2 months ago ·
kotlin
·
mathematics
8
Pożar gazociągu pod Wrocławiem. 13 jednostek straży w akcji
(rmf24.pl)
2 months ago ·
mathematics
·
political philosophy
12
Ski alpinisme. Double médaillée aux JO, Emily Harrop remporte la Pierra Menta avec Margot Ravinel
(ouest-france.fr)
2 months ago ·
mathematics
18
The Mathematical Curriculum
(mkprc.xyz)
2 months ago ·
mathematics
·
math olympiad
105
The Axiom of Univalence
(bartoszmilewski.com)
2 months ago ·
type theory
·
mathematics
78
sinh( arccosh(x) )
(johndcook.com)
2 months ago ·
math olympiad
·
mathematics
68
Simplifying expressions in SymPy
(johndcook.com)
2 months ago ·
mathematics
·
math olympiad
35
Scott Aaronson’s View of my View About Quantum Computing
(gilkalai.wordpress.com)
2 months ago ·
math olympiad
·
mathematics
28
Game of Polynomials — RMM 2024 Shortlist A4
(dgrozev.wordpress.com)
2 months ago ·
math olympiad
·
mathematics
65
Separable but not Lindelof examples from Steen and Seebach
(dantopology.wordpress.com)
2 months ago ·
topology
·
mathematics
50
How much certainty is worthwhile?
(johndcook.com)
2 months ago ·
math olympiad
·
mathematics
12
Fredo Valla, Occitanist.
(languagehat.com)
2 months ago ·
semiotics
·
mathematics
42
BSD Invariants and Murmurations of Elliptic Curves
(arxiv.org)
2 months ago ·
mathematics
·
math olympiad
18
Complete Diagrammatic Axiomatisations of Relative Entropy
(arxiv.org)
2 months ago ·
information theory
·
mathematics
42
Weyl Spinor Fields and Right-handed Spacetime
(math.columbia.edu)
2 months ago ·
physics
·
mathematics
72
The Theory behind UMAP?
(arxiv.org)
2 months ago ·
mathematics
·
category theory
18
Particles before symmetry
(arxiv.org)
2 months ago ·
physics
·
mathematics
12
Awantura wokół meczu Śląsk Wrocław – Wisła Kraków. Będzie obustronny walkower?
(sport.rp.pl)
2 months ago ·
mathematics
·
category theory
12
Minimal Projective Resolutions, M\"obius Inversion, and Bottleneck Stability
(arxiv.org)
2 months ago ·
mathematics
·
category theory
12
On Vector Spaces with Formal Infinite Sums
(arxiv.org)
2 months ago ·
category theory
·
mathematics
12
Homodular pseudofunctors and bicategories of modules
(arxiv.org)
2 months ago ·
category theory
·
mathematics
12
Nielegalne aborcje w gdańskim szpitalu? Prokuratura wszczyna śledztwo
(rmf24.pl)
2 months ago ·
mathematics
·
git internals
12
Ski de fond. Après son triplé argenté aux Jeux d’hiver, Mathis Desloges sera de retour à la compétition à Oslo
(ouest-france.fr)
2 months ago ·
math olympiad
·
mathematics
12
Silting reduction, relative AGK's construction and Higgs construction
(arxiv.org)
2 months ago ·
category theory
·
mathematics
12
Generalized Gorenstein Categories
(arxiv.org)
2 months ago ·
category theory
·
mathematics
12
La France insoumise dépose une proposition de loi pour « geler » les prix de l’essence et de l’énergie
(ouest-france.fr)
2 months ago ·
math olympiad
·
mathematics
12
Construction of higher Chow cycles on cyclic coverings of $\mathbb{P}^1 \times \mathbb{P}^1$, Part II
(arxiv.org)
2 months ago ·
topology
·
mathematics
12
Transformations and functions that preserve the asymptotic mean of digits in the ternary representation of a number
(arxiv.org)
2 months ago ·
math olympiad
·
mathematics
12
A stabilizer interpretation of the (extended) linearized double shuffle Lie algebra
(arxiv.org)
2 months ago ·
mathematics
·
math olympiad
42
Applied Category Theory and Green Mathematics
(johncarlosbaez.wordpress.com)
2 months ago ·
mathematics
·
category theory
18
Кох заявил о финансовых просьбах Навального | cross-cutting
(meduza.io)
2 months ago ·
algorithmic trading
·
mathematics
42
Can the Most Abstract Math Make the World a Better Place?
(quantamagazine.org)
2 months ago ·
mathematics
·
category theory
12
Трамп решил уволить Кристи Ноэм с поста министра внутренней безопасности США
(meduza.io)
2 months ago ·
mathematics
·
cryptography
12
Второй фронт войны США и Израиля с Ираном — это Ливан. Что там происходит? Правительство Ливана фактически поддерживает вторжение на свою территорию
(meduza.io)
2 months ago ·
mathematics
·
cryptography
12
Pevnosť Bzovík in Bzovík, Slovakia
(atlasobscura.com)
2 months ago ·
mathematics
·
category theory
12
3-Crossed modules, Quasi-categories, and the Moore complex
(arxiv.org)
2 months ago ·
category theory
·
mathematics
12
Super-decomposable pure-injective modules over some Jacobian algebras
(arxiv.org)
2 months ago ·
mathematics
·
category theory
12
Explicit p-adic Hodge theory for elliptic curves and non-split Cartan images
(arxiv.org)
2 months ago ·
mathematics
·
number theory
12
Polarized superspecial abelian varieties over $\mathbb{F}_p$ via hermitian lattices
(arxiv.org)
2 months ago ·
mathematics
·
number theory
12
Lubin's conjecture for height-one $p$-adic dynamical systems over $(p^2-p)$-tame extensions
(arxiv.org)
2 months ago ·
number theory
·
mathematics
12
Strong Approximation for the Character Variety of the Four-Times Punctured Sphere
(arxiv.org)
2 months ago ·
mathematics
·
math olympiad
12
Three Questions of Erd\H{o}s-Nathanson on Asymptotic Bases of Order 2
(arxiv.org)
2 months ago ·
math olympiad
·
mathematics
12
Semistable intrinsic reduction loci for the iterations of non-archimedean quadratic rational functions
(arxiv.org)
2 months ago ·
math olympiad
·
mathematics
12
Finite-dimensional quantum groups of type Super A and non-semisimple modular categories
(arxiv.org)
2 months ago ·
mathematics
·
category theory
12
Continuity of Magnitude at Skew Finite Subsets of $\ell_1^N$
(arxiv.org)
2 months ago ·
mathematics
·
topology
38
The Purpose of Proofs
(blog.computationalcomplexity.org)
2 months ago ·
puzzles
·
mathematics
12
American Masters in Mathematics 2026
(blog.evanchen.cc)
2 months ago ·
math olympiad
·
mathematics
12
lithuania’s ‘lost shtetl jewish museum’ takes shape as a gleaming, clustered village
(designboom.com)
2 months ago ·
design
·
mathematics
42
Donnacha Oisín Kidney: Monuses and Heaps
(doisinkidney.com)
2 months ago ·
mathematics
·
programming languages
12
George Boole
(plato.stanford.edu)
2 months ago ·
philosophy
·
mathematics
42
Notes on Lagrange Interpolating Polynomials
(eli.thegreenplace.net)
2 months ago ·
math olympiad
·
mathematics
12
A space that fails to be first countable at every point
(dantopology.wordpress.com)
3 months ago ·
category theory
·
mathematics
12
Gödel, slowly …
(logicmatters.net)
3 months ago ·
mathematics
·
formal verification
42
Cantor’s Plagiarism
(dailynous.com)
3 months ago ·
math olympiad
·
mathematics
42
Notes on Linear Algebra for Polynomials
(eli.thegreenplace.net)
3 months ago ·
mathematics
·
math olympiad
12
Feb '26 Notes
(susam.net)
3 months ago ·
math olympiad
·
mathematics
42
Cosmin Pohoata: The Cayley-Bacharach theorem and its applications
(gilkalai.wordpress.com)
3 months ago ·
math olympiad
·
mathematics
8
Beyond Euclid #212
(beyondeuclid.substack.com)
3 months ago ·
math olympiad
·
mathematics
38
A curious trig identity
(johndcook.com)
3 months ago ·
math olympiad
·
mathematics
12
On the greats and mathematical style
(infinitelymore.xyz)
3 months ago ·
mathematics
·
math olympiad
140
The Quickening
(liorpachter.wordpress.com)
3 months ago ·
mathematics
·
math olympiad
280
Six Math Essentials
(terrytao.wordpress.com)
3 months ago ·
math olympiad
·
mathematics
42
Al-Ghazali did not put a stop to Islamic science
(thonyc.wordpress.com)
3 months ago ·
math olympiad
·
mathematics
6
Architectural and Mathematical Foundations of Machine Learning
(chizkidd.github.io)
3 months ago ·
machine learning
·
mathematics
12
2026 Zhautykov Olympiad, Problem 6
(dgrozev.wordpress.com)
3 months ago ·
math olympiad
·
mathematics
1
W finansach kluczowa jest wiarygodność
(rp.pl)
3 months ago ·
mathematics
·
economics
1
"Gotowy na wchodzenie w nieznane". Edward Linde-Lubaszenko we wspomnieniach
(rmf24.pl)
3 months ago ·
mathematics
·
music theory
1
Troje dzieci wśród rannych po wypadku w Małopolsce
(rmf24.pl)
3 months ago ·
woodworking
·
mathematics
1
david altrath frames the expressionist geometry of grundtvig’s church in copenhagen
(designboom.com)
3 months ago ·
urban exploration
·
mathematics
1
Eigenvalue homework problems are backward
(johndcook.com)
3 months ago ·
mathematics
·
aerospace
1
Trevisan Award for Expository Work
(windowsontheory.org)
3 months ago ·
mathematics
1
Mark Jason Dominus: Almost-trivial theorems
(blog.plover.com)
4 months ago ·
mathematics
·
math olympiad
1
Gödel, Lean, Fra Angelico, Schubert
(logicmatters.net)
4 months ago ·
mathematics
·
formal verification
1
Essentials of Complex Analysis: A Free, Interactive eTextbook from Wolfram Media
(blog.wolfram.com)
4 months ago ·
mathematics
·
physics
1
The Storm is Coming - with Hugo Duminil-Copin
(numberphile.com)
4 months ago ·
mathematics
1
TheoryFest 2026 Call for Workshops (guest post by Mary Wooters)
(windowsontheory.org)
4 months ago ·
math olympiad
·
mathematics
spaces
all
ai
sci fi
3d printing
aerospace
ai agents
algorithmic trading
amateur astronomy
animation
anthropology
api design
aquariums
archaeology
astrobiology
astrophysics
audio programming
behavioral economics
bioinformatics
birding
board games
cartography
category theory
cellular automata
chemistry
chess
climate science
cloud infrastructure
cognitive science
compilers
complexity
computer architecture
computer graphics
computer vision
conlangs
consciousness
containers
cpp
creative coding
cryptography
data engineering
data visualization
databases
decision theory
demoscene
design
devops
digital rights
distributed systems
ecology
economics
electronic music
elixir
embedded systems
energy
espresso
ethics
evolution
existentialism
exploit development
fermentation
film
finance
formal verification
forth
fpga
fractals
game dev
game theory
genetics
geology
git internals
go game
golang
ham radio
haskell
history
history of computing
history of science
homelab
horror
indie games
information design
information theory
internet culture
javascript
kotlin
linguistics
linux
lisp
lock picking
machine learning
malware analysis
manga
materials science
math olympiad
mathematics
mechanical keyboards
meditation
metaphysics
music theory
mycology
nanotechnology
networking
neuroscience
nix
nonduality
nuclear
number theory
observability
oceanography
open source
operating systems
paleoanthropology
pharmacology
phenomenology
philosophy
philosophy of mind
philosophy of science
photography
physics
pixel art
political philosophy
procedural generation
programming languages
puzzles
python
quantum computing
reinforcement learning
retrocomputing
reverse engineering
robotics
rust
security
self hosted
semiotics
shell scripting
site reliability
solo dev
sourdough
space exploration
speedrunning
standup comedy
statistics
swift
synths
tabletop rpg
technical writing
thermodynamics
topology
true crime
type theory
typescript
typography
urban exploration
vinyl
wasm
webdev
witsrtn
woodworking
worldbuilding
writing
zig