Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·5h·
Discuss: Lobsters, Hacker News, r/programming
📞Session Types
Reconciling Communication Compression and Byzantine-Robustness in Distributed Learning
arxiv.org·16h
🤝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·5d·
Discuss: www.blogger.com
🤝Distributed Consensus
Citrix fixed three NetScaler flaws, one of them actively exploited in the wild
securityaffairs.com·1h
🌐DNS Security
Securing FreeBSD Services with Lightweight Jails
discoverbsd.com·14h
🗄️File Systems
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·8h
✅Format Verification
Reimagining Web3 Interactions: How Gaia Powers Smart Token Creation on Linea with MetaMask Delegation Toolkit
dev.to·7h·
Discuss: DEV
🔒WASM Capabilities
Put a ring on it: a lock-free MPMC ring buffer
h4x0r.org·6h·
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·12h
🕸️Mesh Networking
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·5h·
Discuss: Hacker News
🛡️Error Boundaries
Literature Review of the Effect of Quantum Computing on Cryptocurrencies using Blockchain Technology
arxiv.org·16h
🔐Quantum Security
DIAC ∞ 2: A Post-Quantum, P=NP-Resistant Hybrid Encryption System
osf.io·3h·
Discuss: Hacker News
🔐Quantum Security
home server to host an ARK: Survival Ascended cluster, Minecraft server, and a NAS
reddit.com·3h·
Discuss: r/homelab
🏠HomeLab
Reversing a (not-so-) Simple Rust Loader | cxiao.net
cxiao.net·6h
🦀Rust Macros
Zero Trust Revisited
systemsapproach.org·1d
🕸️Mesh Networks
Stability Optimization and Analysis of Energy Flow Networks versus Different Centrality Measurement
arxiv.org·16h
🤝Consensus Algorithms
Multigres Architecture Overview
multigres.com·21h·
Discuss: Hacker News
🗄️Database Sharding
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·16h
🎯Performance Proofs