Tweetovi

	Emilio Jesús GA proslijedio/la je tweet
	Shachar Itzhaky @existsShachar	31. sij
	Finally – jsCoq 0.11.1 came out this week. Thanks @ejgallego! Visit us at jscoq.github.io, and we await your feedback at github.com/ejgallego/jsco…. We're in it for the long haul; coming up: an interactive version of Software Foundations 🚀
	Prikaz sažetka ·

	Emilio Jesús GA proslijedio/la je tweet
	Bas Spitters @BasspittersBs	30. sij
	Odgovor korisniku/ci @RosuGrigore @rv_inc @CoqLang 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? blog.sigplan.org/2020/01/29/mec…
	Prikaz razgovora ·

	Emilio Jesús GA proslijedio/la je tweet
	David J. Pearce @whileydave	26. sij
	Interesting comparison of Coq and the K Framework ... runtimeverification.com/blog/k-vs-coq-…
	Prikaži podatke ·

	Emilio Jesús GA @ejgallego	27. sij
	Odgovor korisniku/ci @EmilyBallas @AIGAeyeondesign Wow, if I read that correctly it is not such a bad number. In computer science I bet the number is pretty round: 100%
	Prikaz razgovora ·

	Emilio Jesús GA proslijedio/la je tweet
	The Coq proof assistant @CoqLang	27. sij
	Hello all! Welcome to Coq's official Twitter! We will share exciting news and events related to Coq; see 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!
	Prikaz sažetka ·

	Emilio Jesús GA @ejgallego	26. sij
	Odgovor korisniku/ci @abrocat Eagerly awaiting the director's cut!
	Prikaz razgovora ·

	Emilio Jesús GA proslijedio/la je tweet
	Negar Mortazavi @NegarMortazavi	25. sij
	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. nytimes.com/2020/01/25/us/…
	Prikaz sažetka ·

	Emilio Jesús GA proslijedio/la je tweet
	natefoster @natefoster	25. sij
	I had to miss the first lecture of cs3110.org, so I got some friends to tell my students why they love functional programming. Enjoy! youtu.be/Fi83KOAqWb4
	Prikaži podatke ·

	Emilio Jesús GA proslijedio/la je tweet
	Sylvain Schmitz @SylvainSchmitz	24. sij
	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.
	Prikaži podatke ·

	Emilio Jesús GA proslijedio/la je tweet
	Lee Fang @lhfang	22. sij
	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 propublica.org/article/the-ir…
	Prikaz sažetka ·

	Emilio Jesús GA proslijedio/la je tweet
	olivia jack @_ojack_	20. sij
	NYC: giving a hydra workshop this thursday, January 23 at 7pm at phase space phase.video no experience necessary / free/ C U THERE 👾 pic.twitter.com/IGAnVsYcFt
	Prikaz fotografije ·

	Emilio Jesús GA @ejgallego	20. sij
	Odgovor korisniku/ci @IvanPerezKeera For example languages using algebraic effects, see for example eff-lang.org and irif.fr/~mellies/mpri/…
	Prikaz razgovora ·

	Emilio Jesús GA proslijedio/la je tweet
	Sean Johnson @intentionally	17. sij
	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.
	Prikaz lokacije ·

	Emilio Jesús GA proslijedio/la je tweet
	John Carlos Baez @johncarlosbaez	18. sij
	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
	Prikaz fotografije ·

	Emilio Jesús GA proslijedio/la je tweet
	Robin Wigglesworth @RobinWigg	17. sij
	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
	Prikaz fotografije ·

	Emilio Jesús GA proslijedio/la je tweet
	Avi Asher-Schapiro @AASchapiro	10. sij
	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." codastory.com/authoritarian-…
	Prikaz sažetka ·

	Emilio Jesús GA proslijedio/la je tweet
	James Long @jlongster	9. sij
	Math is amazing, there’s no side effects or build tools
	Prikaži podatke ·

	Emilio Jesús GA proslijedio/la je tweet
	Nomadic Labs @LabosNomades	10. sij
	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: wp.software.imdea.org/tezos/ eventbrite.es/e/first-imdea-…
	Prikaz sažetka ·

	Emilio Jesús GA proslijedio/la je tweet
	John Carlos Baez @johncarlosbaez	9. sij
	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) youtube.com/watch?time_con…
	Prikaži podatke ·

	Emilio Jesús GA proslijedio/la je tweet
	IRIF @IRIF_Paris	10. sij
	Université de Paris @Univ_Paris has opened one permanent associate professor position in Computer Science. Recruited researcher will join @IRIF_Paris. irif.fr/en/postes/univ… pic.twitter.com/XlWvUBcEmA
	Prikaz fotografije ·