 |
Posts by [email protected] |
 |
Post #AvzylzhGZWOpM6MA0e by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@JacquesC2 I guess it's the most valuable asset because it's the only p… |
|
|
|
Post #AwEZW87vsV1PNuZDEW by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Retraining to be an anime villain |
|
|
|
Post #AwEZWFFzMwcpUvOFGK by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@beka_valentine This made me start thinking about what would be better. Specifi… |
|
|
|
Post #AwTyAOrgNWVH9P6GiO by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Saw my first age verification login, Discord are the ones running a day earlier… |
|
|
|
Post #AwTyAP0XqZanatFLWq by [email protected] |
|
0 likes, 0 repeats |
|
|
|
I wonder what it's like being one of the people that doesn't know how t… |
|
|
|
Post #AwTyAP6vSqhFugERTU by [email protected] |
|
0 likes, 0 repeats |
|
|
|
I also wonder how the legally mandated age verification for users in the UK wil… |
|
|
|
Post #AwTyAPuYUKOaObS4pc by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Fun fact, twitter will not require you to hand over your ID but they will requi… |
|
|
|
Post #AwTyAQF7FsqHQN4Usa by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Another fun fact, if I was to write a twoot talking about how easy it is to avo… |
|
|
|
Post #AwtGAVfVOquwvIwKzw by [email protected] |
|
0 likes, 0 repeats |
|
|
|
My thoughts about this just clicked. I have seen a bunch of cases of professed … |
|
|
|
Post #AwtGAWOWhSvjAw0IAi by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Today is the 5th anniversary of my start date at Strathclyde, so today I will a… |
|
|
|
Post #AwwDfmd2fuw475t8TY by [email protected] |
|
0 likes, 0 repeats |
|
|
|
I successfully wound up all the car drivers, which is even more funny than usua… |
|
|
|
Post #AwyArExflPqhcoEHbM by [email protected] |
|
0 likes, 0 repeats |
|
|
|
"Hey Socrates, what do you want for dinner?""All I know is that … |
|
|
|
Post #Ax81zvXRl3cfkl4oWe by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@MartinEscardo You probably have an unreasonable number of category theorists w… |
|
|
|
Post #Ax81zvmKrhX4Uw2hjU by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@mra @MartinEscardo In applied category theory symmetric monoidal categories ar… |
|
|
|
Post #AxOw6yABl4ZavrSRNo by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Suddenly wondering gnarly questions about the interaction of quantitative type … |
|
|
|
Post #AxOw6yJPCnwhORlnkW by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Here's a different example that involves existential quantification over so… |
|
|
|
Post #AxSSRxNpdJhSbNlpDs by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@typeswitch The real question is why even though all the popular languages are … |
|
|
|
Post #AxUGATCfmIsqwZMkbI by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Mathematics is full of trichotomies, like {positive, negative, zero} and {hyper… |
|
|
|
Post #AxUGATdy8oiaJE8Y9A by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Nb. if you haven't seen this old post, this is where I learned about tricho… |
|
|
|
Post #AxUGAU4YXxz9dgZmaW by [email protected] |
|
0 likes, 0 repeats |
|
|
|
I don't think we have trichotomies in category theory. Everything in catego… |
