Show newer

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-

Show thread
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
Show thread

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 

I've tried to see if the optimized core looks any better, but since GHC lifts all the definitions it can to the top level, it's impossible to guess what it really looks like. I mean it's possible, you just have to track down in your head around 100 intermediate defintions (not a hyperbole)

Show thread

Haskell 

I'm working on FRP right now, and for the paper we're righting, I wanted to know precisely how proc-notation was desugared. I knew it was not ideal, but it's even worse than I thought^^

On the photo is what the following expression gets desugared into:
proc x -> do
y <- sf -< x
z <- sg -< y
z <- sh -< (y,z)
returnA -< (z,y)

(Deduced from unoptimized core)

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 

And here's the Hackage link (after much fear because the documentation wouldn't appear^^)

hackage.haskell.org/package/pa

Show thread

Haskell work, library release 

Aaaaand with some delay (due to pesky PhD work and marking), here it is!

gitlab.com/chupin/pattern-matc

I'd be delighted if people want to review the code or contribute 😊 I'll see to publish it on Hackage in the coming days.

Thanks a lot to @otini for reviewing the documentation!

Show thread

Haskell work 

I'm wrapping up a library that exposes a compiler for patter matching to decision trees, following the excellent « Compiling pattern-matching to decision trees » paper (moscova.inria.fr/~maranget/pap) Hopefully the doc should be finished this afternoon and I'll just have to update my tests for it to be usable 😊

2 minutes of error messages 

I think GHC disagrees with my copy-pasted machine generated code.

peertube.mastodon.host/videos/

typochon boosted
Functional Café

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!