Tesla Coils & Corpses, 2014-09-25

[Zooko Wilcox-OHearn]

.. -*- 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.