#formal — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #formal, aggregated by home.social.
-
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
-
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/ -
https://www.europesays.com/uk/951112/ Small Business: Tradie turns sleepless nights into AI tool to tame job budgets #about #AI #budgets #Business #came #entrepreneur #Entrepreneurship #Experience #formal #Founder #from #Gene #Gibson #into #job #nights #personal #platform #raynel #sleepless #small #start #talks #tame #to #Tool #tradie #turns #UK #UnitedKingdom #Young
-
https://www.europesays.com/ie/478180/ Small Business: Tradie turns sleepless nights into AI tool to tame job budgets #about #AI #Budgets #Business #came #Éire #entrepreneur #Entrepreneurship #experience #formal #founder #from #Gene #Gibson #IE #into #Ireland #job #nights #Personal #platform #raynel #sleepless #Small #start #talks #tame #To #Tool #tradie #turns #young
-
Procession at the royal palace for New Year celebrations, Tehran, Iran, ~1885 AD
-
Procession at the royal palace for New Year celebrations, Tehran, Iran, ~1885 AD
-
Procession at the royal palace for New Year celebrations, Tehran, Iran, ~1885 AD
-
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
-
Die KI-Musikplattform Udio steht erneut im Zentrum von Rechtsstreitigkeiten. Eine Gruppe unabhängiger Künstler hat dem Unternehmen vorgeworfen, ihre Musik ohne Lizenz zum Training seiner KI-Modelle genutzt zu haben. Nun versucht Udio, die Klage aus formalen Gründen abzuweisen zu lassen.
Man kann nur hoffen dass die klagenden Künstler finanziell gut ausgestattet sind.
#klage #ki #musik #platform #udio #lizenz #licence ##unabhängig #training #modell #formal #streit
-
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
Preamble Not a single person can know for sure why the novaTop Identity is conflicted at prom culture. Maybe the situation is based on appearances? Judgment? Deception? Or maybe the entire novaTop experience is an optical illusion? But in all reality, the prom experience was a very high-stakes experience with a tradition of promoting coupledom, as with most of banquet culture at large. Introduction While “prom” culture is heavily derived from European banquet cultural traditions, the […] -
Hype for the Future 72E: Why novaTopFlex Fears Judgment at Prom
Preamble Not a single person can know for sure why the novaTop Identity is conflicted at prom culture. Maybe the situation is based on appearances? Judgment? Deception? Or maybe the entire novaTop experience is an optical illusion? But in all reality, the prom experience was a very high-stakes experience with a tradition of promoting coupledom, as with most of banquet culture at large. Introduction While “prom” culture is heavily derived from European banquet cultural traditions, the […] -
Hype for the Future 72E: Why novaTopFlex Fears Judgment at Prom
Preamble Not a single person can know for sure why the novaTop Identity is conflicted at prom culture. Maybe the situation is based on appearances? Judgment? Deception? Or maybe the entire novaTop experience is an optical illusion? But in all reality, the prom experience was a very high-stakes experience with a tradition of promoting coupledom, as with most of banquet culture at large. Introduction While “prom” culture is heavily derived from European banquet cultural traditions, the […] -
Hype for the Future 72E: Why novaTopFlex Fears Judgment at Prom
Preamble Not a single person can know for sure why the novaTop Identity is conflicted at prom culture. Maybe the situation is based on appearances? Judgment? Deception? Or maybe the entire novaTop experience is an optical illusion? But in all reality, the prom experience was a very high-stakes experience with a tradition of promoting coupledom, as with most of banquet culture at large. Introduction While “prom” culture is heavily derived from European banquet cultural traditions, the […] -
Merayakan Hari Jadi Daerah dengan Puisi: Pesta Seni, Budaya, dan Kebanggaan Lokal
JokBangka - #Perayaan #Hari 3Jadi #Daerah #bukan #hanya #soal #upacara #formal dan #jajaran #pejabat, #tetapi #telah #berkembang #menjadi #pesta seni budaya yang inklusif, yakni menggunakan puisi sebagai media ekspresi dan kebanggaan lokal. Puisi, sebagai salah satu bentuk karya sastra, kini menjadi bagian penting dari rangkaian peringatan hari jadi daerah di berbagai kota dan provinsi di…
-
Merayakan Hari Jadi Daerah dengan Puisi: Pesta Seni, Budaya, dan Kebanggaan Lokal
JokBangka - #Perayaan #Hari 3Jadi #Daerah #bukan #hanya #soal #upacara #formal dan #jajaran #pejabat, #tetapi #telah #berkembang #menjadi #pesta seni budaya yang inklusif, yakni menggunakan puisi sebagai media ekspresi dan kebanggaan lokal. Puisi, sebagai salah satu bentuk karya sastra, kini menjadi bagian penting dari rangkaian peringatan hari jadi daerah di berbagai kota dan provinsi di…
-
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
-
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
-
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
-
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
-
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
-
🚀 Who knew? 🤖 #AI is about to make the ancient art of #formal #verification the hottest trend in #software #engineering. Brace yourself, because #proof #assistants are set to become the must-have accessory for every developer's toolkit! 😂
https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html #tech #trends #HackerNews #ngated -
🚀 Who knew? 🤖 #AI is about to make the ancient art of #formal #verification the hottest trend in #software #engineering. Brace yourself, because #proof #assistants are set to become the must-have accessory for every developer's toolkit! 😂
https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html #tech #trends #HackerNews #ngated -
🚀 Who knew? 🤖 #AI is about to make the ancient art of #formal #verification the hottest trend in #software #engineering. Brace yourself, because #proof #assistants are set to become the must-have accessory for every developer's toolkit! 😂
https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html #tech #trends #HackerNews #ngated -
🚀 Who knew? 🤖 #AI is about to make the ancient art of #formal #verification the hottest trend in #software #engineering. Brace yourself, because #proof #assistants are set to become the must-have accessory for every developer's toolkit! 😂
https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html #tech #trends #HackerNews #ngated -
Prediction: AI will make formal verification go mainstream
https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html
#HackerNews #AI #Formal #Verification #Mainstream #Future #Tech
-
100 & counting: Dick Van Dyke celebrates big birthday with his adoring public https://www.byteseu.com/1624444/ #actor #actress #celebrity #comedian #entertainer #Entertainment #formal #half #length #performer #smile #star #trophy #tuxedo
-
“Introduction to #Formal #Reasoning”, by Prof Altenkirch (Nottingham), is the most accessible text I have read on #logic for #CS undergraduates. The book uses #Lean theorem prover, to boot!
There are tonnes of great “intro” books and articles on Lean, all over the web. But most of them assume foundational knowledge in many subjects that most CS undies do not possess: formal logic, proof theory, recursion theory, functional programming, Hindley-Milner, Martin-Löf, Calculus of Constructions, and more. This makes it impracticable to use those “advanced intro” material to teach Lean to novices.
And that is a missed opportunity, for it is vital to mould the undies’ malleable brains using FP, logic, Lean, and dependent type theory, before they become irreparably hardened into PP, due to excessive exposure to C++ and Python, as they are wont to do.
Also, Altenkirch’s book makes Lean, logic, and dependent types far less scary, and indeed enjoyable, for the kids.
https://people.cs.nott.ac.uk/psztxa/comp2065.23-24.ifr-notes/_build/latex/ifr.pdf
-
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
-
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
-
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
-
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
-
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
-
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
-
Clean, a formal verification DSL for ZK circuits in Lean4
https://blog.zksecurity.xyz/posts/clean/
#HackerNews #Clean #ZK #circuits #Lean4 #formal #verification #DSL
