71Jul 20, 2025
#bird #deduce #photography
Show threadEric Maugendre about carbonNov 16, 2024

@climate @ecology 🧵

"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

DeDuCE: New data to inform action against commodity-driven deforestation - Insights - Trase

A new global dataset on commodity-driven deforestation called DeDuCE is helping governments, companies and civil society assess the deforestation exposure of producer and consumer countries. Its use reveals six insights to inform the transition to zero-deforestation trade in beef, soy, palm oil and other important commodities.

trase.earth
José A. AlonsoOct 12, 2024
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
Readings shared October 11, 2024

The readings shared in Mastodon on 11 October 2024 are Readings shared October 10, 2024. #ITP #LeanProver #Lean4 #IsabelleHOL #Coq #Agda #Math #HoTT #LLMs ImProver: Agent-based automated proof optimi

Vestigium
José A. AlonsoOct 11, 2024
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
Take-aways from using Deduce in the classroom

During two weeks of September 2024 I experimented with using the Deduce proof assistant in an honors undergraduate data structures course at...

Show threadSusan Larson ♀️🏳️‍🌈🏳️‍⚧️🌈Aug 23, 2024

#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

Michelle Obama Hits Haters Like Ann Coulter for Attacking Gus Walz

It’s not hard to deduce who the former first lady was talking about.

The Daily Beast
José A. AlonsoJun 14, 2024
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
GitHub - jsiek/deduce: A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.

A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs. - jsiek/deduce

GitHub
José A. AlonsoJun 14, 2024
Data structures and algorithms, correctly. ~ Jeremy Siek (@jeremysiek). https://siek.blogspot.com/2024/06/data-structures-and-algorithms-correctly.html #Algorithms #FunctionalProgramming #ITP #Deduce
Data Structures and Algorithms, Correctly

Prelude This is the first in what I hope to be a sequence of blog posts about (1) data structures and algorithms, (2) an approach to constr...

Justin BuzzardApr 28, 2024
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
GooglyEyesOnMagicCardsFeb 22, 2024

He's just so dang happy he solved it

#Deduce #mtg #MagicTheGathering #MKM

CreativetorMay 9, 2023
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.