typochon boosted

The best thing about academia is making up words

I successfully managed to bring the number of reduce/reduce conflicts in my grammar from 12 to 75 and then to 354. I'm not really good at this, am I^^?

typochon boosted

So I have decided to start my personal Nix FAQ, with questions I ask to myself, and to which I often don't have the answer. Please do not hesitate to provide them 🙂


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)



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 

Haskell work, library release 

Haskell work 

typochon boosted

2 minutes of error messages 

typochon boosted
Show more
Functional Café

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