🚀 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

Visualizing the Pythagorean Theorem https://janmr.com/posts/visualizing-the-pythagorean-theorem/ #math #visualization #proof

What is "linearisation" is a partial order?

This hasn't been explained in the textbook so I'm guessing it just means writing out the partial order

A <- B <- C ... etc

where A, B, C are the formal definitions, and the arrows show "depends on / makes use of"

---

ps this is chapter 9 on formal definitions building up to λ𝐷₀, from Type Theory and Formal Proof (Nederpelt)

#maths #typetheory #proof #lambdacalculus

Garfield's Proof of the Pythagorean Theorem

https://en.wikipedia.org/wiki/Garfield%27s_proof_of_the_Pythagorean_theorem

#HackerNews #Proof #of #the #Pythagorean #Theorem #mathematics #geometry #education #theorem #proof

If a thing exists, it exists in some amount. If it exists in some amount, it can be measured.
-- E. L. Thorndike

⬆ #Wisdom #Quotes #ELThorndike #Proof

⬇ #Photography #Panorama #BartolomeIsland #PinnacleRock #Galapagos

@Autumn@noauthority.social See? I knew he said that. #proof

Samira Wiley & Jin Ha Join Broadway’s ‘Proof’ Revival
#Casting #News #AyoEdebiri #Broadway #DonCheadle #JinHa #Proof #SamiraWiley #ThomasKail

https://deadline.com/2025/11/samira-wiley-jin-ha-cast-broadway-proof-revival-1236609184/

■. Refugee from NK. That's me, I've seen a KDRAMA with George one day. It was about a Refugee from there who had to proof he was from NK but he had trouble, he lost his IDcard. I related to this story so much, even the plans he had "working at a Chickenshop, once I'm in SK" that's my thoughts. I thought about just living in the mountains, or the Soop.

●. #Proof™
●. no IDcard
●. Living in the Jungle
●. Fighting on the street
●. I'm a Boy
●. "Crashlanding on you"
●. nobody can know my Name

. 3D

📝. FACT
Current 3D. There's only 4 women in the WORLD and Taylor and Johanna are a certain extra two. They are capable of running a GROUP because they proved enough.

✔️. Taylor & Johanna only have to #Proof their presence and give a bit of Receipts
✔️. You wanna have your own Army of [The Boys] then you gotta come and AUDITION

Want to get started writing simple maths proofs in Lean, but don't have a PhD in maths or computer science?

This introductory guide is written specifically for newcomers.

* minimal jargon
* only secondary-school level maths
* focus on concepts, not the language
* each chapter uses a minimal example to introduce a key concept
* one simple exercise per chapter, designed to build confidence, not destroy it!

https://www.amazon.com/dp/B0DWHS1RDJ

#maths #proof #lean4 #leanprover

🧾. CRIME
doing illegal things is just Needed. Police is just in the WAY.. they wanna get in with the Cool kids. They are just bullies & beaters.

❌️. Police gotta FUCK OFF

●. You just need to never leave any #Proof, so that you can't get SUED and if you do.. you win

●. It's just Personal Business between INDIVIDUALS. "They Sue you, but you win because you stole their million without leaving any PROOF"

A pair of Aces up my sleeve.

https://philosophics.blog/2025/10/31/propensity-of-the-illusion-of-light/?utm_source=masto_rp&utm_medium=social

#books #printing #publishing #amwriting #enlightenment #propensity #proof #fiction #nonfiction #philosophy #blogs #bookclub #paperback #clothbound #fancy #RidleyPark #BryWillis

https://philosophics.blog/2025/10/31/propensity-of-the-illusion-of-light/?utm_source=masto&utm_medium=social

#books #printing #publishing #amwriting #enlightenment #propensity #proof #fiction #nonfiction #philosophy #blogs #bookclub #paperback #clothbound #fancy #dystopia #literature #essays

🏷. These are the 4 women, I stand by it. I know of one extra, that's JOHANNA. But she's not #alive right now.

Then you got another possible extra, which is TAYLOR SWIFT. But she needs to #Proof it first.

■. There's no others than that.
✔️. There's a Possibility for 6 Teams, but first the other girls gonna have to heal.. Proof it. Don't know if those 6 groups will actually Manifest.

Dr #Villarroel is a Swedish astronomer who just published two PEER REVIEWED studies that identified around hundred thousand ufos in earth orbit.

The papers refer these highly reflective #uap objects as "Transients".
The objects fit the following parameters.
- Earth orbit between 40-80km
- Appear on more than three plates (thus eliminating substrate flaw)
- Time before 1954 (Sputnik went up in 1956)

Remembering that 1952 was when #UFO formation buzzed the White house for two weeks.
There is a 68% data spike in when nuke tests were carried out and/or there was a spike in sightings.

https://www.nbcnews.com/video/study-investigates-the-mysteries-of-lights-in-the-sky-by-looking-to-the-past-250613829823

#astronomy #space #phenomenon #proof #sceptic

🧾. LISTY of #Proof
Jeon Jungkook is Jessie Presley
●. His hands
●. Certain movements
●. His Character
●. all sorts of Signs

☑️. The Beyond
■. The Beyond is very far from Earth, it's where Logica is. That's the first Planet I was on - to my memory/theory. It is still really far from where I'm From though. It's actually a very SPECIAL part of The Universe, because it's on "The other Side". On Earth there's only two from The Beyond, that I've found.

●. JIN
●. BEYONCÉ

🏷. #Proof

#proof : that degree of evidence which convinces the mind of any truth or fact, and produces belief

- French: une preuve

- German: abdichten, der Nachweis

- Italian: prova

- Portuguese: prova

- Spanish: prueba

------------

A daily challenge to chain words together @ https://wordwallgame.com

@Brett @simoncropp
"why "don't read the comments" should be a Rule of the Internet" - I get what you're saying, but just to point out the other side to that, there are a lot of #disinformation spreaders on #Youtube for example - I call them the #Disinformati - and the comments is where you find people #FactChecking their rubbish. Think "Notes" at the old place. I saw one who disabled commenting on his #blog because he got tired of people pointing out, with #proof , that he was wrong! 😂