dybr

 Well, we had a videochat with Esteban, and he was showing me the ropes regarding what does it even mean in the Jira case when I'm supposed to get "magic link service" return credentials from OAUTH. It does not look too complicated, but the way Esteban talks about it makes it pretty weird... confabulated? Something like that. 

But what really bothered me about Esteban was the way he discusses issues. I asked him, how (t.f.) to register a user we use GET method, it's really a WTF. Get is supposed to be idempotent. He nodded and totally agreed with me. More, every time I asked him about this or that, he was telling me that I'm right. I understand why this guy is trying to look the best, but well, are not we colleagues? I'm not his manager. Anyway, tomorrow I'll tell him about idempotence. He may not know. Later today I've learned that he comes from a position of project manager. Meaning, an educated politician.

We do have a pm, Janet, and she's just amazing. I asked her, how she feels about us moving to another team (she's moving too). She's in panic. For years she was focusing on this area, and became an expert. Now what, learn all the other shit. And who's going to PM that shit? Those other people? Hmm.

Anyway, I recorded our talk with Esteban, and I plan to document it.

At 11AM we were supposed to have a meeting, but the meeting was moved, and instead Sam posted a link to a talk, just starting, about Zig and Rust and TigerBeetle. It was an amazing talk, and in the end the speaker (forgot his name) mentioned that they are seriously using formal methods. The event was organized by Bermi, by the way. Anyway, I enjoyed it. Asked him about TLA being used - well, they plan to use TLA; after all, they have, in their database, algorithms that have proofs of correctness.

Later I was still trying to decipher Esteban's prezo, and then we had a "standup", and Jeremey asked if I saw Mike's comments on my post about the Ops issue I was kind of investigating. Turned out Mike wrote a really really good analysis - so I thanked Mike, and copy-pasted his comments into Jira (mission half-accomplished). This, actually, improved my mood, which was, most of the day, pretty low (thank you, market).

That's it. Tomorrow I'll really try to document Esteban's shit.