Pascal Quach

quachpas@social.sciences.re

Je suis ingénieur informatique et dans mon temps libre chercheur en recherche opérationnelle.Je suis développeur informatique au CCSD. Je travaille sur HAL.Fier partisan de la <a href="https://social.sciences.re/tags/scienceouverte" class="mention hashtag" rel="tag">#scienceouverte</a>.Dans mon temps libre, j'aime contribuer au langage <a href="https://social.sciences.re/tags/typst" class="mention hashtag" rel="tag">#typst</a> à travers des paquets comme glossarium.<a href="https://social.sciences.re/tags/julia" class="mention hashtag" rel="tag">#julia</a> <a href="https://social.sciences.re/tags/typst" class="mention hashtag" rel="tag">#typst</a> <a href="https://social.sciences.re/tags/optimisation" cl

Posts

Post #4265526
A few years ago, I tried setting up Guix System on WSL2. I succeeded after going through obscure GitHub issues and gists. Eventually, I stopped tinkering with it due to lack of time, but I&#39;m happy to say that if I wanted to try again it&#39;s relatively easy to get a working Guix System on WSL2 with or without a working guix! Arian Dehghani explains in his blog [2] that Guix provides an image builder for WSL2 such that you can install Guix on WSL2 simply by importing a (suspicious)...
Post #4265525
RE: https://mamot.fr/@monterosato/116585817473886644 &quot;Sans qu&#39;on puisse choisir, les sociétés commerciales dont nous sommes devenus dépendants décident désormais que nous allons utiliser des agents conversationnels pour tout faire, même quand leur utilisation n&#39;est pas pertinente, même quand elle est complètement aberrante. Et quelle est notre réaction? Nous disons: et ben, on ne peut pas résister au progrès, il faut s&#39;y faire. &quot;Ces technologies sont là...
Post #4265524
1. Démonter son vélo électrique devant les quais avant d&#39;embarquer comme indiqué 2. Changement de Hall et se trimbaler 25kg sur l&#39;épaule 3. Arriver devant sa voiture et se rendre compte qu&#39;il reste des places de vélo 4. Pleurer 😭😭😭😭 #velo #sncf
Post #4265523
Just trying to install guix system but my wifi card is not supported hardware 😢 and I don&#39;t have ethernet #guix
Post #1694670
J&#39;ai l&#39;agréable surprise de découvrir que Lime a introduit un nouveau modèle de vélo avec un siège bébé ! À voir si l&#39;adoption suit... #velo #paris https://www.li.me/fr-fr/blog/parents-lime-d%C3%A9ploie-500-v%C3%A9los-%C3%A9quip%C3%A9s-de-si%C3%A8ges-enfants-%C3%A0-paris-pour-faciliter-vos-trajets-du-quotidien
Post #1208237
I just discovered that Chronicles of Ancient Darkness (Michelle Paver), apparently had three whole new books added to the series in 2020?? Am I about to re-read an entire book series (about 500k words, not that long all things considered)... maybe. #books #fantasy #bookstodon
Post #977183
#introduction Hello Mastodon ! Je suis nouveau sur Mastodon. Je suis ingénieur informatique et chercheur en recherche opérationnelle. Je suis (grand) partisan d&#39;#openSource et #scienceOuverte. Je m&#39;intéresse à de nombreux sujets mais surtout #durabilité #vieprivee #lowtech #epistemologie. Je suis un peu un fan de #typesetting (composition d&#39;après Wikipédia) donc j&#39;utilise #LaTeX (ou #TeX), et #Typst. Je suis responsable de deux paquets Typst: glossarium et algo...
Post #977181
Ever since my PhD contract has ended last month, I have been going through my personal project backlog, including this very Mastodon account and actually making progress on my personal website. Yesterday, I was thinking what to do about my Goodreads account when I discovered @bookwyrm and by proxy @OpenLibrary and @inventaire ! Obviously, I am now on bookwyrm.social. Because my Goodreads shelves are a mess, many of my books can&#39;t be imported automatically, including some japanese light...
Post #977179
I dabbled a little bit in #lean and found the &quot;tactic&quot; concept to be a very intuitive interface to types metaprogramming. I&#39;m currently tinkering with my blog generated by #hakyll and as usual the hardest in programming is not writing the code, but discovering interfaces. Given how good the typing is in #haskell, I thought... Hang on, I&#39;m writing all these definitions, surely the LSP could be smart enough to just let me discover the relevant functions right? S...
Post #977171
As is the case for nearly all complex systems, changing a process is going to be not only difficult, take a long time but also meet a &quot;chicken &amp; egg&quot; problem (causality dilemma). The goal of science is to create and disseminate knowledge. At least for publicly funded research projects, the deliverables should be publicly available. In the past decade, much progress has been made to reach #openscience, including moving from a closed journals to an &quot;open-access&a...
Post #977169
Pour ceux qui n&#39;auraient pas encore lu le billet d&#39;Agnès Magron sur le blog du CCSD [2] (l&#39;équipe de @hal_fr), c&#39;est une lecture importante car elle met en évidence les conséquences de la vague d&#39;IA générative qui déferle sur le monde ... Je cite &quot;Le volume enregistré en 2025 est deux fois plus important qu’en 2024. [...] Pour donner l’exemple de la journée du mardi 17 février, sur un total de 17 millions de requêtes, ce sont plus de 4 million...
Post #916864
#introduction Hi Mastodon! I'm Pascal and new to Mastodon. I'm a computer engineer and a researcher in operations research. I'm a (fairly) strong advocate for #openSource and #openScience. I'm interested in many topics but mostly #sustainability #privacy #lowtech #epistemology. I'm a bit of a #typesetting nerd, so I #LaTeX (or #TeX), and #Typst. I maintain two Typst packages: glossarium and algorithmic. I have some free time before my next work contract starts, so I have...