typochon boosted

Lambda calculus, question Show more

typochon boosted

#android #vieprivée
Bonjour Mastodon,
Linuxien aguerri, libriste et soucieux de la protection des données personnelles, je suis complètement novice s'agissant d'android. Je ne sais pas comment protéger un minimum sa vie privée, quels sont les dispositifs de pistage à désactiver, les applications à éviter ou au contraire à utiliser...
Est-ce que tu aurais de la doc à me conseiller ?

Advent of code (Day 7, part 1 & 2) Show more

Advent of code Show more

Advent of code Show more

Advent of code Show more

typochon boosted

Petit mensonge Show more

typochon boosted

Petit mensonge Show more

typochon boosted

Buzz l'éclair (qui travaille dans le bureau à côté du mien, qui l'eut cru^^) a fait une vidéo sur la programmation avec des structures de données infinies et sur comment on peut s'en servir pour faire des choses sympas (ici pour générer la liste infinie des nombres premiers en deux lignes de code).

C'est en #haskell (et en anglais) mais c'est fait pour que ça ne requiert pas de connaissance a priori du langage

youtube.com/watch?v=bnRNiE_OVW

He would like to have a way of having two distributions on the same machine, an old one for his old slides and a new one. I suggested using a small VM, but that might be overkill. He also found this (tex.stackexchange.com/question) but I'm not sure how stable and maintainable this solution is.

Would there be another solution we haven't thought about?

(2/2)

My PhD supervisor makes his slides using a very old package. This package is not supported anymore and he can't update his LaTeX distribution because he wouldn't be able to compile his old slides anymore. (1/2)

A blog post about a very nice (and in my case, very useful) trick that kind of gives first-class type families : blog.poisson.chat/posts/2018-0

This is a Template Haskell error. Is there a rule that says that if something has « template » in its name, the errors need to 3 pages long?

typochon boosted

I'm Josh, I'm from Oregon, and I'm into , , , and functional programming in general.

Mmh there's something weird in GHC or cabal. I use a library that's not on Hackage (because I haven't quite finished yet) in a project with add-source. That library exposes some overlapping instances.

When I compile my project enabling profiling the typechecker is happy, but if I disable theme it complains about overlapping instances…

Any user of ? Do you know if it's possible to use the remote keyboard with KDE Connect Indicator under XFCE?

typochon boosted

#introduction

Hi all!
I'm a bioinformatician.

I'm originally from the south of France, but now living in Stockholm.

I'm developing an open-source analysis pipeline to detect germline or somatic variants from whole genome sequencing.

I'm interested in cancer, large-scale data integration, automation, containerization, reproducibility and visualization.

More about me here:
maxulysse.github.io/

Show more
Functional Café

functional.cafe is an instance for people interested in functional programming and languages.