qwitwa @qwitwa@niu.moe

I wish the timeline here was longer than about 10 hours. I don't log in daily, but I'd like to be able to see what I've missed.

haveyoureadnevada.com has lapsed and is now offline.

What level of inebriation is optimal for reading specs?

So it seems like Apollo Client v2 completely replaces redux, and the way to handle local state is to wire up middleware ("links") for it and then query all your data through graphql queries regardless of where it is.

What's the best intro to Elixir assuming I'm vaguely aware of functional programming but have no exposure to Erlang/OTP? The official guides? The Programming Elixir book?

Let's learn graphql.

Our methodology involves modeling protocols using general (uninterpreted) first-order logic, and then systematically transforming the model to obtain a model and an inductive invariant that are decidable to check. The steps of the transformations are also mechanically checked [...] To the best of our knowledge, this work is the first to verify these protocols using a decidable logic, and the first formal verification of Vertical Paxos, Fast Paxos and Stoppable Paxos. https://arxiv.org/pdf/1710.07191.pdf

Dreamt we were taking African orphans over the sea between East Africa and France by bus. When we got there, the president of France stood at a podium in front of us in a room and told the story of how he saw this girl excluded from the mic because of her gender so he had to launch a rescue effort. He hands a mic to this girl who speaks, then interrupts her in his different, real voice "What is this shit?" Shutters fall, Putin laughs, it's battle royale, everyone massacred.

Tootin drunk.
I'm a real mastadon denizen now.
I've made it.