#proof assistant

[spectrallysequenced]

Throwback to the time I made a twitter account called "Kevin Blizzard" specifically to post gifs like this under Kevin Buzzard's tweets:

And then he followed me

[pv1isalsoimportant]

That reminds me of these slides I managed to save from a lecture I've attended this semester on the proof assistant Lean. These include some high profile uses of Lean in proof verification and bunch of resources on learning how to use Lean (including a cool game!!) so check them out!

i dont like how "trust-based" a lot of advanced math is. like, a lot of papers will at various points say "we did this calculation, and got this", (like, two steps in equation manipulation will be related in a very unclear way) and not show you the calculation. and i get it, typing up the calculation is annoying. but often, i will try to replicate the calculation, and will not be able to! and generally i assume this is because i am much worse at math than the author. but like. i guess i just have to take your word for it that the calculation works! this sucks! math isnt supposed to be like this! thats the whole point!

[ashenhartkrie]

hello writing friends i am once again offering beta reading/editing services. hmu if you are interested or let a friend know.

general rates:

1000-9,999 words: $10 per thousand words

10,000 words+: $3 per thousand words.

rates be flexible though, i just really enjoy editing and proof reading and helping people achieve their vision. just inbox me, i'm chill.

oh yeah and i guess i'm a published author and edited an anthology as well? just in case you wanted evidence that i'm good at what i do.

[wheels-of-eyes]

Help me pay for animal bills

Yesterday (9/9) my rabbit passed away after being hospitalized for under 24 hours. I authorized the emergency vet to do anything they could to save him, and it was a valiant effort. Unfortunately he was just too far gone.

I am now over $4000 in debt soley in vet bills and I want to pay it off as fast as possible so I no longer have the reminder. I will not be asking for the full amount, as it's a lot and and I'm aware it may feel sketchy to some, but I would appreciate help towards at leat $2000 of it, as I'm the sole earner for myself, my disabled partner, and our two remaining pets. Because of that,

anything helps.

I have commissions open if you want art in exchange (see the pinned post on my blog), otherwise the best way to send me money is vnmo @ waerwolv

0/$2000

[trans-axolotl]

some of Eli Clare's writing about diagnosis feels very relevant to discussions on tumblr right now:

"It’s impossible to grapple with cure without encountering white Western medical diagnosis—ink on paper in the Diagnostic and Statistical Manual of Mental Disorders and the International Classification of Diseases, a process in the hands of doctors, a system of categorization. I want to read diagnosis as a source of knowledge, sometimes trustworthy and other times suspect. As a tool and a weapon shaped by particular belief systems, useful and dangerous by turns. As a furious storm, exerting pressure in many directions.

Simply put, diagnosis wields immense power. It can provide us access to vital medical technology or shame us, reveal a path toward less pain or get us locked up. It opens doors and slams them shut.

Diagnosis names the conditions in our body-minds, charts the connections between them. It holds knowledge. It organizes visceral realities. It draws borders and boundaries, separating fluid in the lungs from high blood pressure, ulcers from kidney stones, declaring anxiety attacks distinct from heart attacks, post-traumatic stress disconnected from depression. It legitimizes some pain as real; it identifies other pain as psychosomatic or malingering. It reveals little about the power of these borders and boundaries. Through its technology—x-rays, MRIs, blood draws, EKGs, CAT scans—diagnosis transforms our three-dimensional body-minds into two-dimensional graphs and charts, images on light boards, symptoms in databases, words on paper. It holds history and creates baselines. It predicts the future and shapes all sorts of decisions. It unleashes political and cultural forces. At its best, diagnosis affirms our distress, orients us to what’s happening in our body-minds, helps make meaning out of chaotic visceral experiences.

But diagnosis rarely stays at its best. It can also disorient us or de- value what we know about ourselves. It can leave us with doubts, questions, shame. It can catapult us out of our body-minds. All too often diagnosis is poorly conceived or flagrantly oppressive. It is brandished as authority, our body-minds bent to match diagnostic criteria rather than vice versa. Diagnosis can become a cover for what health care providers don’t understand; become more important than our messy visceral selves; become the totality of who we are.

...

It is impossible to name all the ways in which diagnosis is useful.

It propels eradication and affirms what we know about our own body-minds. It extends the reach of genocide and makes meaning of the pain that keeps us up night after night. It allows for violence in the name of care and creates access to medical technology, human services, and essential care. It sets in motion social control and guides treatment that provides comfort. It takes away self-determination and saves lives. It disregards what we know about our own body-minds and leads to cure.

Diagnosis is useful, but for whom and to what ends?"

-Eli Clare, Brilliant Imperfection pg 41-42, 48.

[v1rtueouss1nz]

Why so shocked?📺⚡

Vox motivates you to do your job.

CW:/sub!femreader, Dom!Vox, voyeurism, overstim, desperation

~~~

Procrastination is such a finite thing. You really do want to get this stack of records digitized, but it's just so... Boring. The repetitive motion of reading the paper, and typing it into the computer was so annoyingly dull, you were tempted to smash the stapler into your face repetitively when you attempted to try getting anything done.

Thankfully, he would say, Vox was here to shock you every time he saw you slacking. You really didn't mean to daydream in the middle of writing about some studio light bills, the clock just had the same beat as your favorite song.

"come on girl, one more sheet," Vox coos, watching from his own chair as you squirm terribly at your laptop.

"please," you stutter, your demeanor failing as you pant, hot coils sitting idly in your stomach from the hours he's been teasing you already.

"what was that? Please what?" Vox tilts his screen, increasing the speed of the vibrating with one click, making you lurch so fast your glasses sold to the tip of your nose.

You scrambled to push them up your face, squeezing your legs together desperately as the top of your stockings get damp. You stifle your moans with your hand, leaning onto your elbows to hold yourself up.

"please, I can't- I can't focus with it so fast," you gasp through your fingers, your left hand stilling uselessly on your keyboard.

"yes you can, just ignore it," he says sharply, tugging the sudden chain that connected to your collar, almost tipping you out of your chair, "or are you going to make me give you more?"

"No, please, I'll finish I will," you whimper, grasping the chain to hold yourself up as your extremities keep you in your seat.

"Then start typing," The chain disappears suddenly and you crash to the ground, grunting as you landed.

You nodded, pushing yourself up with your arms weakly, desperately grabbing for your glasses. You fall many times while you try standing, gasping as your stockings get wetter, your knees sliding on the tile ground as you ultimately crawl to your seat.

You pull yourself up as your legs shake, and you tremble as you continue transferring bills. First the bill date in the first column, then the due payment date in the second column. You press too many keys as the vibrating spikes once, before going down again. Focus, ordered item in the third column, finally the order number here, and confirmed and done.

You move onto the next, and the next, losing more and more of your composure until you're on the final bill, a sopping wet mess as you hunch over your screen with tear stains in the corners of your eyes, and a burning sensation taking over your entire abdomen and thighs.

"order number CK#9731208," you say finally as you type in each number as it leaves your lips, shaking as you move to confirm the action. A small desperate sob leaves your mouth as the green checkmark covers your screen, marking your completion. The vibrating goes to max as you moan, gripping your face harshly as you shut your laptop.

"I'm done, please I'm done," you whine, tilting your head up as Vox finally touches you, finally moves from his chair and places one sharp nail on your chin as you gasp while his hand slides down your blouse.

"Good girl, you did it," he smirks at your desperate, red face, leaning down to kiss you, "I think you've earned your finish,"

You nod against his lips as you gasp, arching your back as electricity from his fingers zap your nipple as his other hand grips your neck tightly. You grind your hips against the leather of your chair, Vox's foot helpfully keeping it from moving as you jolt from the overwhelming sensations littering your body.

You take a deep breath, not even realizing you had stopped breathing when your vision turned white. You blink harshly as Vox pulls back, his expression too mischievous for your liking.

"good job, you're completely warmed up for me," he smirks, spinning you around to grab your thighs, and pull you up, against his lap, while he stands and your body still half lay in the chair.

√

[thatonesongyouretryingtoremember]

the Lost Cities but they still have glove etiquette

[strangelylass]

Great news, lads!

Ya boy has passed his driving test!

(less great news is all my mail is sent to a po box so i have no proof of residence, but we ain't gonna focus on that rn)

[maplecinnamonbun]

i’m getting into the Lean proof assistant/programming language, really loving it so far! types and terms are peacefully coexisting, and you can import the law of the excluded middle

[theskiesareopen]

In the past couple days we successfully got our new language to host a hello world webserver and open a hello world desktop gui, and pushed past 2ksloc of some nontrivial bootstrapping, prelude, and tests being maintained. There's still a lot to do, like implement all the missing features to make non-hello-world projects, and the typechecker is held together with duct tape and bailing wire and it really shows sometimes. Volunteers welcome if you want to suffer with me on a really cool project to push the boundaries on what's possible in a practical programming language and proof assistant.

[squishosaur]

erm for the fandomless one it would Not be about my ocs that i have already posted about, it will instead be about mentally ill animalgirls starting a band

and for twst it would be about vil putting on a musical (gone wrong) (gone scary) (do NOT try this)

[hostilecityshowdown]

@hardcorewrestling 's OC, sammie, back when she was a diamond doll

[hotsugarbyglassanimals]

the thing about A/I photos and videos that really just bothers me especially is how the companies behind them are just. completely making them accessible to the general public. note that i wouldn't be happy if any companies or hell any governments held onto it either, but the way it's been distributed has been grossly irresponsible. and i dont think it really needed to exist at all if im going to be honest. it causes way more problems than it fixes

[alteredsilicone]

Euleria picking up a lot of Loid's quirks is one of the things that feeds into Albrecht's self doubt.

[liebgirl]

to be fair o haven’t given him much opportunity but alex is not helping in the falling asleep war. why is my body incapable of fucking relaxing. i physically cannot un-tense myself rn and frankly it’s making me wish i was just dead. and if i don’t sleep now then i’ll get tired at work and come home and nap at 6pm. which will only make me not tired again when actual nighttime comes around and i won’t sleep AGAIN. like ok do i just kill my self or what

[frau-line]

Inspiration by 1. Music and 2. A friggin OTP prompt I’ve been obsessed with for literal years

Now imagining the War Apostle had a husband, more specifically an isosceles. Their society didn’t know the hierarchy, he was a humble business owner that she also helped with.

But then, the Messiah chose his apostle. Then, she decided war.

Her husband was a calm fellow, and didn’t approve of any upsets in their more “perfect society.” And yet, she wouldn’t listen. She dived head-first into war, seeing no other way to spread the gospel. The isosceles husband wasn’t drafted, he didn’t aid the side against her, at least at first. But once the brutality began to intensify and more bodies were stacked, he pledged his work to the war against her.

The War Apostle, drowning in her radicalism, seemed to forget about him entirely. She was consumed by the gospel, and stopped caring for any individual person that either helped her or stood in her way.

Then, the war ended. And the hierarchy was formed. The isosceles husband then had another reason to hate her. It was her war that threw him to the bottom of the social pyramid. He lost his rights, his business, his entire life, and their children will face that as well, and their children, and further down their descendants forever.

Whatever happiness they had before no longer matters. All that was left was bloodshed and tears.