otini @otini@functional.cafe
- languages
- EN • FR • RU • EO
- pronouns
- he • il • он • li
- website
- https://otini.chnik.fr
- Matrix
- otini:tedomum.net
PhD student in computer science, trying to prove safety properties on binary programs using abstract interpretation. I also like tea, type systems and logic.
Joined Dec 2017
Pinned toot
Hi everyone! I'm new here so, time for an #introduction?
I'm an M2 student living near Paris, interested in :
• Type systems (Curry-Howard ❤ )
• #CategoryTheory
• #Nix
• #metaprogramming
Today I program a lot in #OCaml, because French research teams use it a lot, but I also use #Haskell and I like dependently-typed languages like #Agda.
For some work I have done on the OCaml compiler you can check out http://otini.chnik.fr/.
Glad to be here :)
otini
boosted
Today I'll play with Tiler (https://github.com/zhamlin/tiler.vim) 'cause it seems it does exactly what I want.
otini
boosted
Interesting article on #DependentTypes for #Haskell : "Why Dependent Haskell is the Future of Software Development" https://serokell.io/blog/2018/12/17/why-dependent-haskell .
@mdallastella (P.S. thanks for all your work!)
I was wondering whether there is a list of blocked/muted instances for functional.cafe?
otini
boosted
PaladinQuinn 
AMAZING POINT.
otini
boosted
Un message de Mark Zuckerberg. https://www.monde-diplomatique.fr/t/parrainagetw
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 #NextcloudSocial 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!
https://nextcloud.com/blog/nextcloud-introduces-social-features-joins-the-fediverse/
#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
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 : https://mastodon.tedomum.net
Peertube : https://video.tedomum.net
Pixelfed : https://pix.tedomum.net
Nos valeurs : https://tedomum.net/page/valeurs
Nos CGU : https://tedomum.net/page/cgu
- languages
- EN • FR • RU • EO
- pronouns
- he • il • он • li
- website
- https://otini.chnik.fr
- Matrix
- otini:tedomum.net
PhD student in computer science, trying to prove safety properties on binary programs using abstract interpretation. I also like tea, type systems and logic.
Joined Dec 2017
