Hacker NewsFrom Zero to QED: An informal introduction to formality with Lean 4
https://sdiehl.github.io/zero-to-qed/01_introduction.html
#HackerNews #ZeroToQED #Lean4 #Introduction #Formality #Programming
Susan Larson ♀️🏳️🌈🏳️⚧️🌈#Wisconsin #HighCourt to hear #arguments on whether an 1849 #abortion #ban remains #valid.
#Abortionrights #advocates are optimistic, as #liberal #justices control the #court, with one openly supporting #abortionrights on the #campaign #trail. Monday's arguments are largely a #formality, with a #ruling expected in weeks.
#Women #Transgender #LGBTQ #LGBTQIA #Wisconsin #DemocraticParty #Allies #WomansRights #AbortionRights
Mx VerdaIf anyone ever needs a template for an email, letter, communication, memo etc,
to send to an organisation about something, here you go:
https://www.pillowfort.social/posts/4834330?page=1&comment=1209034
#writing #composition #letter #communication #english #formality #document #ideas #template #WritingTemplate aaah etou~ blegh! 
StarlightNecromancer
Okay, genuine helpDoes anyone know how to write a cover letter for a publication, I cannot imagine that conventional advice for writing one for employment will apply very wellI'm writing a short story for a publication because submissions are open but they want a cover letter and I don't know what to do
Simple Dictionary Bot#Formality - The condition or quality of being formal, strictly ceremonious, precise, etc.
MapologiesProbably you know your #pronouns, but do you know others? #translating pronouns from one language to another is not an easy job. Not only #gender plays a role, also number, #clusivity, and #formality.
Find out more here:
WIST Quotations moves again!A quotation from Martin, Judith:
«««««
Teacup formality is a part of etiquette, but an infinitesimal part. How about fast-food informality? That is as much a part of etiquette as the teacup. It is all of our behavior and not simply the formal occasion behavior. And, in fact, the more informal the circumstances, usually the more you need etiquette.
»»»»»
Full quote, sourcing, notes:
https://wist.info/martin-judith/60930/
#quote #quotes #quotation #behavior #etiquette #formality #informality
Coach Pāṇini ®Nobody tell the US Supreme Court!
#legalism #textualism #dogma #superstition #taboos #formality #religiosity
Michael PiotrowskiIt can be difficult to deal with the difference in #formality between #English and #French. With students, I therefore suggest we use first names in English, and first name + “vous” in French, which seems to me the closest approximation in formality.
Any thoughts by native speakers of either language? (University context.)
The Ghost of Émilie#Formality
Dear John,
I am writing to you about formal writing.
In a formally written message, you open by saying the person's name with a greeting, and below that, you summarize the contents of the message.
After you've written what you need to write, you write some form of goodbye, and then write your name.
Sincerely,
Émilie Fecteau
Dear John,
I am writing to you about formal writing.
In a formally written message, you open by saying the person's name with a greeting, and below that, you summarize the contents of the message.
After you've written what you need to write, you write some form of goodbye, and then write your name.
Sincerely,
Émilie Fecteau
WordofTheHour#formality : the condition or quality of being formal, strictly ceremonious, precise, etc
- German: die Formalität
- Portuguese: formalidade
- Spanish: formalidad
------------------
Fill in missing translation @ https://redd.it/95v7rk