Emilio Jesús GA

@ejgallego

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

Dans le forêt
Joined April 2011

Tweets

You blocked @ejgallego

Are you sure you want to view these Tweets? Viewing Tweets won't unblock @ejgallego

  1. Retweeted
    Jan 30
    Replying to

    So, K seems closer to boogie and why3 than to By what benchmark is it faster than Coq? How does K perform on the poplmark?

    Undo
  2. Retweeted
    Jan 26
    Undo
  3. Retweeted
    Jan 27

    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!

    Undo
  4. Retweeted

    Iranian students with valid visas being deported at US borders: Amin was placed in a chilly cell for 6 hrs then transported in cuffs and chains to an immigration detention facility in Georgia. The officers there ordered him to strip naked in front of them.

    Show this thread
    Undo
  5. Retweeted
    Jan 24

    I had to miss the first lecture of , so I got some friends to tell my students why they love functional programming. Enjoy!

    Show this thread
    Undo
  6. Retweeted
    Jan 24

    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.

    Undo
  7. Retweeted
    Jan 22

    Microsoft and Google, now valued at around a trillion dollars each, dodge paying taxes by manufacturing a fake sale of their intellectual property to subsidiaries in tax havens to declare their profits abroad

    Show this thread
    Undo
  8. Retweeted
    Jan 20

    NYC: giving a hydra workshop this thursday, January 23 at 7pm at phase space no experience necessary / free/ C U THERE 👾

    Undo
  9. Retweeted
    Jan 17

    The best career tip: Start writing. Publicly. No one will notice at first. Which is good. You’ll build the habit. You’ll find your voice. You’ll build a platform slowly, brick by brick. Over 5-10 years, you’ll build an asset very few have. The opportunities will shock you.

    Undo
  10. Retweeted
    Jan 18

    If you draw lines through vertices of a pentagram, and draw lines between the new points you get that way, and so on, you can get an infinity of pentagrams - all rescaled by different powers of the golden ratio! This picture was drawn by James Dolan using Mathematica. (1/n)

    Show this thread
    Undo
  11. Retweeted

    This is hilarious. A Norwegian TV programme pitted some professional stock-pickers against an astrologist, some beauty bloggers and - i kid you not - cows shitting in a field. (short thread).

    Show this thread
    Undo
  12. Retweeted

    Instagram deleted a post by Iranian journalist Emadeddin Baghi, a critic of Iran's government, who had nevertheless wrote Soleimani's killing was "contrary to the principles of international law.” Instagram says: "it was complying with US sanctions law."

    Show this thread
    Undo
  13. Retweeted
    Jan 8

    Math is amazing, there’s no side effects or build tools

    Show this thread
    Undo
  14. Retweeted
    Jan 10

    Nomadic Labs partners up with , a leading research institute in Madrid's Community. Don't miss out the first workshop in cooperation with IMDEA, next Thursday! More info and registration in the links below:

    Undo
  15. Retweeted
    Jan 9

    Over 100 people showed up to the first MIT class on Programming with Categories - taught by , David Spivak, and Brendan Fong! You can watch this and all future classes on YouTube. Later they will write a book. (1/n)

    Show this thread
    Undo
  16. Retweeted
    Jan 10

    Université de Paris has opened one permanent associate professor position in Computer Science. Recruited researcher will join .

    Undo
  17. Retweeted
    Jan 10

    La police connaît-elle le proverbe : sept fois à terre, huit fois debout ?

    Undo
  18. Retweeted
    Jan 8

    During these nightmarish days, decides to fix everything by closing my account for being Iranian. Honestly it almost made me laugh. This will be great for my undergrad class, where students have to deliver everything on github.

    Show this thread
    Undo
  19. Retweeted
    Jan 4

    It was only 282 years ago that Euler presented in his textbooks the exact formula for the volume of a sphere

    Undo
  20. Retweeted
    20 Dec 2019

    I am deeply shocked by the arguments contained in the letter to signed by against forthcoming US Open Access policy. As an old time member of , let me state clearly here that this time it's .

    Undo

Loading seems to be taking a while.

Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.

    You may also like

    ·