otini @otini@functional.cafe
M2 Computer Science student (aspiring PhD). My interests: Static program analysis • Binary executable analysis • Metaprogramming
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 :)
RT https://twitter.com/heathercampbell
106 years ago today.
@DreamMonster Very cool! The photo with the teletype made me search it on YouTube, and you find some cool videos with old-school teletypes 😍
https://www.youtube.com/watch?v=-Ul-f3hPJQM
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!
Did you know where #vim came from ? I didn't. https://frama.link/aCoAYrVe
This line of code
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 #NixOS in two steps:
1. install a virtualized Ubuntu
2. compile in 32 bits there
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 #NixOS so far, which does not overweight the advantages, is that so far I've been unable to cross-compile for 32-bit.
“Ĉiumatene li malfruas, en la laborejo senĉese, sed li kompensas ĉiuvespere forirante tiom pli frue.” — Kajto (kantu ĝin kanone!) ☺
#haskell with only one type family http://blog.poisson.chat/posts/2018-08-06-one-type-family.html
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) https://opensource.com/article/18/8/framasoft
http://www.parsonsmatt.org/2018/03/22/three_layer_haskell_cake.html
(Thank you @samae )
You can now challenge someone to game of #chess over toots! https://castling.club/ 💪
It's actually a standalone server in the #fediverse, implementing #activitypub all by itself. 😃
The ones who are skeptical about Mastodon will at least try it if I'm their sysadmin and moderator.
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.
