I put a lot of chili oil in my pho, earlier today. Sometimes I forget that has consequences later on
@rgegriff Oh yeah, we got a Toto Washlet back during the pandemic. It's been one of our favorite household purchases
Also the neighbors two doors down just kicked off like a folk concert in their backyard? Cool lighting & good sound system, a crowd of 30 or so? Kinda neat, they’ve never done that before
@joncruz It's interesting so far, but the part of my brain that ever followed formal proofs is very rusty. I see vaguely what they're laying out and it kind of makes sense, but not well enough to say that I see how they've made their argument.
But, we've got a reading group at work that I hope to lean on next week to help suss it out. Also interested in the mitigations they suggest
@toolbear I'm gonna have to do this "getting out of the house' thing more often. I tend to expect I'm going to get in trouble if I don't stay tethered to my desk, but today was rather nice!
Building a coffee grinder and drip brewer into a giant PC case is relevant to my interests