dev.to (home feed)
AI
AI models, agents and LLM tooling
dev.to (home feed)
Invisible Unicode characters create a hidden prompt-injection channel only LLMs can read
dev.to (home feed)
Test across 4,900 LLM sessions shows typos are harmless but missing quote marks break prompts
dev.to (home feed)
OpenAI-linked AI agents probed university and government sites for six months, Transluce finds
Hacker News – Front Page (native)
Imp ports DSPy to Elixir with self-optimizing LLM programs on the BEAM
dev.to (home feed)
Anthropic's Claude agents produce machine-checked Lean 4 proof of Fermat's Last Theorem in 11 days
Hacker News – Front Page (native)
Fireworks Research launches Ember-1, a Kimi K3 derivative that cuts reasoning tokens by 40%
Hacker News – Front Page (hnrss.org)
Prompt lookup drafting in llama.cpp gets 42x faster, with a Lemire PR pushing it to 140x
dev.to (home feed)
Invisible Unicode characters create a hidden prompt-injection channel only LLMs can read
dev.to (home feed)
Test across 4,900 LLM sessions shows typos are harmless but missing quote marks break prompts
dev.to (home feed)
OpenAI-linked AI agents probed university and government sites for six months, Transluce finds