Jenna JJ Q.

I tweet facts about tomatoes & software verification. wannabe vtuber

[Jenna JJ Q. @tomatofacts3]

gender isn't good enough. gotta be the gendest you can be

[Jenna JJ Q. @tomatofacts3]

These and_then, map_or, etc. are getting out of control. We should just create one general construct that lets us case on the Option variant and operate on its value

[Jenna JJ Q. @tomatofacts3]

i guess i don't really know. i haven't tried 'em.

[Jenna JJ Q. @tomatofacts3]

i might begrudgingly admit that AI coding tools can be useful sometimes, but they sound painful to actually use
i like predictability in my editors. even auto-formatters or auto-parenthesizing drive me nuts. trying to work with a tool that can generate pretty much anything ...

[Jenna JJ Q. @tomatofacts3]

sounds like it would be really annoying

[Jenna JJ Q. @tomatofacts3]

@hourly_shitpost always seemed to me that cowboys were misnamed

[Jenna JJ Q. @tomatofacts3]

Got a really annoying zit on the underside of my chin

[Jenna JJ Q. @tomatofacts3]

what's the point?

people just want to automate stuff for the sake of automating it... they don't even care about the thing itself

[Jenna JJ Q. @tomatofacts3]

my research project over the past few years has started gaining traction among some academic circles. which is great! but it also seems like a lot of people are only taking interest for the sake of ... using LLMs to automate the usage of this technology
recently i met someone who

[Jenna JJ Q. @tomatofacts3]

could have done.

[Jenna JJ Q. @tomatofacts3]

The suspense is killing me. I just can't wait for the next chapter of the flower that bloomed nowhere

[Jenna JJ Q. @tomatofacts3]

95% of people obsessed with reading election forecast news quit right before they see the piece of evidence that cause them to bayesian-update from toss-up to having > 99% certainty in the outcome

[Jenna JJ Q. @tomatofacts3]

@nightpool Anyway, I guess even if the computer is theoretically designed this way, then it has more to do with the tpm than it does with bitlocker. So maybe this is a pointless tangent

[Jenna JJ Q. @tomatofacts3]

@nightpool What's unclear to me is if bitlocker is actually designed to do this. Apparently there are ways to rip the encryption keys out of RAM. Then you could easily mess with any part of the OS that's not in scope for the TPM's attestation

[Jenna JJ Q. @tomatofacts3]

I can predict who will be president next week

[Jenna JJ Q. @tomatofacts3]

I wish I could just write software documentation full time

[Jenna JJ Q. @tomatofacts3]

@GabriellaG439 Order functions rust is definitely kinda mid. Like you can go crazy with the iterator pattern but I'm personally not a fan, I almost always forego iterators and those kinds of things outside very straightforward map filters

[Jenna JJ Q. @tomatofacts3]

@GabriellaG439 For me Rust is about purity. Like you can mutate stuff but only with ownership of it, and that makes it kinda like being pure (modulo interior mutability etc.) Like for formal verification you can reason about it like it's side effect-less.

But for functional idioms like higher