The investigation I'm engaged in may have less to do with automated theorem proving than I first thought, although that is the context in which it arose for me. The deeper questions may be what expressive power and what inferential power are added to a first-order language with equality by adding definite description terms as singular terms in the formal language.
To get in and out of the high school yesterday there was a locked door, a locked elevator, then another locked elevator, then a locked door leading to a ramp to a gate with a locked padlock.
There was one security guard from the district to run around doing the unlocking and he was mostly wrong about everything (I don't think he works specifically at that school.)
I wrote to ask how they normally handle access (cc-ing the district accessibility coordinator) And got the answer that during the school day they have someone stationed on each floor by the elevator. (I can't picture that is really true... maybe between classes though.)
And, apparently there was a buzzer and intercom but we missed seeing it. (Or, I missed it anyway)
Steeling myself for it just always being awkward. At least elevator wasn't also the mop closet!
Someone is vigorously bathing in my lap to make sure she looks lovely for her new human. :)
Barring disaster, we'll be transporting her in two weeks! And then she can get as much petting as she wants:
... it being the UK release of Guardians of the Galaxy 2.
Exhibit A: Nazi Captain America holding Thor's hammer, with an associated discussion of symbology, senior Marvel staff donations to the 45th US President's campaign, etc
Exhibit B: Marvel asking comic stores to change their logos to Hydra symbols and staff to wear Hydra t-shirts.
Like. Especially maybe don't give them opening-weekend money for this shit, please?
While there's a lot I could post about, doing so won't change much - it would just add to a sea of voices that gets tuned out - or is that "drowned out" - on the regular by the minority, a Sad! state of affairs (I'm still trying to grasp how it's even possible, but yeah, somehow it is).
But after being reminded of this (the Orangado, among other things, boasting he gave the best damn Congressional speech eva!!!1!) I recalled having something to say about that. I watched the entire thing live on TV for however long it took, maybe two hours? Four? Five? It felt that long, because I'm not someone to sit around and watch him because I want to, but because I want to know.
Unlike most people, I'm nearly incapable of misunderstanding him (see word salads that flummox the world getting tossed for yourself) if only because he talks like the neighborhood one side of my family comes from (apparently the poor linguistics jumped the dividing highway more easily than the high incomes ever will - its kinda Sad! what's happened to the other side of Jamaica, Queens) so I figured I might be doing everyone a favor by tuning in, just in case I needed to go and get what he'd said again for other people's sakes.
MM the Trump interpreter, yeah. I get word salad, yo.
So, because mostly I get it, and rarely, if ever, fail to (as awful or completely bs as what I'm "getting" might be/generally is), I wanted to hear what he had to say with my own ears, no interpreting it for me the next morning thankyouverymuch. But no need to worry about word salad: he mostly delivered a canned speech from which he never once deviated nor went off-script. Which tells us a few things:
He can follow - and perform beautifully from - a script (at least, as long as S. Bannon or S. Miller aren't writing it for him. Their speeches would fall flat no matter who delivers them, because no one - except maybe a small subset of his darkest, most extraordinarily cracked followers - wants to hear all that Grim Reaper bullshit, anyhow). Yay!
I mean his performance was lush, it was gorgeous, it would make the showiest Declaration of Independence signer blush with recognition and cry over just how damn good his delivery was. It made some of Bill Clinton's most fiery speeches look like boring little fireside chats. The head Cheeto set a high bar for himself re how to perform, then blew past it and left everyone's expectations in the dust. It was, oh God... *winces as mocking tic comes on* THE GREATEST THE BEST EVER
By contrast, nothing he's said or done in the days before or since his speech has matched a single word he said throughout it. There's only a few ways to go from here:
- Cheetolini is blustery insincerity at its best. He can put on a show (likely for his daughter Ivanka, who likely had a huge hand in the wording of said speech), which should disabuse anyone of the notion he's incapable of thinking and acting deliberately or that he only knows how to react impulsively and without thought. He simply chooses not to think and plan his words and actions out most of the time, finding intellectual laziness vastly preferable to taking the time to learn the issues and act accordingly, from a place of both knowledge and principles. Or even, as he's so freaking fond of saying, with "heart".
- My takeaway: He might be willfully ignorant but he's not stupid.
- If he's impeached and eventually removed from office - as he should be - his public speaking gigs could rack up gagillions until he finally succumbs to his latest McDonald's treat - which I've got pegged as occurring no sooner than 10 years from now. Patience, peeps: I think the tears and prayers of the fundies are what's keeping him alive - it's certainly not the diet, sleep schedule, nor his stress levels.
- He has no relationship with the truth. Saying things he doesn't mean and bloviating oh-so-sincerely on topics he doesn't give a rat's ass about might be his way of jiving, maybe so the Dems - and his daughter in particular - can never accuse him of not saying something they/she wanted to hear, though what he actually thinks and feels is almost inevitably up to the last bidder against his emotional landscape or else up to his own particular whims.
I think I might feel sorry for his daughter Ivanka. He's manipulating her as cleverly as he tries to manipulate the rest of us, but because she's his daughter there's very little she can do (the rest of us can protest, make jokes, call/write/fax Congress - she has little choice but to keep quiet or lose face by admitting she's been wrong about him - which risks losing her inheritance and winning ostracization from the entire line of Cheetolini products, which I'd imagine she'd never willingly endure).
It seems Ivanka has a very fine line to walk: she can be as honest with him in private as she wants (so she says!) but if his public decisions don't even resemble the promises he's made, there's nothing she can do except shrug and move on - or else risk the loss of all she has at stake.
Luckily for her, she can afford to lose ideological battles with her dad. As a self-employed, rich, white, cis-gendered woman, she gets to skirt 99% of the problems the rest of us can often face: racism, poverty, classism, misogynistic effects upon her career and public persona, lack of health care, lack of reasonable housing choices, lack of reasonable child care choices, lack of equal standing under the law, over-taxation - her money, skin color, and apparent sexual orientation and gender identification confers 99% of the protections she needs but would not otherwise have as a citizen of her father's increasingly racist, ableist, classist, bigoted, elitist United States.
So while her dad might pander to her in private and has done so publicly with one grab-ya-by-the-collar-and-shake-ya-around Congressional speech which I think he made mostly to allay her fears, he doesn't mean it, so he shouldn't brag because it was a performance, and that is all.
You can't unbullshit a bullshitter - that's the reality all of us, including Ivanka, will just have to deal with.
"how much do you know about atomic ground states and the quantisation of energy?" I ask, while making custard
We have found a possible home for Thea and, although it's not definite, it's pretty likely and it looks like it will work out WONDERFULLY for everyone involved. \o/
Can anyone recommend good DW communities (or journals) about free speech and the politics thereof? Interests search was inconclusive, mostly leading me to fanfic comms (not that these are bad in and of themselves, but not what I was looking for). I searched for "free speech", "freedom of speech", "1st amendment", and "first amendment". Any other interest search terms I could try?
EDIT: We have found a Very Probable Home for Thea! Go internet.
(Click any photo for a larger version!)
Hello, internet! I'm Thea. Here I am in my favorite spot (somebody's lap):
I'm a female dilute calico, and the vet and the vet dentist think I'm about five years old. I grew up on the streets of Baltimore, but it's cold and lonely out there and I like people too much, so now I need a forever home! I'm an absolute sweetheart who'll be in your lap or draped over your shoulder the minute I meet you, but there's one catch: I need to be an only cat.
( More about me! And more pictures! )
Does it sound like you could be my human? If so, leave a comment with your email address, and the humans will get in touch with you. (Or, you can email synecdochic at firstname.lastname@example.org.) Anonymous comments are allowed; you don't need a Dreamwidth account. I'm in Baltimore right now, and the humans would prefer somebody within a few hours' drive or somebody who's willing to come pick me up themselves, but if you're the absolute right person to take me in, they're willing to talk about flying me to you, especially if you can pay for some or all of the costs. (Having all my teeth pulled wasn't cheap!) [EDIT: The humans have a friend who might be able to put a flight on frequent flyer miles for me, so they're willing to escort me outside the immediate area for the right home!]
I'm looking forward to finding someone I can help with everything, drape on top of, and sleep on!
(Please share this with your friends! For the first round of looking we'd prefer not much further than friends-of-friends, because we'd like to know the people she's going to or know someone who knows them, but if the first efforts don't pan out, we'll try again with a wider reach. We also already know the rescue organization we'll turn to if we can't find her a home through word of mouth, so you don't need to research rescue options for us!)
Sometimes, we do things that make even our deepest selves cheer with wild abandon.
In other news, I am almost certain that my semester will not end in utter ruin.
No Sarah, no comfy midriff workout tops for us. Here's Tom Schneider to 'splain it to our pretty 'lil heads:
Yet this is OK - though no one would wear it to a "church", "in-laws", "family gathering" or "someplace more conservative", ie "someplace where men are breathing":
Hypocrites, much? Every woman who uses that gym should boycott and picket it with posters like the one above - to prove a point. To address some of Mr. Tom's so-called "points":
"many folks that read my initial reply to Sarah think I'm some crazy conservative"...Naaaah, why would folks think that? Conservatives "crazy"? Why, that'd be like Trump changing his party affiliation from Democrat to Republi- OK...well, as they say, birds of a feather...
"The problem [note: he thinks there are lots of problems] is in our society we think that comfort means less."...No, "comfort" means "comfort". There's a reason we don't stuff ourselves into hot, restrictive, uncomfortable, bothersome things just to shield the Mr. Tom's of the world from dealing with where someone's sexualized-to-them bits fall on a scale of -1 to Whoa!.
"You could have easily wore a dry-wicking shirt from Nike over your sports bra [..]" In other words, if you don't have the money to buy top-of-the-line workout clothes, don't try working out.
"and been covered up"...Again, the Mr. Toms of the world suffer over how hard it is to not manufacture certain temptations and then blame other people for them, and their self-control is your problem, not theirs, so fix that up for them right quick, and get their coffee light and sweet - thanks.
"we wore the gear in Afghanistan and it got up to 120 at times."...In other words, the Army/Navy/Air Force/Marines paid for you to wear it: troops don't generally purchase their own "gear".
"The problem is, skimpy clothing for ladies and their chest hanging out in sports bra shouldn't be considered workout gear"...yet men in ballet tights, tight little swim trunks and walking around bare-chested is proof of the holy Lord moving amongst us in sacred male form or something, amirite?
"and still worked out in your yoga pants and not been hot"...Notice he's actually predicting what her body temperature in certain workout clothes will be as though he would know and telling her what to wear and not wear? Your tightly outlined butt is alright. Your any-outlined tata is not.
"....Nike makes HeatGear just for that reason...."...
It's not just a classist statement he keeps coming back to, it might be proof that besides being a sexist asshole that he also works for Nike.
"it's just like you wouldn't wear a bra to workout, right?...Wait, now it's *not* a bra? Wasn't that exactly what he was just haranguing her for...wait, it's a shirt, it's a bra, it's a shirtssiere!...(there's got to be a meme in here, somewhere)
"it's no different, but our fitness industry has made it acceptable and think it's OK, but it's really not."
You know what Mr. Tom, you're right
: it's really not OK
to run around in those obscene tights, dear little swim trunks and sweet, tartish little Scottish kilts that show off so much of that long, yummy leg, so why don't you and the entire "sports industry" knock it off? You don't want me remembering that you guys have some junk in your trunks because then you'll blame me if something goes "wrong", won'tcha...
But then I'll just turn around and blame you, because the temptation was just too damn much!
In looking through support requests tonight I ran across steve98052, which turns out to be pretty neat, because after five minutes of staring at his username I finally recalled we used to hang out on LJ. Thanks to the nature of his support request, I initially thought he was importing his LJ (but he hasn't, and to judge by things, probably won't be anytime soon) but I clicked through to make sure, only to see an empty DW.
Then I looked him up on LJ, where in fact he's still updating.
Then I checked his friends list, because it's been bugging me for weeks that I had a friend on LJ who's username I can't recall (well, half of it: I can recall half of it, but that hasn't helped) who doesn't seem to be here or there now, but once I saw Steve's name, it occurred to me I think I shared (might have even met this friend) through him. Her and wuchan (also gone) were my closest friends on LJ, and sometimes (OK, I've spent six years in this condition) I miss not having them here.
But this all went nowhere fast. Turns out, checking Steve's friend list, that I probably met him through bob_deloyd, but other than that, this was sort of just a half hour of me chasing my tail. Oh, well.
Steve's support request is interesting, though, and I'm sorry it didn't/probably won't get much attention, because his request (to find a link rewriter in the importer to point internal LJ links to corresponding internal DW links, or to write the code to do so himself, then give the code to DW!) is much needed and HE'S OFFERING TO WRITE THE FEATURE HIMSELF so why aren't we welcoming volunteer baby devs like this with open arms? It seems not having this feature might be stopping him from moving here, which is really not cool.
(Not to mention I could have SO used this feature before my own import occurred in 2010 - I had to rewrite dozens, if not hundreds, of links over the years, post by post, totally and completely by hand, with all the attendant time waste and errors that involves. It sucked.)
Not that he needs the defense, but he's a Silicon Valley (and/or) Redmond WA guy, and is pretty cool all around....which makes me think Dreamwidth can be totally at odds with what I would expect them to want to do, sometimes.