Matti Palli 
@tritlo@types.pl
An Icelander doing PL PhD stuff at Chalmers, Sweden
Joined Oct 2021
If you quit now, you will lose all unsaved progress
Reading about paleoshorelines -> cascadia earthquakes and got worried about all my west coast PLers. Stay safe y’all!!
Matti Palli
boosted
boosted
Like, a proper bath, not a shower. Just float there for a few minutes
Take a bath. It’s amazing.
Anytime I hear about some new physical phenomena, I immediately think: CAN THIS BE USED FOR COMPUTE??
Dad won’t go to the gym because of how heavy and exhausting everything there is… missing the point a bit 😅
Facebook is 19 years old. 19 years prior was 1985, the year SUPER MARIO BROS was released. Crazy how things evolved so fast, and then just… kinda stopped?
Matti Palli
boosted
boosted
In his #BOBkonf2023 talk "Structuring effectful programs", Andres Löh briefly introduces monad transformers and algebraic effects in Haskell and examines how programs can be structured to make the choice between these approaches largely irrelevant.
Read more: https://bobkonf.de/2023/loeh.html
I’M BACK
Matti Palli
boosted
boosted
New Haskell Interlude just dropped!! We interviewed our very own @agdakx on Agda and stuffs. Enjoy!!
Matti Palli
boosted
boosted
You joined Mastodon LESS THAN 2 MONTHS AGO (if MORE the vote on https://mamot.fr/@jz/109597358505636526 instead) and you are currently residing in...?
Please boost for wider, more federated sample!
(PS: sorry for imperfect partitioning of the world in only 4 zones...)
Happy ny y’alls
Why would superman be so buff?? Like, he can’t really do any gym with his super strength, he’d probably be super skinny but still strong, you know?
Matti Palli
boosted
boosted
Radiohead captured the imaginations of a generation with their outlandish fantasy of an "ok computer"
Ironic: just impulse bought a book on self-control
Matti Palli
boosted
boosted
An Icelander doing PL PhD stuff at Chalmers, Sweden
Joined Oct 2021
