Sheeft

Computer science postdoc. Interested in type theory, functional programming and logic.

[Sheeft @Sheeft]

@yorunohikage @duolingo J'ai cru un instant qu'on avait exactement le même.

[Sheeft @Sheeft]

@Uchikoshi_Eng #ainispoilers Thanks again for your wonderful storytelling! #AINI was simply awesome.
If I may what was the thing about Dahlia Boat? Was it just in the mind of Ryuki?

[Sheeft @Sheeft]

@alekmaul Je mettrais plus d'espace entre les consoles ou un point / tiret etc.

[Sheeft @Sheeft]

@andrejbauer @philipthrift Yes, there is ample room for improvement but it's already much faster than PG. For one it supports async compiling. You can get it from the VS store (or whatever it's called).

[Sheeft @Sheeft]

@andrejbauer @philipthrift With VSCoq the need for emacs is already over (you also don't need it for agda).

[Sheeft @Sheeft]

@jjvie Tu recherches un postdoc pour bosser sur quoi ?

[Sheeft @Sheeft]

@MonsieurDream https://t.co/SQ43r35Tls semble avoir été hack, à moins que phishing soit prévu.

[Sheeft @Sheeft]

@AlexMarino34 @CTorossian_Off @CpgeJoffre @VillaniCedric Merci !

[Yann Régis-Gianas @yurug]

Dear #OCaml enthusiasts, we need your help! The 3rd OCaml MOOC will start in 3 weeks and that's probably the perfect opportunity for your friends and all your acquaintances to discover the beauty of functional programming. Please, take a minute to spread the word around you!

[Sheeft @Sheeft]

@jjvie Héhé ok.

[Sheeft @Sheeft]

@ncasenmare @zarawesome I think that is a problem with a lot of PL, some use x <- u or immutables, making it more understandable.

[Sheeft @Sheeft]

Very nice little game about game theory. https://t.co/CRoam5wy9u

[Nicky Case · 🐘 mas.to/@ncase @ncasenmare]

Trust is falling. Why? And how can we fix it?

My interactive guide to the game theory of trust is now OUT!

👉 https://t.co/2x7BfWehpJ 👈

[Sheeft @Sheeft]

@Valryon @plugindigitall Super en tout cas ! :)

[Sheeft @Sheeft]

@Valryon Oh trop cool. Tu as obtenu un dev kit via le site de Nintendo dev ?

[Sheeft @Sheeft]

@EvilTroopa Oui, c'est fou, ça paraît loin maintenant. Mais c'était bien !

[Sheeft @Sheeft]

@EvilTroopa https://t.co/rHUH6gd8Oh Ça rappelle des souvenirs.

[Sheeft @Sheeft]

@smealum ah cool, j'ai pas lancé ma Switch ce matin (je j'ai eue hier) sinon je serai jamais allé bosser

[Sheeft @Sheeft]

@smealum Moi je t'ai ajouté depuis miitomo.