#proof — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #proof, aggregated by home.social.
-
#Decentralized #AI on #Android means the devices are already on so it's a huge help to #Climate and processing power is there. The above doc is a #design for an #inference grid. Some companies are putting load on your machinery already which is #social #proof of what I am saying. This is #Hardware.
AI-First 5G Device OS Research -
Der empirische Beweis.
"Die Forschungsgruppe unter Leitung von Chao Li hat den menschlichen Einfluss auf den Klimawandel jetzt auch unabhängig von Modellvorhersagen regional nachgewiesen. Laut Li reichen die aktuell verfügbaren 45 Jahre Satellitendaten bereits aus, „um die menschengemachte Erwärmung in den meisten Regionen rein empirisch zu belegen“."
https://www.heise.de/news/Klimawandel-laesst-sich-jetzt-auch-regional-dem-Menschen-zuordnen-11420214.html
Quelle
https://www.science.org/doi/10.1126/sciadv.aed1506 -
Not long ago, I saw a post, on some forum that caters to #coders, asking for advice on which "The One" proof assistant to learn—as the poster put it, "the #Python of #proof assistants".
It is analogous to someone asking, "I want to become a world famous surgeon. Which one surgical implement should I learn to use?", or "I want to become the best lawyer known to the law. Which one case should I read?".
This appears to be the orthodox #IT thinking, nowadays.
-
Thomas Hales proved the Kepler Conjecture in 1998, using HOL Light #proof assistant. For the past ten years, he has been an avid user of #Lean. He justifies the choice in this short post from 2018. His “why not’s” are even more interesting than his “why’s”.
https://jiggerwit.wordpress.com/2018/09/18/a-review-of-the-lean-theorem-prover/
-
https://theconversation.com/what-happens-when-someones-chromosomes-sex-hormones-and-body-dont-align-289631. Absolute #proof (as if it were needed!) that #sex is not the simple, #binary matter that people like #JKRowling think it is, any more than #gender is, @christineburns, @HarriettMB.
-
Andrew Wiles on proving Fermat’s Last Theorem (1995) [video]
https://www.youtube.com/watch?v=GS7CxAtV5Ks
Comments: https://news.ycombinator.com/item?id=49203626
#HackerNews #AndrewWiles #FermatsLastTheorem #math #video #theorem #proof
-
There, But Not There: The Phantom DNA Effect and the Physics of Absence
A viral video promises a ghost in the machine. The real ghosts of science are stranger, and they had to earn the name. A reader sent me a short video this week with the kind of claim that arrives already glowing. A Russian scientist, the narrator says, shone laser light through a sealed vacuum chamber. Empty, the light scattered at random. Drop in a sample of DNA, and the photons arranged themselves into the shape of a double helix, as if the molecule had taught the light how to hold a form. Then comes the part that makes people forward the video to friends. The scientist removed the DNA, disturbed nothing else, and shone the light again. The helix pattern was still there. The molecule had left a ghost in the empty chamber, an imprint pressed into the quantum field. The narrator calls it the DNA phantom effect and lets the word "amazing" do the rest. […] -
Not so surprisingly, the claims of (not so) #OpenAI are maybe a bit hype in terms of how much progress there was on some of the works in the last years.
-
🐢🚀 Oh, look at me, I'm F*! A "proof-oriented" #language that's apparently too cool for school, bridging the gap between #functional and effectful like a glorious #unicorn 🦄. Just try not to trip over all those fancy words while desperately clinging to #OCaml as your lifeboat! 🌊👨💻
https://fstar-lang.org/ #proof-oriented #programming #tech #news #HackerNews #ngated -
F*: A general-purpose proof-oriented programming language
Comments: https://news.ycombinator.com/item?id=49143925
#HackerNews #FStar #programming #proof-oriented #language #proof-oriented #programming #languages #functional #programming #programming #languages #programming #languages
-
"There's no effect," the scientist said.
"Do you have any #proof?" he asked.
"That's not how statistics works," she said. "You can't prove a negative. All you can do is reject or fail to reject the null hypothesis. That's not the same as proof."
"Do you expect anyone to believe that?" he snorted.
"Have you ever played roulette?" (1/2) #wss366 -
Strange Worlds: Meeting Least the World Should End
#FanFic #AdachiAndShimamura
#Wss366 Proof #ScribesAndMakers π30 Smol?“Private Shimamura, who’s the #smol?” Staff Sergeant Hoshino asked. “Your niece?”
At the sergeant’s words, I looked up from the indifferent food the cafeteria served and was surprised by the little girl sitting on the table next to me. Not in a chair, but actually seated cross-legged on the table. It was a mystery to me how she got there without my noticing.
She was a total stranger, even if she seemed familiar. I’d remember a girl in a zebra onesie and with blue hair that gave off sparkles. They drifted in the slow currents of the room’s stagnant air. I shrugged accepting her presence: #proof of how accustomed we had become to strange things in the last few years. I quickly glanced out the window and then turned back to the girl.
Sparkles-san greeted me with a smile, dipping a finger into the pudding on my tray. “Tastes like destiny,” she said, licking her finger. Well, at least someone seemed to enjoy the glue that passed for dessert here.
My gaze returned to the window beyond her. Gigantic, brown, Zeppelin-like jellyfish floated out there, no stranger than my mystery guest. Only a few years ago, that sky would have been clear blue. That was before they had invaded Earth; the day my family had moved to Okinawa.
We would have the invaders shot down by evening, but there were always more by morning, slowly consuming anything their tentacles brushed. Kurt Vonnegut Jr. had been right when he said, “The world would end with a whimper, not a bang.” I’d heard that on TV.
The sergeant turned to his aide of the day, saying, “Private Adachi-san, see that the young lady is escorted to the nursery.”
“At once, Sergeant,” Adachi-san said. She was pretty, even with her short regulation haircut and severe uniform. She was new to the unit, and I’d be seeing a lot of her in the future.
I didn’t know it then, but the strange blue-haired alien was right. It was destiny.
-
We have proof automation now
https://www.imperialviolet.org/2026/07/26/zstd-lean.html
Comments: https://news.ycombinator.com/item?id=49062291
#HackerNews #automation #proof #technology #zstd #innovation #future
-
What evidence says about 2020 election interference
https://youtu.be/QzS4n1PDGtU - PBS Washington Week
Months ahead of the midterm elections, President Donald Trump delivered a primetime address last Thursday and claimed that the U.S. election system is in danger. Trump provided no evidence to back up his claim.
#POTUS #Trump #Elections #MidtermElection #Interference #Fraud #Proof #NoProof #Terms #USElections #Propaganda #Lies #Untruths
-
The Science of Foresight: How Researchers Can Future-Proof Their Work
Follow us and never miss a story.
-
The race to quantum-proof encryption is moving into chips
https://1ban.news/quantum-proof-encryption-moving-into-chips/
#1ban #quantum #proof #encryption #moving #tech -
Ayo Edebiri and Don Cheadle Discuss Mental Health at Broadway's Proof
A Conversation on Mental Health and the Arts
The cast of the Broadway production Proof recently participated in a special post-performance conversation focused on mental health and the arts.... -
Ayo Edebiri and Don Cheadle Discuss Mental Health at Broadway's Proof
A Conversation on Mental Health and the Arts
The cast of the Broadway production Proof recently participated in a special post-performance conversation focused on mental health and the arts.... -
Ayo Edebiri and Don Cheadle Discuss Mental Health at Broadway's Proof
A Conversation on Mental Health and the Arts
The cast of the Broadway production Proof recently participated in a special post-performance conversation focused on mental health and the arts.... -
Ayo Edebiri On Mental, Physical Toll Of ‘Proof’ Broadway Debut: “Sort Of Grieving For Work”
#News #AyoEdebiri #Broadway #Proofhttps://deadline.com/2026/07/ayo-edebiri-mental-physical-toll-proof-broadway-debut-1236978060/
-
#proof : evidence establishing a fact
- French: une preuve
- German: abdichten, der Nachweis
- Italian: prova
- Portuguese: prova
- Spanish: prueba
------------
Thank you so much for being a member of our community!
