π 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
π Beehive Community Update Sept 2024
π 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
π Inline IPLD β IPLD for Humans
π 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
π Safe in the Beehive
π Seamless Services for an Open World
π Smart Contract as a Service β Using Messages to Share Contracts
π Software Unplugged
π 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 (GOTO)
π 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 Be In Control of Your Auth
π UCAN Build Apps with IPFS
π 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)
π What's New in UCAN 1.0
π 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
π !!Con 2024
π Automerge Community Call
π Automerge Community Call Sept 2024
π 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
π GOTO
π GOTO Chicago 2024
π High Performance Transaction Systems
π High Performance Transaction Systems 2022
π IPFS Camp
π IPFS Camp 2022
π IPFS Camp 2024
π IPFS ΓΎing
π IPFS ΓΎing 2022
π IPFS ΓΎing 2023
π Lambda Days
π Lambda Days 2019
π Local First Software Meetup
π Local-First Conference (2024)
π NixCon
π NixCon 2023
π Γredev
π Γredev 2019
π Our Networks
π 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
π W27
π W28
π W29
π W30
π W31
π Notes
π 3Blue1Brown
π 2024 July 11
π Appa
π Authomerge
π Automerge
π Automerge and Version Control for Rich Text
π Automerge Binary Document Format
π Automerge Sync
π automerge-rs
π BEAM
π Beehive Auth
π Bidirectional typing
π Bluesky
π Conference Talk
π COVID-19
π Crates (Package Registry)
π CRDT
π Czechia
π Database
π DEFLATE
π Distributed systems
π Elixir
π End-to-end encryption demystified
π Every App secretly wants to be Local-First
π Fission Codes
π Haskell
π Home Desktop
π Home Manager
π Home Manager Search
π Home-cooked Software and Barefoot Programmers
π im
π Kagi
π Lessons for the future of programming languages from a decade of local first
π Little elephants everywhere
π Local-first
π Local-first and social software
π Local-first software (article)
π Local-First Summit 010
π Monodraw
π Mutually Assured Education
π Nebula (video site)
π Nix
π NixOS
π number zero
π Paper
π Papers
π Programming Language
π programming language theory
π Programming Local-First 2023
π Quartz
π Rust
π Serenity Notes
π sΙlilwΙtaΙ¬
π SαΈ΅wxΜ±wΓΊ7mesh
π Smokey the Cat
π Start with offline
π Stenography
π Streaming a collaborative filesystem
π The forgotten history of the early indies
π The past, present, and future of local-first
π The unreasonable advantage of building local-first
π The why and how of building a local-first music app
π Two myths about building offline-capable SaaS apps
π UBC Garden
π Unexpected benefits of going local-first
π User Controlled Authorization Networks
π Using Effect Schema to enable interoperable local-first applications
π vancouver.dev
π Wardley Map
π Wave (Software)
π Webnative File System
π Wedding (Brooke & Katie)
π Witchcraft (Elixir Library)
π Witchcraft Software (Company)
π xΚ·mΙΞΈkΚ·ΙyΜΙm
π Your web app but good
π 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
π Runtime Verification for Decentralised and Distributed Systems
π SIEVE is Simpler than LRU
π Skip Ratchet
π Type Systems as Macros
π Users Are Not The Enemy
π ZHT
π People
π Alex Good
π Boris Mann
π Brooklyn Elizabeth Zelenka
π Daniel Holmgren
π Joseph M. Hellerstein
π Kathleen Ann Wilde
π Mae Milano
π Martin Kleppmann
π Philipp KrΓΌger
π Places
π Berlin, Germany
π Brussels, Belgium
π 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
π Keep Fun in Computing
π 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
π 2024 May 30
π 2024 May 31
π Letβs make local and accountable tech
Home
β―
Papers
Directory: Papers
26 items under this directory.
Jul 14, 2024
Runtime Verification for Decentralised and Distributed Systems
May 23, 2024
Keep CALM and CRDT On
paper
May 19, 2024
Type Systems as Macros
paper
May 19, 2024
50 years in filesystems
history
paper
file-system
May 19, 2024
Authenticated Append-only Skip Lists
data-structure
merklization
May 19, 2024
Blind Signatures for Untraceable Payments
paper
cryptography
payments
May 19, 2024
Capsule-oriented Programming Summary Paper
paper
concurrency
distributed-systems
capsule-oriented
May 19, 2024
Combining Effects and Coeffects via Grading
paper
effect
coeffect
May 19, 2024
Convergence of Datalog over (Pre-)Semirings
paper
datalog
May 19, 2024
Convergence β Research for Practice Reboot
crdt
eventual-consistency
survey
May 19, 2024
Differential Lambda Calculus
Ξ»-calculus
May 19, 2024
Differential dataflow
May 19, 2024
Effect Handlers, Evidently
paper
effect-system
type-system
May 19, 2024
Effects, Capabilities, and Boxes
paper
effect-system
capabilities
May 19, 2024
EigenTrust++
May 19, 2024
Ghosts of Departed Proofs
paper
functional-pearl
May 19, 2024
Graffiti Networks
May 19, 2024
Mergeable Replicated Data Types
paper
data-structure
distributed-systems
May 19, 2024
New Directions in Cloud Programming
paper
distributed-systems
May 19, 2024
Reflections on trusting distributed trust
paper
security
TEE
trust
distributed
append-only-log
BFT
certificate-transparency
May 19, 2024
SIEVE is Simpler than LRU
paper
caching
May 19, 2024
Skip Ratchet
cryptography
hash
algorithm
May 19, 2024
Users Are Not The Enemy
paper
security
ux
May 18, 2024
AMBROSIA
distributed
failure
resiliancy
paper
May 18, 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
May 18, 2024
ZHT
paper