🔒 S2N-QUIC - hello · Scour

Lessons from Formally Verified Deployed Software Systems (Extended version)

arxiv.org·1d

Lambda Durable Functions - Keeping your Payloads Secure

dev.to·7h·

Discuss: DEV

Rust async combinators for elegant and secure concurrency

kerkour.com·1d·

Discuss: r/rust

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🔍eBPF Verifier

AI AWS Diagram Generator

eraser.io·15h

📊Earley Parser

datahaven-xyz/datahaven: An EVM compatible Substrate chain, powered by StorageHub and secured by EigenLayer

github.com·7h

🎚️Tiered Storage

Robust Verification of Concurrent Stochastic Games

arxiv.org·1d

✅Model Checking

Enabling autonomous agents with environment virtualization

thenewstack.io·11h

**Abstract:** This research proposes a novel system, the Recursive Proof Verification Engine (RPVE), that dramatically accelerates the verification of theore...

freederia.com·2d

🧮SMT Solvers

0-RTT Replay: The High-Speed Flaw in HTTP/3 That Bypasses Idempotency

instatunnel.my·1d·

Discuss: r/javascript, r/programming

📡QUIC Loss Detection

Setting Up A Cluster of Tiny PCs For Parallel Computing - A Note To Myself

kenkoonwong.com·14h·

Discuss: Hacker News

How bunq handles 97% of support with Amazon Bedrock

aws.amazon.com·15h

🌳Tree-sitter

AWS Lambda From Scratch

forgestream.idverse.com·2d·

Discuss: r/rust

Amazon shopping automation without vision: verification gate+local model (3B)

news.ycombinator.com·18h·

Discuss: Hacker News

⚡X-Fast Tries

Building a Self-Healing Data Pipeline That Fixes Its Own Python Errors

towardsdatascience.com·20h

Verifying a Quantum State More Efficiently

link.aps.org·1d

⚛️Quantum Computing

Vitalik Buterin proposes simpler ‘distributed validator’ staking for Ethereum

coindesk.com·20h

🐅TigerBeetle Protocol

Introducing ethlambda: A Lean Consensus Client for Ethereum's Next Era

blog.lambdaclass.com·1d

PyPI Package Impersonates SymPy to Deliver Cryptomining Malware

socket.dev·20h

🔓Binary Exploitation

Inside Zoomex: What "Proof Over Promises" Means in Practice

prnewswire.com·1d

🔮Folly Futures

Loading more...