typochon boosted

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 🙂

otini.chnik.fr/posts/personal-

@cblp I was at the Midlands Graduate School this year where John Hughes was invited speaker and he talked precisely about this kind of problem :)

By default the generators are uniform, so they must be tuned to make sure they generate tests for the corner cases. One advice was to write some unit tests for the problem in question, and then tune the generators to make sure these unit tests (and tests similar) will be generated.

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)

re: Haskell 

Haskell 

Haskell 

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 

Show more
Functional Café

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