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