Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·12h·
Discuss: Lobsters, Hacker News, r/programming
📞Session Types
Reconciling Communication Compression and Byzantine-Robustness in Distributed Learning
arxiv.org·23h
🤝Consensus Algorithms
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·1d
🔲Cellular Automata
Cabinet: Dynamically Weighted Consensus Made Fast
muratbuffalo.blogspot.com·6d·
Discuss: www.blogger.com
🤝Distributed Consensus
Citrix fixed three NetScaler flaws, one of them actively exploited in the wild
securityaffairs.com·8h
🌐DNS Security
Securing FreeBSD Services with Lightweight Jails
discoverbsd.com·21h
🗄️File Systems
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·15h
✅Format Verification
Reimagining Web3 Interactions: How Gaia Powers Smart Token Creation on Linea with MetaMask Delegation Toolkit
dev.to·14h·
Discuss: DEV
🔒WASM Capabilities
Put a ring on it: a lock-free MPMC ring buffer
h4x0r.org·12h·
Discuss: Lobsters, Hacker News, r/programming
⚡Hardware Transactional Memory
Blackout Comms Cluster – A pre-configured off-grid LoRa texting and GPS system with cryptographic security
cnx-software.com·19h
🕸️Mesh Networking
Huawei Presents UB-Mesh Interconnect for Large AI SuperNodes at Hot Chips 2025
servethehome.com·4h
🕸️Mesh Networks
Trust Spanning Protocol (TSP) Specification
trustoverip.github.io·1d·
Discuss: Hacker News
🌳Archive Merkle Trees
Thoughts on systems thinking and production excellence from Release It
stevenoxley.com·12h·
Discuss: Hacker News
🛡️Error Boundaries
Azure apparatchik shows custom silicon keeping everything locked down
theregister.com·6h
🔐HSM Integration
Literature Review of the Effect of Quantum Computing on Cryptocurrencies using Blockchain Technology
arxiv.org·23h
🔐Quantum Security
DIAC ∞ 2: A Post-Quantum, P=NP-Resistant Hybrid Encryption System
osf.io·10h·
Discuss: Hacker News
🔐Quantum Security
home server to host an ARK: Survival Ascended cluster, Minecraft server, and a NAS
reddit.com·10h·
Discuss: r/homelab
🏠HomeLab
Reversing a (not-so-) Simple Rust Loader | cxiao.net
cxiao.net·13h
🦀Rust Macros
Stability Optimization and Analysis of Energy Flow Networks versus Different Centrality Measurement
arxiv.org·23h
🤝Consensus Algorithms
Multigres Architecture Overview
multigres.com·1d·
Discuss: Hacker News
🗄️Database Sharding