#verified — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #verified, aggregated by home.social.
-
RE: https://mastodon.social/@ayham_ljboor2008/117033664469692631
‼️AYHAM'S DONATIONS ARE SLOW‼️🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌🐌
#Verified lifeline4gaza
https://lifeline4gaza.com/share/733
#Gaza #Palestine #humanrights #humanity #GazaMutualAid #gazachildren #childrenofgaza #hope #dignity
-
Verified links on mastodon are absolutely beautiful
-
Verified links on mastodon are absolutely beautiful
-
@FinchHaven "Are they saying they can write back --> into <-- my Profile page and create a #Verified link back out to them?"
LOL, my profile is already verified, but not through #socialdb. I just pasted my rel=me link to my own website and that's that. Which is exactly how verification works on the fediverse.
This whole scheme is such piss poor scam tactics, and like phishing emails it casts a wide net to find the few suckers who will take the bait.
That said, the site needs to be eliminated.
-
@FinchHaven "Are they saying they can write back --> into <-- my Profile page and create a #Verified link back out to them?"
LOL, my profile is already verified, but not through #socialdb. I just pasted my rel=me link to my own website and that's that. Which is exactly how verification works on the fediverse.
This whole scheme is such piss poor scam tactics, and like phishing emails it casts a wide net to find the few suckers who will take the bait.
That said, the site needs to be eliminated.
-
Books on automated #ProofAssistants, like Coq, Lean, Agda, Idris, etc., fall into two groups: a vast majority aimed at working mathematicians and a handful aimed at programmers.
The following is a short list of #programming-focused #books (not short tutorials) on the use of proof assistants in crafting #verified software, categorised by type theory and listed in an approximate, ascending order of sophistication:
\(\textit{Coquand Calculus of Inductive Constructions}\)
• Introduction to Formal Reasoning (Lean), Altenkirch
• Programs and Proofs (Coq), Sergey
• Functional Programming in Lean, Christiansen
• Verified Functional Algorithms (Coq), Appel
• Certified Programming with Dependent Types (Coq), Chlipala\(\textit{Martin-Löf Intuitionistic Type Theory}\)
• Certainty by Construction (Agda), Maguire
• Type-Driven Development with Idris, Brady
• Verified Functional Programming in Agda, Stump
• Programming Language Foundations in Agda, Wadler
• Software Foundations (Idris ed), Piercehttps://idris-hackers.github.io/software-foundations/pdf/sf-idris-2018.pdf
-
Books on automated #ProofAssistants, like Coq, Lean, Agda, Idris, etc., fall into two groups: a vast majority aimed at working mathematicians and a handful aimed at programmers.
The following is a short list of #programming-focused #books (not short tutorials) on the use of proof assistants in crafting #verified software, categorised by type theory and listed in an approximate, ascending order of sophistication:
\(\textit{Coquand Calculus of Inductive Constructions}\)
• Introduction to Formal Reasoning (Lean), Altenkirch
• Programs and Proofs (Coq), Sergey
• Functional Programming in Lean, Christiansen
• Verified Functional Algorithms (Coq), Appel
• Certified Programming with Dependent Types (Coq), Chlipala\(\textit{Martin-Löf Intuitionistic Type Theory}\)
• Certainty by Construction (Agda), Maguire
• Type-Driven Development with Idris, Brady
• Verified Functional Programming in Agda, Stump
• Programming Language Foundations in Agda, Wadler
• Software Foundations (Idris ed), Piercehttps://idris-hackers.github.io/software-foundations/pdf/sf-idris-2018.pdf
-
Programming used to be a mathematical act. But that has not been so for some decades, not since release cycles shrank from once every two years down to inhumanely short intervals. It now appears that mathematics, and indeed creativity, has no place in modern high-frequency CI/CD CRUD-grinding.
But even in this #AI Slop Age, life-critical #engineering work still demands #mathematical reasoning and #professional guarantees, under law. Software now plays a central role in this type of work. And software frailties have reached epidemic levels, from operating system kernels, device drivers, and up. Hence, #verified #programming has become an urgent necessity.
By “verified”, I mean not post hoc but ab initio verification, at every stage of the process: requirements analysis, specifications as propositions, computer assisted proofs, design synthesis, deterministic code transformation.
Many #IT software practitioners maintain that they neither know nor care about mathematics, and that they cannot afford mathematical frolics when there are profits to be reaped.
That economic argument is, at best, weak, in the modern, tightly integrated society, where the full cost of software failures is incalculable. Even amongst ordinary, but essential, business applications that cannot harm life and limb, a propagating cascade failure now has the potential to collapse the global economy, in an instant.
Be that as it may, such economic objections have no force at all against the legally mandated safety requirements of life-critical applications.
-
Programming used to be a mathematical act. But that has not been so for some decades, not since release cycles shrank from once every two years down to inhumanely short intervals. It now appears that mathematics, and indeed creativity, has no place in modern high-frequency CI/CD CRUD-grinding.
But even in this #AI Slop Age, life-critical #engineering work still demands #mathematical reasoning and #professional guarantees, under law. Software now plays a central role in this type of work. And software frailties have reached epidemic levels, from operating system kernels, device drivers, and up. Hence, #verified #programming has become an urgent necessity.
By “verified”, I mean not post hoc but ab initio verification, at every stage of the process: requirements analysis, specifications as propositions, computer assisted proofs, design synthesis, deterministic code transformation.
Many #IT software practitioners maintain that they neither know nor care about mathematics, and that they cannot afford mathematical frolics when there are profits to be reaped.
That economic argument is, at best, weak, in the modern, tightly integrated society, where the full cost of software failures is incalculable. Even amongst ordinary, but essential, business applications that cannot harm life and limb, a propagating cascade failure now has the potential to collapse the global economy, in an instant.
Be that as it may, such economic objections have no force at all against the legally mandated safety requirements of life-critical applications.
-
Meta introduces Facebook Verified https://www.3dcandy.social/2026/07/meta-introduces-facebook-verified/ #3dcandy #3dcsocial #boost #facebook #verified
-
Meta introduces Facebook Verified https://www.3dcandy.social/2026/07/meta-introduces-facebook-verified/ #3dcandy #3dcsocial #boost #facebook #verified
-
#Facebook #Verified: the free badge that confirms real #identity and increases #security on the platform
https://gadgetflux.eu/facebook-verified-insigna-gratuita-de-identitate-reala/
-
#Facebook #Verified: the free badge that confirms real #identity and increases #security on the platform
https://gadgetflux.eu/facebook-verified-insigna-gratuita-de-identitate-reala/
-
🎉 BREAKING: #Elixir #v1.20 finally realizes that types are a thing! 🎉 After years of existential angst, Elixir users can now enjoy the thrill of #gradual typing! 🏆 Just try not to faint from #excitement at all that "dead code" and "verified bugs" validation. 🙄
https://elixir-lang.org/blog/2026/06/03/elixir-v1-20-0-released/ #Typing #Dead #Code #Verified #Bugs #HackerNews #ngated -
🎉 BREAKING: #Elixir #v1.20 finally realizes that types are a thing! 🎉 After years of existential angst, Elixir users can now enjoy the thrill of #gradual typing! 🏆 Just try not to faint from #excitement at all that "dead code" and "verified bugs" validation. 🙄
https://elixir-lang.org/blog/2026/06/03/elixir-v1-20-0-released/ #Typing #Dead #Code #Verified #Bugs #HackerNews #ngated -
بعد ما أعلنوا
#Dell
و
#Lenovo
على دعمهم ل
#LVFS,
جاء الدّور على
#HP
زادة إلّي ولّات تدعم زادة في
#LVFS
https://blogs.gnome.org/hughsie/2026/05/20/lvfs-sponsorship-announcement-hp/
من بداية العام، ثمّة مقترح جديد من
#Fedora
ل
#Verified #Status
للمساهمين
توّ
#Fedora
تحكي عليه
و تعطي ملخّص لبعض الآراء إلّي جمعتها للموضوع هذا
https://fedoramagazine.org/fedora-verified-what-does-the-community-think/ -
بعد ما أعلنوا
#Dell
و
#Lenovo
على دعمهم ل
#LVFS,
جاء الدّور على
#HP
زادة إلّي ولّات تدعم زادة في
#LVFS
https://blogs.gnome.org/hughsie/2026/05/20/lvfs-sponsorship-announcement-hp/
من بداية العام، ثمّة مقترح جديد من
#Fedora
ل
#Verified #Status
للمساهمين
توّ
#Fedora
تحكي عليه
و تعطي ملخّص لبعض الآراء إلّي جمعتها للموضوع هذا
https://fedoramagazine.org/fedora-verified-what-does-the-community-think/ -
I put together a quick guide on how to make your website or a blog "fediverse-ready": verify your website or a blog, and show an author tag when someone shares a link to it.
https://stefanbohacek.com/blog/make-your-website-or-blog-fediverse-ready/
Hope you'll find this useful!
-
I put together a quick guide on how to make your website or a blog "fediverse-ready": verify your website or a blog, and show an author tag when someone shares a link to it.
https://stefanbohacek.com/blog/make-your-website-or-blog-fediverse-ready/
Hope you'll find this useful!
-
Spotify's bewildering solution to the #AI apocalypse? Slap a shiny "Verified" sticker on real humans, as if the #music scene is a high school talent show instead of a #digital jungle! 🎤🤖 Because nothing screams #authenticity like a #corporate #badge, right? 🙄✨
https://www.bbc.com/news/articles/c5yerr4m1yno #Spotify #Verified #Jungle #HackerNews #ngated -
Spotify's bewildering solution to the #AI apocalypse? Slap a shiny "Verified" sticker on real humans, as if the #music scene is a high school talent show instead of a #digital jungle! 🎤🤖 Because nothing screams #authenticity like a #corporate #badge, right? 🙄✨
https://www.bbc.com/news/articles/c5yerr4m1yno #Spotify #Verified #Jungle #HackerNews #ngated -
Spotify adds 'Verified' badges to distinguish human artists from AI
https://www.bbc.com/news/articles/c5yerr4m1yno
#HackerNews #Spotify #Verified #AI #Artists #Music #Technology
-
Spotify adds 'Verified' badges to distinguish human artists from AI
https://www.bbc.com/news/articles/c5yerr4m1yno
#HackerNews #Spotify #Verified #AI #Artists #Music #Technology
-
We #partner with #manufacturers and #sourcing #agents for #supplier sourcing in #China powered by #trade #shows. Our #platform #connects #verified #suppliers with #international #buyers through real #tradefair demand and structured #B2B #matching. Partner with us to #grow your #global sourcing #business. https://cnbusinessforum.com/supplier-sourcing-in-china-powered-by-trade-shows/
-
We #partner with #manufacturers and #sourcing #agents for #supplier sourcing in #China powered by #trade #shows. Our #platform #connects #verified #suppliers with #international #buyers through real #tradefair demand and structured #B2B #matching. Partner with us to #grow your #global sourcing #business. https://cnbusinessforum.com/supplier-sourcing-in-china-powered-by-trade-shows/
-
We #partner with #manufacturers and #sourcing #agents for #supplier sourcing in #China powered by #trade #shows. Our #platform #connects #verified #suppliers with #international #buyers through real #tradefair demand and structured #B2B #matching. Partner with us to #grow your #global sourcing #business. https://cnbusinessforum.com/supplier-sourcing-in-china-powered-by-trade-shows/
-
We #partner with #manufacturers and #sourcing #agents for #supplier sourcing in #China powered by #trade #shows. Our #platform #connects #verified #suppliers with #international #buyers through real #tradefair demand and structured #B2B #matching. Partner with us to #grow your #global sourcing #business. https://cnbusinessforum.com/supplier-sourcing-in-china-powered-by-trade-shows/
-
We #partner with #manufacturers and #sourcing #agents for #supplier sourcing in #China powered by #trade #shows. Our #platform #connects #verified #suppliers with #international #buyers through real #tradefair demand and structured #B2B #matching. Partner with us to #grow your #global sourcing #business. https://cnbusinessforum.com/supplier-sourcing-in-china-powered-by-trade-shows/
-
We #partner with #manufacturers and #sourcing #agents for #supplier sourcing in #China powered by #trade #shows. Our #platform #connects #verified #suppliers with #international #buyers through real #tradefair demand and structured #B2B #matching. Partner with us to #grow your #global sourcing #business. https://cnbusinessforum.com/supplier-sourcing-in-china-powered-by-trade-shows/
-
We #partner with #manufacturers and #sourcing #agents for #supplier sourcing in #China powered by #trade #shows. Our #platform #connects #verified #suppliers with #international #buyers through real #tradefair demand and structured #B2B #matching. Partner with us to #grow your #global sourcing #business. https://cnbusinessforum.com/supplier-sourcing-in-china-powered-by-trade-shows/
-
We #partner with #manufacturers and #sourcing #agents for #supplier sourcing in #China powered by #trade #shows. Our #platform #connects #verified #suppliers with #international #buyers through real #tradefair demand and structured #B2B #matching. Partner with us to #grow your #global sourcing #business. https://cnbusinessforum.com/supplier-sourcing-in-china-powered-by-trade-shows/
-
We #partner with #manufacturers and #sourcing #agents for #supplier sourcing in #China powered by #trade #shows. Our #platform #connects #verified #suppliers with #international #buyers through real #tradefair demand and structured #B2B #matching. Partner with us to #grow your #global sourcing #business. https://cnbusinessforum.com/supplier-sourcing-in-china-powered-by-trade-shows/
-
We #partner with #manufacturers and #sourcing #agents for #supplier sourcing in #China powered by #trade #shows. Our #platform #connects #verified #suppliers with #international #buyers through real #tradefair demand and structured #B2B #matching. Partner with us to #grow your #global sourcing #business. https://cnbusinessforum.com/supplier-sourcing-in-china-powered-by-trade-shows/
-
We #partner with #manufacturers and #sourcing #agents for #supplier sourcing in #China powered by #trade #shows. Our #platform #connects #verified #suppliers with #international #buyers through real #tradefair demand and structured #B2B #matching. Partner with us to #grow your #global sourcing #business. https://cnbusinessforum.com/supplier-sourcing-in-china-powered-by-trade-shows/
-
We #partner with #manufacturers and #sourcing #agents for #supplier sourcing in #China powered by #trade #shows. Our #platform #connects #verified #suppliers with #international #buyers through real #tradefair demand and structured #B2B #matching. Partner with us to #grow your #global sourcing #business. https://cnbusinessforum.com/supplier-sourcing-in-china-powered-by-trade-shows/
-
RE: https://mastodon.social/@ayham_ljboor2008/116340187691589873
‼️ LOW FUNDS FOR SURVIVAL‼️
When you don't get donations in Gaza it's hard work every day just to get what you and your family need to survive. Ayham has two families to support and he's only 19.
Radio Watermelon ✅
lifelline4gaza ✅Please help‼️
#Gaza #Verified #Palestine #mutualaid #humanrights #humanity #donate #share #food #shelter #reallife #hope
-
RE: https://mastodon.social/@ayham_ljboor2008/116340187691589873
‼️ LOW FUNDS FOR SURVIVAL‼️
When you don't get donations in Gaza it's hard work every day just to get what you and your family need to survive. Ayham has two families to support and he's only 19.
Radio Watermelon ✅
lifelline4gaza ✅Please help‼️
#Gaza #Verified #Palestine #mutualaid #humanrights #humanity #donate #share #food #shelter #reallife #hope
-
-
-
El lado del mal - Cómo lograr el Check de Verified en LinkedIn con una Identidad Pública que no coincide con la Identidad Legal https://www.elladodelmal.com/2026/04/como-lograr-el-check-de-verified-en.html #Linkedin #Verified #RedesSociales #Identidad #OSINT
-
El lado del mal - Cómo lograr el Check de Verified en LinkedIn con una Identidad Pública que no coincide con la Identidad Legal https://www.elladodelmal.com/2026/04/como-lograr-el-check-de-verified-en.html #Linkedin #Verified #RedesSociales #Identidad #OSINT
-
We #partner with #manufacturers and #sourcing #agents for #supplier sourcing in #China powered by #trade #shows. Our #platform #connects #verified #suppliers with #international #buyers through real #tradefair demand and structured #B2B #matching. Partner with us to #grow your #global sourcing #business. https://cnbusinessforum.com/supplier-sourcing-in-china-powered-by-trade-shows/
-
We #partner with #manufacturers and #sourcing #agents for #supplier sourcing in #China powered by #trade #shows. Our #platform #connects #verified #suppliers with #international #buyers through real #tradefair demand and structured #B2B #matching. Partner with us to #grow your #global sourcing #business. https://cnbusinessforum.com/supplier-sourcing-in-china-powered-by-trade-shows/
-
Android developer verification: Rolling out to all devs on Play Console & Android Developer Console
#android #appdev #playconsole #googleplay #devtools #verified
-
Android developer verification: Rolling out to all devs on Play Console & Android Developer Console
#android #appdev #playconsole #googleplay #devtools #verified
-
We #partner with #manufacturers and #sourcing #agents for #supplier sourcing in #China powered by #trade #shows. Our #platform #connects #verified #suppliers with #international #buyers through real #tradefair demand and structured #B2B #matching. Partner with us to #grow your #global sourcing #business. https://cnbusinessforum.com/supplier-sourcing-in-china-powered-by-trade-shows/
