🔐 Systems Hardening - matmat · Scour

Core Logic and Algorithmic Performance Enhancements for a System Vulnerability Analysis Technique for Complex Mission Critical Systems Implementation ✓Automated Theorem Proving

Effective testing techniques for developers to build resilient software 🧪Property-Based Testing

antithesis.com·15h·Lobsters

Safe Optimistic Lock Coupling ⚡Hardware Transactional Memory

databasearchitects.blogspot.com·1d·databasearchitects.blogspot.com, r/cpp

A nine-point checklist for shipping production-ready AI ✅Format Verification

thenewstack.io·14h

Exploiting Vulnerable Drivers 🛡️eBPF Security

textslashplain.com·1d

oss-security - Re: CVE-2026-31431: CopyFail: linux local privilege scalation 🔌Operating system internals

openwall.com·15h·Hacker News, r/programming

The Invisible Perimeter: A Comprehensive Guide to Network Device Hardening 🌐DNS Security

·4d

The Final Form of Software Development 📜Proof Carrying Code

blog.zksecurity.xyz·2d·Lobsters, Hacker News

Claude Mythos Finds Zero-Days—But Rust Quietly Shuts The Door 🔓Hacking

spectrum.ieee.org

·18h

The Feedback Loop in AI SDLC 🔍Concolic Testing

makersbreakers.substack.com·2d·Substack

Intent-Driven Development 💾Persistence Strategies

russellromney.com·6d·Hacker News

The FIX Triage Agent: Building a Local Reasoning Engine for Trading Infrastructure 🤖Network Automation

domgalati.substack.com·6d·Substack

Crab: A Semantics-Aware Checkpoint/Restore Runtime for Agent Sandboxes 💾Persistence Strategies

Secret Stealing Attacks on Local LLM Fine-Tuning through Supply-Chain Model Code Backdoors 🌊Stream Ciphers

FineState-Bench: Benchmarking State-Conditioned Grounding for Fine-grained GUI State Setting ✨Effect Handlers

On the Effectiveness of Modular Testing with EvoSuite 🧪Property-Based Testing

Structured Security Auditing and Robustness Enhancement for Untrusted Agent Skills 🎯Threat Hunting

SAFEdit: Does Multi-Agent Decomposition Resolve the Reliability Challenges of Instructed Code Editing? ⚡Proof Automation

MAS-SZZ: Multi-Agentic SZZ Algorithm for Vulnerability-Inducing Commit Identification 🤝Paxos Consensus

Beyond Single-Agent Alignment: Preventing Context-Fragmented Violations in Multi-Agent Systems 🤝Consensus Networks

No more posts from matmat's subscribed feeds.

Scour all 24433 feeds Learn more about Feeds

Log in to enable infinite scrolling