#proof — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #proof, aggregated by home.social.
-
Paper Cup
その一言が胸を焼き尽くす
Ця душа горить і даліhttps://www.deviantart.com/poison-raika/art/Paper-Cup-1290481593
<>
#ＡＩ生成 #beat #drop #shadow #side #light #smile #hide #scream #silence #chain #contract #never #unbound #only #moment #need #longer #home #word #burn #through #chest #still #look #proof #sweat #dream #cup
-
Adrienne Warren To Join Broadway’s ‘Proof’ As Kara Young Departs For ‘The Whoopi Monologues’
#Casting #News #AdrienneWarren #Broadway #KaraYoung #Novid #Proofhttps://deadline.com/2026/05/adrienne-warren-broadway-proof-kara-young-1236886332/
-
Adrienne Warren To Join Broadway’s ‘Proof’ As Kara Young Departs For ‘The Whoopi Monologues’
#Casting #News #AdrienneWarren #Broadway #KaraYoung #Novid #Proofhttps://deadline.com/2026/05/adrienne-warren-broadway-proof-kara-young-1236886332/
-
Adrienne Warren To Join Broadway’s ‘Proof’ As Kara Young Departs For ‘The Whoopi Monologues’
#Casting #News #AdrienneWarren #Broadway #KaraYoung #Novid #Proofhttps://deadline.com/2026/05/adrienne-warren-broadway-proof-kara-young-1236886332/
-
Adrienne Warren To Join Broadway’s ‘Proof’ As Kara Young Departs For ‘The Whoopi Monologues’
#Casting #News #AdrienneWarren #Broadway #KaraYoung #Novid #Proofhttps://deadline.com/2026/05/adrienne-warren-broadway-proof-kara-young-1236886332/
-
https://www.europesays.com/be/13980/ KuCoin Launches PROOF: Tomorrowland Edition, Connecting Fair Trading Competitions with Real-World Experiences at Tomorrowland Belgium 2026 #2026 #at #Belgium #competitions #Connecting #Edition #Experiences #Fair #KuCoin #Launches #PROOF: #RealWorld #Tomorrowland #Trading #with
-
I've added some light "automated proving" capbilities to my geometric predicate generator.
(Context is still high performance mesh booleans, but this is applicable to so much more geometric computation)
With enough symbolic perturbation I was able to prove that the perturbed query point cannot lie on the plane.
This is not done via proof search but via rewriting / optimization.
Basically, "prove <expr>" is definitely true if we can simply "<expr>" to "true".
-
I've added some light "automated proving" capbilities to my geometric predicate generator.
(Context is still high performance mesh booleans, but this is applicable to so much more geometric computation)
With enough symbolic perturbation I was able to prove that the perturbed query point cannot lie on the plane.
This is not done via proof search but via rewriting / optimization.
Basically, "prove <expr>" is definitely true if we can simply "<expr>" to "true".
-
I've added some light "automated proving" capbilities to my geometric predicate generator.
(Context is still high performance mesh booleans, but this is applicable to so much more geometric computation)
With enough symbolic perturbation I was able to prove that the perturbed query point cannot lie on the plane.
This is not done via proof search but via rewriting / optimization.
Basically, "prove <expr>" is definitely true if we can simply "<expr>" to "true".
-
I've added some light "automated proving" capbilities to my geometric predicate generator.
(Context is still high performance mesh booleans, but this is applicable to so much more geometric computation)
With enough symbolic perturbation I was able to prove that the perturbed query point cannot lie on the plane.
This is not done via proof search but via rewriting / optimization.
Basically, "prove <expr>" is definitely true if we can simply "<expr>" to "true".
-
I've added some light "automated proving" capbilities to my geometric predicate generator.
(Context is still high performance mesh booleans, but this is applicable to so much more geometric computation)
With enough symbolic perturbation I was able to prove that the perturbed query point cannot lie on the plane.
This is not done via proof search but via rewriting / optimization.
Basically, "prove <expr>" is definitely true if we can simply "<expr>" to "true".
-
Broadway’s Spring 2026 Season: All Of Deadline’s Reviews From ‘Every Brilliant Thing’ To ‘The Lost Boys’
#Reviews #BeckyShaw #Broadway #BroadwayReviews #BroadwaySpring2026Reviews #CatsTheJellicleBall #EveryBrilliantThing #Giant #Proof #TheLostBoys #TheRockyHorrorSHow #Titaniquehttps://deadline.com/2026/04/broadway-spring-2026-reviews-1236859028/
-
Broadway’s Spring 2026 Season: All Of Deadline’s Reviews From ‘Every Brilliant Thing’ To ‘The Lost Boys’
#Reviews #BeckyShaw #Broadway #BroadwayReviews #BroadwaySpring2026Reviews #CatsTheJellicleBall #EveryBrilliantThing #Giant #Proof #TheLostBoys #TheRockyHorrorSHow #Titaniquehttps://deadline.com/2026/04/broadway-spring-2026-reviews-1236859028/
-
Broadway’s Spring 2026 Season: All Of Deadline’s Reviews From ‘Every Brilliant Thing’ To ‘The Lost Boys’
#Reviews #BeckyShaw #Broadway #BroadwayReviews #BroadwaySpring2026Reviews #CatsTheJellicleBall #EveryBrilliantThing #Giant #Proof #TheLostBoys #TheRockyHorrorSHow #Titaniquehttps://deadline.com/2026/04/broadway-spring-2026-reviews-1236859028/
-
Broadway’s Spring 2026 Season: All Of Deadline’s Reviews From ‘Every Brilliant Thing’ To ‘The Lost Boys’
#Reviews #BeckyShaw #Broadway #BroadwayReviews #BroadwaySpring2026Reviews #CatsTheJellicleBall #EveryBrilliantThing #Giant #Proof #TheLostBoys #TheRockyHorrorSHow #Titaniquehttps://deadline.com/2026/04/broadway-spring-2026-reviews-1236859028/
-
AI Cannot Self Improve and Math behind PROVES IT!
(lecture rapide, avec un gros clickbait)> «In plain terms: the model doesn’t climb toward superintelligence. It slowly forgets what the real world looks like.»
https://smsk.dev/2026/04/26/ai-cannot-self-improve-and-math-behind-proves-it/ #AI, #LLM, #MachineLearning,
-
AI Cannot Self Improve and Math behind PROVES IT!
(lecture rapide, avec un gros clickbait)> «In plain terms: the model doesn’t climb toward superintelligence. It slowly forgets what the real world looks like.»
https://smsk.dev/2026/04/26/ai-cannot-self-improve-and-math-behind-proves-it/ #AI, #LLM, #MachineLearning,
-
AI Cannot Self Improve and Math behind PROVES IT!
(lecture rapide, avec un gros clickbait)> «In plain terms: the model doesn’t climb toward superintelligence. It slowly forgets what the real world looks like.»
https://smsk.dev/2026/04/26/ai-cannot-self-improve-and-math-behind-proves-it/ #AI, #LLM, #MachineLearning,
-
AI Cannot Self Improve and Math behind PROVES IT!
(lecture rapide, avec un gros clickbait)> «In plain terms: the model doesn’t climb toward superintelligence. It slowly forgets what the real world looks like.»
https://smsk.dev/2026/04/26/ai-cannot-self-improve-and-math-behind-proves-it/ #AI, #LLM, #MachineLearning,
-
AI Cannot Self Improve and Math behind PROVES IT!
(lecture rapide, avec un gros clickbait)> «In plain terms: the model doesn’t climb toward superintelligence. It slowly forgets what the real world looks like.»
https://smsk.dev/2026/04/26/ai-cannot-self-improve-and-math-behind-proves-it/ #AI, #LLM, #MachineLearning,
-
『黒子のバスケ』のキャラクターたちがPROOFのマスコットフィギュア「にょきんと」に登場！2026年9月発売予定！
https://hobby.dengeki.com/news/2991502/ -
Uuuh. Uuuuuuuh. The last thing the bubble right now needs is a mathematical proof the self-reinforcing learning curve is a lie, right as every single company is struggling to show any convincing improvement in their products. LOVE IT. :D
---
AI Cannot Self Improve and Math behind PROVES IT! https://smsk.dev/2026/04/26/ai-cannot-self-improve-and-math-behind-proves-it/ #AI #LLM #MachineLearning #Math #Ml #Proof #Research #Rsi #Singularity
-
Uuuh. Uuuuuuuh. The last thing the bubble right now needs is a mathematical proof the self-reinforcing learning curve is a lie, right as every single company is struggling to show any convincing improvement in their products. LOVE IT. :D
---
AI Cannot Self Improve and Math behind PROVES IT! https://smsk.dev/2026/04/26/ai-cannot-self-improve-and-math-behind-proves-it/ #AI #LLM #MachineLearning #Math #Ml #Proof #Research #Rsi #Singularity
-
Uuuh. Uuuuuuuh. The last thing the bubble right now needs is a mathematical proof the self-reinforcing learning curve is a lie, right as every single company is struggling to show any convincing improvement in their products. LOVE IT. :D
---
AI Cannot Self Improve and Math behind PROVES IT! https://smsk.dev/2026/04/26/ai-cannot-self-improve-and-math-behind-proves-it/ #AI #LLM #MachineLearning #Math #Ml #Proof #Research #Rsi #Singularity
-
Uuuh. Uuuuuuuh. The last thing the bubble right now needs is a mathematical proof the self-reinforcing learning curve is a lie, right as every single company is struggling to show any convincing improvement in their products. LOVE IT. :D
---
AI Cannot Self Improve and Math behind PROVES IT! https://smsk.dev/2026/04/26/ai-cannot-self-improve-and-math-behind-proves-it/ #AI #LLM #MachineLearning #Math #Ml #Proof #Research #Rsi #Singularity
-
Uuuh. Uuuuuuuh. The last thing the bubble right now needs is a mathematical proof the self-reinforcing learning curve is a lie, right as every single company is struggling to show any convincing improvement in their products. LOVE IT. :D
---
AI Cannot Self Improve and Math behind PROVES IT! https://smsk.dev/2026/04/26/ai-cannot-self-improve-and-math-behind-proves-it/ #AI #LLM #MachineLearning #Math #Ml #Proof #Research #Rsi #Singularity
-
What forms, or: Friction
A Sijo
what must stay pure is kept so white stays unchanged behind glass; sealed off from all contact no entry, no exit allowed; but life requires some friction or else it never becomes itself
What Do You See 338
For WDYS, Sadje offers us a photo taken by Jay Sadangi (Unsplash). The image shows a bouquet of white roses seen through a dusty window.
As always, Sadje is eagerly awaiting our responses!
Sijo?
A Korean verse form related to haiku and tanka and comprised of three lines of 14-16 syllables each, for a total of 44-46 syllables. Each line contains a pause near the middle, similar to a caesura, though the break need not be metrical. The first half of the line contains six to nine syllables; the second half should contain no fewer than five. Originally intended as songs, sijo can treat romantic, metaphysical, or spiritual themes. Whatever the subject, the first line introduces an idea or story, the second supplies a “turn,” and the third provides closure. Modern sijo are sometimes printed in six lines.
Let’s write poetry together!
When it comes to partnership, some humans can make their lives alone – it’s possible. But creatively, it’s more like painting: you can’t just use the same colours in every painting. It’s just not an option. You can’t take the same photograph every time and live with art forms with no differences.
–Ben Harper (b. 1969)Would you like to create poetry with me and have a completed poem of yours featured here at the Skeptic’s Kaddish? I am very excited to have launched the ‘Poetry Partners’ initiative and am looking forward to meeting and creating with you… Check it out!
#Afterlife #Belief #Death #Poem #Poetry #Proof #Reality #Religion #Sijo #Skepticism #Space -
Given the amount of online scams, if you ever need to verify that a message truly came from me, feel free to ask for a signed response. My public keys are available here: sami-lehtinen.net/public-keys #identity #proof #authentication #digitalsignature
Sami Lehtinen - Public keys -
Given the amount of online scams, if you ever need to verify that a message truly came from me, feel free to ask for a signed response. My public keys are available here:
-
Given the amount of online scams, if you ever need to verify that a message truly came from me, feel free to ask for a signed response. My public keys are available here:
-
Given the amount of online scams, if you ever need to verify that a message truly came from me, feel free to ask for a signed response. My public keys are available here:
-
Given the amount of online scams, if you ever need to verify that a message truly came from me, feel free to ask for a signed response. My public keys are available here:
-
https://theconversation.com/there-is-something-wrong-with-the-asylum-process-for-lgbtq-people-but-its-not-fake-claimants-280838. "Proving to the #HomeOffice that someone is #LGBTQ isn’t an easy feat. The #BBC #investigation repeats an adviser’s claim that 'there is no check-up'. In #reality, the Home Office conducts an intensive #refugee #status #determination #process. This involves 2 #interviews, & places the #burden of #proof on the claimant to show that they require #protection from #persecution." So this was slipshod #Panorama BS, at the expense of genuine LGBTQ #asylum #seekers!
-
https://theconversation.com/there-is-something-wrong-with-the-asylum-process-for-lgbtq-people-but-its-not-fake-claimants-280838. "Proving to the #HomeOffice that someone is #LGBTQ isn’t an easy feat. The #BBC #investigation repeats an adviser’s claim that 'there is no check-up'. In #reality, the Home Office conducts an intensive #refugee #status #determination #process. This involves 2 #interviews, & places the #burden of #proof on the claimant to show that they require #protection from #persecution." So this was slipshod #Panorama BS, at the expense of genuine LGBTQ #asylum #seekers!
-
https://theconversation.com/there-is-something-wrong-with-the-asylum-process-for-lgbtq-people-but-its-not-fake-claimants-280838. "Proving to the #HomeOffice that someone is #LGBTQ isn’t an easy feat. The #BBC #investigation repeats an adviser’s claim that 'there is no check-up'. In #reality, the Home Office conducts an intensive #refugee #status #determination #process. This involves 2 #interviews, & places the #burden of #proof on the claimant to show that they require #protection from #persecution." So this was slipshod #Panorama BS, at the expense of genuine LGBTQ #asylum #seekers!
-
https://theconversation.com/there-is-something-wrong-with-the-asylum-process-for-lgbtq-people-but-its-not-fake-claimants-280838. "Proving to the #HomeOffice that someone is #LGBTQ isn’t an easy feat. The #BBC #investigation repeats an adviser’s claim that 'there is no check-up'. In #reality, the Home Office conducts an intensive #refugee #status #determination #process. This involves 2 #interviews, & places the #burden of #proof on the claimant to show that they require #protection from #persecution." So this was slipshod #Panorama BS, at the expense of genuine LGBTQ #asylum #seekers!
-
https://theconversation.com/there-is-something-wrong-with-the-asylum-process-for-lgbtq-people-but-its-not-fake-claimants-280838. "Proving to the #HomeOffice that someone is #LGBTQ isn’t an easy feat. The #BBC #investigation repeats an adviser’s claim that 'there is no check-up'. In #reality, the Home Office conducts an intensive #refugee #status #determination #process. This involves 2 #interviews, & places the #burden of #proof on the claimant to show that they require #protection from #persecution." So this was slipshod #Panorama BS, at the expense of genuine LGBTQ #asylum #seekers!
-
AIs in Math: Summary of mathematicians using LLMs to help make proofs. Characterizes the difference of the AI "thinking" strategy
https://www.economist.com/science-and-technology/2026/04/08/ai-models-could-offer-mathematicians-a-common-language
#mathematics #proof #math #llm #ai #+ -
Coq theorem prover is now called Rocq
#HackerNews #Coq #Rocq #theorem #prover #programming #languages #proof #assistants
-
Coq theorem prover is now called Rocq
#HackerNews #Coq #Rocq #theorem #prover #programming #languages #proof #assistants
-
Coq theorem prover is now called Rocq
#HackerNews #Coq #Rocq #theorem #prover #programming #languages #proof #assistants
-
Coq theorem prover is now called Rocq
#HackerNews #Coq #Rocq #theorem #prover #programming #languages #proof #assistants
