Lmst

Proving Liveness with TLA

https://roscidus.com/blog/blog/2026/01/01/tla-liveness/

#HackerNews #Proving #Liveness #TLA #FormalMethods #DistributedSystems

Pandoro di Verona: History, Confectionery, and Cultural Identity

Il Verona pandoro It is among the most famous Italian leavened desserts, an emblem of the Christmas tradition and of Vene…
#dining #cooking #diet #food #Dessert #Italiandesserts #Christmassweets #confectioneryproducts #desserts #Italia #Italian #italiandesserts #italiano #italy #proving #traditionalproducts #typicalItaliansweets
https://www.diningandcooking.com/2452188/pandoro-di-verona-history-confectionery-and-cultural-identity/

Constantine Hering (ca. 1870).

Source: Francis A. Countway Library of Medicine

https://pdimagearchive.org/images/62ccc6bf-6faf-4bf8-8bc0-28ac241dc35a

#homeopathy #cannabis #proving #ties #beards #medicine #drugs #art #publicdomain

https://www.fogolf.com/1070310/day-3-of-proving-tiger-woods-wrong-golf/ Day 3 of proving Tiger woods wrong #golf #DAY #Golf #GolfClubs #GolfClubsPutters #GolfClubsPuttersVideos #GolfClubsPuttersVlog #GolfClubsPuttersYouTube #GolfClubsVideos #GolfClubsVlog #GolfClubsYouTube #GolfEquipment #GolfEquipmentVideos #GolfEquipmentVlog #GolfEquipmentYouTube #GolfPutters #GolfPuttersVideos #GolfPuttersVlog #GolfPuttersYouTube #Proving #tiger #woods #Wrong

Normal-order syntax-rules and proving the fix-point of call/cc

https://okmij.org/ftp/Scheme/callcc-calc-page.html

#HackerNews #NormalOrder #SyntaxRules #CallCC #Scheme #Programming #Proving

Argentina’s white wine revolution – Drinks International

When the New World first began…
#wine #Argentinewine #Argentina #ArgentinianWine #dodd #doddreports #fresh #freshmodern #freshmodernstyles #Malbec #modern #modernstyles #modernstylesoli #oli #olidodd #olidoddreports #proving #reports #revolution #revolutionmalbec&8217 #styles #stylesoli #stylesolidodd #Wine #WinesfromArgentina #WinesofArgentina
https://www.diningandcooking.com/2168693/argentinas-white-wine-revolution-drinks-international/

Argentina’s white wine revolution – Drinks International

When th…
#dining #cooking #diet #food #Argentinewine #Argentina #ArgentinianWine #dodd #doddreports #fresh #freshmodern #freshmodernstyles #Malbec #modern #modernstyles #modernstylesoli #oli #olidodd #olidoddreports #proving #reports #revolution #revolutionmalbec&8217 #styles #stylesoli #stylesolidodd #Wine #WinesfromArgentina #WinesofArgentina
https://www.diningandcooking.com/2168693/argentinas-white-wine-revolution-drinks-international/

#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:🧙 | 🍐🦹🐔🐻🐔🦹🍐

#Proving #USA

Frank (Peng) Fu ( https://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 https://cse.sc.edu/graduate/admissions and contact Frank at pfu@cse.sc.edu

#NFL #coach #KevinMaxen is #proving, once and for all, that #gay #people belong on the #gridiron.

#Women #Transgender #LGBTQ #LGBTQIA #Entertainment #Sports #Football #Representation #Culture

https://www.queerty.com/nfl-coach-kevin-maxen-is-proving-once-and-for-all-that-gay-people-belong-on-the-gridiron-20230915

"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/