helvede.net is one of the many independent Mastodon servers you can use to participate in the fediverse.
Velkommen til Helvede, fediversets hotteste instance! Vi er en queerfeministisk server, der shitposter i den 9. cirkel. Welcome to Hell, We’re a DK-based queerfeminist server. Read our server rules!

Server stats:

157
active users

#hottest

1 post1 participant0 posts today
Dan Christensen<p>This week the <a href="https://mathstodon.xyz/tags/HoTTEST" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HoTTEST</span></a> seminar presents:</p><p>Mitchell Riley</p><p>Tiny types and cubical type theory</p><p>The talk is at 11:30am EDT (15:30 UTC) on Thursday, April 17. The talk will be 60 minutes long, followed by up to 30 minutes for questions. See <a href="https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">uwo.ca/math/faculty/kapulkin/s</span><span class="invisible">eminars/hottest.html</span></a> for the Zoom link and a list of all upcoming talks.</p><p>All are welcome!</p><p><a href="https://mathstodon.xyz/tags/HoTT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HoTT</span></a> <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@carloangiuli" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>carloangiuli</span></a></span> <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@emilyriehl" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>emilyriehl</span></a></span></p><p>Abstract:</p><p>I will present an extension of Martin-Löf Type Theory that contains a tiny object; a type for which there is an "amazing" right adjoint to the formation of function types as well as the expected left adjoint. A primary aim of the theory is to be simple enough to be used both by hand and in a (hypothetical) proof assistant. I will sketch a normalisation algorithm and discuss a few potential applications, in particular, to implementations of Cubical Type Theory.</p>
Martin Escardo<p>Today was one of these days I left home at 7am and got back home from work at 8am. </p><p>Luckily the commute is nice by bike in the canal, and short too, only &lt;20 minutes (4 miles) each way. </p><p>Also at least I wasn't doing bureaucracy, but teaching preparation, followed by teaching, followed by a teaching meeting with staff and TA's, followed by more teaching preparation for tomorrow. </p><p>I love teaching, but I really need to find time to prepare my Thursday <a href="https://mathstodon.xyz/tags/HoTTEST" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HoTTEST</span></a> talk, preferably not on Thursday, and preferably not in the evening.</p>
Khurram Wadee ✅<p><a href="https://mastodon.org.uk/tags/Hottest" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Hottest</span></a> <a href="https://mastodon.org.uk/tags/January" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>January</span></a> on record mystifies <a href="https://mastodon.org.uk/tags/Climate" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Climate</span></a> <a href="https://mastodon.org.uk/tags/Scientists" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Scientists</span></a> | <a href="https://mastodon.org.uk/tags/ClimateCrisis" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ClimateCrisis</span></a> | The Guardian</p><p>Just as the planet’s biggest polluter has abandoned any pretence of tackling <a href="https://mastodon.org.uk/tags/GreenhouseGas" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GreenhouseGas</span></a> <a href="https://mastodon.org.uk/tags/Emissions" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Emissions</span></a>.</p><p><a href="https://www.theguardian.com/environment/2025/feb/06/hottest-january-on-record-climate-scientists-global-temperatures-high" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">theguardian.com/environment/20</span><span class="invisible">25/feb/06/hottest-january-on-record-climate-scientists-global-temperatures-high</span></a></p><p><a href="https://mastodon.org.uk/tags/Environment" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Environment</span></a> <a href="https://mastodon.org.uk/tags/GlobalWarming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GlobalWarming</span></a> <a href="https://mastodon.org.uk/tags/ClimateChange" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ClimateChange</span></a></p>
Chuck Darwin<p>Summer 2024 sweltered to Earth’s <a href="https://c.im/tags/hottest" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>hottest</span></a> on record, making it even more likely that this year will end up as the warmest humanity has measured, European climate service Copernicus reported Friday.</p><p>And if this sounds familiar, that’s because the records the globe shattered were set just last year as human-caused climate change, with a temporary boost from an El Nino, keeps dialing up temperatures and extreme weather, scientists said.</p><p>The northern meteorological summer — June, July and August — averaged 16.8 degrees Celsius (62.24 degrees Fahrenheit), according to Copernicus. </p><p>That’s 0.03 degrees Celsius (0.05 degrees Fahrenheit) warmer than the old record in 2023. </p><p>Copernicus records go back to 1940, but American, British and Japanese records, which start in the mid-19th century, show the last decade has been the hottest since regular measurements were taken and likely in about 120,000 years, according to some scientists</p><p><a href="https://apnews.com/article/heat-climate-change-record-broiling-hot-699026b8e57cc8404bc73d20e223500e" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">apnews.com/article/heat-climat</span><span class="invisible">e-change-record-broiling-hot-699026b8e57cc8404bc73d20e223500e</span></a></p>

September 2023 shatters #climate records - warmest September on record by far - "Global #temperatures soared to a new record in #September by a huge margin, stunning scientists and leading one to describe it as “absolutely gobsmackingly bananas”.

The #hottest September on record follows the hottest #August and hottest #July, with the latter being the hottest month ever recorded. The high temperatures have driven #heatwaves and #wildfires across the world.

September 2023 beat the previous record for that month by 0.5C, the largest jump in temperature ever seen. September was about 1.8C warmer than pre-industrial levels. Datasets from #European and #Japanese scientists confirm the leap."

theguardian.com/environment/20

"Record shattering: #Earth had its #hottest #July in 174 years -
Global sea surface temperature hit record high for 4th-consecutive month

Earth just roasted under its hottest July on record, according to scientists from NOAA’s National Centers for Environmental Information (NCEI). For the fourth-consecutive month, the global ocean surface temperature also hit a record high.

#Climate by the numbers - July 2023 - The average global surface temperature in July was 2.02 degrees F (1.12 degrees C) above average, ranking it as the warmest July in NOAA’s 174-year record. Because July is the globe’s warmest month of the year from a climatological perspective, July 2023 was also likely Earth’s warmest month on record.

July 2023 was the first time an average July temperature exceeded 1.8 degrees F (1.0 degree C) above the long-term average. Also of note, last month was 0.36 of a degree F (0.20 of a degree C) warmer than the previous July record from 2021. July 2023 marked the 47th-consecutive July and the 533rd-consecutive month with temperatures above the 20th-century average.

For the fourth-consecutive month, the global ocean surface temperature hit a record high as El Niño conditions that emerged in June continued into July. Globally, July 2023 set a record for the highest monthly sea surface temperature anomaly — which indicates how much warmer or cooler temperatures are from the long-term average — of any month in NOAA’s climate record, with an anomaly of 1.78 degrees F or 0.99 of a degree C. On July 13, NOAA’s Climate Prediction Center issued a statement announcing a greater than 95% chance that El Nino will continue through winter in the Northern Hemisphere.

noaa.gov/news/record-shatterin

I read this #WaPo article about HOW HOT July 4 was. 100% #Hottest Day in the last 150 years. (!!!!!)

washingtonpost.com/climate-env

But WAS this the hottest day in 125,000 years? Climate Scientists are a contentious bunch & I actually did that simulation at #NASA GISS so hold my beverage while I check.

Its tough comparing the heat (cold/rain/etc.) of a single day against a time period where you don't have that kind of time resolution let alone spatial coverage #paleoclimate observations
1/6

The Washington PostThis July 4 was hot. Earth’s hottest day on record, in fact.By Leo Sands