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

The crowdfunding of has reached its first milestone in 5 days and that's really cool. I really hope it will reach the 2nd one for which Framasoft has pledged to make it federated through ActivityPub.

Nowadays instead of setting up a Doodle, most people I know set up a Framadate. Having a similar shift from Facebook events to Mobilizon would be great.

joinmobilizon.org/en/

firobe boosted
firobe boosted

Mobilizon : let’s finance a software to free our events from Facebook !

framablog.org/2019/05/14/mobil #Framablog #TootOuRien

We have less than 60 days to finance Mobilizon. Less than 60 days to promote our project of a free and federated alternative to Facebook events ; and to know how much we need to invest ourselves in it.

Change the software of the people who change the world?
From climate walks on …

firobe boosted
>starts reading a fedi post because it looks interesting
> it is in French

Why!??????
firobe boosted

#Funkwhale 0.19 will be out soon. The first release candidate was published 15 minutes ago, and we expect a final release around March 16, which should leave enough time to:

- Translators, to work on new translations
- Instance owners, to deploy the release candidate, report regressions and bugs
- Contributors, to fix potential issues

Check out governance.funkwhale.audio/d/N to learn what's included in this big release, and how to try it!

Thank you for your help, let's catch the bugs!

firobe boosted

Presenting: "legit", my first esoteric programming language! Programs written in legit are defined entirely by the commit graph of a Git repository. You can find the specification, examples and an implementation here: morr.cc/legit/

firobe boosted
firobe boosted

Bonsoir mastodon,
un ami me fait part du cas d'un jeune LGBT mis à la porte de chez lui. Connaissez-vous des gens / structures susceptibles de l'accueillir ? C'est en région parisienne.
(repouets appréciés)

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.