🎒 Monad Nomad
Search
Search
Dark mode
Light mode
Explorer
Tag: paper
19 items with this tag.
19 Nov 2025
ZHT
paper
19 Nov 2025
What Lies in the Path of the Revolution
paper
ownership
agency
19 Nov 2025
Users Are Not The Enemy
paper
security
ux
19 Nov 2025
Type Systems as Macros
paper
19 Nov 2025
SIEVE is Simpler than LRU
paper
caching
19 Nov 2025
Reflections on trusting distributed trust
paper
security
TEE
trust
distributed
append-only-log
BFT
certificate-transparency
19 Nov 2025
New Directions in Cloud Programming
paper
distributed-systems
19 Nov 2025
Mergeable Replicated Data Types
paper
data-structure
distributed-systems
19 Nov 2025
Keep CALM and CRDT On
paper
19 Nov 2025
Ghosts of Departed Proofs
paper
functional-pearl
19 Nov 2025
Effects, Capabilities, and Boxes
paper
effect-system
capabilities
19 Nov 2025
Effect Handlers, Evidently
paper
effect-system
type-system
19 Nov 2025
Convergence of Datalog over (Pre-)Semirings
paper
datalog
19 Nov 2025
Combining Effects and Coeffects via Grading
paper
effect
coeffect
19 Nov 2025
Capsule-oriented Programming Summary Paper
paper
concurrency
distributed-systems
capsule-oriented
19 Nov 2025
Blind Signatures for Untraceable Payments
paper
cryptography
payments
19 Nov 2025
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
19 Nov 2025
AMBROSIA
distributed
failure
resiliancy
paper
19 Nov 2025
50 years in filesystems
history
paper
file-system