iEmoji Feeds @Paolo G. Giarrusso (Blaisorblade)
1.
Paolo G. Giarrusso
@Blaisorblade
JDK19 exhaustive pattern matching also comes with guards
(I miss you Haskell )
(I miss you Haskell )
Retweet of status by @IsolaMonte
2.
Paolo G. Giarrusso
@Blaisorblade
Agda 2.6.3 is out
Highlights
- Compile and run cubical code (as long as the cubical features can be erased) usiβ¦ twitter.com/i/web/status/1β¦
Highlights
- Compile and run cubical code (as long as the cubical features can be erased) usiβ¦ twitter.com/i/web/status/1β¦
Retweet of status by @ulfnorell
3.
4.
Paolo G. Giarrusso
@Blaisorblade
@markusvoelter At first look, the dog in the first one is breathing fire like a dragon
Paolo G. Giarrusso
@Blaisorblade
MathComp 1.13.0 has been released Thanks to the many contributors, the maintainers, and Christian Doczkal, the reβ¦ twitter.com/i/web/status/1β¦
...but wait! There's more!
1.
fakhright
@fakhright
astaghfirullah peng.krim guaaaaaaaa..............a *salto sambil solat*
2.
ReganBrittany
@ReganBrittany
Nanana diva is the female version of the hustlaaaa! #gettinmoney
3.
Rickygonz1215
@Rickygonz1215
If I weighed 182 I'd be cut
