Show more
otini boosted

Haskell 

otini boosted

let's all just appreciate the example image on wikipedia's rabbit article

otini boosted
otini boosted

quick : I play stepmania (keyboard) and write haskell (also keyboard)

Anyone here tried ? I really would like to write LaTeX in OCaml, but I don't know how robust it is. Can I make my slides with it? My thesis?

Killer question: does it handle the `[fragile]` commands in Beamer? 😛

otini boosted
otini boosted

Legendary computer scientist Katie Bouman with the hard drives containing the source code of her first “Hello World” React app.

otini boosted

You're an experienced Matrix user when you perfectly master the slightly spiraling mouse movement: Show unknown devices -> Verify -> Use legacy verification -> I verified that the keys match.

otini boosted

Okay, so now we are under the serious threat of automated filtering of all the cyberspace by some companies you probably all love.

What a thrill! Any content host will have to comply to what GAFAMs define as "terrorist content".

If that's not a cyberpunk roleplaying setting then I'm not a proper game master.

Such a thing must not happen. Call your EU MPs and talk about the text. It's not too late. Here, find out how we can coordinate together to alarm our MPs: laquadrature.net/en/2019/04/08

otini boosted

"Qui veut peut", c'est une évidence ! J'ai arrêté le sport il y a 15 ans, sans patch, sans substitut, sans aide médicale d'aucune sorte : juste une question de volonté. 💪 💪

otini boosted

theregister.co.uk/2019/04/02/t

Let's use deep learning they said. It will be better than humans they said.

Another straightforward exemple of why AI safety must be of concern.

otini boosted

Grad school etiquette 

otini boosted

It's "publish or perish," not "publish xor perish"

otini boosted

Hello everyone!
I'm a first year PhD student in Computer Science, formal methods.

During my thesis, I want to learn how to bring trust in #machinelearning software, and I firmly believe that all the tools we already developed in formal verification can be leveraged for that goal.

Everyone seems to be really hyped about deep learning, but that kind of software is really vulnerable. I want to discover how we can cope with that.

So, let's discuss! #introduction

otini boosted

Bon alors revenons un peu sur #clavierfrancais avec le Azerty normalisé de l'AFNOR .

Il y a quelques petites choses étranges dans ce clavier, mais aussi une énorme boulette.

Beaucoup de gens râlent sur le déplacement de quasiment toutes les touches hors caractères alphanumériques sans accents.

Mais c'était le but : garder le plus gros de l'historique et améliorer tout le reste.
Vous pouvez le voir ici :
norme-azerty.fr

⬇️

otini boosted

Okay, seems like you need to be polite and introduce yourself when you sign in.

I love video games, I love them so much that I recently created on.
I like to cook for my friends, because eating is good for your health and I'm french. And it helps me to relieve stress.

Speaking of that, I am a PhD student in computer science, on bridging formal methods and deep learning (those are complicated words, just drop a message if you want to know more).

Still a newbie on Mastodon but glad to be here!

otini boosted
Show more
Functional Café

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