Pinned toot

As I'm new here (and on Mastodon), introduction time !

I'm a CS PhD student in a French institution near Paris, working on the specification language of Frama-C to enable users to have a more global view than function contracts when specifying.

All this work is happily written in OCaml (omnipresent in French academia) so that's the ecosystem I know the most, but I know a bit of Haskell.

I've a terrible website (firobe.fr), maybe I'll make something of it someday. Also I like Japan.

See you !

firobe boosted
firobe boosted

ah oui la boisson citronnée fonctionnelle là, les monades

Making some good progress !
Next is sound and mappers and collisions and oh god way too much stuff

Trying to make a NES emulator in
I guess that's a start... Can you guess the game ?

As I'm new here (and on Mastodon), introduction time !

I'm a CS PhD student in a French institution near Paris, working on the specification language of Frama-C to enable users to have a more global view than function contracts when specifying.

All this work is happily written in OCaml (omnipresent in French academia) so that's the ecosystem I know the most, but I know a bit of Haskell.

I've a terrible website (firobe.fr), maybe I'll make something of it someday. Also I like Japan.

See you !

firobe boosted

(fr) Transports franciliens Show more

firobe boosted

Hi @mdallastella

I was wondering whether there is a list of blocked/muted instances for functional.cafe?

Functional Café

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