Yann Régis-Gianas

@yurug

Maître de conférence / Functional programmer / Researcher in programming languages / Father of 3

Université Paris Diderot
yann.regis-gianas.org
Vrijeme pridruživanja: travanj 2009.
15 fotografija ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @yurug

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @yurug

  1. proslijedio/la je Tweet
    31. sij

    With , we are looking for candidates for two internships at + to explore social and technical aspects of the creation of the Coq & OCaml platforms. Making and more accessible is a top priority for us!

    1 reply 13 proslijeđenih tweetova 14 korisnika označava da im se sviđa
    Poništi
  2. proslijedio/la je Tweet
    31. sij

    My student Denis wrote a formal semantics for the French tax code, complete with Coq proof of soundness and SMT queries to uncover unfair tax hikes. PL for fiscal justice!

    13 replies 211 proslijeđenih tweetova 524 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  3. proslijedio/la je Tweet
    30. sij

    🏆 It was a great honor to receive the FIC 2020 award presented by and , and a pleasure to share the podium with and . Thank you for these 3 days!

    8 proslijeđenih tweetova 22 korisnika označavaju da im se sviđa
    Poništi
  4. proslijedio/la je Tweet
    27. sij

    Hello all! Welcome to Coq's official Twitter! We will share exciting news and events related to Coq; see for the proper channels for bug reports or technical discussion. This account is community-managed by , , and . Have fun!

    1 reply 86 proslijeđenih tweetova 135 korisnika označava da im se sviđa
    Poništi
  5. 26. sij

    A very cool video explaining why functional programming matters!

    11 proslijeđenih tweetova 14 korisnika označava da im se sviđa
    Poništi
  6. proslijedio/la je Tweet
    24. sij

    POPL'20 is over, and it was full of pretty inspiring research. Lots of seriously impressive and interesting boundary pushing. I like my field.

    6 proslijeđenih tweetova 76 korisnika označava da im se sviđa
    Poništi
  7. proslijedio/la je Tweet
    24. sij

    Due to a staff strike in support of the call of January 22 for a University closedown at the , the activities of the CS Department of the University and are not taking place on January 24. As a consequence, the lectures, seminars and meetings are cancelled.

    6 proslijeđenih tweetova 7 korisnika označava da im se sviđa
    Poništi
  8. proslijedio/la je Tweet
    18. sij

    🌠My coworker and sans-twitter OCaml mage hcarty has opened a couple of our internal OCaml libraries for using mariadb and building restful services: 🐫

    6 proslijeđenih tweetova 23 korisnika označavaju da im se sviđa
    Poništi
  9. proslijedio/la je Tweet
    14. sij

    always fascinated by this "let's try a bunch of memcpys and see which one is fastest" thing linux does while booting

    16 replies 29 proslijeđenih tweetova 293 korisnika označavaju da im se sviđa
    Poništi
  10. proslijedio/la je Tweet
    14. sij

    "Sur les épaules de Darwin" (sur la tranche horaire du samedi de 11h à 12h) est première en audience cumulée de toutes les stations radio avec un million sept cent deux mille auditeurs !!! (résultats médiamétrie pour novembre / décembre 2019)

    1 reply 1 proslijeđeni tweet 4 korisnika označavaju da im se sviđa
    Poništi
  11. proslijedio/la je Tweet
    14. sij

    Are you from Prague and want to learn ReasonML? Come to our next workshop on 5. of February. This time it's all about React

    6 proslijeđenih tweetova 10 korisnika označava da im se sviđa
    Poništi
  12. proslijedio/la je Tweet
    11. sij

    A beautiful solution of the gravitational 4-body problem. But keep watching, because it's not stable!

    0:16
    Par exemple, prenons une jolie configuration à... 4 corps désormais ! Regardez les premiers tours, c'est joli hein... Ouais continuez à regarder... CA VA MAL FINIR !
    Prikaži ovu nit
    50 replies 1.023 proslijeđena tweeta 4.218 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  13. proslijedio/la je Tweet
    9. sij

    I just published "Developing a Dapp on Tezos"

    5 replies 40 proslijeđenih tweetova 116 korisnika označava da im se sviđa
    Poništi
  14. proslijedio/la je Tweet
    9. sij

    I've put together a step-by-step instruction on getting fully fledged modern OCaml setup (w/ Emacs support) on Windows via WSL. Nothing magical, but hopefully it will save time someone. Comments are welcome:

    8 replies 6 proslijeđenih tweetova 50 korisnika označava da im se sviđa
    Poništi
  15. 9. sij

    (Thanks to François Armand!)

    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  16. 9. sij

    How to exit VIM? My favorite is the Russian Roulette way.

    1 reply 1 proslijeđeni tweet 3 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  17. proslijedio/la je Tweet
    6. sij

    Connaissez-vous les CPGE MPI, débouché en CPGE pour les élèves NSI : Faites circuler !

    5 replies 49 proslijeđenih tweetova 48 korisnika označava da im se sviđa
    Poništi
  18. proslijedio/la je Tweet
    6. sij

    La doublette maths-NSI en terminale permet d'entrer en CPGE, via la nouvelle filière MPI.

    5 replies 50 proslijeđenih tweetova 57 korisnika označava da im se sviđa
    Poništi
  19. proslijedio/la je Tweet
    2. sij

    Happy first of January everyone. I am starting the year with a study of "The Polygons of Another World" ().

    29 replies 244 proslijeđena tweeta 858 korisnika označava da im se sviđa
    Poništi
  20. proslijedio/la je Tweet
    2. sij

    My friend Marie Lhuissier is a mathematical storyteller. She’s performing in Lyon and Paris, and writing books. That’s a great way to introduce kids to mathematics, don’t hesitate to go and see her if you can !

    1 reply 11 proslijeđenih tweetova 20 korisnika označava da im se sviđa
    Poništi

@yurug još nije objavio nijedan Tweet.

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·