.. -*- coding: utf-8-with-signature-unix; fill-column: 73; -*- Tahoe-LAFS Tesla Coils & Corpses, 2014-09-25 ============================================
Zooko (scribe), Daira, Lcstyle, not Maradydd * #1382 ; 1382-rewrite-4 (https://github.com/zooko/tahoe-lafs/tree/1382-rewrite-4) ; documentation-first development * Lcstyle wants LeastAuthority to supply a whole grid, not just a single storage server; We talked a bit about RAIC, which led us back to #1382. * #1901 ; Lcstyle has been working on it. * Daira *wanted* to talk about Noether, effects, and formal handling of evidence-of-correctness (*short* of proof-of-correctness!) in programs. Maradydd wanted to join. Sadly, that didn't happen this time around. Maybe next week! Regards, Zooko Wilcox-O'Hearn Founder, CEO, and Customer Support Rep https://LeastAuthority.com Freedom matters. _______________________________________________ tahoe-dev mailing list tahoe-dev@tahoe-lafs.org https://tahoe-lafs.org/cgi-bin/mailman/listinfo/tahoe-dev
