miniblog.

← Back to all posts
Jun 1, 2017 at 22:06
A study on the correctness of formally verified distributed systems: https://blog.acolyer.org/2017/05/29/an-empirical-study-on-the-correctness-of-formally-verified-distributed-systems/ Great paper looking at bugs in verified systems

Related Posts

Jun 25, 2020 at 02:11
IPFS is a really nice distributed filesystem that is slowly growing in popularity. Netflix has found a good use case: container image distribution. https://containerjournal.com/topics/container-management/ipfs-emerges-as-tool-to-distribute-container-image I'm slightly reminded of Usenet: just download content from the nearest server!
IPFS Emerges as Tool to Distribute Container Images
IPFS Emerges as Tool to Distribute Container Images
Contributors to the InterPlanetary File System (IPFS) have come up with a more efficient way to distribute container images. IPFS is a distributed file
Dec 12, 2019 at 01:46
Why are papers still primarily distributed as PDFs? It seems to be easier to generate a PDF from HTML than the reverse. I'm a big fan of arxiv-vanity but it's awkward reading other papers in handheld devices.
Oct 6, 2019 at 23:12
Remarkable research exploring the design of a distributed VPN using zero knowledge proofs to allow nodes to choose permitted traffic whilst preserving privacy:
VPN⁰: A Privacy-Preserving Distributed Virtual Private Network | Brave
VPN⁰: A Privacy-Preserving Distributed Virtual Private Network | Brave
This research presents VPN⁰, the first distributed virtual private network offering a privacy preserving traffic authorization and validation mechanism.