you ever not want to check some coherence conditions so bad you start getting real philosophical about the nature of proof?

the worst part of the salon isn't the caustic smells or the incessant itching it's Coldplay

Important question, whose answer tells you a lot about someone : Imagine you had the opportunity to have a drink with any scientist from history, living or dead. Which drink would you choose?

Twitter's bug bounty program has a new category: "Recommendation Algorithm Manipulation" Since a working proof-of-concept is required, this tweet is mine. Please help me demonstrate the "ask nicely" exploit, by engaging with this tweet.

A photographer took a photo of Melog before and after telling him pss

Não há maior manifestação do descontentamento do homem com o mundo no qual foi cruelmente lançado que a existência do FIAMBRE (a.k.a. apresuntado). O negócio é literalmente um bloco de PORCO EMULSIFICADO. Um monumento à subversão da ordem natural das coisas.

I got up in the morning and my only reward were some cool shadows

The answer is no! First, note that sSet = [Δᵒᵖ, Set] is a topos, and thus has a subobject classifier ω : 1 → Ω. It is easy to check that 1 (the terminal object) is a quasicategory – maps to 1 extend uniquely along any morphism. ...

Slides from today's talk on unfolding in implementations of type theory: jozefg.github.io/papers/2023-wg…

I have no idea how to search for this but has anyone else encountered this bizzare issue where firefox ui popups on macOS just. get stuck there. and you can't click away from them. this is troubleshooting mode so definitely not an extension

Prime "PL minus Context" material

no earthquake (is back) @GreatBooksofth2 Brendan ⚣ @spitfountain0 jenny_tightpants🪑 are u kidding me theyre huge on morality over at the nlab

it has been 0 days since someone made an unhelpful comment on the touchHLE GitHub that's just a verbatim ChatGPT response

PLANT THE TOMATOS WHERE?

Listening to graninas will never be a worthy industry practice. 🚷 His takes become obsolete much faster than he can actually post them. 🚮 His so-called "books" are just a questionable tactic to squeeze money out of the industry.🧑‍🔧🔫🕵️ You know why. ⬇️

btw these large scary math symbols are just dependent types

you sure showed them by writing in yahoo answers prose