Yes, I know, unlike in vanilla Rocq, in #HoTT it is customary to have functional extensionality for Leibniz equality too 🙄

But if you want to get anywhere with formalizing *real* mathematics, then having proof irrelevance (as not in #HoTT 😁) and quotient types and a thoroughly classical library is very important. So "slightly better" is maybe not *such* a small difference ☺️

#HotT

CW: Non-gratuitous spice
🌶️🌶️

“I don’t know what I’m doing,” he groaned, sliding a hand between Ra’tha’s thighs to feel out all that was on offer.

“You’re doing it pretty well, then.” Ra’tha gave a throaty chuckle, wriggling against groping fingers.

#WIPSnips
#WritingCommunity

#HotT
No quote today, but fun fact:

Lily is my grandmother's name and the inspiration for the name Lilein.

(Is it an extant name? Beats me. But as far as I know, I made it up.)

#WIPSnips
#WritingCommunity

#HotT

“Since you’re stuck here, why don’t you do some digging through Mai’den’s untamed library for some more engaging reading?” Lilein suggested, not too subtle in her shooing.

#WIPSnips
#WritingCommunity

Chpts 1-3 on Libraro:
app.libraro.com/manuscript/d...

#HotT

I have "wake" "awaken" etc., but I chose vibes today because this chapter opening is one of my favorite excerpts. I'm really excited to share it.

#WIPSnips
#WritingCommunity

Heart of the Tiers

(Search the above and engage with chapters 1-3 on Libraro.com by March 21 to support me for the #LibraroPrize!)

He caught Ne’ridan’s exit from the corner of his eye and saw Lilein glaring darts as she followed the mai’ta to be sure he did not linger.

#HotT
#WIPSnips

#HotT #ReadingCommunity #WritingCommunity
#booksky #bookchallenge #writers #authors #readers #booklovers #HatchetteUK #Libraro

Hehehe, whatcha doin over there?

#fat #chubby #slut #hott #censored #nsfw

“You want me to fight Ra’tha?”
“Spar, Faidhrin, not fight.”
“I couldn’t! What if I hurt him?”
“Hurt Ra’tha? Not likely! Nobody but Ma’radan beats Ra’tha at the spears!”
“Well,” said Sandhrin, turning a wry look on Lilein, “Nobody apart from Ma’radan has tried.”

#HotT
#WIPSnips
#WritingCommunity

The solid thud of a hand upon his shoulder made Ra’tha jump. He leaned back against the muscular form behind him, hips swaying.
“I suggest you save that sort of thing for your future Companion.”
“Ma’ra? Stallion's stones!”

(When u mistake ur brother for ur boo.)
#HotT
#WIPSnips
Shimmy→Swaying

#busty #titties #BOOBS #naked #NUDE #bigtitties #blonde #sexy #slut #freeuse #hott #gorgeous #gorgeouswomen

In him, all see a reflection of some part of themselves. He is loved and loathed for it; admired and envied. His place in the world is as mighty as any could aspire to rise, and yet it is apart. Other. Unfathomable.

#HotT
#QueerPrompts
#WritingCommunity

#Libraro:

app.libraro.com/manuscript/r...

Wanna play with me?

#secondlife #sl #sexy #nsfw #bear #furry #hott

“Give it time.” He bent to scratch behind the ears of an inquisitive palace resident of the furry variety out to hunt among the ziggurat’s green trimmings.

#WIPSnips
#WritingCommunity

(IT'S A CAT)

Read chpts 1-3 of #HotT free on #Libraro:

app.libraro.com/manuscript/d...

Morning Spring Showertime #nudeart #eroticart #exhibitionist #nsfw #hott #nude #exposed #uncut #xrated #xxx #sexy #kinky #foryou

He strode across the hay-strewn ground with enough momentum to shove the larger man up against a beam. One breath was all the restraint his fear of rejection could instill before he pulled Lethuane to him by the neck and filled his senses to bursting.

#HotT
#WIPSnips
#WritingCommunity

There was a scene somewhere in the WoT books where Rand is standing framed in a window looking out. I thought that made for a cool opening and began drafting #HotT from inspiration from that visual. Thus, Ra'tha was born and 120k words came to be.

#WritingCommunity

Just tested it out with my GF and omg it was so fun

#secondlife #sl #hott #nsfw #yummy #sexy

New zaf acquired..... cannot wait to test it out

#zaf #secondlife #sl #hott #nsfw

There were several zarath’mai getting medical attention nearby and giving their handlers a very hard time. These lightest in hue were massive, sculpted creatures with muscles that rippled with every motion, ridden exclusively by the most accomplished of the mounted cavalry.

#HotT
#WIPSnips

DEAR READER

Your voice matters!

Have you found the time to support Heart of the Tiers, in its bid for the lifechanging #LibraroPrize yet?
Hope you can make a little time this weekend! XOXO
#HotT
#queer
#LGBTQ
#fantasy
#fiction
#literary
#Booksky
#characterdriven
#WritingCommunity
#ReadingCommunity

Stomp/Ra'tha:

They were livid. A zarath’mai dead on the home sands in tribute to some barbaric zest for blood and pain instead of a valiant end in battle against the winged predators all zarath’mai hungered to destroy alongside their warrior brethren.

#HotT
#WIPSnips
#WritingCommunity

Original post on mathstodon.xyz

This week the #HoTTEST seminar presents:

Ayberk Tosun (@ayberkt)

Constructive and predicative locale theory in univalent foundations

The talk is at 11:30am EST (16:30 UTC) on Thursday, March 5. The talk will be 60 minutes long, followed by up to 30 minutes for questions. See […]

Solraine stared intently into Ra’tha’s eyes, exuding confidence. “As for the dangers of over-extenuation, we have trained to counter them. So long as I am present, my bell will be at the ready to disrupt the work should you begin to get lost in it.”

#WIPSnips
#HotT:

app.libraro.com/manuscript/d...

Oasis‑born Ra’tha, second son of the House of Tiers, endures the rigid traditions of his ziggurat home through sensuality and spectacle. But when his brother returns from war marked for death, the sands shift. Ancient magick resurges in Ra’tha’s hands—volatile and complex. Beset by divided loyalties, he must choose duty or desire and place his trust well—before the obelisks that protect Rama'ador crumble and the desert buries all he loves.

Despite the ineligible translations you see trending, the real competition is heating up among the middle-ranked books.
YOUR engagement on #Libraro could make all the difference!
#HotT is:
Fresh #fantasy
Diverse
#LGBTQ
A chance to make a statement
#WritingCommunity

app.libraro.com/manuscript/d...

#Read Chpts 1-3 of #HotT free in submission for the lifechanging #LibraroPrize:

app.libraro.com/manuscript/d...

He couldn’t wait for the Storms, even if two moons of rain and thunder made most miserable, Rami found them refreshing.

#WIPSnips
#Worldbuilding
#WritingCommunity
#ReadingCommunity

There, one was unlikely to encounter nosy gnolles—the kind who would stick their noses where they didn’t belong, much like the long, squat rodents of the same name known for stuffing their snouted faces into the holes of burrowing critters.
#HotT
#WIPSnips
#Worldbuilding
#WritingCommunity
#Libraro:

If you enjoy my #WIPSnips, please support my #Libraro Prize entry!

It's free to sign up and read sample chapters!
Boost an #LGBTQ author & boost the #queer community!

app.libraro.com/manuscript/d...

One of my fav snippets today!

#HotT
#Booksky
#WriteSky
#WritingCommunity
#ReadingCommunity
Walk:

Time passed, carrying with it a stream of feet on the steps, bodies bustling by, and <i>things</i>—all manner of material inanities. All the while, thoughts both fleeting and sinking skirted the loss Ra’tha knew he had suffered.

#HotT
#Libraro
#WriteSky
#WIPSnips
#WritingCommunity
#ReadingCommunity