Georgy Lukyanov

@geo2A

PhD student at Newcastle University. I am doing functional programming and formal verification. I don't usually tweet, but when I do, it might be in Russian.

Vrijeme pridruživanja: ožujak 2013.

Tweetovi

Blokirali ste korisnika/cu @geo2A

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

  1. proslijedio/la je Tweet
    29. sij

    This year the conference hosts the first Build Automation and Programming Languages workshop: If you are coming to PLDI or just happen to be in London on Saturday (20 June) morning, please attend and/or submit a talk!

    Prikaži ovu nit
    Poništi
  2. proslijedio/la je Tweet
    26. sij

    Old friends, new places /cc (@ College of Computer and Information Science in Boston, MA)

    Poništi
  3. 24. sij

    In other news (for me): American pint is about 20% smaller than the British one!!

    Poništi
  4. 20. sij

    And firearms are explicitly forbidden at bars, what not to like about this country!

    Prikaži ovu nit
    Poništi
  5. 20. sij

    oh god american craft beers are amazing im in heaven

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

    It worked!

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

    Apparently there's a rather obscure bus route 202 that will take me to the city for only $1.5

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

    Just got to New Orleans for and omg it's hot here!

    Prikaži ovu nit
    Poništi
  9. proslijedio/la je Tweet
    6. sij

    I have a *fully-funded* PhD studentship on cyber-physical systems and trusted autonomy. The studentship is open to UK/EU and *international* students. More information is available at the following link: . Sharing/forwarding of this note is appreciated.

    Poništi
  10. 4. sij

    What if Agda is your only love, but they make you write Coq at work? Read this:

    Poništi
  11. proslijedio/la je Tweet
    17. pro 2019.

    Interested in a PhD studentship in the Functional Programming lab in Nottingham? 10 PhD studentships for international applicants are currently being advertised. Deadline 17 January 2020. Please share, and encourage excellent students to apply!

    Poništi
  12. 5. pro 2019.

    Achievement unlocked: попал на административную проверку при оформлении визы в штаты. Ну понятно: русский, да ещё и какими-то там ракетами занимается... и едет конференцию по современным компьютерным технологиям.

    Poništi
  13. proslijedio/la je Tweet
    1. pro 2019.
    Odgovor korisniku/ci

    (<₽>) :: Функтор ф => (а -> б) -> ф а -> ф б (<₽>) = фотобразить

    Poništi
  14. 16. stu 2019.

    Being a Emacs newly converted adept by like (in Chrome, drafting an email): "C-w" OMG WTF WHERE IS MY WINDOW (reopen Chrome, get back to draft): "C-w" THIS IS NOT FUNNY

    Poništi
  15. 28. lis 2019.

    Traffic *cone* hunter. They are so good at escaping me

    Prikaži ovu nit
    Poništi
  16. 28. lis 2019.

    I'm considering to quit academia and become a traffic hunter

    Prikaži ovu nit
    Poništi
  17. 21. lis 2019.

    I think this roundabout in Newcastle has more traffic cones than there are in whole Russia

    Poništi
  18. 21. lis 2019.

    I will never mindlessly paste someone else's elisp into my init.el. I will never mindlessly paste someone else's elisp into my init.el.I will never mindlessly paste someone else's elisp into my init.el. I will never mindlessly paste someone else's elisp into my init.el.I will nev

    Poništi
  19. proslijedio/la je Tweet
    2. lis 2019.

    The Bible is 100% accurate. Especially when thrown at close range.

    Poništi
  20. proslijedio/la je Tweet

    You will die someday.

    Poništi

Č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:

    ·