 |
Posts by [email protected] |
 |
Post #AvlUDKZ5HAFf6Se4tU by [email protected] |
|
0 likes, 0 repeats |
|
|
|
If you need one more reason why LICS must not move to SIGPLAN, it is that we ne… |
|
|
|
Post #AvlUDKmCUOk9l8mYL2 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@liamocBut it was mostly a joke ;-) But I also think that making it a SIGPLAN c… |
|
|
|
Post #AvlUDR82s5mZSd35Dk by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Perhaps the AIs were trained on SIGPLAN conference papers 😆🤦♂️ |
|
|
|
Post #AvlUDSV7llpziUr1pg by [email protected] |
|
0 likes, 0 repeats |
|
|
|
I am so not excited about political leaders using “We knew AI is going to kil… |
|
|
|
Post #AvlUDaveR1oHr5KKI4 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
The kind of low down people who are throwing water bottles and candy wrappers i… |
|
|
|
Post #AvlUDb8Pfa1CUfIWBM by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@bjoreman god help us |
|
|
|
Post #AvlUDjkzc1dFEdPRQW by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@krismicinski I dont have the paper open so I cant remember exactly where this … |
|
|
|
Post #AvlUDmyvcfYtEix744 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@tuomas_h Beautiful |
|
|
|
Post #AvlUE1A4u0nbDMHDO4 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Does anyone know a *category-theoretic* description of the large elimination ru… |
|
|
|
Post #AvlUE3nr55nzPIu0fI by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@ncf @carloangiuli @danielgratzer Well, descent conditions are about colimits, … |
|
|
|
Post #AvlUE9nimVGO0cszI0 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@carloangiuli @ecavallo @danielgratzer I did not interpret it as schematic at a… |
|
|
|
Post #AvlUE9tkQ65GJJhngO by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@carloangiuli @ecavallo @danielgratzer It appears, rather, that he is doing som… |
|
|
|
Post #AvlUEPQuf4WeUWKzxY by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@MartinEscardo @ncf ~~We can model this in a preorder.~~ (EDIT: misread the pos… |
|
|
|
Post #AvlUEPdJuwRz708uIa by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@ncf @MartinEscardo Sorry, I totally misread Martin's comment. |
|
|
|
Post #AvlUEvab6bHoDp7BUu by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@ecavallo @ncf @MartinEscardo this is amazing… |
|
|
|
Post #AvlUF19WQBC3TaUe80 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Emily Riehl is so great. Instead of acting like dependent function types are we… |
|
|
|
Post #AvlUF1Un96CuXYRdHU by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@oantolin @cbaberle Yeah, that was a triumph of good sense over obscurantism (w… |
|
|
|
Post #AvlUF95Cw6Uo4WXJVw by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@pigworker @cbaberle Think this can definitely be a big part of it, but (dually… |
|
|
|
Post #AvlUF9HGDI8YfuAwIi by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@pigworker @cbaberle Yes... Sometimes we say "Ah this is weird, isn't … |
|
|
|
Post #AvlUF9TJUTmJHHoZ5U by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@cbaberle @pigworker Yeah... In the end it is the usual failure of empathy. Mos… |
