Emilio Jesús GA

@ejgallego

ZX Spectrum +2A, Petrof Renner 115, Korg X5D, Haskell, Agda, Coq.

Dans le forêt
x80.org
Vrijeme pridruživanja: travanj 2011.

Medijski sadržaj

  1. 28. velj 2019.

    Thinking a lot tonight!

    5 korisnika označava da im se sviđa
  2. 13. velj 2019.

    Coq + Language Server Protocol, this time a screenshot using VSCode. I gotta say that the server is pretty responsive!

    1 proslijeđeni tweet 8 korisnika označava da im se sviđa
  3. 15. sij 2019.

    The is starting in really good form

    1 proslijeđeni tweet 1 korisnik označava da mu se sviđa
  4. 11. pro 2018.

    Coq's gitter, earlier in the day.

    3 korisnika označavaju da im se sviđa
  5. 25. stu 2018.
    Odgovor korisniku/ci

    This is the lambdapi theorem prover experimental LSP server running under Atom.

    2 korisnika označavaju da im se sviđa
  6. 15. stu 2018.

    Xavier Leroy inaugurates his Sciences du Logiciel chair at

    1 korisnik označava da mu se sviđa
  7. 23. lis 2018.
    Odgovor korisnicima

    Agree about the line-length, but counting parens? What about rainbow delims?

    1 reply 1 korisnik označava da mu se sviđa
  8. 16. tra 2018.

    José Horta defending his PhD work on local energy markets based on a decentralized transactive platform implemented using blockchain tech at

  9. 6. ožu 2018.
    Odgovor korisnicima i sljedećem broju korisnika:

    Fantastic attendance and attendants at the inaugural meeting.

    1 proslijeđeni tweet 2 korisnika označavaju da im se sviđa
  10. 25. svi 2016.
    Odgovor korisniku/ci

    I much prefer mine

    3 proslijeđena tweeta 4 korisnika označavaju da im se sviđa
  11. 10. velj 2016.

    "Aquello que hemos hablado en las letras, vivirlo en persona" Distopía (Entrevista a César Strawberry / Def con Dos)

  12. 15. stu 2015.

    Desde París, un abrazo.

    1 reply 4 proslijeđena tweeta 3 korisnika označavaju da im se sviđa
  13. 12. svi 2015.

    Hell must be freezing over...

  14. 10. tra 2015.

    Wolfgang Spahn's analog sound noise producing machine.

  15. 10. tra 2015.

    Strange and cool industrial performance by Spahn&Steiner.

  16. 26. sij 2015.

    talking about his amazing Tone.js

    1 proslijeđeni tweet 1 korisnik označava da mu se sviđa
  17. 11. sij 2015.

    Nobody gave a fuck about Charlie Hebdo, apparently, we all do now...

  18. 12. velj 2014.

    OPPRESSED MAJORITY:

  19. 14. pro 2013.

    I never get tired of this:

  20. 30. stu 2013.

    Sarpullidos por todo el cuerpo tengo...

@ejgallego još nije poslao/la nijedan tweet s fotografijama ili videozapisima.

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

    ·