SNF supports our project ‘Consistency Programming for Local First Software’ with 1M CHF! Lots of cool stuff ahead including abstractions for local-first software, CRDTs, consistency levels, verification of replicated data structures, and privacy-preserving data pods.