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

vacation levels are 58% and steady

(58%) ■■■■■□□□□□

firobe boosted

Ahh the dreaded feeling of the PhD student: “I will meet with my supervisor in a few days and I need to make some progress before that, except I'm not making any”

Also known as: aaaaaaaaaaaaaaaaaaaa

firobe boosted

vim: copying text is called yanking
emacs: pasting text is called yanking
everyone else: nothing is called yanking oh my god

firobe boosted
firobe boosted

Politique / kebab 

firobe boosted

Le livre qui n'était pas interdit

Je me suis découvert un tabou. J'ai découvert que, parfois, j'ai envie de mettre un H majuscule à mon Histoire personnelle. Et que ça me rend malade quand on essaie d'y toucher pour justifier des e-querelles de e-clochers. blog.pouhiou.me/~/LaPlumeDePou

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 !

Show more
Functional Café

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