@welltyped
Well-Typed
18 days
Congratulations to Rodrigo Mesquita (Well-Typed) and Bernardo Toninho (University of Lisbon) on their paper "Lazy Linearity for a Core Functional Language" being accepted at POPL 2026!
1
8
61

Replies

@joaompfe
João Fé
17 days
@welltyped FCUL or IST?
1
0
0
@andrewgwils
Andrew Gordon Wilson
3 hours
Too many slides, not enough time? No problem, just scale your talking speed (in)appropriately.
0
1
13
@SullyBusiness
Bryant Suellentrop
6 hours
Coffee shop selling a “house-made” energy drink for $9. Ordered one. Watched them pour two 16oz Red Bull into a cup over ice and add a pump of blackberry syrup. Nice.
39
100
14K
@AmericanPostman
The Postman
13 hours
Some Rob Reiner trivia, when Damon/Affleck wrote “Good Will Hunting” nearly the entire movie was about South Boston miscreants tricking & evading the NSA (whence that famous speech) Reiner told them to focus on the therapy angle instead, and later a blockbuster was born. RIP
@danjperlman
Dan Perlman
24 hours
Rob Reiner directed the best American romcom (When Harry Met Sally), the best coming-of-age film (Stand By Me), the best fantasy comedy (Princess Bride), the best mockumentary (This Is Spinal Tap), the best courtroom drama showdown (A Few Good Men). The best
18
231
7K
@xwanyex
wanye
10 hours
I know that everybody is used to this stuff now and just prices it in (or they have a commitment to excusing it for narrow partisan gain), but it’s genuinely deranged and idiotic
@avidseries
i/o
11 hours
Proving every day his moral and temperamental unfitness to be president.
79
68
2K