#formal — Public Fediverse posts

Small Business: Tradie turns sleepless nights into AI tool to tame job budgets

What tradies do at the start of a project is gather all the estimates and quotes, along with…
#NewsBeep #News #Entrepreneurship #about #AI #AU #Australia #budgets #Business #came #entrepreneur #experience #formal #founder #from #Gene #gibson #into #job #nights #Personal #platform #raynel #sleepless #Small #start #talks #tame #To #tool #tradie #turns #Young
https://www.newsbeep.com/au/662472/

Small Business: Tradie turns sleepless nights into AI tool to tame job budgets

What tradies do at the start of a project is gather all the estimates and quotes, along with…
#NewsBeep #News #Entrepreneurship #about #AI #AU #Australia #budgets #Business #came #entrepreneur #experience #formal #founder #from #Gene #gibson #into #job #nights #Personal #platform #raynel #sleepless #Small #start #talks #tame #To #tool #tradie #turns #Young
https://www.newsbeep.com/au/662472/

Procession at the royal palace for New Year celebrations, Tehran, Iran, ~1885 AD

https://piefed.social/c/historyphotos/p/2019260/procession-at-the-royal-palace-for-new-year-celebrations-tehran-iran-1885-ad

https://www.europesays.com/africa/173536/ Somalia’s Ministry of Labour Welcomes New Director General in A Formal Hand Over Ceremony #à #ceremony #Director #formal #General #Hand #in #Labour #ministry #new #of #Over #Somalia #somalias #welcomes

"How do we balance the creativity needed to discover new mathematical connections with the rigor needed to ensure that every logical step is undeniable?"

https://www.quantamagazine.org/in-math-rigor-is-vital-but-are-digitized-proofs-taking-it-too-far-20260325/

#Mathematics #Formal #Proofs #Computers #Lean

The European Commission has launched a formal investigation against online retailer Shein under the Digital Services Act. The action focuses on three main conce... https://news.osna.fm/?p=34770 | #news #algorithmic #commission #eu #formal

Lies, Damned Lies and Proofs: Formal Methods Are Not Slopless

https://www.lesswrong.com/posts/rhAPh3YzhPoBNpgHg/lies-damned-lies-and-proofs-formal-methods-are-not-slopless

#HackerNews #Lies #Damned #Lies #Formal #Methods #Proofs #Technology

Hype for the Future 72E: Why novaTopFlex Fears Judgment at Prom

https://novatopflex.wordpress.com/2026/01/11/hype-for-the-future-72e-why-novatopflex-fears-judgment-at-prom/

Hype for the Future 72E: Why novaTopFlex Fears Judgment at Prom

https://novatopflex.wordpress.com/2026/01/11/hype-for-the-future-72e-why-novatopflex-fears-judgment-at-prom/

Hype for the Future 72E: Why novaTopFlex Fears Judgment at Prom

https://novatopflex.wordpress.com/2026/01/11/hype-for-the-future-72e-why-novatopflex-fears-judgment-at-prom/

Hype for the Future 72E: Why novaTopFlex Fears Judgment at Prom

https://novatopflex.wordpress.com/2026/01/11/hype-for-the-future-72e-why-novatopflex-fears-judgment-at-prom/

Designing Predictable LLM-Verifier Systems for Formal Method Guarantee

https://arxiv.org/abs/2512.02080

#HackerNews #Designing #Predictable #LLM-Verifier #Systems #for #Formal #Method #Guarantee #LLMVerifier #FormalMethods #AIResearch #Predictability #arXiv

“BREAKING: hunger strikers launch legal action against Lammy”

by Skwawkbox with The Canary

@thecanaryuk
@uk_politics
@[email protected]
@[email protected]
@[email protected]

“The six [#Filton24] hunger strikers [..] have launched legal action against ‘justice’ secretary David #Lammy, with a ‘letter before action’ (LBA) for a #formal #judicial #review of [their] treatment [by the UK govt]”

https://www.thecanary.co/skwawkbox/2025/12/22/hunger-strikers-launch-legal-action/

#Press #HungerStrike #PalAction #Starvation #Repression #Starmer #Labour #AbuseOfPower #LegalAction

TLA+ Modeling Tips

http://muratbuffalo.blogspot.com/2025/12/tla-modeling-tips.html

#HackerNews #TLA+ #Modeling #Tips #TLA+ #Modeling #Software #Formal #Methods #Software #Engineering #System #Design

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

Litex: The First Formal Language Learnable in 1-2 Hours

https://github.com/litexlang/golitex

#HackerNews #Litex #Formal #Language #Learnable #Programming #Education

Clean, a formal verification DSL for ZK circuits in Lean4

https://blog.zksecurity.xyz/posts/clean/

#HackerNews #Clean #ZK #circuits #Lean4 #formal #verification #DSL

Guest post by #Yervant #Kulbashian: "The Green Swan - Part 3: A Thin #Layer of #Symbols"

This 3rd part of his overall essay deals mainly with the problem of how #language-guided, #human #thinking "can be developed from this implicit stage to a #formal #logic". Here you must first "go through the #stages of #conceptualization or #abstraction" in order to develop from this in a further step "the terms for #logical #concepts" for #AI #machines.

https://philosophies.de/index.php/2023/04/24/der-gruene-schwan-3/

Had the tall #hedges cut yesterday. All looks very neat. The garden assumes an almost #formal appearance. Quite amusing!
We may think of hedges, such as this, as a bit uninspiring but they are heavens for the wildlife. They offer space for #shelter and #nesting. It is important to cut them before the birds start to build nests.
‣ Upright. Click to see all.

#artistsgarden #ImperfectGarden #garden #GardenPhotography #Artist #wolfkettler #Photography #GardenWiltshire #WiltshireGarden #Wiltshire #winter #natural #NaturalGarden #formalGarden #WildlifeFriendly #conservation

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

#Expert #Explainer: The #US for the first time submits a #formal #brief to the #InternationalCriminalCourt on the ‘#Situation in #Palestine’

The following is a #QAndA between #JustSecurity and #ToddBuchwald, who previously served as #US #Ambassador for #GlobalCriminalJustice at the #US #DepartmentofState.

#Women #Transgender #LGBTQ #LGBTQIA #MiddleEast #Israel #Gaza #Palestine #Hate #Bigotry #Violence #Genocide

https://www.justsecurity.org/98812/icc-amicus-brief-israel-palestine/

European Soccer Leagues, Player Unions challenge FIFA In Formal legal Complaint On Competition Law #challenge #competition #Complaint #European #FIFA #FIFA_court_case #fifa_taken_to_court #fifa_taken_to_court_for_players_union #Formal #Law #Leagues #legal #legal_comp...
https://news.vebnox.com/european-soccer-leagues-player-unions-challenge-fifa-in-formal-legal-complaint-on-competition-law/?feed_id=5962&_unique_id=669fff9e2f1f3&utm_source=Mastodon&utm_medium=venukarnati1&utm_campaign=FS%20Poster

Nightclub Reflections A Formal Portrait of Mathieu Aerni

Amid the dim lights and pulsing music, a contemplative confidence emanates from Mathieu Aerni as he gazes into an identity reflection in this tantalizing club scene

See More Seeds: https://aidyslexic.raupulus.dev/collections/show/1497

#StableDiffusion #ai #ArtificialIntelligence #Nightclub #Reflection #Formal #Portrait #Identity #Confidence #Mathieu-Aerni

#LGBTQ+ #org files #formal #complaint against #Michigan #weddingvenue that #banned #LGBTQ+ #couples.

The #hateful #venue's #website states it "will only recognize #marriages between a #biological #man and a biological #woman."

#Women #Transgender #LGBTQ #LGBTQIA #Conservatives #Extremism #Fascism #Religion #RepublicanParty #Hate #Bigotry #Violence #Genocide #Discrimination #Transphobia #ThePartyOfHate #EmptyThePews

https://www.lgbtqnation.com/2024/02/lgbtq-org-files-formal-complaint-against-michigan-wedding-venue-that-banned-lgbtq-couples/

#Texas #SupremeCourt Hears #Case of #Judge Who #Refuses to #Marry #SameSex #Couples

The #county #justiceofthepeace #sued after she was #issued a #formal #reprimand in 2019.

#Women #Transgender #LGBTQ #LGBTQIA #Texas #Extremism #Fascism #RepublicanParty #Religion #Hate #Bigotry #Violence #Genocide #Discrimination #Homophobia #Transphobia #EmptyThePews #ThePartyOfHate

https://www.advocate.com/law/dianne-hensley-marriage-equality-hearing

#MarshaPJohnson #painting #donated to #WhitmanWalkerHealth.

#PyxisPartners #President #MichaelManganiello is #donating to Whitman-Walker Health a painting of #Stonewall #activist Marsha P. Johnson that #queer #artist #GioBlackPeter painted. #Formal #unveiling to take place #Wednesday at #MaxRobinsonCenter.

#Women #Transgender #LGBTQ #LGBTQIA #Entertainment #TheArts #Painting #Representation #Culture

https://www.washingtonblade.com/2023/10/16/marsha-p-johnson-painting-donated-to-whitman-walker-health/

#BYU Reinstates #Formal #Ban on ‘#SameSex #Romantic #Behavior’ in #HonorCode

BYU had previously #explicitly #banned ‘all #forms of #physicalintimacy’ among #LGBTQ #students and #staffmembers

#Women #Transgender #LGBTQ #LGBTQIA #HigherEducation #Religion #Hate #Bigotry #Discrimination #Homophobia #Transphobia #EmptyThePews #FindAnotherSchool

https://themessenger.com/news/byu-reinstates-formal-ban-on-same-sex-romantic-behavior-in-honor-code

#BYU Reinstates #Formal #Ban on ‘#SameSex #Romantic #Behavior’ in #HonorCode

BYU had previously #explicitly #banned ‘all #forms of #physicalintimacy’ among #LGBTQ #students and #staffmembers

#Women #Transgender #LGBTQ #LGBTQIA #HigherEducation #Religion #Hate #Bigotry #Discrimination #Homophobia #Transphobia #EmptyThePews #FindAnotherSchool

https://themessenger.com/news/byu-reinstates-formal-ban-on-same-sex-romantic-behavior-in-honor-code

#BYU Reinstates #Formal #Ban on ‘#SameSex #Romantic #Behavior’ in #HonorCode

BYU had previously #explicitly #banned ‘all #forms of #physicalintimacy’ among #LGBTQ #students and #staffmembers

#Women #Transgender #LGBTQ #LGBTQIA #HigherEducation #Religion #Hate #Bigotry #Discrimination #Homophobia #Transphobia #EmptyThePews #FindAnotherSchool

https://themessenger.com/news/byu-reinstates-formal-ban-on-same-sex-romantic-behavior-in-honor-code

#BYU Reinstates #Formal #Ban on ‘#SameSex #Romantic #Behavior’ in #HonorCode

BYU had previously #explicitly #banned ‘all #forms of #physicalintimacy’ among #LGBTQ #students and #staffmembers

#Women #Transgender #LGBTQ #LGBTQIA #HigherEducation #Religion #Hate #Bigotry #Discrimination #Homophobia #Transphobia #EmptyThePews #FindAnotherSchool

https://themessenger.com/news/byu-reinstates-formal-ban-on-same-sex-romantic-behavior-in-honor-code

#BYU Reinstates #Formal #Ban on ‘#SameSex #Romantic #Behavior’ in #HonorCode

BYU had previously #explicitly #banned ‘all #forms of #physicalintimacy’ among #LGBTQ #students and #staffmembers

#Women #Transgender #LGBTQ #LGBTQIA #HigherEducation #Religion #Hate #Bigotry #Discrimination #Homophobia #Transphobia #EmptyThePews #FindAnotherSchool

https://themessenger.com/news/byu-reinstates-formal-ban-on-same-sex-romantic-behavior-in-honor-code

#Indiana #Attorneygeneral seeks #info about #GenderAffirming Healthcare with #Subpoena-like #demands

#AttorneyGeneral #ToddRokita is taking #formal #action to #compel multiple #Indiana #medical #providers to give #patient #details.

https://indianacapitalchronicle.com/2023/08/16/indiana-attorney-general-seeks-info-about-gender-affirming-care-with-subpoena-like-demands/

#Selfadmitted #fascist who lacks any #formal #education seems really #triggered by #WayneBrady’s #pansexuality: “He could be #attracted to any of us!”

#Homophobic #Rightwing #nutjob #MattWalsh demands Brady “pick a #team

#Pansexuals #LGBTQ #LGBTQIA #Conservatives #Extremism #Fascism #RepublicanParty #Hate #Bigotry #Violence #Genocide #Discrimination #Homophobia #ThePartyOfHate

https://www.queerty.com/right-wingnut-matt-walsh-is-really-triggered-by-wayne-bradys-pansexuality-he-could-be-attracted-to-any-of-us-20230809

All three #plaintiffs in the #Indiana case — referred to by the initials A.C., B.E., and S.E. in #court #documents — have undergone #formal #namechanges and have #amended their #legal #names and #gendermarkers on their #birthcertificates.

Ne bis in #idem
#Rechtsgrundsatz
Art. 103 Abs. 3 GG: #Niemand darf wegen derselben #Tat auf #Grund der #allgemeinen #Strafgesetze #mehrmals #bestraft werden

#Verbot der #Doppelverfolgung sei #Bollwerk gegen #staatlich​e #Willkür
vgl. #Inquisition als #Dauerermittlung gegen #Unschuldig​e

#Diskurs habe sich weg von #Rechtssicherheit durch #formal​e #Regel​n / #Rechtspositivismus hin zu #materiell​er #Gerechtigkeit #verschoben

#SZ, 22.04.22, #Politik, S.8, #Janisch - Die #Wucht der #Emotion​en

Ne bis in #idem
#Rechtsgrundsatz
Art. 103 Abs. 3 GG: #Niemand darf wegen derselben #Tat auf #Grund der #allgemeinen #Strafgesetze #mehrmals #bestraft werden

#Verbot der #Doppelverfolgung sei #Bollwerk gegen #staatlich​e #Willkür
vgl. #Inquisition als #Dauerermittlung gegen #Unschuldig​e

#Diskurs habe sich weg von #Rechtssicherheit durch #formal​e #Regel​n / #Rechtspositivismus hin zu #materiell​er #Gerechtigkeit #verschoben

#SZ, 22.04.22, #Politik, S.8, #Janisch - Die #Wucht der #Emotion​en

#Interaktion zwischen #Princeps und #Senat
#Dankbar für #Ende der #Verfolgungen im #Bürgerkrieg #respektierten die #Senatoren #Augustus

#Senat als #Herrschaftsinstrument des #Princeps:
#Gesetzesgleiche #Geltung

#Durchsetzung #faktischer #Macht unter #Wahrung von #Formen ohne #Inanspruchnahme #formaler #Macht oder #Gewalt

#Staatsform #Prinzipat

#Princeps #Legibus #Solutus
#Begriff #Absolutismus
#Souverän ist #Gesetze #ändern können

#Römische #Rechtsgeschichte #Avenarius, 9. Sitzung

#Kunstfreiheit
Art. 5 Abs. 3 S. 1 Alt. 1 #GG

#Persönlicher #Schutzbereich:
#Jedermann: #Künstler, #Kunstmittler, #Buchhändler;
#Institutionen: #Theater, #Museen, #Kunsthochschulen;

#Sachlicher #Schutzbereich:
#Kunst ist #frei; #Möglichkeit #juristischer #Definition?
#Frage nach #Kunst im #juristischen #Sinn als #Einheit von #Definitionsverbot und #Definitionsgebot

#Kunstbegriff: #material; #formal, #offen;

#Mephisto; #Anachronistischer #Zug

#Vorlesung 10,3
#Grundrechte #Nußberger

#Zuteilung von #Lebenschance​n: #Zuweisung von #Selbstverantwortung ist #Bedingung der #Möglichkeit #Ansprechbarkeit herzustellen, mit der #Einfordern von #Recht​en #formal​isiert und #bürokratisiert wird.

#Frage nach #Grenze​n von #Formalisierung und #Explikation.

#Hinweis auf #BVerfGE 33, 303/346; #Parlamentsvorbehalt

Thorsten #Kingreen, #Stellungnahme als #Sachverständiger zum #Entwurf eines #Gesetz​es zur #Priorisierung bei der #Schutzimpfung gegen #Corona

https://www.bundestag.de/resource/blob/816166/b8b83384c79aa15f3ea4142bc628dc21/19_14_0263-2-_ESV-Prof-Dr-Thorsten-Kingreen_Impfstrategie-data.pdf

#Sprache in der #soziale​n #Interaktion
Aaron V. #Cicourel

#Linguistik als #Unterschied zwischen #indexikalisch​er #Entfaltung #alltäglich​er #Welt und dem #Versuch der #Produktion #determiniert​er #Ergebnis​se #formal​er #Denkform.

#Bibliothek #Handwerk #Semantik #Ethnomethodologie