#TheMedia #TheNews #News #BreakingNews #Bloggers #Influencers #SocialMediaSites #Newspaper #Newspapers #WireService #NewsNetworks #Journalists #Reporters #Reporter

Everyone has the #hottest most thrilling #events in human history! #MilkingTrumpForAmusement

ALL avoiding Dr. Bandy X Lee! #DrBandyXLeeAvoided

Donald Trump is constantly subverting expectations, the most thrilling performance artist / TV entertainer in all world history. Sellers of memes and journals are all on a media rush to the latest Trump notifications. Constantly stimulated by Trump content.

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 https://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 (https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2024.3). 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

#LifeExpectancy Flatlines : Medium

This #Startup claims it can stop #Lightning and prevent #Catastrophic #Wildfires : Tech Review

The #World just lived through the 11 #Hottest years on #Record — what now? : Nature

Latest #KnowledgeLinks

https://knowledgezone.co.in/resources/bookmarks

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 https://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 (https://doi.org/10.4230/LIPIcs.CSL.2026.40).

#HoTT @carloangiuli @emilyriehl @de_Jong_Tom

This week the #HoTTEST seminar presents:

Astra Kolomatskaia

Displayed Type Theory, intervals, and analytic higher categorical structures

The talk is at 11:30am EDT (15:30 UTC) on Thursday, March 19. The talk will be 60 minutes long, followed by up to 30 minutes for questions. See https://hottest-seminar.github.io/ for the Zoom link and a list of all upcoming talks. (Note that we recently started daylight time in North America, so the local time may have changed for you.)

All are welcome!

Abstract:

I have historically encountered a number of difficulties in communicating my work to others. The process of preparing this talk has thus involved engaging with throughlines in the type theory literature and has helped me identify places in which building bridges was necessary.

My joint work with Mike Shulman introduced Displayed Type Theory [dTT], which syntactically admits a construction of semi-simplicial types in a way that then semantically admits interpretation into arbitrary Grothendieck (∞,1)-topoi. This result is not novel as stated: First, it is not a syntactic construction in Book HoTT. Second, syntactic constructions of SSTs were a foremost consideration in the development of 2LTT, and Elif Üsküplü's analysis shows that the inner layer of 2LTT, when enriched with an axiom of cofibrant exo-nats, is general with respect to Grothendieck (∞,1)-topos semantics. [...]

[Full abstract too long for even two toots, so follow the link to the seminar page to see it all.]

#HoTT @carloangiuli @emilyriehl @de_Jong_Tom

Hottest 2026 Celebrity Bikini Photos: Heather Graham, More

https://misryoum.com/us/us/hottest-2026-celebrity-bikini-photos-heather-graham-more

Some celebs just get it when it comes to nailing a hot bikini moment. Thank You! You have successfully subscribed. Take Kylie Jenner, who turned up the heat in January while rocking a gold set featuring a triangle cup...

#Hottest #US_Opinion #MISRYOUM

#TFG #ShitPOTUS #Hottest

No one uses "hottest" anymore, except this asshole. Fuuuuuuck this guy seven ways to Sunday and toss him in jail.

Yeah, I'm in a mood today.

“In honor of our Nation’s 250th Birthday, and the fact that these ‘Correspondents’ now admit that I am truly one of the Greatest Presidents in the History of our Country, the G.O.A.T., according to many, it will be my Honor to accept their invitation, and work to make it the GREATEST, HOTTEST, and MOST SPECTACULAR DINNER, OF ANY KIND, EVER!” Trump posted.

This week the #HoTTEST seminar presents:

Ayberk Tosun (@ayberkt)

Constructive and predicative locale theory in univalent foundations

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

All are welcome!

Abstract in the next post (because of the character limit)

#HoTT @carloangiuli @emilyriehl @jdchristensen