That was fantastic! Do you know what happened with her ios project?

heidihoward · on April 28, 2020

Whilst working on Ios, I started work on a theoretical result which became known as Flexible Paxos[1]. Unfortunately, I never had time to go back to working on Ios. Maybe someday.

[1] https://drops.dagstuhl.de/opus/volltexte/2017/7094/pdf/LIPIc...

dnautics · on April 29, 2020

I'm a huge fan of your videos. Do you have a spec for ios? I'd love to give a crack at it in erlang/elixir.