FP-SYD is on tonight, with a fantastic talk about reactive systems using F*. Late RSVPs welcome meetup.com/fp-syd/events/…