Events

We're going to be in Montréal for a couple of days, and would love to meet some people in person!

​If you're interested in decentralized web, open source, and general developer topics, drop by! We're always happy to talk about IPFS and Filecoin, our work around DIDs, decentralized auth (UCAN), and our privacy preserving distributed file system we've implemented on top of IPFS (WNFS).

​We'll have a table set aside at Saint-Houblon (in the Latin Quarter). Drop by whenever you like starting at 6pm. Note: vaccination & mask wearing required by the venue.

Fission MTL DWeb Social

Dialog is a work-in-progress strongly eventually consistent data store that combines 

, the rich distributed query semantics of 

. It builds off of existing ideas from the WebNative SDK to empower developers to build new types of local-first applications.

Join us for our monthly community call to hear what our database research team has been thinking about recently, along with an open discussion on how you're able to get involved!

Fission Reactor Community Call

Community call series for Webnative File System (WNFS) working group. 

See the Community Call section of the GitHub discussions for agenda and meeting notes 

https://github.com/WebNativeFileSystem/spec/discussions/categories/community-call

WNFS Community Call

At Fission, we really like reading papers, and, sometimes, implementing them (check out 

!). Though we already run the ongoing, monthly 

, we end up running into papers that just need to be read and discussed "in the now," which may involve other topics like programming languages, cryptography, networking, or a concoction of many subjects. This is that kind of series. 

For this rendition, we'll be reading and talking about the paper 

Katara: Synthesizing CRDTs with Verified Lifting

by Laddad, et. al, which was accepted to 

. We'll also have authors Shadaj Laddad & Mae Milano introduce it and participate in the discussion! 

Conflict-free replicated data types (CRDTs) are a promising tool for designing scalable, coordination-free distributed systems. However, constructing correct CRDTs is difficult, posing a challenge for even seasoned developers. As a result, CRDT development is still largely the domain of academics, with new designs often awaiting peer review and a manual proof of correctness. In this paper, we present Katara, a program synthesis-based system that takes sequential data type implementations and automatically synthesizes verified CRDT designs from them. Key to this process is a new formal definition of CRDT correctness that combines a reference sequential type with a lightweight ordering constraint that resolves conflicts between non-commutative operations. Our process follows the tradition of work in verified lifting, including an encoding of correctness into SMT logic using synthesized inductive invariants and hand-crafted grammars for the CRDT state and runtime. Katara is able to automatically synthesize CRDTs for a wide variety of scenarios, from reproducing classic CRDTs to synthesizing novel designs based on specifications in existing literature. Crucially, our synthesized CRDTs are fully, automatically verified, eliminating entire classes of common errors and reducing the process of producing a new CRDT from a painstaking paper proof of correctness to a lightweight specification.

You can also find an open source implementation of the work on 

: Video and chat log from the session are now available: 

https://talk.fission.codes/t/papers-with-friends-katara-synthesizing-crdts-with-verified-lifting/3493/2

Papers with Friends: Katara - Synthesizing CRDTs with Verified Lifting

The IPVM Workshop is a 3-day in-person workshop for people working on IPVM and closely related projects. As the initial IPVM implementation continues, there's been a desire to pick each other's brains, explore each other's use cases, share what we've learned, and roadmap out the highest value parts of the project.

Remote participation is possible, but being in the room with a whiteboard is valuable and strongly recommended.

This is not a conference. Presentations may happen as needed, but the intention is to have three very focused work sessions on topics including (but not limited to) ABI-as-IPLD 

Wasm components, raw performance, discovery mechanism, desired transactional semantics,

naming / packages, optional incentivization layer, FVM interop, and so on.

We created a discord channel dedicated to the workshop, join the server here: 

https://discord.com/channels/478735028319158273/1077414705938845716

IPVM In-Person Workshop Q1'23

A reading group for folks interested in learning more about distributed systems: we pick a paper to read each month (classic or contemporary), a volunteer presents a summary, and then a general discussion afterward. (Attendees are expected to come having read the material).

Please suggest papers for the 2023 Sessions 

Distributed Systems Reading Group

The IPVM Workshop is an in-person workshop for people working on IPVM and closely related projects. 

As the initial IPVM implementation continues, there's been a desire to pick each other's brains, explore each other's use cases, share what we've learned, and roadmap out the highest value parts of the project.

We will book a room depending on the attendants' availabilites, so please make sure to sign up for the days you know you will attend.

​This is not a conference. Presentations may happen as needed, but the intention is to have three very focused work sessions on topics including (but not limited to) ABI-as-IPLD 

 Wasm components, raw performance, discovery mechanism, desired transactional semantics, naming 

 packages, optional incentivization layer, FVM interop, and so on.

IPVM In-Person Workshop Q2'23

This call is open to all, but is focused on implementers, following the IETF's rough "consensus and running code" ethos.

The IPVM is an effort to add content-addressed computation to IPFS. The requires specifying calling convention, distributed scheduling, session receipts, mobile computing, and auto-upgradable IPFS internals.

IPVM Community Call

The monthly UCAN Community Call is a monthly recurring time for library implementers, spec maintainers, and users to coordinate, share learnings, and ask questions.

https://github.com/ucan-wg/spec/discussions

Brooklyn Zelenka

Events