Bob Coecke: "Lambek vs Lambek"
https://www.youtube.com/watch?v=0SNB4tLah0Q
The sound is not super good, but the video is nice for an overview of diagram language and applications
#categorytheory #vulgarisation #diagram #formal #language #nlp
#Formal
Grammars of Formal Uncertainty
https://arxiv.org/abs/2505.20047
#HackerNews #Grammars #of #Formal #Uncertainty #arxiv #FormalLanguages #UncertaintyTheory #HackerNews
Bibliothekar*in (m/w/d) mit Gehobener Qualifikation, Vollzeit, G6, Stufe 1, mtl. € 3.334,00 lt. KV 2025, unbefristet | https://ku-linz.at/universitaet/ausschreibungen | https://bibliojobs.eu/stellenangebote/114884/
#bibliojobs
#DiözesanbibliothekLinz #Formal-undSacherschließung #HistorischeDrucke #Normdatenpflege #Oberösterreich #Sondermaterialien #ULG
The current state of TLA⁺ development
https://ahelwer.ca/post/2025-05-15-tla-dev-status/
#HackerNews #TLA+ #TLAplus #development #software #engineering #formal #methods #programming
Clean, a formal verification DSL for ZK circuits in Lean4
https://blog.zksecurity.xyz/posts/clean/
#HackerNews #Clean #ZK #circuits #Lean4 #formal #verification #DSL
Stipple Head cut illustration like WSJ.
Find me on Fiverr:
https://www.fiverr.com/s/o8LNEQg
#photograph #creativetoots #photo #photoshop #wsj #illustration #profilepic #fiverrexperts #art #DigitalArt #design #edit #fiverr #gig #stipple #profile #thumbnail #professional #formal
#ITByte: #Formal #Verification is the act of proving or disproving the correctness of a system with respect to a certain formal specification or property.
Here is a brief introduction to formal program verification.
https://knowledgezone.co.in/posts/Program-Verification-65fa9372256f40fe1d4c5ca7
𝐌𝐚𝐬𝐭𝐞𝐫 𝐌𝐞𝐧'𝐬 𝐅𝐨𝐫𝐦𝐚𝐥 𝐅𝐚𝐬𝐡𝐢𝐨𝐧: 𝐓𝐮𝐱𝐞𝐝𝐨𝐬, 𝐒𝐮𝐢𝐭𝐬, & 𝐁𝐚𝐧𝐝𝐡𝐠𝐚𝐥𝐚𝐬 𝐄𝐱𝐩𝐥𝐚𝐢𝐧𝐞𝐝
Discover the nuances of men's formal wear with our comprehensive guide on tuxedos, suits, and bandhgalas. Learn when and how to wear each style to ensure you're impeccably dressed for any occasion.
https://articles.wifd.in/formal-wear-fashion-for-men-tuxedo-suits-and-bandhgalas
Regards,
Fashion Articles by Waves Fashion Institute
https://articles.wifd.in
#formalwear #mensfashion #suits #tuxedo #bandhgala #style #menswear #fashion #ethnic #formal #trending
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/
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/
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/
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. Even a bathing suit would be great, since we do own a saltwater pool.
#accessories #antiquemenswear #bespoke #clothing #dandies #dandyism #daywear #dressing #Edwardian #eveningwear #fashion #formal #historicalclothing #informal #loungesuit #masculinewomen #mensfashion #menswear #morningwear #offtherack #Regency #suits #tailors
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. Even a bathing suit would be great, since we do own a saltwater pool.
#accessories #antiquemenswear #bespoke #clothing #dandies #dandyism #daywear #dressing #Edwardian #eveningwear #fashion #formal #historicalclothing #informal #loungesuit #masculinewomen #mensfashion #menswear #morningwear #offtherack #Regency #suits #tailors
[New Blog Post] Comparing Two Verilog CPU Implementations using EBMC https://www.philipzucker.com/td4_ebmc/ #verilog #formal
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
den—Port Alberni, BC (2023)
#landscapephotography #fujifilm #fujixseries #fineartphotography #canada #britishcolumbia #lake #sproatlake #watersedge #beaver #den #landscape #formal #stilllife #still #morning #overcast
15/365
#landscapephotography #fujifilm #fujixseries #fineartphotography #canada #britishcolumbia #lake #sproatlake #watersedge #beaver #den #landscape #formal #stilllife #still #morning #overcast
15/365
Bibliothekar*in (m/w/d) mit Gehobener Qualifikation im Bereich Formal- und Sacherschließung von historischen Drucken und Sondermaterialien sowie Koordination der Sacherschließung, G6, Stufe 1, mtl. € 3.334,00 lt. KV 2025 (bei 100%), unbefristet 100% bzw. 37,5 Wochenstunden | https://ku-linz.at/universitaet/ausschreibungen | https://bibliojobs.eu/stellenangebote/110570/
#bibliojobs
#DiözesanbibliothekLinz #Formal-undSacherschließung #HistorischeDrucke #Normdatenpflege #Oberösterreich #Sondermaterialien #ULG
modelled—Kennett Square, PA (2023)
#landscape #landscapephotography #fujifilm #fujixseries #fineartphotography #synthetic #garden #alien_landscape #winter #formal #calligraphic
4/365
#landscape #landscapephotography #fujifilm #fujixseries #fineartphotography #synthetic #garden #alien_landscape #winter #formal #calligraphic
4/365
Rocq is a trustworthy, industrial-strength interactive theorem prover and dependently-typed programming language for mechanised reasoning in mathematics and computer science https://rocq-prover.org/ #Formal #Verification #theorem #prover
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
Bibliothekar:in mit Gehobener Qualifikation (m/w/d) Vollzeit, Kollektivvertrag, Kollektivvertrag der Diözese Linz, Mindestentgelt ab G6, | https://ku-linz.at/universitaet/ausschreibungen | https://bibliojobs.eu/stellenangebote/109436/
#bibliojobs
#ALMA #Benutzerdienste #DiözesanbibliothekLinz #DiözeseLinz #Formal-undSacherschließung #HistorischeAltbestände #Oberösterreich #Schulungen
Client Info
Server: https://mastodon.social
Version: 2025.04
Repository: https://github.com/cyevgeniy/lmst