home.social

#hottest — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #hottest, aggregated by home.social.

  1. The 10 hottest new restaurants in Toronto right now

    The hottest new restaurants in Toronto speak to the city’s ever-changing cravings: from no-frills sports bars to takeout…
    #Canada #Toronto #hottest #restaurants
    europesays.com/canada/125548/

  2. This week the #HoTTEST seminar presents:

    Freek Geerligs

    Synthetic Stone duality

    The talk is at 11:30am EDT (15:30 UTC) on Thursday, April 16. The talk will be 60 minutes long, followed by up to 30 minutes for questions. See hottest-seminar.github.io/ for the Zoom link and a list of all upcoming talks.

    All are welcome!

    Abstract:

    In this talk, we will give an overview of Synthetic Stone duality (drops.dagstuhl.de/entities/doc). We will then discuss some related work in progress.

    Synthetic Stone duality is an extension of homotopy type theory with four axioms. These axioms are strong enough to decide Bishop's omniscience principles. We introduce a (synthetic) topology on any type, such that all functions are continuous. We are interested in Stone spaces and compact Hausdorff spaces, where the topology behaves as one would expect. In particular, we can define the (topological) interval and show that all functions are continuous in the epsilon-delta sense.

    Currently, we are working on a paper with a method for calculating cohomology with countably presented coefficients for compact Hausdorff spaces. We are also interested in a correspondence between homotopical concepts defined using traditional topology (using paths from the topological interval) and homotopy type theory (using identity types).

    This talk will contain joint work with Reid Barton, Felix Cherubini, Thierry Coquand, and Hugo Moeneclaey.

    #HoTT @carloangiuli @emilyriehl @de_Jong_Tom

  3. This week the #HoTTEST seminar presents:

    Freek Geerligs

    Synthetic Stone duality

    The talk is at 11:30am EDT (15:30 UTC) on Thursday, April 16. The talk will be 60 minutes long, followed by up to 30 minutes for questions. See hottest-seminar.github.io/ for the Zoom link and a list of all upcoming talks.

    All are welcome!

    Abstract:

    In this talk, we will give an overview of Synthetic Stone duality (drops.dagstuhl.de/entities/doc). We will then discuss some related work in progress.

    Synthetic Stone duality is an extension of homotopy type theory with four axioms. These axioms are strong enough to decide Bishop's omniscience principles. We introduce a (synthetic) topology on any type, such that all functions are continuous. We are interested in Stone spaces and compact Hausdorff spaces, where the topology behaves as one would expect. In particular, we can define the (topological) interval and show that all functions are continuous in the epsilon-delta sense.

    Currently, we are working on a paper with a method for calculating cohomology with countably presented coefficients for compact Hausdorff spaces. We are also interested in a correspondence between homotopical concepts defined using traditional topology (using paths from the topological interval) and homotopy type theory (using identity types).

    This talk will contain joint work with Reid Barton, Felix Cherubini, Thierry Coquand, and Hugo Moeneclaey.

    #HoTT @carloangiuli @emilyriehl @de_Jong_Tom

  4. This week the #HoTTEST seminar presents:

    Freek Geerligs

    Synthetic Stone duality

    The talk is at 11:30am EDT (15:30 UTC) on Thursday, April 16. The talk will be 60 minutes long, followed by up to 30 minutes for questions. See hottest-seminar.github.io/ for the Zoom link and a list of all upcoming talks.

    All are welcome!

    Abstract:

    In this talk, we will give an overview of Synthetic Stone duality (drops.dagstuhl.de/entities/doc). We will then discuss some related work in progress.

    Synthetic Stone duality is an extension of homotopy type theory with four axioms. These axioms are strong enough to decide Bishop's omniscience principles. We introduce a (synthetic) topology on any type, such that all functions are continuous. We are interested in Stone spaces and compact Hausdorff spaces, where the topology behaves as one would expect. In particular, we can define the (topological) interval and show that all functions are continuous in the epsilon-delta sense.

    Currently, we are working on a paper with a method for calculating cohomology with countably presented coefficients for compact Hausdorff spaces. We are also interested in a correspondence between homotopical concepts defined using traditional topology (using paths from the topological interval) and homotopy type theory (using identity types).

    This talk will contain joint work with Reid Barton, Felix Cherubini, Thierry Coquand, and Hugo Moeneclaey.

    #HoTT @carloangiuli @emilyriehl @de_Jong_Tom

  5. This week the #HoTTEST seminar presents:

    Freek Geerligs

    Synthetic Stone duality

    The talk is at 11:30am EDT (15:30 UTC) on Thursday, April 16. The talk will be 60 minutes long, followed by up to 30 minutes for questions. See hottest-seminar.github.io/ for the Zoom link and a list of all upcoming talks.

    All are welcome!

    Abstract:

    In this talk, we will give an overview of Synthetic Stone duality (drops.dagstuhl.de/entities/doc). We will then discuss some related work in progress.

    Synthetic Stone duality is an extension of homotopy type theory with four axioms. These axioms are strong enough to decide Bishop's omniscience principles. We introduce a (synthetic) topology on any type, such that all functions are continuous. We are interested in Stone spaces and compact Hausdorff spaces, where the topology behaves as one would expect. In particular, we can define the (topological) interval and show that all functions are continuous in the epsilon-delta sense.

    Currently, we are working on a paper with a method for calculating cohomology with countably presented coefficients for compact Hausdorff spaces. We are also interested in a correspondence between homotopical concepts defined using traditional topology (using paths from the topological interval) and homotopy type theory (using identity types).

    This talk will contain joint work with Reid Barton, Felix Cherubini, Thierry Coquand, and Hugo Moeneclaey.

    #HoTT @carloangiuli @emilyriehl @de_Jong_Tom

  6. This week the #HoTTEST seminar presents:

    Freek Geerligs

    Synthetic Stone duality

    The talk is at 11:30am EDT (15:30 UTC) on Thursday, April 16. The talk will be 60 minutes long, followed by up to 30 minutes for questions. See hottest-seminar.github.io/ for the Zoom link and a list of all upcoming talks.

    All are welcome!

    Abstract:

    In this talk, we will give an overview of Synthetic Stone duality (drops.dagstuhl.de/entities/doc). We will then discuss some related work in progress.

    Synthetic Stone duality is an extension of homotopy type theory with four axioms. These axioms are strong enough to decide Bishop's omniscience principles. We introduce a (synthetic) topology on any type, such that all functions are continuous. We are interested in Stone spaces and compact Hausdorff spaces, where the topology behaves as one would expect. In particular, we can define the (topological) interval and show that all functions are continuous in the epsilon-delta sense.

    Currently, we are working on a paper with a method for calculating cohomology with countably presented coefficients for compact Hausdorff spaces. We are also interested in a correspondence between homotopical concepts defined using traditional topology (using paths from the topological interval) and homotopy type theory (using identity types).

    This talk will contain joint work with Reid Barton, Felix Cherubini, Thierry Coquand, and Hugo Moeneclaey.

    #HoTT @carloangiuli @emilyriehl @de_Jong_Tom

  7. Flatlines : Medium

    This claims it can stop and prevent : Tech Review

    The just lived through the 11 years on — what now? : Nature

    Latest

    knowledgezone.co.in/resources/

  8. This week the #HoTTEST seminar presents:

    Szumi Xie

    The groupoid-syntax of type theory is a set

    The talk is at 11:30am EDT (15:30 UTC) on Thursday, April 2. The talk will be 60 minutes long, followed by up to 30 minutes for questions. See hottest-seminar.github.io/ for the Zoom link and a list of all upcoming talks. (This should be back to the "usual" time for Europeans who are now on summer time.)

    All are welcome!

    Abstract:

    Categories with families (CwFs) have been used to define the semantics of type theory in type theory. In the setting of homotopy type theory, one of the limitations of the traditional notion of CwFs is the requirement to set-truncate types, which excludes models based on univalent categories, such as the standard set model. To address this limitation, I will introduce the notion of groupoid categories with families (GCwFs), which truncates types at the groupoid level and incorporates coherence equations.

    I will demonstrate that the initial GCwF for a type theory with some type formers is set-truncated, using a technique called α-normalization. This allows us to utilize the conventional intrinsic syntax of type theory while enabling interpretations in semantically richer and more natural models.

    I will also present a generalization of GCwFs and discuss its relation to comprehension categories.

    This talk is based on joint work with Thorsten Altenkirch and Ambrus Kaposi (doi.org/10.4230/LIPIcs.CSL.202).

    #HoTT @carloangiuli @emilyriehl @de_Jong_Tom

  9. This week the #HoTTEST seminar presents:

    Szumi Xie

    The groupoid-syntax of type theory is a set

    The talk is at 11:30am EDT (15:30 UTC) on Thursday, April 2. The talk will be 60 minutes long, followed by up to 30 minutes for questions. See hottest-seminar.github.io/ for the Zoom link and a list of all upcoming talks. (This should be back to the "usual" time for Europeans who are now on summer time.)

    All are welcome!

    Abstract:

    Categories with families (CwFs) have been used to define the semantics of type theory in type theory. In the setting of homotopy type theory, one of the limitations of the traditional notion of CwFs is the requirement to set-truncate types, which excludes models based on univalent categories, such as the standard set model. To address this limitation, I will introduce the notion of groupoid categories with families (GCwFs), which truncates types at the groupoid level and incorporates coherence equations.

    I will demonstrate that the initial GCwF for a type theory with some type formers is set-truncated, using a technique called α-normalization. This allows us to utilize the conventional intrinsic syntax of type theory while enabling interpretations in semantically richer and more natural models.

    I will also present a generalization of GCwFs and discuss its relation to comprehension categories.

    This talk is based on joint work with Thorsten Altenkirch and Ambrus Kaposi (doi.org/10.4230/LIPIcs.CSL.202).

    #HoTT @carloangiuli @emilyriehl @de_Jong_Tom

  10. This week the #HoTTEST seminar presents:

    Szumi Xie

    The groupoid-syntax of type theory is a set

    The talk is at 11:30am EDT (15:30 UTC) on Thursday, April 2. The talk will be 60 minutes long, followed by up to 30 minutes for questions. See hottest-seminar.github.io/ for the Zoom link and a list of all upcoming talks. (This should be back to the "usual" time for Europeans who are now on summer time.)

    All are welcome!

    Abstract:

    Categories with families (CwFs) have been used to define the semantics of type theory in type theory. In the setting of homotopy type theory, one of the limitations of the traditional notion of CwFs is the requirement to set-truncate types, which excludes models based on univalent categories, such as the standard set model. To address this limitation, I will introduce the notion of groupoid categories with families (GCwFs), which truncates types at the groupoid level and incorporates coherence equations.

    I will demonstrate that the initial GCwF for a type theory with some type formers is set-truncated, using a technique called α-normalization. This allows us to utilize the conventional intrinsic syntax of type theory while enabling interpretations in semantically richer and more natural models.

    I will also present a generalization of GCwFs and discuss its relation to comprehension categories.

    This talk is based on joint work with Thorsten Altenkirch and Ambrus Kaposi (doi.org/10.4230/LIPIcs.CSL.202).

    #HoTT @carloangiuli @emilyriehl @de_Jong_Tom

  11. This week the #HoTTEST seminar presents:

    Szumi Xie

    The groupoid-syntax of type theory is a set

    The talk is at 11:30am EDT (15:30 UTC) on Thursday, April 2. The talk will be 60 minutes long, followed by up to 30 minutes for questions. See hottest-seminar.github.io/ for the Zoom link and a list of all upcoming talks. (This should be back to the "usual" time for Europeans who are now on summer time.)

    All are welcome!

    Abstract:

    Categories with families (CwFs) have been used to define the semantics of type theory in type theory. In the setting of homotopy type theory, one of the limitations of the traditional notion of CwFs is the requirement to set-truncate types, which excludes models based on univalent categories, such as the standard set model. To address this limitation, I will introduce the notion of groupoid categories with families (GCwFs), which truncates types at the groupoid level and incorporates coherence equations.

    I will demonstrate that the initial GCwF for a type theory with some type formers is set-truncated, using a technique called α-normalization. This allows us to utilize the conventional intrinsic syntax of type theory while enabling interpretations in semantically richer and more natural models.

    I will also present a generalization of GCwFs and discuss its relation to comprehension categories.

    This talk is based on joint work with Thorsten Altenkirch and Ambrus Kaposi (doi.org/10.4230/LIPIcs.CSL.202).

    #HoTT @carloangiuli @emilyriehl @de_Jong_Tom

  12. This week the #HoTTEST seminar presents:

    Szumi Xie

    The groupoid-syntax of type theory is a set

    The talk is at 11:30am EDT (15:30 UTC) on Thursday, April 2. The talk will be 60 minutes long, followed by up to 30 minutes for questions. See hottest-seminar.github.io/ for the Zoom link and a list of all upcoming talks. (This should be back to the "usual" time for Europeans who are now on summer time.)

    All are welcome!

    Abstract:

    Categories with families (CwFs) have been used to define the semantics of type theory in type theory. In the setting of homotopy type theory, one of the limitations of the traditional notion of CwFs is the requirement to set-truncate types, which excludes models based on univalent categories, such as the standard set model. To address this limitation, I will introduce the notion of groupoid categories with families (GCwFs), which truncates types at the groupoid level and incorporates coherence equations.

    I will demonstrate that the initial GCwF for a type theory with some type formers is set-truncated, using a technique called α-normalization. This allows us to utilize the conventional intrinsic syntax of type theory while enabling interpretations in semantically richer and more natural models.

    I will also present a generalization of GCwFs and discuss its relation to comprehension categories.

    This talk is based on joint work with Thorsten Altenkirch and Ambrus Kaposi (doi.org/10.4230/LIPIcs.CSL.202).

    #HoTT @carloangiuli @emilyriehl @de_Jong_Tom

  13. Nature interrupted: Impact of the #USMexico #BorderWall on #wildlife

    Scientists on both sides of the border are working to understand how the barrier is affecting the area’s #biodiversity. Meanwhile, communities try to save animals left without access to #water.

    By Iván Carrillo 06.27.2024

    "In a vast stretch of the #SonoranDesert, between the towns of #SanLuisRíoColorado and #Sonoyta in northern #Mexico sits a modest building of cement, galvanized sheet metal and wood — the only stop along 125 miles of inhospitable landscape dominated by thorny ocotillo shrubs and towering saguaro cactuses up to 50 feet high. It’s a fonda — a small restaurant — called La Liebre del Desierto (The Desert Hare), and for more than 20 years, owner Elsa Ortiz Ramos has welcomed and nourished weary travelers taking a break from the adjacent highway that runs through the arid Pinacate and Grand Desierto de Altar Biosphere Reserve.
    Landscape showing an arid land with bushes and a mountain in the background. The land is divided by a brown wall. In the foreground is a huge cactus.

    "But the dedication and care of this petite woman go beyond her simple menu. Every two weeks, she pays out of pocket for a 5,000-gallon tank of water to distribute to a network of water troughs strategically placed in the area. By doing so, she relieves the thirst of #BighornSheep, #ocelots, #pronghorn, #coyotes, #deer and even #bats that have been deprived of access to their natural #WaterSources.

    "'The #crows come to the house and scream to warn us that there is no more water ... it’s our alarm,' says Ortiz Ramos in her distinct northern Mexico accent. Her words sound straight from an Aesop’s fable, but they take on stark realism in this spot. Covering large parts of #Arizona, #California and the Mexican states of #BajaCalifornia and #Sonora, the #SonoranDesert — along with the #LutDesert in Iran — was catalogued in 2023 as having the #hottest surface temperature on the planet, at 80.8 degrees Celsius (177 degrees Fahrenheit).

    "Through narrow steel bollards 3.5 inches apart, I observe lush vegetation surrounding the Quitobaquito spring on the other side of the border. 'This vital source supplies both humans and animals over an area of more than 1 million hectares,' Federico Godínez Leal, an agronomist from the University of Guadalajara, explains to me. But now this crucial water source is restricted to the US side due to the construction of the border wall, and I have come with him here to understand the consequences. Godínez Leal and his team have been documenting the stark difference between each side: Their poignant photographs show skeletons of wild boar, deer and bighorn sheep lying on Mexican soil."

    Read more:
    knowablemagazine.org/content/a

    #Extinction #BorderWalls #WaterIsLife #RestoreNature #PreserveNature

  14. Nature interrupted: Impact of the #USMexico #BorderWall on #wildlife

    Scientists on both sides of the border are working to understand how the barrier is affecting the area’s #biodiversity. Meanwhile, communities try to save animals left without access to #water.

    By Iván Carrillo 06.27.2024

    "In a vast stretch of the #SonoranDesert, between the towns of #SanLuisRíoColorado and #Sonoyta in northern #Mexico sits a modest building of cement, galvanized sheet metal and wood — the only stop along 125 miles of inhospitable landscape dominated by thorny ocotillo shrubs and towering saguaro cactuses up to 50 feet high. It’s a fonda — a small restaurant — called La Liebre del Desierto (The Desert Hare), and for more than 20 years, owner Elsa Ortiz Ramos has welcomed and nourished weary travelers taking a break from the adjacent highway that runs through the arid Pinacate and Grand Desierto de Altar Biosphere Reserve.
    Landscape showing an arid land with bushes and a mountain in the background. The land is divided by a brown wall. In the foreground is a huge cactus.

    "But the dedication and care of this petite woman go beyond her simple menu. Every two weeks, she pays out of pocket for a 5,000-gallon tank of water to distribute to a network of water troughs strategically placed in the area. By doing so, she relieves the thirst of #BighornSheep, #ocelots, #pronghorn, #coyotes, #deer and even #bats that have been deprived of access to their natural #WaterSources.

    "'The #crows come to the house and scream to warn us that there is no more water ... it’s our alarm,' says Ortiz Ramos in her distinct northern Mexico accent. Her words sound straight from an Aesop’s fable, but they take on stark realism in this spot. Covering large parts of #Arizona, #California and the Mexican states of #BajaCalifornia and #Sonora, the #SonoranDesert — along with the #LutDesert in Iran — was catalogued in 2023 as having the #hottest surface temperature on the planet, at 80.8 degrees Celsius (177 degrees Fahrenheit).

    "Through narrow steel bollards 3.5 inches apart, I observe lush vegetation surrounding the Quitobaquito spring on the other side of the border. 'This vital source supplies both humans and animals over an area of more than 1 million hectares,' Federico Godínez Leal, an agronomist from the University of Guadalajara, explains to me. But now this crucial water source is restricted to the US side due to the construction of the border wall, and I have come with him here to understand the consequences. Godínez Leal and his team have been documenting the stark difference between each side: Their poignant photographs show skeletons of wild boar, deer and bighorn sheep lying on Mexican soil."

    Read more:
    knowablemagazine.org/content/a

    #Extinction #BorderWalls #WaterIsLife #RestoreNature #PreserveNature

  15. Nature interrupted: Impact of the #USMexico #BorderWall on #wildlife

    Scientists on both sides of the border are working to understand how the barrier is affecting the area’s #biodiversity. Meanwhile, communities try to save animals left without access to #water.

    By Iván Carrillo 06.27.2024

    "In a vast stretch of the #SonoranDesert, between the towns of #SanLuisRíoColorado and #Sonoyta in northern #Mexico sits a modest building of cement, galvanized sheet metal and wood — the only stop along 125 miles of inhospitable landscape dominated by thorny ocotillo shrubs and towering saguaro cactuses up to 50 feet high. It’s a fonda — a small restaurant — called La Liebre del Desierto (The Desert Hare), and for more than 20 years, owner Elsa Ortiz Ramos has welcomed and nourished weary travelers taking a break from the adjacent highway that runs through the arid Pinacate and Grand Desierto de Altar Biosphere Reserve.
    Landscape showing an arid land with bushes and a mountain in the background. The land is divided by a brown wall. In the foreground is a huge cactus.

    "But the dedication and care of this petite woman go beyond her simple menu. Every two weeks, she pays out of pocket for a 5,000-gallon tank of water to distribute to a network of water troughs strategically placed in the area. By doing so, she relieves the thirst of #BighornSheep, #ocelots, #pronghorn, #coyotes, #deer and even #bats that have been deprived of access to their natural #WaterSources.

    "'The #crows come to the house and scream to warn us that there is no more water ... it’s our alarm,' says Ortiz Ramos in her distinct northern Mexico accent. Her words sound straight from an Aesop’s fable, but they take on stark realism in this spot. Covering large parts of #Arizona, #California and the Mexican states of #BajaCalifornia and #Sonora, the #SonoranDesert — along with the #LutDesert in Iran — was catalogued in 2023 as having the #hottest surface temperature on the planet, at 80.8 degrees Celsius (177 degrees Fahrenheit).

    "Through narrow steel bollards 3.5 inches apart, I observe lush vegetation surrounding the Quitobaquito spring on the other side of the border. 'This vital source supplies both humans and animals over an area of more than 1 million hectares,' Federico Godínez Leal, an agronomist from the University of Guadalajara, explains to me. But now this crucial water source is restricted to the US side due to the construction of the border wall, and I have come with him here to understand the consequences. Godínez Leal and his team have been documenting the stark difference between each side: Their poignant photographs show skeletons of wild boar, deer and bighorn sheep lying on Mexican soil."

    Read more:
    knowablemagazine.org/content/a

    #Extinction #BorderWalls #WaterIsLife #RestoreNature #PreserveNature

  16. Nature interrupted: Impact of the #USMexico #BorderWall on #wildlife

    Scientists on both sides of the border are working to understand how the barrier is affecting the area’s #biodiversity. Meanwhile, communities try to save animals left without access to #water.

    By Iván Carrillo 06.27.2024

    "In a vast stretch of the #SonoranDesert, between the towns of #SanLuisRíoColorado and #Sonoyta in northern #Mexico sits a modest building of cement, galvanized sheet metal and wood — the only stop along 125 miles of inhospitable landscape dominated by thorny ocotillo shrubs and towering saguaro cactuses up to 50 feet high. It’s a fonda — a small restaurant — called La Liebre del Desierto (The Desert Hare), and for more than 20 years, owner Elsa Ortiz Ramos has welcomed and nourished weary travelers taking a break from the adjacent highway that runs through the arid Pinacate and Grand Desierto de Altar Biosphere Reserve.
    Landscape showing an arid land with bushes and a mountain in the background. The land is divided by a brown wall. In the foreground is a huge cactus.

    "But the dedication and care of this petite woman go beyond her simple menu. Every two weeks, she pays out of pocket for a 5,000-gallon tank of water to distribute to a network of water troughs strategically placed in the area. By doing so, she relieves the thirst of #BighornSheep, #ocelots, #pronghorn, #coyotes, #deer and even #bats that have been deprived of access to their natural #WaterSources.

    "'The #crows come to the house and scream to warn us that there is no more water ... it’s our alarm,' says Ortiz Ramos in her distinct northern Mexico accent. Her words sound straight from an Aesop’s fable, but they take on stark realism in this spot. Covering large parts of #Arizona, #California and the Mexican states of #BajaCalifornia and #Sonora, the #SonoranDesert — along with the #LutDesert in Iran — was catalogued in 2023 as having the #hottest surface temperature on the planet, at 80.8 degrees Celsius (177 degrees Fahrenheit).

    "Through narrow steel bollards 3.5 inches apart, I observe lush vegetation surrounding the Quitobaquito spring on the other side of the border. 'This vital source supplies both humans and animals over an area of more than 1 million hectares,' Federico Godínez Leal, an agronomist from the University of Guadalajara, explains to me. But now this crucial water source is restricted to the US side due to the construction of the border wall, and I have come with him here to understand the consequences. Godínez Leal and his team have been documenting the stark difference between each side: Their poignant photographs show skeletons of wild boar, deer and bighorn sheep lying on Mexican soil."

    Read more:
    knowablemagazine.org/content/a

    #Extinction #BorderWalls #WaterIsLife #RestoreNature #PreserveNature

  17. Nature interrupted: Impact of the #USMexico #BorderWall on #wildlife

    Scientists on both sides of the border are working to understand how the barrier is affecting the area’s #biodiversity. Meanwhile, communities try to save animals left without access to #water.

    By Iván Carrillo 06.27.2024

    "In a vast stretch of the #SonoranDesert, between the towns of #SanLuisRíoColorado and #Sonoyta in northern #Mexico sits a modest building of cement, galvanized sheet metal and wood — the only stop along 125 miles of inhospitable landscape dominated by thorny ocotillo shrubs and towering saguaro cactuses up to 50 feet high. It’s a fonda — a small restaurant — called La Liebre del Desierto (The Desert Hare), and for more than 20 years, owner Elsa Ortiz Ramos has welcomed and nourished weary travelers taking a break from the adjacent highway that runs through the arid Pinacate and Grand Desierto de Altar Biosphere Reserve.
    Landscape showing an arid land with bushes and a mountain in the background. The land is divided by a brown wall. In the foreground is a huge cactus.

    "But the dedication and care of this petite woman go beyond her simple menu. Every two weeks, she pays out of pocket for a 5,000-gallon tank of water to distribute to a network of water troughs strategically placed in the area. By doing so, she relieves the thirst of #BighornSheep, #ocelots, #pronghorn, #coyotes, #deer and even #bats that have been deprived of access to their natural #WaterSources.

    "'The #crows come to the house and scream to warn us that there is no more water ... it’s our alarm,' says Ortiz Ramos in her distinct northern Mexico accent. Her words sound straight from an Aesop’s fable, but they take on stark realism in this spot. Covering large parts of #Arizona, #California and the Mexican states of #BajaCalifornia and #Sonora, the #SonoranDesert — along with the #LutDesert in Iran — was catalogued in 2023 as having the #hottest surface temperature on the planet, at 80.8 degrees Celsius (177 degrees Fahrenheit).

    "Through narrow steel bollards 3.5 inches apart, I observe lush vegetation surrounding the Quitobaquito spring on the other side of the border. 'This vital source supplies both humans and animals over an area of more than 1 million hectares,' Federico Godínez Leal, an agronomist from the University of Guadalajara, explains to me. But now this crucial water source is restricted to the US side due to the construction of the border wall, and I have come with him here to understand the consequences. Godínez Leal and his team have been documenting the stark difference between each side: Their poignant photographs show skeletons of wild boar, deer and bighorn sheep lying on Mexican soil."

    Read more:
    knowablemagazine.org/content/a

    #Extinction #BorderWalls #WaterIsLife #RestoreNature #PreserveNature