Notices by ✧✦Catherine✦✧ (whitequark@mastodon.social), page 3

my second favorite activity is something that involves a log-scale y-axis

my favorite activities involve a log-log scale

"use an SMT solver", they said. "it will be fun", they said

(the total amount of bytes is 32)

instead of: QF_BVA

have you considered: QF_BV and you concatenate all of your symbolic RAM into one big bit vector you shift by your load address

this will probably be faster and work on more solvers

your query is slow. you have decided to use theory of arrays

now your query doesn't complete at all _but_ at least it consumes 10x as much RAM in the first hour

presented without comment

@poppyhaze i had to look it up

@mcc strictly speaking yes but i doubt you're facing a threat where this matters in any meaningful way

how well documented are SMT solvers?

well, to figure out how you can get boolector to display numbers in hex, i had to load it in Binary Ninja just now and look for the function that does it

by the way, the answer is (set-option :output-number-format 3). it's completely undocumented as far as i can see

@alex you needed to be put in a box so eventually you got put in a box, and before that you didn't get much in useful solutions

that's not a great system! the previous country where i live does not recognize adult ADHD or treat any ADHD with stimulants. what next?

@alex I described it as medicalization since in cases like this the treatment is based on first being classified by the medical system (which was prejudiced against you) and then processed by it. while there's nothing wrong with taking advantage of it I don't think it should or even can be the only or primary means of problem solving

@alex like, my position is that who gives a shit if it's a disorder or not or if you have a diagnosis or not? if something's making your life hard, fix it. if doctors are a problem, lie to them (not like they wouldn't) and/or find different doctors

@alex we had to figure out almost everything ourselves, so... clearly that is one option available (then you do a parallel construction for the doctors)

(side note: i'm not sure that RSD is a "disorder" or even a "condition" so much as a result of accurately learning that your worth is entirely determined by some one person's volatile emotional state, and then applying that as a generalized principle)

@alex I don't think medicalizing it does anything useful, you just cede agency to cops in white

@alex I'm all for doing whichever drugs you need (and not restricted by whatever a psych thinks makes sense); I just refuse to cede conceptual ground to doctors, even if I'll not tell them that

@xgranade reasonable, yeah

@alwayscurious i'm too eepy for that too

@dalias @xgranade i do not come from a civilized jurisdiction so to me they're more or less the same

@alwayscurious as in "sleepy"

I dislike remembering qemu options for networking

OH: "does fucking around with Z3 qualifies as self-care or self-harm?" "I think it results in two states that need to be evaluated separately"