Type-safe Storage, Verified Preservation, Format Correctness, Proof-carrying Data
Understanding Brotli PDF Compression
pdfa.org·4d
Fortnight notes: 16 – 29 June
neilojwilliams.net·1d
Accelerating Cloud Cryptography: Optimizing AWS-LC with Intel’s AVX-512
infosecwriteups.com·1d
FairMarket-RL: LLM-Guided Fairness Shaping for Multi-Agent Reinforcement Learning in Peer-to-Peer Markets
arxiv.org·2h
Loading...Loading more...