Pinned toot

Hi everyone! I'm new here so, time for an ?

I'm an M2 student living near Paris, interested in :
• Type systems (Curry-Howard ❤ )


Today I program a lot in , because French research teams use it a lot, but I also use and I like dependently-typed languages like .

For some work I have done on the OCaml compiler you can check out otini.chnik.fr/.

Glad to be here :)

Advent of Code Q01 answer 

otini boosted

It's always tricky to refuse to review for non-#openaccess publications, but it feels like a more effective form of #boycott than to avoid submitting to non-OA venues myself: it initiates a discussion with the editors.

otini boosted
otini boosted

Academia has more conferences than any other fandom

otini boosted

cyclosm.org is my go-to cycle map. Really great job with making cycle infrastructure stand out with clear conventions, and having the map key on the side changes everything! Thanks @Phyks #osm #cycle

otini boosted
otini boosted

Bonjour les laineux,
En ce moment je réfléchis un peu à l'idée que "la technique n'est pas neutre". Auriez-vous des lectures à me conseiller pour étendre l'argumentation au delà de ce leitmotiv ? Merci d'avance !

otini boosted
otini boosted
otini boosted

L'université de British Columbia n'est ni britannique, ni en Colombie, mais à Vancouver, au Canada 🤔

otini boosted

Question #Coq. Please, help.

So, I have a library Flocq in my `coqc -where`/user-contrib. Yet, when I write From Flocq Require Calc, it completely fails at finding the library: “Error: Unable to locate library Calc with prefix Flocq”. I’ve tried to change the $COQPATH variable to make it accepted. What did I miss? 😖​

(Of course, no documentation available for that. Coq is very far from being a mature project ☹)

otini boosted

just read the word "twinkling" and thought "ah, a small twink" I'm logging off forever

otini boosted
otini boosted

image descriptions aren't just for blind people they're also for people who just dont understand what is happening, like me

otini boosted

I'd like to interject you for a moment, what you are refering to as GNU Guix is in fact Gnu's not Unix: Gnuproject Untitled Nix-oid Operating System or as I've recently taken to calling it

UEFI cannot find boot partition

otini boosted

Bonsoir le fédiverse,

Je suis tombé sur un contrat très intéressant et un peu effrayant qu'une société fait plus ou moins discrètement signer aux étudiant·es de 42 s'ils participent à leur hackathon.

L'aide d'un·e juriste serait tout particulièrement utile pour m'aider à le décortiquer et éventuellement y déceler quelques clauses abusives s'il y a.

Merci de votre aide, boosts appréciés !

otini boosted

Sérieux Riot faites quelque chose sur le process de vérification des devices, par pitié

otini boosted

My 15yo kid just came out to me tonight as trans male. In order to be more supportive, I would really like some feedback from other trans folks on how to assist or better understand this process, especially on how that works today vs 30 years ago.

Caveat- I had a parent who is trans, but this isn't the same kind of relationship. I would actually be assisting my minor child in this change, so that makes me a more active participant in the process.

Feel free to boost. #trans

INRIA: please fill out this 6-page form with every detail about your life

Me: it's annoying but at least it's a PDF form, I can fill it electronically, it's modern and all

The form: your signature here

Me: … well let's print you then, grrRRRR.

otini boosted

Stress au boulot 

Show more
Functional Café

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