#plfa — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #plfa, aggregated by home.social.
-
Manure application and local variation dominates the microbial signal (PLFA/PLEL: 244 chains x 5 systems, block design) compared to crop rotation and other management practices. Signals in soil organic carbon, and total nitrogen are less clear. Esperschutz etal 2007 https://onlinelibrary.wiley.com/doi/abs/10.1111/j.1574-6941.2007.00318.x #SoilMicrobes #PLFA #Agroecosystem
-
Manure application and local variation dominates the microbial signal (PLFA/PLEL: 244 chains x 5 systems, block design) compared to crop rotation and other management practices. Signals in soil organic carbon, and total nitrogen are less clear. Esperschutz etal 2007 https://onlinelibrary.wiley.com/doi/abs/10.1111/j.1574-6941.2007.00318.x #SoilMicrobes #PLFA #Agroecosystem
-
Manure application and local variation dominates the microbial signal (PLFA/PLEL: 244 chains x 5 systems, block design) compared to crop rotation and other management practices. Signals in soil organic carbon, and total nitrogen are less clear. Esperschutz etal 2007 https://onlinelibrary.wiley.com/doi/abs/10.1111/j.1574-6941.2007.00318.x #SoilMicrobes #PLFA #Agroecosystem
-
Manure application and local variation dominates the microbial signal (PLFA/PLEL: 244 chains x 5 systems, block design) compared to crop rotation and other management practices. Signals in soil organic carbon, and total nitrogen are less clear. Esperschutz etal 2007 https://onlinelibrary.wiley.com/doi/abs/10.1111/j.1574-6941.2007.00318.x #SoilMicrobes #PLFA #Agroecosystem
-
@veer66, it is hard to answer your questions with the care they deserve in these relatively short toots. There's nothing you brought up in this thread that cannot be encoded via (static) types.
I strongly encourage you to read a type theory book, e.g., The Little Typer, Type-Driven Development with Idris, or Programming Language Foundations in Agda. -
I'm excited to see my proposal for a different formalisation of de Bruijn indices merged into a book Programming Language Foundations in Agda (authors: Wadler, Kokke, Siek)!
https://github.com/plfa/plfa.github.io/pull/514
The new formalisation is based on proof by reflection instead of relying on postulates and partial functions.
Total functional programming and dependent types rock!
#PLFA #Agda #typetheory #functionalprogramming #dependenttypes