π The Monad Nomad
Search
Search
Search
Dark mode
Light mode
Explorer
π Blog
π Quartzification
π Brooke's Talks
π A Distributed File System for Secure P2P Applications
π A Universal "Hostless" Substrate β Antwerp Edition
π A Universal "Hostless" Substrate for a Post-Serverless Future
π A Whirlwind Tour of Elixir
π Abstract Alchemy
π An Introduction to UCAN
π Authorizing Users Without a Backend
π BEAM to the Future β 2022 Edition
π BEAM to the Future β Old Ideas Made New
π Better Together β IPVM for an Open World
π Bridging the Divide β A Philosophy of Library Design
π Buffer Whirlwind Tour of Elixir
π Burn Your Laurels
π CAR Pool and More
π Decentralized Authentication
π Decentralized Computation, Storage & Smart Contract System Design
π Decentralizing Auth, and UCAN Too
π Early Fission Deck
π ECIP 1050 Presentation
π ERC-1066 β Better UX & DX in Just One Byte
π Escape from Flatland
π EVM Evolution
π EVM Improvements β Performance & Safety
π Exceptional β Staying on the Happy Path
π Feeling the Local-First Elephant
π Fireside chat on bringing more FP to Elixir
π Fission 2020 Technical Roadmap
π Fission CLI Linking Preview
π Full Stack Web Apps Without a Backend, and More!
π How you can authenticate users safely without a backend?
π Identity, Capabilities, and Private Data
π IPFS 101 & the Next-Gen Web (Nanaimo Edition)
π IPFS 101 Talk
π IPFS, DIDs, and Fission
π IPVM β Content Addressed Compute for an Open World
π IPVM β Seamless Services
π IPVM β The IPFS Execution Layer
π IPVM β The Long Fabled Execution Engine
π Living On the Edge
π Local-First Key Agreement with Hierarchical Hashing (2022)
π Love Potion No. 9
π Seamless Services for an Open World
π Smart Contract as a Service β Using Messages to Share Contracts
π Technical Overview of the Web Native File System
π The Dark Forest β Private CRDTs as Global Database
π The Edge of Tomorrow
π The Jump to Hyperspace (ElixirConf)
π The Jump to Hyperspace (YOW!)
π The Mess We're (Still) In
π The State of the IPFS DevTools Ecosystem
π The Tyranny of Structurelessness (Amsterdam)
π The Tyranny of Structurelessness (Virtual)
π The Unreasonable Effectiveness of Monads
π The Webnative Stack (Iceland)
π UCAN β How to Make the Internet Web3 from the Inside Out
π UCAN + WNFS for Filecoin
π UCAN Build Apps with IPFS
π UCAN Control Your Stuff
π UCAN Decentralize Auth
π UCAN Too (2023)
π Universal Hostless Substrate β Calgary Edition
π Universal Hostless Substrate β Fernie
π Web3 for Fun and Profit
π WebNative β How to put a full stack directly in the browser
π Webnative File System (July 2022)
π Why a Content Addressed Alliance
π Witchcraft βΒ Lessons from Porting Monads to Elixir
π Witchcraft β Monads for the Working Alchemist
π WNFS β Beyond UnixFS
π WNFS at Fission Tech Talks
π WNFS at IPFS Security WG
π WNFS File Sharing Preview (2021)
π Conferences & Meetups
π BlueYard x EthCC (On Off) Chain
π CascadiaJS
π CascadiaJS 2021
π CascadiaJS 2022
π Causal Islands 2023
π Clojure Conj
π Clojure Conj 2023
π CodeBEAM
π CodeBEAM 2023
π CodeBEAM A CoruΓ±a
π CodeBEAM Amsterdam 2019
π CodeBEAM EU 2021
π CodeBEAM EU 2022
π CodeBEAM SF 2020
π CodeBEAM Virtual 2020
π Compute Over Data Summit
π Compute Over Data Summit 2022
π Compute Over Data Summit 2023
π Decentralized Web Meetup
π Devcon
π Devcon IV
π Devcon V
π Distributed Systems Reading Group
π ECOOP22
π Elixir Daze
π Elixir Daze 2018
π ElixirConf
π ElixirConf 2021
π ElixirLDN
π Empex
π Empex NYC 2018
π High Performance Transaction Systems
π High Performance Transaction Systems 2022
π IPFS Camp
π IPFS Camp 2022
π IPFS ΓΎing
π IPFS ΓΎing 2022
π IPFS ΓΎing 2023
π Lambda Days
π Lambda Days 2019
π Local-First Conference (2024)
π NixCon
π NixCon 2023
π Γredev
π Γredev 2019
π Speakeasy JS
π SPLASH
π SPLASH '23
π Strange Loop
π Strange Loop 2022
π Strange Loop 2023
π The Big Elixir
π The Big Elixir 2018
π YOW!
π YOW! 2023
π Food
π BBQ Beans
π Bolognese
π Cajun Spice
π Cold Seared Steak
π Log
π 2024
π W21
π W22
π W23
π W24
π W25
π W26
π Notes
π 3Blue1Brown
π Appa
π Authomerge
π BEAM
π Bidirectional typing
π Bluesky
π Conference Talk
π COVID-19
π CRDT
π Database
π Distributed systems
π Elixir
π Fission Codes
π Haskell
π im
π Kagi
π Local-first
π Local-first software (article)
π Local-First Summit 010
π Monodraw
π Mutually Assured Education
π Nebula (video site)
π Nix
π number zero
π Paper
π Papers
π Programming Language
π programming language theory
π Programming Local-First 2023
π Quartz
π Serenity Notes
π sΙlilwΙtaΙ¬
π SαΈ΅wxΜ±wΓΊ7mesh
π Smokey the Cat
π Stenography
π UBC Garden
π User Controlled Authorization Networks
π vancouver.dev
π Wardley Map
π Wave (Software)
π Witchcraft (Elixir Library)
π Witchcraft Software (Company)
π xΚ·mΙΞΈkΚ·ΙyΜΙm
π Papers
π 50 years in filesystems
π AMBROSIA
π Authenticated Append-only Skip Lists
π Beehive β O(1) Lookup Performance for Power-Law Query Distributions in Peer-to-Peer Overlays
π Blind Signatures for Untraceable Payments
π Capsule-oriented Programming Summary Paper
π Combining Effects and Coeffects via Grading
π Convergence β Research for Practice Reboot
π Convergence of Datalog over (Pre-)Semirings
π Differential dataflow
π Differential Lambda Calculus
π Effect Handlers, Evidently
π Effects, Capabilities, and Boxes
π EigenTrust++
π Ghosts of Departed Proofs
π Graffiti Networks
π Keep CALM and CRDT On
π Mergeable Replicated Data Types
π New Directions in Cloud Programming
π Reflections on trusting distributed trust
π SIEVE is Simpler than LRU
π Skip Ratchet
π Type Systems as Macros
π Users Are Not The Enemy
π ZHT
π People
π Boris Mann
π Brooklyn Elizabeth Zelenka
π Daniel Holmgren
π Joseph M. Hellerstein
π Kathleen Ann Wilde
π Mae Milano
π Philipp KrΓΌger
π Places
π Internet Archive Vancouver
π Vancouver, Canada
π Quotes
π Chop wood and carry water
π Companies innovate slowly to maximize ROI
π Delegation cannot be prevented
π Find something worth suffering for
π Hofstadter's Law
π I don't think computing is a real field
π Let go, or be dragged
π Wade's Maxim
π Standards
π UCAN Invocation
π Varsig
π WTF
π Quartz Directories
π Years
π 2016
π 2017
π 2018
π 2019
π 2020
π 2021
π 2022
π 2023
π 2024
Home
β―
Papers
Directory: Papers
25 items under this directory.
Jun 27, 2024
Reflections on trusting distributed trust
paper
security
TEE
trust
distributed
append-only-log
BFT
certificate-transparency
Jun 27, 2024
SIEVE is Simpler than LRU
paper
caching
Jun 27, 2024
Skip Ratchet
cryptography
hash
algorithm
Jun 27, 2024
Type Systems as Macros
paper
Jun 27, 2024
Users Are Not The Enemy
paper
security
ux
Jun 27, 2024
ZHT
paper
Jun 27, 2024
AMBROSIA
distributed
failure
resiliancy
paper
Jun 27, 2024
Authenticated Append-only Skip Lists
data-structure
merklization
Jun 27, 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
Jun 27, 2024
Blind Signatures for Untraceable Payments
paper
cryptography
payments
Jun 27, 2024
Capsule-oriented Programming Summary Paper
paper
concurrency
distributed-systems
capsule-oriented
Jun 27, 2024
Combining Effects and Coeffects via Grading
paper
effect
coeffect
Jun 27, 2024
Convergence of Datalog over (Pre-)Semirings
paper
datalog
Jun 27, 2024
Convergence β Research for Practice Reboot
crdt
eventual-consistency
survey
Jun 27, 2024
Differential Lambda Calculus
Ξ»-calculus
Jun 27, 2024
Differential dataflow
Jun 27, 2024
Effect Handlers, Evidently
paper
effect-system
type-system
Jun 27, 2024
Effects, Capabilities, and Boxes
paper
effect-system
capabilities
Jun 27, 2024
EigenTrust++
Jun 27, 2024
Ghosts of Departed Proofs
paper
functional-pearl
Jun 27, 2024
Graffiti Networks
Jun 27, 2024
Keep CALM and CRDT On
paper
Jun 27, 2024
Mergeable Replicated Data Types
paper
data-structure
distributed-systems
Jun 27, 2024
New Directions in Cloud Programming
paper
distributed-systems
Jun 27, 2024
50 years in filesystems
history
paper
file-system