#Proving

2025-06-08
'Sydney proving the carpet isn’t the only thing red-hot tonight.' - At the "Echo Valley" Premiere in New York City - IG June 2025
PSiReN-X :verified_paw:​PSiReN@psiren.eu
2025-03-01

#NotNews24 | #UnbreaklingMovieNightNotNews... #OftenLess... #FrequentlyFewer and #SomeWeather...

#IT's a #GloriousEvening in #TheOutside; #Perfect for #DrinkingBeer, which is what #MyLittleBigBuddy is doing #Down in #TheShed... With some of #TheHammers...

#Inspired by the #SemiGothicHorror of #AnneRice; #CaptainRedBeanBear is #Preparing for an #InterviewWithAChicken...

#Allegedly... #TheChickenKyivs come from #HealthierHappierChickens®️, which we will #TryToVerify...

#SoFar, #TheChickenKyivs are #Proving to be #Uncooperative because they're #QuiteDead...

#Meanwhile, I'm making a #Crumble... #IT's got #Pears in #IT, and #Raspberries...

#AsYouWere... #KeepOnKeepingOn and #Enjoy #TheMaking of #PearAndRaspberryCrumble...

🧙:fediverse:🤖:wolfparty:​🤖:fediverse:🧙 | 🍐🦹🐔🐻🐔🦹🍐

#TheMaking of #PearAndRaspberryCrumble
2025-01-31
2024-11-26

Frank (Peng) Fu ( cse.sc.edu/~pfu/ ) is looking for one or two Ph.D. students to join the Computer Science and Engineering Department at the University of South Carolina.

Topic : #Quantum #programming languages and quantum computing, with a strong focus on leveraging methods from #type systems, programming language theory, #category theory, and theorem #proving.

Deadline: February 1, 2025.

How to apply: Read cse.sc.edu/graduate/admissions and contact Frank at pfu@cse.sc.edu

2023-09-09

"Unique power strategy"

"August was a landmark month for Riot in showcasing the benefits of our unique power strategy," Les said. "Riot achieved a new monthly record for Power and Demand Response Credits … which surpassed the total amount of all Credits received in 2022.
A #Texas #bitcoin "#mining" outfit MADE MORE MONEY last month from NOT mining bitcoin than it did from actually mining bitcoin, because Texas so desperately needed the power.

If this doesn't show up how utterly batshit insane the fetishism of cryptocurrencies — Bitcoin in particular — is,
what does?

There's been a lot of talk about switching to proof-of-stake and proof-of-storage algorithms, and how they are "better" than proof-of-work. But let's make one common thing about virtually ALL cryptocurrencies abundantly clear (I'm not certain to what extent it applies to the proof-of-stake ones):

ALMOST EVERY #CRYPTOCURRENCY IN EXISTENCE IS BASED UPON #PROVING THAT YOU #WASTED #SOMETHING.

https://www.theregister.com/2023/09/07/texas_crypto_mining_outfit_energy/

2023-03-21

The complexity of theorem-proving procedures
(1971) : Cook, Stephen a.
DOI: doi.org/10.1145/800157.805047

2021-04-28

#letsroll #muggles #d20

12-5-13 → #potions
11-2-7 → #basement
5-17-17 → #proving
13-17-6 → #asking
4-6-7 → #holding
7-20-20 → #condition

potions-basement-proving-asking-holding-condition

Roll your own @ eff.org/deeplinks/2018/08/drag

2021-04-23

#letsroll

⚂ ⚅ ⚄ ⚅ ⚂→#manor
⚃ ⚄ ⚄ ⚄ ⚄→#proving
⚃ ⚁ ⚀ ⚄ ⚂→#net
⚁ ⚂ ⚃ ⚀ ⚃→#discount
⚄ ⚁ ⚂ ⚄ ⚅→#rockstar
⚄ ⚄ ⚄ ⚅ ⚃→#spout

manor-proving-net-discount-rockstar-spout

Roll your own @ eff.org/deeplinks/2016/07/new-

2021-03-25

#letsroll #muggles #d20

20-20-12 → #continuously
4-20-5 → #teased
8-20-5 → #settle
19-4-20 → #recovered
3-20-4 → #puzzle
5-17-17 → #proving

continuously-teased-settle-recovered-puzzle-proving

Roll your own @ eff.org/deeplinks/2018/08/drag

2021-01-27

#letsroll

⚁ ⚄ ⚄ ⚃ ⚀→#eradicate
⚃ ⚄ ⚄ ⚄ ⚄→#proving
⚅ ⚅ ⚃ ⚂ ⚀→#wok
⚄ ⚀ ⚁ ⚄ ⚂→#relieving
⚁ ⚃ ⚅ ⚂ ⚃→#egotism
⚁ ⚃ ⚃ ⚄ ⚀→#earmuff

eradicate-proving-wok-relieving-egotism-earmuff

Roll your own @ eff.org/deeplinks/2016/07/new-

2020-11-19

#letsroll #muggles #d20

18-16-17 → #noticing
5-17-17 → #proving
10-2-2 → #persecuted
13-8-4 → #bottles
6-20-12 → #otherwise
13-14-13 → #pranks

noticing-proving-persecuted-bottles-otherwise-pranks

Roll your own @ eff.org/deeplinks/2018/08/drag

2020-08-23

#letsroll

⚀ ⚂ ⚀ ⚄ ⚀→#bagful
⚃ ⚄ ⚄ ⚄ ⚄→#proving
⚀ ⚂ ⚅ ⚂ ⚄→#bootleg
⚄ ⚁ ⚁ ⚅ ⚅→#riptide
⚁ ⚄ ⚀ ⚃ ⚃→#embassy
⚅ ⚄ ⚁ ⚁ ⚃→#uphold

bagful-proving-bootleg-riptide-embassy-uphold

Roll your own @ eff.org/deeplinks/2016/07/new-

2020-08-18

#letsroll

⚃ ⚄ ⚁ ⚂ ⚀→#preheated
⚅ ⚂ ⚁ ⚃ ⚂→#umpire
⚃ ⚄ ⚄ ⚄ ⚄→#proving
⚀ ⚀ ⚃ ⚂ ⚃→#almanac
⚀ ⚄ ⚃ ⚅ ⚄→#chewer
⚅ ⚅ ⚅ ⚅ ⚅→#zoom

preheated-umpire-proving-almanac-chewer-zoom

Roll your own @ eff.org/deeplinks/2016/07/new-

2020-07-24

#letsroll

⚀ ⚁ ⚀ ⚅ ⚂→#anyplace
⚀ ⚅ ⚄ ⚅ ⚅→#conjuror
⚅ ⚁ ⚃ ⚄ ⚂→#trapezoid
⚃ ⚄ ⚄ ⚄ ⚄→#proving
⚀ ⚂ ⚄ ⚅ ⚄→#bonehead
⚄ ⚅ ⚂ ⚅ ⚁→#stinking

anyplace-conjuror-trapezoid-proving-bonehead-stinking

Roll your own @ eff.org/deeplinks/2016/07/new-

2020-06-30

#letsroll

⚅ ⚁ ⚅ ⚅ ⚅→#tubby
⚄ ⚂ ⚃ ⚃ ⚃→#seduce
⚁ ⚂ ⚄ ⚀ ⚄→#dispute
⚃ ⚄ ⚄ ⚄ ⚄→#proving
⚂ ⚄ ⚅ ⚃ ⚃→#legacy
⚃ ⚄ ⚁ ⚅ ⚄→#presume

tubby-seduce-dispute-proving-legacy-presume

Roll your own @ eff.org/deeplinks/2016/07/new-

2020-05-30

#letsroll

⚃ ⚄ ⚄ ⚄ ⚄→#proving
⚄ ⚃ ⚀ ⚄ ⚀→#shirt
⚄ ⚀ ⚅ ⚄ ⚁→#retouch
⚂ ⚂ ⚃ ⚄ ⚄→#hardness
⚀ ⚁ ⚅ ⚁ ⚃→#awry
⚃ ⚄ ⚁ ⚂ ⚅→#premises

proving-shirt-retouch-hardness-awry-premises

Roll your own @ eff.org/deeplinks/2016/07/new-

2020-05-26

#letsroll #muggles #d20

8-8-14 → #keyhole
5-10-3 → #possess
20-18-4 → #ruined
18-10-11 → #pushes
4-13-12 → #prevent
5-17-17 → #proving

keyhole-possess-ruined-pushes-prevent-proving

Roll your own @ eff.org/deeplinks/2018/08/drag

Client Info

Server: https://mastodon.social
Version: 2025.04
Repository: https://github.com/cyevgeniy/lmst