✅ Formal Verification - hop1.ng.1357 · Scour

argoproj/argo-cd v3.4.0-rc7 🪝eBPF

Mosaic: Practical Malicious Security for Garbled Circuits on Bitcoin 🔐Cryptography

eprint.iacr.org·6d

Behavioral security for AI agents, OS-level interception 🔧Agent Tooling

quintai.dev·1d·Hacker News

Article: The DPoP Storage Paradox: Why Browser-Based Proof-of-Possession Remains an Unsolved Problem 💉Prompt Injection

Cedar Language 🔁Finite Automata

cedarpolicy.com·3d

atomic_queue benchmarks SMT vs no-SMT performance 📦Container Runtimes

max0x7ba.github.io·1d·r/cpp, r/linux

Beyond Code Reasoning: A Specification-Anchored Audit Framework for Expert-Augmented Security Verification 🪝eBPF

I built a 21-agent manuscript pipeline, hit a wall I couldn't engineer past, and want to give the spec away. 🪄Prompt Engineering

kaizenrw.com·2d·r/PromptEngineering

Wasm is not quite a stack machine 📦WASM

purplesyringa.moe·4d·Lobsters, Hacker News, Hacker News, r/programming

OpenAI Debuts Symphony to Orchestrate Coding Agents at Scale 🔧Agent Tooling

Automaton-based Characterisations of First Order Logic over Infinite Trees 🔁Finite Automata

The fall of the theorem economy (David Bessis) 💭Reasoning Models

lesswrong.com·1d

Show HN: Distributed-correctness tests using Jepsen tooling pass on ArcadeDB 🎮Deterministic Simulation

arcadedb.com·3d·Hacker News

hpjansson/chafa 1.18.2 🪝eBPF

std::pointer_safety (3) Linux Manual Page 📟Terminals

systutorials.com·16h

[Pre-RFC] DNS domains as package namespaces 📦Software Supply Chain

internals.rust-lang.org·5d·r/rust

Templates in Rewriting Induction ✨LLMs

Rethinking SQL ETL for modern data platforms 🌍Distributed Systems

databricks.com·1d

Free trust & safety checker for vibe coded sites.. Would love feedback 🛡️Content Moderation

surmado.com·1d·r/vibecoding

We scanned 54 MCP servers and found 20 bugs. Here's what breaks. 🪝eBPF

blackwell-systems.github.io·3d·r/mcp

Sign up or log in to see more results

Log in to enable infinite scrolling