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

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

#psa You should probably stop using Startpage.com as a search engine.

#Startpage appears to have sold out to a company called "System1" who are a "pay-per-click behavioral ad company"

techrights.org/2019/10/16/star
github.com/privacytoolsIO/priv

Please boost for exposure.

firobe boosted

tar xvzf archive.tar.gz

xlease
vopen
ze
farchive

firobe boosted

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

Release announcement (with highligths): blog.funkwhale.audio/~/Announc
Full changelog and upgrade instructions: docs.funkwhale.audio/changelog

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!

#letmesellmygames

firobe boosted
firobe boosted

regex crash course! 

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

eye contact 

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 

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

Show more
Functional Café

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