A global database of soil microbial phospholipid fatty acids and enzyme activities

https://www.nature.com/articles/s41597-025-05759-2

#soil #microbes #dataset #bacteria #fungi #PLFA #enzyme

A global database of soil microbial phospholipid fatty acids and enzyme activities - Scientific Data

Soil microbes drive ecosystem function and play a critical role in how ecosystems respond to global change. Research surrounding soil microbial communities has rapidly increased in recent decades, and substantial data relating to phospholipid fatty acids (PLFAs) and potential enzyme activity have been collected and analysed. However, studies have mostly been restricted to local and regional scales, and their accuracy and usefulness are limited by the extent of accessible data. Here we aim to improve data availability by collating a global database of soil PLFA and potential enzyme activity measurements from 12,258 georeferenced samples located across all continents, 5.1% of which have not previously been published. The database contains data relating to 113 PLFAs and 26 enzyme activities, and includes metadata such as sampling date, sample depth, and soil pH, total carbon, and total nitrogen. This database will help researchers in conducting both global- and local-scale studies to better understand soil microbial biomass and function.

Nature
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

now: working through part 1 of "Programming Language Foundations in Agda" (Wadler et al) on a Sunday Morning ⌨️ 📚

listening to: Bach's Violin Concerto No. 2 Adagio from my coding playlist 🎻

later: the Brazilian Grand Prix 🏎️ 🏁

#agda #plfa #f1

We have an interesting bug in #PLFA, where the font looks horrible across all browsers on Windows, but it looks absolutely fine on macOS. Does anyone know what could be going wrong here?

PLFA is now available as a PDF and an EPUB! #PLFA #Agda

[PDF]: https://plfa.github.io/plfa.pdf
[EPUB]: https://plfa.github.io/plfa.epub

@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.

@magthe
#typetheory #PLFA

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

DeBruijn: introduce a version of #_ that depends on no postulate by mdimjasevic · Pull Request #514 · plfa/plfa.github.io

Per the discussion in issue #513, this patch introduces a formalisation of variables based on de Bruijn indices that relies on no postulates. The accompanying text is updated accordingly.