Catalog of reliability properties for blockchains (Antithesis)
antithesis.com·2h·
Discuss: Hacker News
🤝Distributed Consensus
Flag this post
A Soft‑Fork Proposal for Blockchain‑Based Distributed AI Computation
hackernoon.com·9h
🤝Consensus Algorithms
Flag this post
Byzantine Attacks in RIS-Enhanced Cooperative Spectrum Sensing: A Decision Fusion Perspective
arxiv.org·15h
🛡️Byzantine Fault Tolerance
Flag this post
Build a Trust Zone Protected IoT Device (Trust Raspberry PI)
pixelstech.net·13h
🛡️ARM TrustZone
Flag this post
Generalized Consensus: Consistent Reads
multigres.com·1d·
Discuss: Hacker News
🏛️Byzantine Archiving
Flag this post
Reflections on Trusting Trust (1984)
web.archive.org·1d·
Discuss: Hacker News
📜Proof Carrying Code
Flag this post
Quantum-Resistant Federated Learning: Implementing Post-Quantum Cryptography in Cross-Silo Model Aggregation
dev.to·10h·
Discuss: DEV
🔐Quantum Security
Flag this post
ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.com·1d·
Discuss: Hacker News
🎯Performance Proofs
Flag this post
Valuable News – 2025/11/03
discoverbsd.com·5h
🔌Operating system internals
Flag this post
kadena-io/pact-5
github.com·18h
🔓Open Source Software
Flag this post
Detecting XZ in Debian with Otto Kekäläinen
opensourcesecurity.io·20h
❄️Nixpkgs
Flag this post
Beating XLoader at Speed: Generative AI as a Force Multiplier for Reverse Engineering
research.checkpoint.com·6h
🦠Malware Analysis
Flag this post
Ehxb | Race Conditions Vulnerabilities I
infosecwriteups.com·11h
🎫Kerberos Attacks
Flag this post
The Constrained Application Protocol (CoAP)
datatracker.ietf.org·2h·
Discuss: Hacker News
🌐NetworkProtocols
Flag this post
What does the ideal information environment look like?
defenderofthebasic.substack.com·3h·
Discuss: Substack
🐚Shell Calculus
Flag this post
Introdution to cloud-init and bridge networking
h45h.gitlab.io·6h·
Discuss: r/homelab
🏠HomeLab
Flag this post
What is a distribution? Top 5 functions of a distro:
medium.com·35m
🔗Dependency Resolution
Flag this post
Build your own GPG in Rust
andrewhalle.github.io·7h·
Discuss: Hacker News
🌳Archive Merkle Trees
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·9h·
Discuss: Lobsters
⚖️Verification Calculi
Flag this post
Absurd Workflows: Durable Execution With Just Postgres
lucumr.pocoo.org·20h·
🌊Streaming Databases
Flag this post