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
420
Bockstein Spectral Sequences and Applications to the Tame Fontaine Mazur Conjecture
(arxiv.org)
1 month ago ·
number theory
·
mathematics
400
Small Lie algebras in the Verlinde category
(arxiv.org)
1 month ago ·
mathematics
·
category theory
350
Group completion via the action $\infty$-category
(arxiv.org)
1 month ago ·
category theory
·
mathematics
360
On Ishiki's Conjecture: $\mathrm{Met}(D)$ Is Not Completely Metrizable for $\lvert D\rvert=\aleph_1$
(arxiv.org)
1 month ago ·
topology
·
mathematics
320
Geometrize the nongeometric space
(arxiv.org)
1 month ago ·
mathematics
·
topology
300
Equationless quadratic Chabauty for non-split Cartan modular curves
(arxiv.org)
1 month ago ·
math olympiad
·
mathematics
300
$\mathrm{Mot}^{\mathrm{loc}}$ is not compactly generated
(arxiv.org)
1 month ago ·
category theory
·
mathematics
250
Spaces of subobjects as spectral spaces
(arxiv.org)
1 month ago ·
category theory
·
mathematics
260
The $C^*$--ISR Property for $\text{PSL}_n(\mathbb{Z})$
(arxiv.org)
1 month ago ·
mathematics
·
topology
220
Valued Mosaics
(arxiv.org)
1 month ago ·
category theory
·
mathematics
350
Mark Jason Dominus: There are two kinds of theorems
(blog.plover.com)
1 month ago ·
mathematics
·
math olympiad
280
Compositional Behavioral Semantics for State Abstraction in Reinforcement Learning
(arxiv.org)
1 month ago ·
category theory
·
mathematics
240
Anticyclotomic Iwasawa theory of CM elliptic curves at ramified primes
(arxiv.org)
1 month ago ·
number theory
·
mathematics
20
Un gelato di troppo
(internazionale.it)
1 month ago ·
political philosophy
·
mathematics
130
Inverse differential equations
(johndcook.com)
1 month ago ·
mathematics
·
aerospace
80
Relative Interval Tilting, Higher Auslander Staircase Corners and Rational Dyck Posets
(arxiv.org)
1 month ago ·
category theory
·
mathematics
35
On semi-stable integral models for Shimura varieties
(arxiv.org)
1 month ago ·
mathematics
·
number theory
35
Modularity of Higher Theta Series III: Proof of the Modularity Conjecture
(arxiv.org)
1 month ago ·
mathematics
·
number theory
15
Ritesh Sidhwani and Farhan Akhtar Launch Excel Origins, Initiative to Discover Filmmakers Under 30, as India’s Excel Entertainment Marks 25th Anniversary (EXCLUSIVE)
(variety.com)
1 month ago ·
indie games
·
mathematics
10
На фронті понад 250 боїв: ворог намагався вклинитись в оборону на Лиманському напрямку
(pravda.com.ua)
1 month ago ·
woodworking
·
mathematics
10
এসএসসিতে শতভাগ পাস ৬৬৯ শিক্ষাপ্রতিষ্ঠানে
(prothomalo.com)
1 month ago ·
mathematics
·
cryptography
220
How not to calculate cosine
(johndcook.com)
1 month ago ·
programming languages
·
mathematics
5
বাসের ধাক্কায় বরিশাল বিশ্ববিদ্যালয়ের শিক্ষার্থী নিহত, দ্বিতীয় দফায় মহাসড়ক অবরোধ
(prothomalo.com)
1 month ago ·
mathematics
·
political philosophy
40
Lenné-Dreieck in Berlin, Germany
(atlasobscura.com)
1 month ago ·
urban exploration
·
mathematics
70
The Irony of an Unnamed Medal
(quantumformalism.substack.com)
1 month ago ·
math olympiad
·
mathematics
30
Snapshots from ICM2026
(gilkalai.wordpress.com)
1 month ago ·
math olympiad
·
mathematics
15
Beyond Euclid #230
(beyondeuclid.substack.com)
1 month ago ·
math olympiad
·
mathematics
130
Ratio of metallic ratios
(johndcook.com)
1 month ago ·
math olympiad
·
mathematics
130
Mathematical alchemy
(johndcook.com)
1 month ago ·
math olympiad
·
mathematics
400
Non-coplanar unit distances
(11011110.github.io)
1 month ago ·
math olympiad
·
mathematics
120
Gottlob Frege
(plato.stanford.edu)
1 month ago ·
philosophy
·
mathematics
55
ICM 2026: A Magical Saturday Afternoon with Park, Braden and Proudfoot, and Meka
(gilkalai.wordpress.com)
1 month ago ·
math olympiad
·
mathematics
15
Beyond Euclid #229
(beyondeuclid.substack.com)
1 month ago ·
math olympiad
·
mathematics
280
Bounded Representations by $x^2+y^2-z^2$
(arxiv.org)
5 months ago ·
math olympiad
·
mathematics
162
Type Forcing
(june.kim)
5 months ago ·
category theory
·
mathematics
45
Learn Ring - 01. Why This Course?
(clojure-diary.gitlab.io)
5 months ago ·
lisp
·
mathematics
145
Geometric Criteria for 6-Functor Formalisms in the Setting of Pullback Formalisms
(arxiv.org)
5 months ago ·
mathematics
·
category theory
77
Minimal Weierstrass models and regular models of hyperelliptic curves
(arxiv.org)
5 months ago ·
number theory
·
mathematics
65
Furtherness in finite topological spaces
(arxiv.org)
5 months ago ·
topology
·
mathematics
42
Mahler's method and Carlitz logarithm
(arxiv.org)
5 months ago ·
number theory
·
mathematics
38
Classifying submodules over monoidal categories
(arxiv.org)
5 months ago ·
category theory
·
mathematics
165
A lesser-known characterization of the gamma function
(johndcook.com)
5 months ago ·
mathematics
·
math olympiad
8
У трьох областях – 6 загиблих та 27 поранених цивільних
(pravda.com.ua)
5 months ago ·
cryptography
·
mathematics
22
The triality of the twisted discrete trace formula for PGSO(8)
(arxiv.org)
5 months ago ·
number theory
·
mathematics
18
Close fields, affine Springer fibers and fundamental lemmas
(arxiv.org)
5 months ago ·
topology
·
mathematics
8
The non-abelian Leopoldt conjecture and equalities of $\mathcal{L}$-invariants
(arxiv.org)
5 months ago ·
mathematics
·
number theory
38
Formalization of QFT?
(math.columbia.edu)
5 months ago ·
physics
·
mathematics
112
beta omega is not hereditarily normal
(dantopology.wordpress.com)
5 months ago ·
category theory
·
mathematics
78
Powers don’t clear fractions
(johndcook.com)
5 months ago ·
mathematics
·
math olympiad
75
Mark Jason Dominus: Did Ahmes find the best expansions for 2/n?
(blog.plover.com)
5 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)
5 months ago ·
mathematics
·
math olympiad
105
The paradox of derivatives and integrals
(statmodeling.stat.columbia.edu)
6 months ago ·
mathematics
·
physics
128
Mathematics Distillation Challenge – Equational Theories
(terrytao.wordpress.com)
6 months ago ·
mathematics
·
math olympiad
18
LMA designs Jewish history museum as "dreamscape" of village destroyed in Holocaust
(dezeen.com)
5 months ago ·
creative coding
·
mathematics
5
Handball. Le Nantais Aymeric Minne forfait pour le prochain rassemblement de l’équipe de France
(ouest-france.fr)
5 months ago ·
mathematics
·
type theory
15
Умер философ Юрген Хабермас
(meduza.io)
6 months ago ·
mathematics
·
math olympiad
135
Inverse cosine
(johndcook.com)
6 months ago ·
math olympiad
·
mathematics
8
Champions Athlone held in Sligo as Shelbourne, Shamrock Rovers and Galway win openers
(the42.ie)
6 months ago ·
kotlin
·
mathematics
8
Pożar gazociągu pod Wrocławiem. 13 jednostek straży w akcji
(rmf24.pl)
6 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)
6 months ago ·
mathematics
18
The Mathematical Curriculum
(mkprc.xyz)
6 months ago ·
mathematics
·
math olympiad
105
The Axiom of Univalence
(bartoszmilewski.com)
6 months ago ·
type theory
·
mathematics
78
sinh( arccosh(x) )
(johndcook.com)
6 months ago ·
math olympiad
·
mathematics
68
Simplifying expressions in SymPy
(johndcook.com)
6 months ago ·
mathematics
·
math olympiad
35
Scott Aaronson’s View of my View About Quantum Computing
(gilkalai.wordpress.com)
6 months ago ·
math olympiad
·
mathematics
28
Game of Polynomials — RMM 2024 Shortlist A4
(dgrozev.wordpress.com)
6 months ago ·
math olympiad
·
mathematics
65
Separable but not Lindelof examples from Steen and Seebach
(dantopology.wordpress.com)
6 months ago ·
topology
·
mathematics
50
How much certainty is worthwhile?
(johndcook.com)
6 months ago ·
math olympiad
·
mathematics
12
Fredo Valla, Occitanist.
(languagehat.com)
6 months ago ·
semiotics
·
mathematics
42
BSD Invariants and Murmurations of Elliptic Curves
(arxiv.org)
6 months ago ·
mathematics
·
math olympiad
18
Complete Diagrammatic Axiomatisations of Relative Entropy
(arxiv.org)
6 months ago ·
information theory
·
mathematics
42
Weyl Spinor Fields and Right-handed Spacetime
(math.columbia.edu)
6 months ago ·
physics
·
mathematics
72
The Theory behind UMAP?
(arxiv.org)
6 months ago ·
mathematics
·
category theory
18
Particles before symmetry
(arxiv.org)
6 months ago ·
physics
·
mathematics
12
Awantura wokół meczu Śląsk Wrocław – Wisła Kraków. Będzie obustronny walkower?
(sport.rp.pl)
6 months ago ·
mathematics
·
category theory
12
Minimal Projective Resolutions, M\"obius Inversion, and Bottleneck Stability
(arxiv.org)
6 months ago ·
mathematics
·
category theory
12
On Vector Spaces with Formal Infinite Sums
(arxiv.org)
6 months ago ·
category theory
·
mathematics
12
Homodular pseudofunctors and bicategories of modules
(arxiv.org)
6 months ago ·
category theory
·
mathematics
12
Nielegalne aborcje w gdańskim szpitalu? Prokuratura wszczyna śledztwo
(rmf24.pl)
6 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)
6 months ago ·
math olympiad
·
mathematics
12
Silting reduction, relative AGK's construction and Higgs construction
(arxiv.org)
6 months ago ·
category theory
·
mathematics
12
Generalized Gorenstein Categories
(arxiv.org)
6 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)
6 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)
6 months ago ·
topology
·
mathematics
12
Transformations and functions that preserve the asymptotic mean of digits in the ternary representation of a number
(arxiv.org)
6 months ago ·
math olympiad
·
mathematics
12
A stabilizer interpretation of the (extended) linearized double shuffle Lie algebra
(arxiv.org)
6 months ago ·
mathematics
·
math olympiad
42
Applied Category Theory and Green Mathematics
(johncarlosbaez.wordpress.com)
6 months ago ·
mathematics
·
category theory
18
Кох заявил о финансовых просьбах Навального | cross-cutting
(meduza.io)
6 months ago ·
algorithmic trading
·
mathematics
42
Can the Most Abstract Math Make the World a Better Place?
(quantamagazine.org)
6 months ago ·
mathematics
·
category theory
12
Трамп решил уволить Кристи Ноэм с поста министра внутренней безопасности США
(meduza.io)
6 months ago ·
mathematics
·
cryptography
12
Второй фронт войны США и Израиля с Ираном — это Ливан. Что там происходит? Правительство Ливана фактически поддерживает вторжение на свою территорию
(meduza.io)
6 months ago ·
mathematics
·
cryptography
12
Pevnosť Bzovík in Bzovík, Slovakia
(atlasobscura.com)
6 months ago ·
mathematics
·
category theory
12
3-Crossed modules, Quasi-categories, and the Moore complex
(arxiv.org)
6 months ago ·
category theory
·
mathematics
12
Super-decomposable pure-injective modules over some Jacobian algebras
(arxiv.org)
6 months ago ·
mathematics
·
category theory
12
Explicit p-adic Hodge theory for elliptic curves and non-split Cartan images
(arxiv.org)
6 months ago ·
mathematics
·
number theory
12
Polarized superspecial abelian varieties over $\mathbb{F}_p$ via hermitian lattices
(arxiv.org)
6 months ago ·
mathematics
·
number theory
12
Lubin's conjecture for height-one $p$-adic dynamical systems over $(p^2-p)$-tame extensions
(arxiv.org)
6 months ago ·
number theory
·
mathematics
12
Strong Approximation for the Character Variety of the Four-Times Punctured Sphere
(arxiv.org)
6 months ago ·
mathematics
·
math olympiad
12
Three Questions of Erd\H{o}s-Nathanson on Asymptotic Bases of Order 2
(arxiv.org)
6 months ago ·
math olympiad
·
mathematics
12
Semistable intrinsic reduction loci for the iterations of non-archimedean quadratic rational functions
(arxiv.org)
6 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