#formal

2025-07-14

#leonardoCalculus #programming #knowledgeRepresentation #KR #formal #ontology #article

Leonardo Calculus Knowledge Representation: Defining sensors sense and sense2 lispdef helper action entities

screwlisp.small-web.org/lispga

Introduces and demos lispdef entities which in the upper ontology are entities containing lisp forms which can/do provide its concrete programming implementation.

Tying these together is obviously great, none of this "just an ontology" and "just not an ontology" stuff.

2025-07-13

#programming #formal #ontology #lisp #Sandewall #knowledgeRepresentation #article #leonardoCalculus

Leonardo Calculus Knowledge Representation: Fleshing out organism’s attributes

Adding attributes to the organism type (plant, insect and bird are all subsumed-by organism). I also add a coelacanth of type organism to a world entityfile. In my view, quite a good and informational/instructional article if I do say so. What do you think?

screwlisp.small-web.org/lispga

2025-07-13

#article #ontology #programming #formal #lisp #concrete

screwlisp.small-web.org/lispga

Plant Insect Bird practical formal ontology with Leonardo calculus

I revisit my #lispgames #gamejam #gamedev. In this article I create a formal ontology to be a vehicle for my concrete game redux of the jam (which had been lacklustre if technically interesting. Let's be technically interesting and have more lustre this time round.

Thoughts, commentary, ontological guidance gentle and stern if you will please.

A brightfield emacs partial screenshot showing a fragment of the low-level source of the formal ontology being created

YMMV if you keep reading.
---------------------------------------------------------
-- organisms-kb

[: type kb-index]
[: latest-written "2025-07-13/03:04.+12"]
[: contents <organisms-kb organisms-kb-properties (location: organisms) (location: plants) (location: insects) (location: birds) (location: sensors) (location: world)>]
[: preferred-directory "Organisms/"]
[: nullvalued {purpose namephrase requires mustload removed-entities uses-hostcommands codefiles profile overlay-on overlay-types overlay-own hostinfo indivinfo onto-amend leos-use dont-display sections local-ents latest-archived-entity archivepoint-sequence attrib-converted latest-rearchived}]

---------------------------------------------------------
-- organisms-kb-properties

[: type loadtime-operation]
[: latest-rearchived nil]

(progn (setf (get 'organisms-kb 'init-startup-proc) #'(lambda nil nil))
 (setf (get 'organisms-kb 'end-startup-proc) #'(lambda nil nil))
 (setf (get 'organisms-kb 'exit-proc) #'(lambda nil nil)))
 
---------------------------------------------------------
-- (location: organisms)
Sydney Burkamazing_Sydney
2025-07-10

Bob the Builder: Syd really thinks Grabber looks handsome in his formal outfit.

Stephane L Rolland-Brabant ⁂⧖⏚stphrolland@mathstodon.xyz
2025-06-05

Bob Coecke: "Lambek vs Lambek"

youtube.com/watch?v=0SNB4tLah0

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

2025-05-21

Bibliothekar*in (m/w/d) mit Gehobener Qualifikation, Vollzeit, G6, Stufe 1, mtl. € 3.334,00 lt. KV 2025, unbefristet | ku-linz.at/universitaet/aussch | bibliojobs.eu/stellenangebote/
#bibliojobs
#DiözesanbibliothekLinz #Formal-undSacherschließung #HistorischeDrucke #Normdatenpflege #Oberösterreich #Sondermaterialien #ULG

Hacker Newsh4ckernews
2025-03-27
Knowledge Zonekzoneind@mstdn.social
2025-03-24

#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.

knowledgezone.co.in/posts/Prog

Waves Fashion Institutewifd
2025-03-23

𝐌𝐚𝐬𝐭𝐞𝐫 𝐌𝐞𝐧'𝐬 𝐅𝐨𝐫𝐦𝐚𝐥 𝐅𝐚𝐬𝐡𝐢𝐨𝐧: 𝐓𝐮𝐱𝐞𝐝𝐨𝐬, 𝐒𝐮𝐢𝐭𝐬, & 𝐁𝐚𝐧𝐝𝐡𝐠𝐚𝐥𝐚𝐬 𝐄𝐱𝐩𝐥𝐚𝐢𝐧𝐞𝐝

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.

articles.wifd.in/formal-wear-f

Regards,
Fashion Articles by Waves Fashion Institute
articles.wifd.in

Unlock the secrets to impeccable men's formal fashion. Our detailed article delves into the world of tuxedos, suits, and bandhgalas, offering insights on selecting the right attire for various events. Whether it's the classic appeal of a tuxedo for black-tie events, the adaptability of suits for business and casual settings, or the traditional elegance of bandhgalas for cultural ceremonies, we've got you covered.Step up your style quotient with our in-depth exploration of men's formal wear. This guide breaks down the essentials of tuxedos, suits, and bandhgalas, providing actionable tips on styling, fabric choices, and occasion suitability. Ensure you're always dressed to impress by mastering the art of choosing the right formal attire for every event.Navigate the complexities of men's formal fashion with our expert guide on tuxedos, suits, and bandhgalas. Understand the key differences, historical significance, and modern adaptations of each attire. Whether you're preparing for a wedding, corporate event, or cultural celebration, our article equips you with the knowledge to make informed fashion choices.Elevate your wardrobe with our comprehensive guide to men's formal wear. Explore the distinctive characteristics of tuxedos, suits, and bandhgalas, and learn how to style each for maximum impact. From fabric selection to accessory pairing, our article offers valuable insights to help you exude confidence and sophistication in any formal setting.
2025-03-17

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.

philosophies.de/index.php/2023

men - computer - language
2025-03-12

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.

philosophies.de/index.php/2023

picture "communication with a computer"
2025-03-05

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.

philosophies.de/index.php/2023

Guest post by #Yervant #Kulbashian: "The Green Swan - Part 3: A Thin #Layer of #Symbols"
Georgiana Brummelldandylover1@blob.cat
2025-02-21
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
Philip Zuckersandmouth@types.pl
2025-02-11

[New Blog Post] Comparing Two Verilog CPU Implementations using EBMC philipzucker.com/td4_ebmc/ #verilog #formal

2025-02-05

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

Portrait orientation photograph. To the left part of a small greenhouse. The windows are steamed up from this morning’s frost and dew.
Along the right edge runs a tall hedge from the foreground to the back. The hedge has just been cut and looks very neat.
Overhanging the frame are a few bare, small branches from a tree.

Client Info

Server: https://mastodon.social
Version: 2025.04
Repository: https://github.com/cyevgeniy/lmst