typochon boosted

Hi there,
Can't help noticing that I am having a hard time finding fediverse accounts about my domain. Any chance you know people talking about , , , solvers and in general?

Thanks in advance!

typochon boosted
All possible programs were executed once in 1992 at an Intel factory and since then x86 processors just do lookups

I nearly had the occasion to cite a paper published in the « Proceedings of the USSR Academy of Sciences ». But turns out it's not really relevant enough

typochon boosted

Six Stages of Debugging

Step 1 : That can’t happen.

Step 2 : That doesn’t happen on my machine.

Step 3 : That shouldn’t happen.

Step 4 : Why does that happen?

Step 5 : Oh, I see.

Step 6 : how did that ever work?

typochon boosted

quick : I play stepmania (keyboard) and write haskell (also keyboard)

Haskell Show more

Haskell Show more

typochon boosted

Okay, seems like you need to be polite and introduce yourself when you sign in.

I love video games, I love them so much that I recently created on.
I like to cook for my friends, because eating is good for your health and I'm french. And it helps me to relieve stress.

Speaking of that, I am a PhD student in computer science, on bridging formal methods and deep learning (those are complicated words, just drop a message if you want to know more).

Still a newbie on Mastodon but glad to be here!

typochon boosted

Haskell work, library release, Hackage link Show more

Haskell work, library release Show more

Haskell work Show more

typochon boosted
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

Show more
Functional Café

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