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 (, maybe I'll make something of it someday. Also I like Japan.

See you !

firobe boosted

questions, SRS, boost apprécié 

J'ai une camarade qui voudrait commencer des démarches pour une SRS, mais ne sais pas vraiment comment s'y prendre.

Je transmets ses questions, si vous avez des infos/réponses/conseils je lui transmettrais en retour ^^

-y a t'il quelqu’un qui pourrait potentiellement discuter de son résultat après être passé dans les mains de l'hopital de Lille , celui qui prends en srs et qui ne dépend pas de la sofect?

-quel est le moyen de commencer la srs ? comment faire pour débuter les démarches?

-comment booster ses chances de démarches ? afin d’accélérer le plus possible a ce propos ?

-on parle de lyon mais il a une file d’attente extra-longue. quels autres endroit je peux aller ?

-que vaux paris ? j’ai entendue des rumeurs comme quoi ce serait catastrophique, je me tiens de quand même demander

-que faire ?

firobe boosted

Funkwhale 1.0 is out 🎉

As usual, the full changelog is available at,. New features include:

- A brand new search page
- It's now possible to launch a scan from the UI
- Themes and language are now persisted accross sessions
- A new plugin system, with a scrobbler plugin that works with and MusicBrainz

We're thankful to the contributors to this release, as well as all our supporters, backers and members of the community who have been with us for five years!

We wish you a happy upgrade!

firobe boosted

Coq, but when I type "Proof." the pokemon battle music starts and when I type "auto." it says "Tactic is not very effective"

firobe boosted

tar xvzf archive.tar.gz


firobe boosted

After 5 months of work, #Funkwhale 0.20 is now available! 🎉

Release announcement (with highligths):
Full changelog and upgrade instructions:

We'll also publish some release highlights here later, but everything you need to know is available in those two links!

Thank you so much to all our amazing contributors, testers, reviewers, translators, devs, designers, writers… We did a great job together!

firobe boosted

programming allows you to turn your terrible ideas into terrible programs

firobe boosted

This week, a french court declared that "Valve Software cannot forbid to sell back a game bought in the Steam platform, even it is available only under digital form". Altough Valve will contest this decision, this justice decision may represent a shift in how we buy, consume and sell our digital leisures, and kickstart a vast move on interoperability between platforms, possibly ending DRMs!

Don't hesitate to spread this information and show your support to this decision!


firobe boosted
firobe boosted

regex crash course! 

[] matches any character inside the brackets
. matches any character
* matches any number of the last thing
+ matches more than one of the last thing
⁜ matches less than one of the last thing
• matches dead characters
⟦⟧ matches any demons inside the brackets
⸮ matches your hopes & dreams
¡¡¡ matches
ꙮ ś̵͞u͡m̶͠m̵͢o͏n̨͡s̵̨͡ ͘͡Z͢͟á͡͏lg͠o̷̷
(?=...) this is called a lookahead assertion. it looks into the future to tell if this regex matches, and returns accordingly.

hope this helps!

firobe boosted

Curieux, il me semblait pourtant que la réussite des élèves dépendait plus du nombre d'élèves par classe et du respect du corps enseignant. Mais si il suffit de mettre des caméras et des tablettes pour que les élèves réussissent, c'est facile en fait !

firobe boosted

Aaaaaaaaaa Si tu tends l'oreille aaaaaaaaaaaa

eye contact 

Ah yes the famous traditional ramen recipe

Just assembled a nice paper theater with the help of @merricat

firobe boosted
computer science book on dadaist datastructures (dadastructures)
firobe boosted
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 

Hyper triste que Benoît Hamon n'aie pas de siège au parlement européen, il aurait eu une plate-forme super large pour propager son amour du kebab

Show more
Functional Café

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