Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @GowthamK
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @GowthamK
-
Gowtham proslijedio/la je Tweet
And this is why we need basic research. Someone is out there today is coming up with answers to questions you'll have tomorrow.https://twitter.com/mariagoneviral/status/1222166858859675649 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Gowtham proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Gowtham proslijedio/la je Tweet
It is evident Google would do better to hire computer science graduates for lawyers, because whoever wrote that clearly didn't understand boolean logic and De Morgan's laws. This is wrong: ¬(𝑃 ∨ 𝑄) ⇎ (¬𝑃) ∨ (¬𝑄) The correct equivalence is: ¬(𝑃 ∨ 𝑄) ⇔ (¬𝑃) ∧ (¬𝑄)
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Gowtham proslijedio/la je Tweet
It's end of term again for
#themorningpaper. Here are a few highlights from the 50 papers we looked at this term: https://blog.acolyer.org/2019/12/16/end-of-term-7/ …. The Morning Paper will resume again on Monday 6th January...Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Gowtham proslijedio/la je Tweet
It’s officially “why do I live here” season
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Gowtham proslijedio/la je Tweet
Twitter is funding a small independent team of up to five open source architects, engineers, and designers to develop an open and decentralized standard for social media. The goal is for Twitter to ultimately be a client of this standard.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Git's merge algorithm doesn't quite work as we expect. This can have security implications, as I describe here: http://tycon.github.io/git-inconsistencies.html … Gist is that merge result depends on not just *what* we merge, but also on *how* we merge them. Moreover, merge results are sometimes puzzling.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Gowtham proslijedio/la je Tweet
"Mergeable replicated data types" Kaki et al., OOPSLA'19 https://blog.acolyer.org/2019/11/27/mergeable-replicated-data-types-part-ii/ …
#themorningpaper - Part II. MRDTs brought to life in the Quark implementation...pic.twitter.com/hDteV20dN1
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
MRDTs build on top of the amazing work done by our friends at Cambridge (
@eriangazag@avsm@Dinoosaure et al) on Irmin - a content-addressable persistent data store.Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The Morning Paper covers our OOPSLA'19 on MRDTs -- Replicated Data Types that can be derived from first principles!https://twitter.com/kc_srk/status/1198879613025312768 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Gowtham proslijedio/la je Tweet
In my speech I mentioned that if
#MarkZuckerberg and tech CEOs allow a foreign power to interfere in our election (again) or facilitate another genocide (like Myanmar), perhaps they should be sent to jail. My full speech here:https://youtu.be/ymaWq5yZIYMHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Gowtham proslijedio/la je Tweet
I'm the opposite. If there's such a high chance someone else will scoop you, you're working on the wrong problem. Someone else will solve it anyway; move on to something that not enough people are thinking about. Paranoia is unhealthy; if it's necessary, switch problems. Solved.https://twitter.com/lintool/status/1193712653019033602 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Just listened to
@mattmight speak about literally saving lives using PL in precision medicine. I now have existential crisis.Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Gowtham proslijedio/la je Tweet
Lack of diversity in tech is no accident. Peter Thiel, founder of PayPal, returned to his alma mater Stanford in 2012 to teach his now famous "CS183: Startups" course. Thiel invited PayPal co-founder Max Levchin to guest lecture and asked Levchin "How do you build culture?" :pic.twitter.com/3gabIP2fS9
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Gowtham proslijedio/la je Tweet
GRE is expensive ($215), designed to be confusing (4 hour test, sections that don’t count, arbitrary opaque score scale), charges you to even report _your_ scores, unfair towards ESL students, and a not a measure for grad program ability. It shouldn’t be a requirement.https://twitter.com/ArjunGuha/status/1179366806684913670 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Yesterday I foisted weak isolation on unsuspecting undergrads attending my Software Engineering class
pic.twitter.com/Bgqd9EoZBe
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Gowtham proslijedio/la je Tweet
I'm looking for research software engineers to come hack on Multicore OCaml with me at
@iitmadras. http://kcsrk.info/ocaml/multicore/job/2019/09/16/1115-multicore-job/ …#OCaml#JobsHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Qn for PL/SE twitter - In the context of testing (bug finding), does soundness mean the absence of false positives or false negatives? AFAIK in verification soundness means no false negatives - you cannot miss violations of a property P, when you claim the program satisfes P.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoniš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.