🎒 Monad Nomad
Search
Search
Dark mode
Light mode
Explorer
Home
❯
Papers
Folder: Papers
27 items under this folder.
14 Aug 2025
What Lies in the Path of the Revolution
paper
ownership
agency
14 Jul 2024
Runtime Verification for Decentralised and Distributed Systems
18 May 2024
Beehive — O(1) Lookup Performance for Power-Law Query Distributions in Peer-to-Peer Overlays
paper
distributed-hash-table
performance
replication
peer-to-peer
flash-crowds
17 May 2024
50 years in filesystems
history
paper
file-system
17 May 2024
AMBROSIA
distributed
failure
resiliancy
paper
17 May 2024
Authenticated Append-only Skip Lists
data-structure
merklization
17 May 2024
Blind Signatures for Untraceable Payments
paper
cryptography
payments
17 May 2024
Capsule-oriented Programming Summary Paper
paper
concurrency
distributed-systems
capsule-oriented
17 May 2024
Combining Effects and Coeffects via Grading
paper
effect
coeffect
17 May 2024
Convergence of Datalog over (Pre-)Semirings
paper
datalog
17 May 2024
Convergence — Research for Practice Reboot
crdt
eventual-consistency
survey
17 May 2024
Differential Lambda Calculus
λ-calculus
17 May 2024
Differential dataflow
17 May 2024
Effect Handlers, Evidently
paper
effect-system
type-system
17 May 2024
Effects, Capabilities, and Boxes
paper
effect-system
capabilities
17 May 2024
EigenTrust++
17 May 2024
Ghosts of Departed Proofs
paper
functional-pearl
17 May 2024
Graffiti Networks
17 May 2024
Keep CALM and CRDT On
paper
17 May 2024
Mergeable Replicated Data Types
paper
data-structure
distributed-systems
17 May 2024
New Directions in Cloud Programming
paper
distributed-systems
17 May 2024
Reflections on trusting distributed trust
paper
security
TEE
trust
distributed
append-only-log
BFT
certificate-transparency
17 May 2024
SIEVE is Simpler than LRU
paper
caching
17 May 2024
Skip Ratchet
cryptography
hash
algorithm
17 May 2024
Type Systems as Macros
paper
17 May 2024
Users Are Not The Enemy
paper
security
ux
17 May 2024
ZHT
paper