otini is a user on functional.cafe. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.

otini @otini@functional.cafe

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
otini boosted
otini boosted

@DreamMonster Very cool! The photo with the teletype made me search it on YouTube, and you find some cool videos with old-school teletypes 😍
youtube.com/watch?v=-Ul-f3hPJQ

otini boosted

Alright, I guess I should also do an #introduction thingy.

My name's Guillaume, I'm a french #webdev with great interest in #gamedev.

On my free time, I mostly play #videogames on my #linux machine.

Cheers all!

otini boosted
otini boosted
otini boosted

Fun fact. I need to /debug/ a LaTeX document for the first time. It's not like it does not compile and I don't understand the error message. It's worst. The document compiles just fine, but my Figure are labeled “Figure xy” (where x is the number of the current chapter, and y the yth figure of that Chapter) instead of “Figure x.y”.

I have no idea why, and which packages are tex line is reponsible for it.

Yay.

How to compile in 32 bits on in two steps:

1. install a virtualized Ubuntu
2. compile in 32 bits there

otini boosted
otini boosted

#2030 "Voting Software" Show more

otini boosted

Hello sweet Mastodon. I am a game developer, and I'm going to start posting here as well! Hoping for a warm and welcoming community. <3

My only regret about so far, which does not overweight the advantages, is that so far I've been unable to cross-compile for 32-bit.

otini boosted

“Ĉiumatene li malfruas, en la laborejo senĉese, sed li kompensas ĉiuvespere forirante tiom pli frue.” — Kajto (kantu ĝin kanone!) ☺

otini boosted
otini boosted

A while back, I did an interview with the team from @Framasoft. Here's the first part of that interview, where we discuss getting out from under the thumb of internet giants (and more) opensource.com/article/18/8/fr

otini boosted
otini boosted

You can now challenge someone to game of #chess over toots! castling.club/ 💪

It's actually a standalone server in the #fediverse, implementing #activitypub all by itself. 😃

otini boosted
otini boosted

The ones who are skeptical about Mastodon will at least try it if I'm their sysadmin and moderator.

otini boosted

I think the idea that a new Mastodon user is supposed to pick an instance based on affinity/interest is the number one thing that prevents people from joining. I think there needs to be a retooling of the messaging to make it about trust.

People don't join email services because of affinity. They do because they trust. They trust Google will be around for a long time. Or that hushmail won't sell their data. Or that Hotmail is easy to use. Etc etc.