#informal — Public Fediverse posts

🎉 Welcome to the mind-bending world of Lean 4, where scattered resources and typos unite to create the most "informal" #introduction to a formal language ever conceived. 🤪 Just remember, your keyboard shortcuts will be more useful than the article itself, as it takes you on a thrilling #journey from QED to ZZZ. 😴🚀
https://sdiehl.github.io/zero-to-qed/01_introduction.html #Lean4 #Informal #Learning #Programming #HackerNews #ngated

Here are two older posts of mine that may be of interest to the dandies, dandy lovers, historians, and those curious about antique fashions.

In this first post, I will provide links related to men's fashion during the Regency and Edwardian periods. My apologies to those who prefer Victorian styles, but I don't know much about them. I am, however, willing to learn. My interest in Regency clothing and culture is connected to my love of dandyism, and my interest in Edwardian clothing is because that is how I wish to dress personally.

https://dandylover1.dreamwidth.org/210125.html

Here, you will find links pertaining to dandies and dandyism as a whole. It is the culmination of at least five years of research, though I am constantly finding new things to add to my collection and am always open to suggestions. Topics include General Links on Dandyism, Books, Beau Brummell, and Regency Dandies.

https://dandylover1.dreamwidth.org/181996.html

#BeauBrummell #Brummell #clothing #dandies #dandyism #Dreamwidth #Edwardian #fashion #formal #history #informal #mensware #Regency #suits

Bacchanalias II - Jantar e Munch (Dinner and Munch)

Lisboa, Saturday, June 28 at 08:00 PM GMT+1

Bacchanalias

[English version below] 

Depois da primeira edição do evento estamos já a preparar o próximo - sábado dia 28 de Junho - explorando novos locais.

As Bacanálias são eventos de convívio informal e despreocupado da comunidade Kinky/Bdsm em Lisboa. Apesar do nome da iniciativa, tratam-se de eventos de convívio e não play-parties.

As Bacanálias são eventos inclusivos, com mentalidade aberta e despreconceituosa, abertos a toda a comunidade (local ou não).

O modelo é de jantarada seguida de copos/convívio na zona de Lisboa. Os participantes poderão inscrever-se num ou noutro ou em ambos. Tanto o jantar como o convívio posterior serão feitos em espaços públicos em Lisboa. Sendo espaços públicos o dress-code será necessariamente casual/discreto.

O jantar será feito em modo menu de grupo com preço fixo por pessoa, havendo opções de carne, peixe ou vegetariano. O preço por pessoa, para o jantar, incluindo entrada, prato principal, bebida e café andará à volta dos 25€ por pessoa, sendo o valor exacto indicado atempadamente. As inscrições serão feitas unicamente por mensagem privada e só serão confirmadas após adiantamento de um sinal, ainda por indicar. As inscrições serão encerradas uma semana antes do evento.

English Version:

After the first edition of the event, we are already preparing for the next one - Saturday, June 28th - exploring new locations.

The Bacchanalias are informal and carefree social events for the Kinky/BDSM community in Lisbon. Despite the name of the initiative, they are social events and not play parties.

Bacchanalias are inclusive events, with an open and unprejudiced mindset, open to the entire community (local or not).

The format of the event is a dinner followed by drinks/socializing in the Lisbon area. Participants can sign up for one or the other or both. Both the dinner and the subsequent socializing will be held in public spaces in Lisbon. Since these are public spaces, the dress code will necessarily be casual/discreet.

Dinner will be served as a group menu with a fixed price per person, with meat, fish and vegetarian options. The price per person for dinner, including starter, main course, drink and coffee, will be approximately €25 per person, with the exact price being announced in due time. Registrations will be made only by private message and will only be confirmed after a deposit has been paid, yet to be announced. Registrations will close one week before the event.

https://kinkcalendar.site/event/bacchanalias-ii-jantar-e-munch-dinner-and-munch

Atuendo informal completo APOTO + 30 Men's Deal Hets Terminando pronto · Primer #APOTO #atuendo #completo #Deal #Hets #informal #mens #primer #pronto #Terminando #ButterWord #Spanish_News Comenta tu opinión 👇
https://butterword.com/atuendo-informal-completo-apoto-30-mens-deal-hets-terminando-pronto-%c2%b7-primer/?feed_id=8301&_unique_id=67bd183e3165e

[english] Tuesday 11th Feb 2025, 7.30pm, @ la Générale in Paris, the #informal seminar[ MiG] receives @jaromil

We'll talk #Permacomputing ,
starting from #cjit — developped by @dyne – http://dyne.org/docs/cjit

-

Jaromil is the director of the #Dyne.org foundation and work as applied cryptographer at The Forkbomb Company. His research subject is #algorethics.

Denis Roio holds an "old school" Ph.D in philosophy. He has coined the term #AlgorithmicSovereignty and has published articles on topics related to free software, ethics and society, media theory and mathematics.

-

This session will be streamed over ∏-node radio p-node.org at 8pm

CC @dyne

#∏ #∏node #p-node.org #p-node #MiG #generale #paris #cjit #permacomputing #AlgorithmicSovereignty

Whatever, I don't care, just use CI/CD to push to prod.

#technology #devops #softwaredevelopment #casual #dismissive #frustrated #informal

Creativity should flow, not be interrupted.

Stop juggling platforms. VocalCat simplifies your workflow so you can focus on your content.

🎨 You create, we amplify.

Join at https://www.vocalcat.com

#creativity #workflow #contentcreation #productivity #technology #supportive #motivational #concise #informal

Creativity should flow, not be interrupted.

Stop juggling platforms. VocalCat simplifies your workflow so you can focus on your content.

🎨 You create, we amplify.

Join at https://www.vocalcat.com

#creativity #workflow #contentcreation #productivity #technology #supportive #motivational #concise #informal

Creativity should flow, not be interrupted.

Stop juggling platforms. VocalCat simplifies your workflow so you can focus on your content.

🎨 You create, we amplify.

Join at https://www.vocalcat.com

#creativity #workflow #contentcreation #productivity #technology #supportive #motivational #concise #informal

Creativity should flow, not be interrupted.

Stop juggling platforms. VocalCat simplifies your workflow so you can focus on your content.

🎨 You create, we amplify.

Join at https://www.vocalcat.com

#creativity #workflow #contentcreation #productivity #technology #supportive #motivational #concise #informal

The beat thing about traveling is organizing your cable set.

Maybe one day everything will be usb-c ...

#travel #organization #cables #lifestyle #lighthearted #humorous #quirky #informal

Jealous is toxic as f*ck... and so is the algorithm.

Don’t fight it—tame it. VocalCat helps you analyze trends, master algorithms, and grow your audience.

📈 Your voice deserves the spotlight. Join at https://www.vocalcat.com

#socialmedia #algorithms #audiencegrowth #analytics #assertive #informal #motivational #direct

Async programming in C#:

Step 1: Add async, duh.
Step 2: Sprinkle await like candies.
Step 3: Spend hours hunting down why nothing’s awaiting the way it should.

#programming #C# #asyncprogramming #softwaredevelopment #humorous #sarcastic #informal #dotnet

Since this post is about fashion, let me start by answering the question that I am sure will be on your mind upon seeing my name. No, I am not related to The Beau. However, I love dandyism as a whole, and I took this name in tribute. I am also working to have his book, Male and Female Costume, published online freely, but that's for another post and time. At any rate, I am forty-one and am passionate about antique menswear, Regency as a scholarly pursuit, and Edwardian for daily wear. Naturally, I am constantly researching and trying to expand upon my knowledge. I am totally blind, so I must rely on descriptions rather than images.

I am the type who would like to wear a three-piece suit and accessories everywhere I go. I've decided that for my first one, I should get a lounge suit, since I can wear it almost anywhere during the day, provided it's not a formal occasion. I will eventually have morning wear, white tie, black tie, and informal evening wear, but that's for later. I have found some sites which create reproductions of men's Edwardian suits, but most use synthetic materials and/or zippers, which I refuse to wear, and none uses fabrics of the proper thickness. I found sites that make women's suits with men's specifications (no ridiculous enhancements of breasts, butt, shallow pockets, soft colours, buttons on the wrong sides of shirts, etc.) but they only make modern clothing. Ebay and Etsy occasionally have some authentic pieces, but most are too formal for daily use, even by Edwardian standards! I am also having difficulty with finding some accessories, such as proper ties and socks without elastic. My other option is to have a suit commissioned, but for that, I need to find a good tailor. The best in the world, in my opinion, is Zack Pinsent, but he's in England and I'm in America (New Jersey).

I am seeking those who share my interest in antique menswear, and perhaps some advice as to where I can find such clothing and/or accessories.

For those who are interested in my journey so far, here is my dreamwidth post containing all sorts of links related to Regency and Edwardian menswear.

dandylover1.dreamwidth.org/210…

#accessories #antiquemenswear #bespoke #clothing #dandyism #daywear #dressing #Edwardian #eveningwear #fashion #formal #historicalclothing #informal #loungesuit #masculinewomen #mensfashion #menswear #morningwear #offtherack #Regency #suits #tailors

It's a Little Piece of Normal [FEMA Waffle House Index]
--
https://www.fema.gov/blog/its-little-piece-normal <-- shared FEMA blog post
--
https://en.wikipedia.org/wiki/Waffle_House_Index <-- wiki page
--
"... The index has three levels, based on the extent of operations and service at the restaurant following a storm:
• GREEN: full menu – Restaurant has power and damage is minimal or absent.
• YELLOW: limited menu – Power is either absent or delivered by a generator, or food supplies are running low.
• RED: the restaurant is closed – Indicates severe damage or severe flooding; Severe destruction to the restaurant…”
#GIS #spatial #mapping #extremeweather #wafflehouse #wafflehouseindex #FEMA #disaster #hurricane #monitoring #appraisal #metric #informal #crowdsourcing #community #disastermanagement #disasterresponse #restuarant
@FEMA @WaffleHouse

“#MarriedAtFirstSight #Australia” #star #JessikaPower #comesout as #bisexual.

In an #informal #AMA #session with #fans on #Instagram #stories, the #Australian #realityTV #star casually clarified her #bisexuality. She is just came off a breakup with #ConnorThompson, her #boyfriend of two years explained to fans that she’s open to whatever kind of #romance comes her way.

#Women #Bisexuals #LGBTQ #LGBTQIA #Australia #Entertainment #TV #ComingOut #Representation #Culture

https://www.intomore.com/culture/identity/married-at-first-sight-australia-star-jessika-power-comes-out-as-bisexual/

In the #context of #computer #programming, #magic is an #informal #term for #abstraction; it is used to #describe #code that #handles #complex #tasks while #hiding that #complexity to #present a #simple #interface. The term is somewhat tongue-in-cheek, and often #carries #bad #connotations, #implying that the #true #behavior of the code is not #immediately #apparent. For #example, #Perl's #polymorphic #typing and #closure #mechanisms are often #called "magic".

In the #context of #computer #programming, #magic is an #informal #term for #abstraction; it is used to #describe #code that #handles #complex #tasks while #hiding that #complexity to #present a #simple #interface. The term is somewhat tongue-in-cheek, and often #carries #bad #connotations, #implying that the #true #behavior of the code is not #immediately #apparent. For #example, #Perl's #polymorphic #typing and #closure #mechanisms are often #called "magic".