#formal — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #formal, aggregated by home.social.
-
#Formal #Grammars: The Hidden #Mathematics of #Language : Medium
#Humanity spoke thousands of #Languages at the dawn of #Farming — now many of them are lost : Nature
#Climate #Scientists #Sharpen tools for linking #GlobalWarming to extreme #Weather : Science
Latest #KnowledgeLinks
-
A big plus to being married is having wonderful in-laws to gift my art to every Christmas. Three Impatiens Paintings. #art #artwork #painting #watercolor #watercolorpainting #watercolors #arting #artist #artists #housepaint #suits #suit #formal #party #holiday #holidayparty #chritmasparty #christmastime #christmas #holidays #wintersolstice #solstice #boxingday #Hanukkah #Kwanzaa #celebrate #celebrating #Celebration #happy #happyhappyjoyjoy #covid #COVID19 #covicpanic #covidoutbreak #covidfear
-
During Covid, I held a virtual Christmas gathering by painting all my distant friends partying in my Victorian home. Here are my husband and myself, as the hosts. #art #artwork #painting #watercolor #watercolorpainting #watercolors #arting #artist #artists #housepaint #suits #suit #formal #party #holiday #holidayparty #chritmasparty #christmastime #christmas #holidays #wintersolstice #solstice #boxingday #Hanukkah #Kwanzaa #celebrate #celebrating #Celebration #happy #happyhappyjoyjoy #covid
-
When I first got to know the #Z notation #formal method in the early 1980s, I was very impressed. In those days, imperative languages like C and Pascal ruled the industrial landscape, and pen-and-paper #programming was still an accepted, nay expected, practice. The Z notation and its emphasis on proof obligations meshed well with that paper-borne process of specification and design.
Not long after, I got to know #ML and its Hindley-Milner type system. Thereafter, I was no longer impressed with Z's use of an overtly ceremonial and verbose syntax to describe what ML could do with just one expression.
This superiority of the #FP syntax over Z's bloated notation is even more evident in modern descendants of ML, such as Standard ML, OCaml, and Haskell, and especially the dependently typed proof assistant offsprings like Coq, Lean, Agda, and Idris.
-
The Best Gardens To Visit In Memphis, Tennessee https://www.allforgardening.com/1929345/the-best-gardens-to-visit-in-memphis-tennessee/ #cemeteries #discovers #formal #GardeningTennessee #gardens #green #memphis #NorthAmerica #outdoors #Recommendations #Spaces #Tennessee #tranquil #USA #visit
-
The software practice was once a mathematical activity, à la Hoare, Dijkstra, Bird, et al. But it has not been so, for several decades.
If the present #software practice is to mature into a bona fide #engineering practice in the future, #mathematics-based #formal methods, notations, languages, and tools—Z, B, VDM, ACL2, TLA+, Coq, Lean, Agda, Idris, ...—must be adopted. There obviously is no shortage of such tools and techniques.
Clearly, many practice areas within IT, including glossy brochure web sites, line-of-business CRUDing apps, and the like, need not be formalised. But certain fields, like compilers, operating systems, avionics, communication, transportation, utilities, real-time life-critical applications, plant controllers, voting systems, medical systems, financial systems, weapon systems, and so on, must be mathematical, end-to-end and full-lifecycle—just like traditional engineering fields.
Also, there is now an urgent need for a comprehensive framework (statutes, regulations, guidelines, standards, and policies) to normalise the use of #AI in IT, especially in those life-critical practice areas. The time for hoping that the TechBros would self regulate is long gone.
-
Goodbye formal address, hello "du", everywhere. The German versions of nine.ch, docs.nine.ch and now our Cockpit are all switched to the informal, direct form of address.
Not a trend, just our take on honest communication at eye level, the way good tech collaboration should feel.
Happy Weekend!
-
The Sinhala language also (see last post) used to contain more Pāli words, but has drifted back in the direction of Sanskrit, which is intimately tied to Hinduism, because Sanskrit is viewed as a prestigious language. For example, Sinhala says vidarśanā instead of vipassanā.
#sinhala #srilanka #pali #sanskrit #language #linguistics #prestige #prestigious #formal #formality #academia #academic #scholarship #scholarly
-
At CDIS at KTH and listening to June Andronick on seL4 and I'm left wondering how scalable relying on global axiom of choice is in the era of vibe coders. Perhaps nothing has changed? We just commit to to do MORE proofs by vibe proving? As Terrence Tao (@tao) has pointed out, in this era it is not important who produces an artifact, it is however important to ingest the artifact in such a way that we collectively can build trust against said artifact. Personally I feel that, in this era, it is time to outlaw weak programming languages and require formal verification for any operating software, vibe coded or not. #proofs #formal #verification #vibecoding
-
Procession at the royal palace for New Year celebrations, Tehran, Iran, ~1885 AD
-
"How do we balance the creativity needed to discover new mathematical connections with the rigor needed to ensure that every logical step is undeniable?"
-
The EU Commission has opened a formal procedure against Snapchat to examine whether the company complies with the Digital Services Act (DSA). Brussels said it s... https://news.osna.fm/?p=39661 | #news #commission #content #eu #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
-
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
#HackerNews #Lies #Damned #Lies #Formal #Methods #Proofs #Technology
-
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