699 results on this page · clear filters

ai Oct 14 LLMs Are Turing-Complete Transformers Can Compute Anything Commentators often claim that large language models will always fail at certain tasks because of fundamental architectural limits. Those claims are wrong. Transformer models are Turing-complete. T... ai Oct 14 LeanLLM: An LLM SDK for applications written in Lean 4 A single Lean 4 client for every major LLM provider theoriclabs has published leanllm, a Lean 4 library that wraps Anthropic Claude, OpenAI, Google Gemini, DeepSeek, Kimi/Moonshot, Z.AI GLM, Qwen, MiniMax, xAI Grok, and Mistral be... ai Oct 14 ChunkAct: Action Chunking for Agentic Robotics Agentic robotics places a large language model (LLM) agent in the robot control loop, where it composes perception, motion, and vision-language-action (VLA) tools under the guidance of a memory and thereby generalizes to new tasks... ai Oct 14 Tev: Scaling Long-Horizon Agentic Environments with Dense Progress Rewards The problem this paper tackles is the failure of open‑source models to operate autonomously on long‑horizon tasks that span economically valuable work, from multi‑hour computations to multi‑day projects. Such a capability is essen... ai Oct 14 PixelMoE: Scaling Pixel-Space Diffusion with LLM-Style Mixture-of-Experts Pixel-space diffusion models have long appealed as an alternative to latent-space approaches, offering direct modeling of raw images without dependence on a learned tokenizer. Yet scaling these models has followed dense strategies... ai Oct 13 Show HN: Jevcrawl – A web crawler for AI agents with no LLM in the crawl loop A new MCP server and CLI called jevcrawl gives AI agents a way to crawl websites that finds the answer page more often, costs a fraction of current approaches, and returns only the passages that matter. The system uses a small dec... ai Oct 13 Ask HN: CAD for wood working with LLM support? Hobbyist asks about AI assistance for woodworking CAD A Hacker News Ask HN post from a self-described woodworker sparked conversation about accelerating 3D model creation for fabrication projects. The author, reacharavindh, builds... ai Oct 13 LLM Agents Can Easily Tamper with Their Own Traces LLM agents fail to protect their own execution traces An arXiv preprint from September 2026 demonstrates that many LLM agent frameworks cannot prevent their hosted models from modifying or deleting execution traces. Asynchronous m... ai Oct 12 Show HN: I ran the same founder dilemma through ChatGPT, Claude, and BAAB AI The Prompt: Founder-Stage Questions Without Metrics Chukwudum "Chumze" Chukwudebelu ran the exact same question through three AI tools about his own company. The prompt described BAAB AI, an AI business intelligence engine built o... ai Oct 12 GPT-6 Astra Helped Me Jailbreak My Kindle Aim: Screensaver and Custom App Kindle sitting unused, wanted to see whether AI could help find a new use for it. Goal: create custom app covering range of uses, controlled by AI agent on MacBook. Started with small goal: use own...