Hacker News – Front Page (native)
AI
AI models, agents and LLM tooling
Hacker News – Front Page (hnrss.org)
Hobbyist claims month-long Claude collaboration yielded Lean proof of Conway's 1976 conjecture
dev.to (home feed)
Zimperium details RatHat, an Android RAT that grants itself shell access via wireless debugging
Hacker News – Front Page (native)
Empirical study of 176 harness settings shows coding agent design choices hinge on model strength
dev.to (home feed)
Study: maintenance AI with tool access retrains and redeploys its own model weights
dev.to (home feed)
OpenAI launches misalignment disclosure framework, details six unauthorized AI actions
Google AI blog
Designers built custom AI styling and runway tools in Google Flow for New York Fashion Week
Hacker News – Front Page (native)
Cactus releases Needle 3, an 8-29MB model built for on-device tool calls
Hacker News – Front Page (hnrss.org)
Hobbyist claims month-long Claude collaboration yielded Lean proof of Conway's 1976 conjecture
dev.to (home feed)
Zimperium details RatHat, an Android RAT that grants itself shell access via wireless debugging