Toots for gadmm@mathstodon.xyz account

Written by Guillaume Munch-Maccagnoni on 2025-01-26 at 21:55

"artist-centric remuneration" https://www.deezer.com/explore/artist-remuneration/

It seems that the money is more likely to go to the artist I listen to.

=> More informations about this toot | View the thread

Written by Guillaume Munch-Maccagnoni on 2025-01-26 at 21:10

• opt-in FLAC quality !

• personal data extraction to their 902 "partners" is opt-out :(

=> More informations about this toot | View the thread

Written by Guillaume Munch-Maccagnoni on 2025-01-26 at 20:52

It's been a long time that I was displeased with the way Spotify gives money from my subscription to artists I don't listen to, and very little to the ones I want to support. That has been well documented over the years. In addition they gave loads of money to podcasters such as Joe Rogan with a podcast subscription was forced onto me. With Spotify's support to the new American president, I finally looked into alternatives.

I always thought that I was locked into it but importing all my data was easy. I chose Deezer, which has a procedure for importing from Spotify. It was quick and found 99,6% of the tracks. It recreated my playlists. The tracks it could not find were either unimportant or were in fact available (it just failed to match them).

So far, I like it. And the subscription costs the same.

Lastly, Spotify did not care about my cancellation. I tried to leave feedback, but all I could find was a chatbot that repeated itself into a loop.

I don't know if Deezer is the best alternative. (I also have Bandcamp, and I use it to support artists directly, but it does not serve the same purpose.) Feel free to comment with other alternatives!

=> More informations about this toot | View the thread

Written by Guillaume Munch-Maccagnoni on 2025-01-19 at 15:10

When hearing about academy-to-industry translation regarding Rust, two things come to my mind:

• the sum of accumulated experience leading to RAII, move semantics, INHTPAMA, the sort you never have with the theory-to-PL pipeline of the FP community

• undue appropriation of Rust's success in papers by the linear types gang without knowing what those words mean

I am glad of the industry-to-academy revitalisation brought by Rust and we should think more about what this means for PL research

=> More informations about this toot | View the thread

Written by Guillaume Munch-Maccagnoni on 2025-01-17 at 21:42

PL researchers: You don't need to study complex constructs, you just need syntactic sugar over a simple core.

Logicians: decompose λ-abstraction into syntactic sugar

PL researchers: No, not like that!

=> More informations about this toot | View the thread

Written by Guillaume Munch-Maccagnoni on 2025-01-03 at 14:59

I am very saddened to hear about the passing of Thomas Streicher. His work with Martin Hofmann and others on classical logic and continuation models were central and brought together different communities in logic and semantics.

=> More informations about this toot | View the thread

Written by Guillaume Munch-Maccagnoni on 2024-12-25 at 16:14

https://rocq-prover.org/

“The Rocq Team is pleased to announce the preview release of the new website of the Rocq Prover and Platform, along with its new logo and visual identity.”

=> More informations about this toot | View the thread

Written by Guillaume Munch-Maccagnoni on 2024-11-28 at 11:40

— Vas-y, Shevek, dit le directeur du groupe.

[#]page42

Règles du jeu :

• Prenez le livre le plus proche.

• Ouvrez-le à la page 42

• Trouvez la 2ème phrase

• Publiez la phrase dans un toot avec le hashtag et écrivez les règles en commentaire

• Ne cherchez pas votre livre préféré, le plus cool ou le plus spirituel. Optez pour le plus proche

=> More informations about this toot | View the thread

Written by Guillaume Munch-Maccagnoni on 2024-09-27 at 13:39

To prepare for the possibility of a higher volume of submissions, we are implementing a new review policy: for each paper, at least one senior author must — unless exempt under the criteria below — register as a reserve reviewer. They must list their information on the submission form, and they must register themselves on TPMS.

=> More informations about this toot | View the thread

Written by Guillaume Munch-Maccagnoni on 2024-09-12 at 16:21

At #undonecs we had amazing invited talks. I really recommend that you check out Ksenia Ermoshina's, on the concrete impact of censorship on networks:

https://fediscience.org/@undonecs/113095576213453871

=> More informations about this toot | View the thread

Written by Guillaume Munch-Maccagnoni on 2024-09-06 at 09:40

The story of linear type systems #icfp2024

=> View attached media

=> More informations about this toot | View the thread

Written by Guillaume Munch-Maccagnoni on 2024-09-02 at 16:17

Since it is hype season for #OCaml again, remember: don't believe any claim that does not come from the people actually involved, or that is not offered to the scrutiny of their peers.

=> More informations about this toot | View the thread

Written by Guillaume Munch-Maccagnoni on 2024-08-31 at 21:19

Think about supporting your instance — I just donated to mathstodon.

=> More informations about this toot | View the thread

Written by Guillaume Munch-Maccagnoni on 2024-08-23 at 14:21

It seems that ICFP registration is as high as the last POPL in London (about 1800€ for the full conference). We must be lucky that they picked a cheaper city.

=> More informations about this toot | View the thread

=> This profile with reblog | Go to gadmm@mathstodon.xyz account