Tweets
- Tweets, current page.
- Tweets & replies
- Media
You blocked @ejgallego
Are you sure you want to view these Tweets? Viewing Tweets won't unblock @ejgallego
-
Emilio Jesús GA Retweeted
So, K seems closer to boogie and why3 than to
@CoqLang By what benchmark is it faster than Coq? How does K perform on the poplmark?https://blog.sigplan.org/2020/01/29/mechanized-proofs-for-pl-past-present-and-future/ …Thanks. Twitter will use this to make your timeline better. UndoUndo -
Emilio Jesús GA Retweeted
Interesting comparison of Coq and the K Framework ... https://runtimeverification.com/blog/k-vs-coq-as-language-verification-frameworks-part-1-of-3/ …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Emilio Jesús GA Retweeted
Hello all! Welcome to Coq's official Twitter! We will share exciting news and events related to Coq; see https://github.com/coq/coq for the proper channels for bug reports or technical discussion. This account is community-managed by
@ejgallego,@falsenov, and@Zimm_i48. Have fun!Thanks. Twitter will use this to make your timeline better. UndoUndo -
Emilio Jesús GA 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.http://www.nytimes.com/2020/01/25/us/iran-students-deported-border.html …
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Emilio Jesús GA Retweeted
I had to miss the first lecture of http://cs3110.org , so I got some friends to tell my students why they love functional programming. Enjoy!https://youtu.be/Fi83KOAqWb4
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Emilio Jesús GA Retweeted
Due to a staff strike in support of the call of January 22 for a University closedown at the
@Univ_Paris, the activities of the CS Department of the University and@IRIF_Paris are not taking place on January 24. As a consequence, the lectures, seminars and meetings are cancelled.Thanks. Twitter will use this to make your timeline better. UndoUndo -
Emilio Jesús GA Retweeted
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 abroadhttps://www.propublica.org/article/the-irs-decided-to-get-tough-against-microsoft-microsoft-got-tougher …
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Emilio Jesús GA Retweeted
NYC: giving a hydra workshop this thursday, January 23 at 7pm at phase space https://phase.video/ no experience necessary / free/ C U THERE
pic.twitter.com/IGAnVsYcFt
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Emilio Jesús GA Retweeted
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.
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Emilio Jesús GA Retweeted
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)pic.twitter.com/GCLjMGvwIu
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Emilio Jesús GA 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).pic.twitter.com/LfNY7yWXZY
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Emilio Jesús GA 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."https://codastory.com/authoritarian-tech/instagram-iran-soleimani/ …
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Emilio Jesús GA Retweeted
Math is amazing, there’s no side effects or build tools
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Emilio Jesús GA Retweeted
Nomadic Labs partners up with
@IMDEA_Software , a leading research institute in Madrid's Community. Don't miss out the first#Tezos workshop in cooperation with IMDEA, next Thursday! More info and registration in the links below: https://wp.software.imdea.org/tezos/ https://www.eventbrite.es/e/first-imdea-software-tezos-blockchain-workshop-registration-86311264315 …Thanks. Twitter will use this to make your timeline better. UndoUndo -
Emilio Jesús GA Retweeted
Over 100 people showed up to the first MIT class on Programming with Categories - taught by
@BartoszMilewski, David Spivak, and Brendan Fong! You can watch this and all future classes on YouTube. Later they will write a book. (1/n)https://www.youtube.com/watch?time_continue=2&v=NUBEB9QlNCM&feature=emb_logo …Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Emilio Jesús GA Retweeted
Université de Paris
@Univ_Paris has opened one permanent associate professor position in Computer Science. Recruited researcher will join@IRIF_Paris. https://www.irif.fr/en/postes/universite …pic.twitter.com/XlWvUBcEmA
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Emilio Jesús GA Retweeted
La police connaît-elle le proverbe : sept fois à terre, huit fois debout ?pic.twitter.com/DHL8WJfVS2
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Emilio Jesús GA Retweeted
During these nightmarish days,
@github 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.pic.twitter.com/vnkgPpkpXY
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Emilio Jesús GA Retweeted
It was only 282 years ago that Euler presented in his textbooks the exact formula for the volume of a spherepic.twitter.com/10QCCtUmeA
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Emilio Jesús GA Retweeted
I am deeply shocked by the arguments contained in the letter to
@POTUS signed by@ACM_president against forthcoming US Open Access policy. As an old time member of#ACM, let me state clearly here that this time it's#ACMnotinmyname. …https://presspage-production-content.s3.amazonaws.com/uploads/1508/coalitionletteropposinglowerembargoes12.18.2019-581369.pdf …Thanks. Twitter will use this to make your timeline better. UndoUndo
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.