#deduce — Public Fediverse posts

@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

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