Sylvain Soliman ☕️

@maruey @ListenBrainz <3 Pongo <3

@IGVazquez@social.vivaldi.net For the auctex one, I think you can use TeX-output-dir… that's the best I have (my latexmk options are usually simply my global ones, so set in my .latexmkrc)

@maruey @ListenBrainz J'ai été scotché par Kuzola à l'époque (sans doute entendu sur Nova… je crois…) et j'aime beaucoup ce qu'elle fait même si j'ai moins suivi ces dernières années. J'aurais pu aussi donner un ❤️ à Gaël Faye, mais là je crois que c'est pas que ma faute s'il est un peu sorti de mes oreilles depuis quelques années.

@maruey @ListenBrainz Ah ben c'était peut-être sur FIP pour moi aussi hein 😅 Je connaissais Uwa (qui n'est pas toute récente non plus on dirait) et pour la danse aucune idée (Pongo s'est autoproclamée Diva du Kuduro, mais ça ne ressemble pas du tout à ce que les gens appellent Kuduro ici…). Pour Gaël Faye c'est juste qu'il ne chante plus beaucoup je crois 🥲

@gvwilson@mastodon.social Haven't read your above article, but I'd say that in languages, like Prolog, which is usually not typed, and has both a notion of failure and a separate notion of error/exception, when you add a type system it's often descriptive rather than prescriptive, which seems related to the question you're asking…

The question being how would you want to type:

append([], L, L).
append([H|T], L, [H|M]) :- append(T, L, M).

since the first clause would succeed with any L.