Mastodawn

“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

jnpn 3d ago

use of dafny to formally verify web apps

https://midspiral.com/blog/from-intent-to-proof-dafny-verification-for-web-apps/

#llm #formal #test #proof

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

DarkShadow 4d ago

so #Linux is a cylinder

#math #maths #mathematics #proof

Show thread

Paul Healey 5d ago

@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

Mr. Bruno

5d ago

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