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

Interesting article on for : "Why Dependent Haskell is the Future of Software Development" serokell.io/blog/2018/12/17/wh .

Hi @mdallastella

I was wondering whether there is a list of blocked/muted instances for functional.cafe?

otini boosted
otini boosted

Also unlike on the Mastodon interface, search must be done without the leading '@', e.g. 'otini@functional.cafe'.

Ok I found how to follow remote users (use Nextcloud top right search bar), but I still can't send them toots, and I don't receive theirs…

Current status: direct messages work between users of the same instance. But I don't know how to federate with other instances. Also, there are no notifications yet. Overall, not quite usable for now, unless I missed things. But I'm hoping for the best 🤞

Ok, step 1: federated timeline is empty. How do I add instances to federate with? 😅

otini boosted

"The energy equivalent of machines in human slaves is around 600 slaves per person in Europe (200 worldwide)" #SaveThePlanetReEnableSlavery #APIdays

Has anyone tried yet? I'm pretty excited about that one.

Just randomly discovered the Vim option  “conceallevel” and wow it's nice to edit TeX code

otini boosted

When is Nextcloud 15 coming out on Arch :(

otini boosted

Hey Mastodonians, #GNUSocial citizens and others! Gear up for tens of millions of Nextcloud users spread over several 100K servers who can now join the #fediverse in just one click!

Join the global social network!
nextcloud.com/blog/nextcloud-i
#mastodon #selfhosting #federation

Web rant Show more

otini boosted
Contracts in #Racket rock, you may even have fancy dependent contracts (like in dependent types) 🤗

https://docs.racket-lang.org/guide/contracts-general-functions.html
otini boosted

Tes amis, ta famille cherchent une instance sur le #fediverse et tu as de quoi les héberger : fonce (et n'hésite pas à demander de l'aide) ! Sinon, pense à @tedomum, on cherche la sécurité, le respect de la vie privée et des libertés, on est de droit français et on prône le respect.

Mastodon : mastodon.tedomum.net
Peertube : video.tedomum.net
Pixelfed : pix.tedomum.net

Nos valeurs : tedomum.net/page/valeurs
Nos CGU : tedomum.net/page/cgu

otini boosted

Advent of code Show more

Show more
Functional Café

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