#Deduce
"Brazil (58%) and Paraguay (6%) alone account for nearly two-thirds of global cattle-pasture deforestation": https://trase.earth/insights/deduce-new-data-to-inform-action-against-commodity-driven-deforestation
#deforestation #landGrab #landUse #landUseChange #EUDR #Deduce #forests #forest #CO2 #emissions #carbon #carbonSinks #carbonSink #carbonFootprint #Brazil #Mercosur #pasture #beef #cattle #soy #soybeans #palmOil #rubber #Amazonia #Pantanal #Cerrado
Readings shared October 11, 2024. https://jaalonso.github.io/vestigium/posts/2024/10/11-readings_shared_10-11-24 #ITP #LeanProver #Coq #Deduce #IsabelleHOL #Math #LLMs #LogicProgramming
Take-aways from using Deduce in the classroom. ~ Jeremy Siek (@jeremysiek). https://siek.blogspot.com/2024/10/take-aways-from-using-deduce-in.html #ITP #Deduce
#MichelleObama #Hits #Haters Like #AnnCoulter for #Attacking #GusWalz over his #HappyTears
It’s not #hard to #deduce who the former #firstlady was talking about.
“#Thankful for you showing us all what #real #love looks like, #Gus.”
https://www.thedailybeast.com/michelle-obama-defends-gus-walz-from-haters-like-ann-coulter
Deduce: A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs. ~ Jeremy Siek (@jeremysiek). https://github.com/jsiek/deduce #Algorithms #FunctionalProgramming #ITP #Deduce
Data structures and algorithms, correctly. ~ Jeremy Siek (@jeremysiek). https://siek.blogspot.com/2024/06/data-structures-and-algorithms-correctly.html #Algorithms #FunctionalProgramming #ITP #Deduce
Sometimes what is being spoken isn't the whole story and it is important to find the true story. #communication #story #important #hear #listen #deduce
He's just so dang happy he solved it
To #deduce means to arrive at a conclusion or inference through logical reasoning or deduction. It involves using the available information or premises to draw a reasonable conclusion or outcome.
⚀ ⚅ ⚄ ⚂ ⚅→#configure
⚂ ⚀ ⚃ ⚄ ⚃→#freeway
⚄ ⚀ ⚃ ⚁ ⚅→#repeal
⚂ ⚁ ⚅ ⚀ ⚄→#graveyard
⚁ ⚁ ⚂ ⚅ ⚄→#deduce
⚅ ⚀ ⚄ ⚁ ⚄→#synopsis
configure-freeway-repeal-graveyard-deduce-synopsis
Roll your own @ https://www.eff.org/deeplinks/2016/07/new-wordlists-random-passphrases
⚂ ⚁ ⚁ ⚃ ⚂→#gigolo
⚅ ⚃ ⚁ ⚁ ⚄→#unleash
⚅ ⚁ ⚀ ⚃ ⚁→#thermos
⚁ ⚁ ⚂ ⚅ ⚄→#deduce
⚅ ⚅ ⚃ ⚅ ⚁→#worsening
⚅ ⚅ ⚂ ⚅ ⚀→#winner
gigolo-unleash-thermos-deduce-worsening-winner
Roll your own @ https://www.eff.org/deeplinks/2016/07/new-wordlists-random-passphrases
⚃ ⚀ ⚁ ⚂ ⚁→#molecule
⚁ ⚁ ⚂ ⚅ ⚄→#deduce
⚅ ⚄ ⚅ ⚂ ⚄→#vision
⚅ ⚁ ⚃ ⚂ ⚄→#trance
⚂ ⚅ ⚄ ⚃ ⚅→#manifesto
⚄ ⚄ ⚅ ⚀ ⚅→#sprinkled
molecule-deduce-vision-trance-manifesto-sprinkled
Roll your own @ https://www.eff.org/deeplinks/2016/07/new-wordlists-random-passphrases
⚂ ⚅ ⚄ ⚅ ⚂→#manor
⚂ ⚅ ⚂ ⚃ ⚃→#lunchtime
⚅ ⚀ ⚁ ⚅ ⚃→#superior
⚃ ⚄ ⚄ ⚀ ⚅→#propeller
⚀ ⚅ ⚁ ⚁ ⚂→#clumsy
⚁ ⚁ ⚂ ⚅ ⚄→#deduce
manor-lunchtime-superior-propeller-clumsy-deduce
Roll your own @ https://www.eff.org/deeplinks/2016/07/new-wordlists-random-passphrases
⚀ ⚃ ⚁ ⚀ ⚅→#broadside
⚂ ⚂ ⚅ ⚂ ⚅→#headway
⚁ ⚃ ⚅ ⚀ ⚄→#eel
⚄ ⚅ ⚄ ⚅ ⚁→#struck
⚁ ⚅ ⚄ ⚅ ⚀→#fever
⚁ ⚁ ⚂ ⚅ ⚄→#deduce
broadside-headway-eel-struck-fever-deduce
Roll your own @ https://www.eff.org/deeplinks/2016/07/new-wordlists-random-passphrases
Client Info
Server: https://mastodon.social
Version: 2025.07
Repository: https://github.com/cyevgeniy/lmst