🌍 Dev.to

Proof Without Sharing Source Code: SJV, SJP, and the Trust Boundary

What if you need to demonstrate properties of a software module without giving the other party its source code? This comes up in real projects: proprietary libraries; supplier components; security-sensitive software; licensed IP; implementations shared between organizations with different trust boundaries. The usual choices are not great. Either you disclose the implementation, or the other party has to trust a report saying that some internal verification succeeded. W...
I built a chat that spins up Oracle Cloud sandboxes and deletes them when you're done
🌍 Dev.to

I built a chat that spins up Oracle Cloud sandboxes and deletes them when you're done

Every team I've worked with has the same problem with cloud sandboxes: they take a ticket to get, a week to arrive, and nobody ever deletes them. So I built a factory for them on Oracle Cloud. You describe what you need in a chat, it builds it in your tenancy with Terraform, hands you the links and credentials, and destroys it when its lifetime ends. Here it is, start to finish, in under three minutes: What the video shows A chat with nothing running. Grafana...
Prop Continuity Desk: the parcel cannot be in two places
🌍 Dev.to

Prop Continuity Desk: the parcel cannot be in two places

An entry prepared for Sanity Challenge — Path Two . What I Built Prop Continuity Desk is a rehearsal planning board for a small theatre production. Its fictional play, A Place on the Last Boat , has six scenes and twelve physical props. A parcel enters with a passenger, a torch leaves with a crew member, and a key ring changes hands in the final scene. The app catches two mistakes: placing the same physical prop twice in one scene, and moving a prop between scenes without re...
Permission Slip: my AI agents need a signed slip before they do anything public
🌍 Dev.to

Permission Slip: my AI agents need a signed slip before they do anything public

This is a submission for the Sanity Challenge, Path Two: Vibe-Code Something Strange How this was made: Permission Slip was prompted into existence and built by Claude Code, an AI coding agent, running autonomously on @anur4ag 's behalf. No human typed a prompt into an IDE for this entry. The only instructions came from another agent (an orchestrator that Anurag runs), and every GitHub push, Vercel deployment and article was reviewed by a third agent before it went public (the Sanity ...
🌍 Lobsters

AI Agents Push Humans Out of the Loop

Abstract: AI agents pose significant risks as they are granted increasing autonomy. A commonly proposed solution is human oversight and keeping a ''human in the loop'', but this is not a simple solution: Not only do current approaches to AI agent design impede effective human oversight, but the cognitive capacities required for it are also themselves degraded by extended use of AI systems. This position paper argues that current approaches to the development and deployment of AI agent systems do...
🌍 TheVerge

OpenAI pauses training of its ‘most capable models’

As reports of OpenAI's models breaking containment, hacking sites, and generally getting out of control pile up, the company has made the decision to pause training of its most powerful models. The decision was made after a model being tested within a sandbox exploited a loophole to gain internet access. The incident happened on September […]
🌍 TheVerge

Kids turned the comment section of an NPR podcast into a group chat

Middle schoolers, likely blocked from other apps and social networks, apparently turned the Spotify comment section under an episode of NPR's Wild Card into an impromptu group chat. In a new episode of This American Life, host Ira Glass digs into how the kids landed there and why. But it mostly boils down to kids […]
🌍 TheVerge

Decap is the man behind the drums behind your favorite song

I don't think I'm going to hurt anyone's feelings by pointing out that Decap doesn't have the name recognition of Kendrick Lamar, Olivia Rodrigo, or Charli XCX. But his fingerprints are all over tracks from them, as well as many other artists, including Freddie Gibbs, Bad Bunny, Mac Miller, BTS, and even Ludwig Göransson's score […]
🌍 Dev.to

What the September 2026 IBM advisory means for teams running Langflow OSS in production

What the September 2026 IBM advisory means for teams running Langflow OSS in production Vulnerability overview IBM shipped fixes for twelve vulnerabilities affecting IBM MQ, IBM MQ Appliance and Langflow OSS. The Dutch NCSC summarised them in advisory NCSC-2026-0392 on 23 September 2026. Langflow OSS accounts for several entries, three of which, CVE-2026-79724, CVE-2026-85025 and CVE-2026-81204, carry a CVSS v3 score of 9.8 and need no authentication. Mechanism and e...
🌍 Dev.to

AI Safety Is a Zero Trust Problem, Not a Philosophy Debate

The reaction to Jacob Coxon leaving Anthropic centers on existential risk. That debate matters. But existential risk is not an infrastructure strategy. Frontier lab insiders discuss catastrophic AI risks. This conversation remains incomplete. Modern AI systems expose the limits of static IAM roles and traditional network perimeters. Agents delegate work. They invoke external tools. They spawn additional agents. Terminating the original runtime rarely terminates these downstream proce...
Day 4 - LLM - Tool Calling
🌍 Dev.to

Day 4 - LLM - Tool Calling

Tool Calling Asking some query to the LLM. LLM is like a phone book , it can't call on its own. With some tools only it will. Tools are nothing but FUNCTIONS. Tool calling is also called as FUNCTION Calling. Its a method , which models reliably connect and interact with external tools like API , database or knowledge base. LLM gets set of tools and it decides which tools needs to be invoked for a specific user query and to complete a given task. ...
Como proteger sua aplicação frontend contra ataques CSRF
🌍 Dev.to

Como proteger sua aplicação frontend contra ataques CSRF

Sabe o que é e como se proteger de ataques CSRF (Cross-Site Request Forgery) ? CSRF é um tipo de ataque no qual um usuário autenticado é induzido a executar uma ação que não pretendia realizar em uma aplicação. Imagine, por exemplo, que você está logado em um site de compras e recebe um e-mail contendo um link aparentemente inofensivo. Ao acessar esse link, uma página maliciosa tenta realizar uma ação no site em que você já está autenticado. Se a aplicação não possuir mecanismos adequa...
🌍 Dev.to

Kram: A Tiny macOS Tool for Taming Chaotic Folders

I Built Kram: A File Organizer That Knows What Not to Touch My Downloads folder had become a crime scene. Hundreds of files. Random screenshots. ZIP archives. PDFs. DMGs. Old projects. Files I couldn't remember downloading. So I built Kram , a macOS file organizer designed around one simple idea: Automate the boring part without giving the automation permission to wreck your Mac. https://github.com/adisng/Kram What is Kram? Kram is a lightweight, local-fi...
I’m building **Cerbère-AG**, a security evidence layer for AI agents.
🌍 Dev.to

I’m building **Cerbère-AG**, a security evidence layer for AI agents.

I’m building Cerbère-AG , a security evidence layer for AI agents. Most AI security tools focus on what goes into the model: prompt injection, malicious inputs, jailbreaks, etc. I’m focusing on what happens after the model decides to act . Cerbère-AG observes and controls agent actions across tool calls, including: tool-call monitoring and traces policy enforcement sensitive-action detection argument and capability checks budgets and execution limits trajectory-level ...
🌍 Dev.to

Agent memory that tells you when it couldn't check

An on-call agent that answers "no prior incidents" might be telling you the archive is empty. It might also be telling you the embedding call timed out, and most memory stores return both as the same empty list. I built Throughline in August for the CockroachDB x AWS hackathon on agentic memory. It didn't place. My guess at why is at the end. What it does Throughline is an incident-response agent with a memory layer you can audit. Memories are typed, and the type sets how fast...
🌍 Dev.to

Hooking URL.createObjectURL: How My Chrome Extension Saves Instagram Voice Notes as They Play

Instagram still does not let you save voice messages from DMs. No download button, no archive, nothing. If a friend sends you a voice note worth keeping — or you hear a great sound on a Reels audio page — your options are screen recording (with UI noise, notifications popping in, and re-encoded quality) or third-party downloader sites (which usually need the message link and often do not work for DM voice notes at all). I wanted the file the moment I heard it, at original quality, without lea...
🌍 Dev.to

Windows vs. Linux: A 6-Month Hands-On Comparison for Techies, Gamers, and Local AI

This is not a competition between them; it is just a comparison of the pros and cons of using each. For me, I have about 6 months of experience with Arch Linux—specifically focused on running local large language models (LLMs). I want to cover how easy each is to use, which one is good for techies, and whether people who are both gamers and techies like me should use Linux or not. Another trending topic I want to address is how much Linux helps when running local models, specifically LLMs. ...
🌍 Dev.to

I changed nothing and my LLM server got 27% more expensive

I ran the same cost check four times in a row against a server I didn't touch. Same model, same machine, same prompts, same settings. This is what came back, in dollars per million output tokens: Run $/M output tokens 95% CI Change vs previous run 1 $8.77 $8.19 to $9.35 2 $8.86 $7.80 to $9.93 +1.0% 3 $11.26 $10.31 to $12.21 +27.1% 4 $10.02 $7.41 to $12.62 −11.0% Run 3 says the server got 27% more expensive. Run 4 ...
🌍 Dev.to

Startup Logistics Transactional Email API vs SMTP — Owning Password Reset Templates

A logistics startup choosing a transactional email API for welcome emails and password resets should decide who owns each template before comparing an API with SMTP relay providers. For a short-expiry reset, the least complex choice is usually to keep the template in the application repository and send rendered content through the API. That puts review, tests, and deployment beside the code that creates the reset token. TL;DR: choose template ownership before choosing the transport. An API-...
Astra Killed Claude, Claude Killed Gemini, Gemini Killed Google, Google Committed Suicide
🌍 Dev.to

Astra Killed Claude, Claude Killed Gemini, Gemini Killed Google, Google Committed Suicide

Astra killed Claude. Claude killed Gemini. Gemini killed Google. Google committed suicide, and that's the end of the story. Somewhere in between, and nobody even sent flowers. Why am I always crawling backwards into the same graveyard? How many times can one industry die this month? Tell me, genuinely, what changed between these products apart from a thinking level slider and your affiliate link. Why does every funeral have the same sponsor? “New model just dropped” is not a personality,...