Reddit

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 ability to send externally. Any two are recoverable. All three together means a hostile instruction hidden in an email can make the agent exfiltrate your data with nobody in the loop. You cannot remove the first two without gutting the assistant. I...
Reddit

We built a model that scores pitch delivery, not just the script

Transcript-based pitch scoring can't tell the difference between a confident claim and a hedged one, because the words on the page can be identical. "We're growing 40% month over month" reads the same whether you believe it or not. We built a demo that streams video to Inter-1 in real time and scores delivery signals (confidence, hesitation, energy) alongside a content score, each signal tied to the exact moment it happened. Tested it on my own pitch. Content scored 87. Delivery ca...
Reddit

What's one AI feature that quietly became part of your daily routine?

Not the flashy stuff like generating images or writing essays. I'm talking about the feature you barely think about anymore because it's just become useful. For me, it's summarizing long articles and emails. I didn't expect to rely on it this much a year ago. What's yours?
Reddit

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 the best results? ​I'm fine with both paid and free recommendations.
Reddit

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 things we already knew were true anyway But seeing the shift right now (at least around me and these subs) has been pretty cool. Machine learning and neural provers are actually starting to uncover edge cases that human mathematicians just skipped ...
HackerNews

Meta looks to turn excess AI compute into cash

Article URL: https://techcrunch.com/2026/07/01/meta-like-spacex-looks-to-turn-excess-ai-compute-into-cash/ Comments URL: https://news.ycombinator.com/item?id=48747139 Points: 2 # Comments: 0
HackerNews

AI Sped Up Coding Faster Than It Sped Up Delivery

Article URL: https://www.builder.io/blog/ai-sped-up-coding-faster-than-it-sped-up-delivery Comments URL: https://news.ycombinator.com/item?id=48747353 Points: 1 # Comments: 0
HackerNews

AI startups: Sell work, not software

Article URL: https://www.sarahtavel.com/p/ai-startups-sell-work-not-software Comments URL: https://news.ycombinator.com/item?id=48748042 Points: 1 # Comments: 2
HackerNews

Welcome to the Dual State of AI Regulation

Article URL: https://www.thefunsinthefight.com/p/welcome-to-the-dual-state-of-ai-regulation Comments URL: https://news.ycombinator.com/item?id=48748447 Points: 2 # Comments: 0
HackerNews

Who Thrives Using AI

Article URL: https://www.theatlantic.com/ideas/2026/06/ai-open-ai-anthropic/687689/ Comments URL: https://news.ycombinator.com/item?id=48748476 Points: 1 # Comments: 0
HackerNews

AI-native workflows have a moat problem

Article URL: https://ai.gopubby.com/ai-native-workflows-have-a-moat-problem-49992bcc3088 Comments URL: https://news.ycombinator.com/item?id=48748492 Points: 1 # Comments: 0
Reddit

Why do we trust AI answers simply because they sound confident?

Over the last few months, I've been thinking about one question: Why do we trust AI answers simply because they sound confident? In many domains, that confidence is harmless. But in finance, a single incorrect number can influence lending decisions, covenant monitoring, portfolio reviews, or risk assessments. The problem isn't that AI makes mistakes. Humans do too. The problem is that today's AI systems rarely show why a financial claim should be trusted. That realization led m...
Reddit

Prompt injection broke every agent system I built so I designed a gateway that separates instructions from data

While building agent-based systems with LLM tool use, I kept running into the same failure mode: External content (webpages, files, API responses) would eventually influence agent behavior in unintended ways. Prompt injection isn’t just a “filtering problem” it’s an architectural one. So I built Sentinel Gateway , a middleware layer that sits between agents and tools and enforces a strict separation: Instruction channel (trusted, signed, runtime-issued only) Data channel (untrus...
Reddit

which of this month's ai releases changed your actual workflow, not just your feed

feels like every week this month theres a new model or a new robot demo and the feed just resets. sonnet 5, geminis video editing thing, the ubtech robots, whatever fable ends up being once its back. curious which of these actually changed something in your day to day versus which ones you watched a demo of once and moved on from.