Gowtham

@GowthamK

PL Research @ Purdue CS.

West Lafayette, IN
Vrijeme pridruživanja: veljača 2009.

Tweetovi

Blokirali ste korisnika/cu @GowthamK

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @GowthamK

  1. proslijedio/la je Tweet
    29. sij

    And this is why we need basic research. Someone is out there today is coming up with answers to questions you'll have tomorrow.

    Poništi
  2. proslijedio/la je Tweet
    Poništi
  3. proslijedio/la je Tweet
    18. pro 2019.

    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 nit
    Poništi
  4. proslijedio/la je Tweet
    16. pro 2019.

    It's end of term again for . Here are a few highlights from the 50 papers we looked at this term: . The Morning Paper will resume again on Monday 6th January...

    Poništi
  5. proslijedio/la je Tweet

    It’s officially “why do I live here” season

    Poništi
  6. 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 nit
    Poništi
  7. 7. pro 2019.

    Thankfully, my new car won't get stuck.

    Poništi
  8. 29. stu 2019.

    Git's merge algorithm doesn't quite work as we expect. This can have security implications, as I describe here: 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.

    Poništi
  9. proslijedio/la je Tweet
    27. stu 2019.

    "Mergeable replicated data types" Kaki et al., OOPSLA'19 - Part II. MRDTs brought to life in the Quark implementation...

    Poništi
  10. 25. stu 2019.

    MRDTs build on top of the amazing work done by our friends at Cambridge ( et al) on Irmin - a content-addressable persistent data store.

    Prikaži ovu nit
    Poništi
  11. 25. stu 2019.

    The Morning Paper covers our OOPSLA'19 on MRDTs -- Replicated Data Types that can be derived from first principles!

    Prikaži ovu nit
    Poništi
  12. proslijedio/la je Tweet

    In my speech I mentioned that if 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:

    Poništi
  13. 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.

    Poništi
  14. 23. lis 2019.

    Just listened to speak about literally saving lives using PL in precision medicine. I now have existential crisis.

    Poništi
  15. 22. lis 2019.

    In Athens for OOPSLA . Great views around!

    Poništi
  16. proslijedio/la je Tweet
    19. lis 2019.

    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?" :

    The notion that diversity in an early team is important or good is completely wrong. You should try to make the early team as non-diverse as possible. There are a few reasons for this. The most salient is that, as a startup, you’re underfunded and undermanned. It’s a big disadvantage; not only are you probably getting into trouble, but you don’t even know what trouble that may be. Speed is your only weapon.
    Prikaži ovu nit
    Poništi
  17. proslijedio/la je Tweet
    6. lis 2019.

    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.

    Prikaži ovu nit
    Poništi
  18. 21. ruj 2019.

    Yesterday I foisted weak isolation on unsuspecting undergrads attending my Software Engineering class 🤓

    Poništi
  19. proslijedio/la je Tweet
    16. ruj 2019.

    I'm looking for research software engineers to come hack on Multicore OCaml with me at .

    Poništi
  20. 13. ruj 2019.

    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.

    Poniš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.

    Možda bi vam se svidjelo i ovo:

    ·