📐 Formal Methods - bdillo · Scour

rdin777/sentinel-mantle: Autonomous AI security agent for real-time invariant monitoring on Mantle Network. 📊Observability

github.com·7h·DEV

The Policy Picks the Policy 🌐Distributed Systems

noise2signal.bearblog.dev·4d

and Between the Two of Us, We Couldn't Spec-ify a Thing – SpecDD - Specification-Driven Development framework ⚙️Systems Programming

specdd.ai·3d·Hacker News

Verifying Humans Without Surrendering Identity: A Case Against Government-Issued Online Verification 🤝ACME Protocol

blog.trintler.me·3d·Hacker News

ScaleBox: Enabling High-Fidelity and Scalable Code Verification for Large Language Models 📝Programming Languages

ECAPI-talizing on Conversions with the Final ECAPI spec 🤝ACME Protocol

iabtechlab.com·4d

Secure AI and Agent Coding Policy 🤖AI

galdren.com·3d·Hacker News

xMin_ (3) Linux Manual Page ⚙️Systems Programming

systutorials.com·2d

The Data Layer Problem in Agentic AI — Why Your Agent Knows Everything Except What It Needs 🤖AI

docs.apitier.com·5d·DEV

Large Language Models are Not Table Saws 📝Programming Languages

agentultra.com·6d·Hacker News

Presentation: Building a Future-Proof Observability Platform to Empower Engineers 📊Observability

·6d

phonton-dev/phonton-cli: Open-source Phonton CLI: a local-first agentic development terminal with context packs, source handles, and verification gates. ⚙️Systems Programming

github.com·9h·DEV

Governing MCP tool calls in .NET with the Agent Governance Toolkit 📡Security Telemetry

devblogs.microsoft.com·3d

Assuring Comprehensive Security Coverage In Hardware Design 🔧Hardware

semiengineering.com·4d

apt-patterns (7) Linux Manual Page 🐧Linux Kernel

systutorials.com·1d

I Spent 45 Minutes Setting Up a Backend… Before Writing a Single Line of Logic ⚙️Systems Programming

workspai.com·5d·DEV

A Monadic Implementation of Functional Logic Programs 📝Programming Languages

Claude Code Routines: 8 Production Prompts, Real Costs, and Where They Break 🤖 ⚙️Systems Programming

linas.substack.com

Why a Decade of Writing Detection Logic Makes the Mythos Exploit Numbers Less Scary 🚨Threat Detection

magonia.io·6d·r/netsec

Cedar Language 📝Programming Languages

cedarpolicy.com·6d

Sign up or log in to see more results

Log in to enable infinite scrolling