artificial
artificial

What are the remaining bottlenecks to frontier AI causing mass unemployment post Fable 5 and Gpt 5.6?

I don't understand why we haven't yet seen much worse job numbers and stuff. Fable 5 and GPT 5.6 can according to benchmarks do the vast majority of tasks that make up most of the white collar workforce. Even if you want to say that there is li…

I built a proxy that prevents AI agents from taking actions based on hidden instructions. Here are the numbers.

When an AI agent reads a webpage, email, or document, that content can tell it what to do. The agent has no native way to distinguish data from instructions. Most defenses scan for obvious patterns and miss anything subtle. I built Arc Gate around a di…

Claude Code catastrophe: Entire project recursively deleted while prompting in Chinese (full video + logs)

Cross-posting from r/claude for more visibility. Claude Code recursively wiped the contents of my local Electron project root. This happened in a Windows terminal while working on a project named Orpheus. My prompt did not ask it to delete, wipe,…

Why does it feel like big LLM providers are literally hiding prompt caching?

I know the info is there. Somewhere in the pricing pages, docs, or API notes. But for something that can seriously change what you pay in production, it is weirdly under-explained. expeciely for other providers than openai which they do have decent exp…

If you give an AI agent your real data and a send button, it will eventually leak. I built a workspace that makes that structurally impossible.

Author here. Sharing an architecture idea more than a product, because I think the threat model is under-discussed. There is a failure mode people call the lethal trifecta: an agent with access to private data, exposure to untrusted input, and the abil…

AI instruction-following is optional, what I learned building a visual editor that depends on precise code structure

submitted by /u/FickleSwordfish8689 [link] [comments]

It’s great to see how automated theorem proving is moving from a niche tool to solving real math problems

I used to think formal methods and interactive theorem provers like Lean 4 were basically just an extreme sport for type-theory purists. Like cool in theory, but mostly used for re-verifying undergraduate calculus or writing super tedious proofs for th…

What evidence should AI coding agents leave before saying “done”?

I’m the maker of Superloopy, a small MIT-licensed workflow layer for Codex and Claude Code. I built it around a problem I kept running into with coding agents: after a long task, the final answer often sounds confident, but the human still has to…

Reliability is becoming the actual axis the serious AI releases compete on, not how smart they sound

Stepping back from the week to week model drops, there is a shift in what the serious AI releases are even trying to sell, and it is worth understanding if you follow this space casually rather than building on it. The first wave of the generative boom…

What’s the best Amharic text to speech today?

I'm looking for an Amharic text-to-speech service that sounds natural enough for YouTube narration. ​I've tried a few options like elevenlabs,speechify but non of them support amharic. ​If you've used one for videos, which service gave you …