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
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 ...
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
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
@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
@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
@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
@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