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 :)

otini boosted

Bonjour,

Selon #FramaC, ma recherche dichotomique est correcte.

🤓

otini boosted

Do you know a good place to ask about fonts and typesetting, maybe specifically OpenType, maybe even more specifically OpenType Math fonts?

otini boosted

Do you know a good place to ask about fonts and typesetting, maybe specifically OpenType, maybe even more specifically OpenType Math fonts?

otini boosted

On ne va pas s'en cacher, on s'inquiète : aujourd'hui, 19 février, on a réuni environ 20% de notre budget pour 2020... Aidez-nous à relancer notre campagne de dons !

laquadrature.net/2020/02/19/la

otini boosted
A relatively large group of French scientists propose to add a fictional Alex to all our publications in all domains. This would make the Alex an extremely prolific scientific publisher:

http://rogueesr.fr/alex/

I think (and the people behind this idea do as well) that this initiative may be interesting to researchers all over the world. Unfortunately, the page they provide is in French. Maybe they will set up another one in English later.

#RogueESR
otini boosted

A trans friend of mine is looking for a roomie in Germany. Her current roomie is possibly moving out, leaving her in a dire situation. She's in an apprenticeship job that she NEEDS to keep to later acquire a certificate, so she cannot relocate too far away.

She is looking for a place within a radius of Wiesbaden/Mainz - Gießen - Hanau - Darmstadt around Frankfurt, with max 500 euros per month for rent/water/electricity/obligatory TV bill/internet.

For more info, DM me.

otini boosted
otini boosted

#2268 "Further Research is Needed" 

otini boosted

🎉 #PeerTube 2.1 released 🎉

This new release includes a new "internal" privacy setting for videos, hyperlinks for video timecodes in descriptions and comments, many comments improvements, a watch later icon on video thumbnails, UI improvements and many more!

Check the blog post for more information: joinpeertube.org/news#release-

And the complete changelog on github.com/Chocobozzz/PeerTube

Thanks to all PeerTube contributors 😘

otini boosted

Haskell profiling, help wanted 

otini boosted
otini boosted

Common complaint: "I can't read the backlog in IRC"

Discussions over the water cooler aren't logged either but no one seems to be asking to install a microphone in the breakroom

If you feel the need to catch up on discussions you missed (which people haven't explicitly called your attention to), your team is using real time messaging wrong. IRC is ephemeral by design, summarize discussions in email, docs, etc if they need to live longer

otini boosted
otini boosted

Petit sondage, lequel de ces logiciels utilisez-vous pour compiler votre code LaTeX ? 🙂
#LaTeX #pdfLaTeX #XeTeX #LuaTeX

otini boosted
> You are in 'detached HEAD' state.

oh, so like the Queen of France
otini boosted
Show more
Functional Café

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