“In the end, a theory that can't be shown to be wrong can never be shown to be right.” — Jerry Coyne, Faith Versus Fact
#BOTD #JerryCoyne #QOTD #Theory #Quotation #Proof #Quote

https://yahooeysblog.wordpress.com/2025/12/30/quote-of-the-day-5385/

Quote of the Day

“In the end, a theory that can’t be shown to be wrong can never be shown to be right.” — Jerry Coyne, Faith Versus Fact

Yahooey's Blog
From Intent to Proof: Dafny Verification for Web Apps

Verified kernels, written in Dafny and compiled to JavaScript, for correct-by-construction state in interactive web applications

@agreeable_landfall @SteveBellovin And yet Mill was wrong on induction. Proof ground on the uniformity of expectations is spurious. Thomas Hill Green gave a through explanation of why that is so. The failure to comprehend what can be proved likely explains the growth in conservative stupidity. It is simply the false credence in the value of a zero-sum game: grifting the people to believe they can profit from the abstract categories that reinforce the pathologies of hate and violence. #proof #NegativeSumGame

I'm enjoying favorite calls with #MattDillahunty on #TheLine this year. It's fun to see his different versions of facial hair too. Was this the year he went clean-shaved?

#atheism #humanism #logic #proof

https://youtu.be/Gy0nP-OM8_4

Matt's TOP TEN Clips from The Line in 2025!!

YouTube

#American #Democracy Minute Radio News Report for Dec. 24, 2025
Timely to Feb. 28, 2026
#Proof of #citizenship, #limits on #voting by #mail and narrowed #voter #ID options dominated the 37 #restrictive #state #election #laws #passed in #2025, according to democracy #legislation #tracker #VotingRights #Lab. #Five #states accounted for nearly half of the laws passed.

🎧 𝟗𝟎-𝐒𝐞𝐜. 𝐋𝐢𝐬𝐭𝐞𝐧, 📖 𝐑𝐞𝐚𝐝, 🔗 𝐑𝐞𝐬𝐨𝐮𝐫𝐜𝐞𝐬 📣 𝐆𝐫𝐨𝐮𝐩𝐬

https://www.americandemocracyminute.org/wethepeople/2025/12/23/restrictive-voting-laws-passed-in-20-states-in-2025-proof-of-citizenship-limits-on-mail-in-voting-and-narrower-voter-id-rules-dominated/

🚀 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 — Martin Kleppmann’s blog

Joon via IG! #proof