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 !
#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"
Please boost for exposure.
After 5 months of work, #Funkwhale 0.20 is now available! 🎉
Release announcement (with highligths): https://blog.funkwhale.audio/~/Announcements/blog-post-week-2019-40-funkwhale-0.20-is-here
Full changelog and upgrade instructions: https://docs.funkwhale.audio/changelog.html
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!
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!
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
ꙮ ś̵͞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!
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. https://blog.pouhiou.me/~/LaPlumeDePouhiou/le-livre-qui-n'était-pas-interdit/
French PhD student in software verification, happily coding in OCaml.
Also piano, otaku culture, memes, ... ?
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!