Hari K Raghavan

@vulcan_hkr

PL, ML, politics, heavy metal..

Bangalore
Vrijeme pridruživanja: svibanj 2013.

Tweetovi

Blokirali ste korisnika/cu @vulcan_hkr

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

  1. proslijedio/la je Tweet
    23. sij

    I study genocide. It's been a theme in my academic endeavours for nearly 30 years. More accurately, I study the conditions in the lead up to genocide, be they cultural, social, political, economic, etc... 1/n

    Prikaži ovu nit
    Poništi
  2. proslijedio/la je Tweet
    18. pro 2019.

    Since we're talking about Google being less than nice towards its workers, here's a fun little story from my days there. There were two things that I really didn't like about Google at the time: The Google+ saga (realnames et al), and the IP ownership policy.

    Prikaži ovu nit
    Poništi
  3. proslijedio/la je Tweet
    4. pro 2019.

    Our new paper, Deep Learning for Symbolic Mathematics, is now on arXiv We added *a lot* of new results compared to the original submission. With (1/7)

    Prikaži ovu nit
    Poništi
  4. proslijedio/la je Tweet
    29. stu 2019.

    Reversible cellular automata are very special. They are cellular automata where information never gets destroyed. They have lots of special properties and often don't behave like normal CAs. More posts about them to follow!

    Prikaži ovu nit
    Poništi
  5. proslijedio/la je Tweet
    4. stu 2019.

    ☸️ The last unenlightened man in the world. A magnificent satire on Buddhism by

    Poništi
  6. proslijedio/la je Tweet
    12. lis 2019.

    So in 's livestream yesterday he mentioned his 'recent neural qubit paper'. I've found that huge chunks of it are plagiarised from a paper by Nathan Killoran, Seth Lloyd, and co-authors. E.g., in the attached images, red is Siraj, green is original

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

    Seems many of you miss Reader too. Some have asked for clarification, which I've written up as a blog post:

    Prikaži ovu nit
    Poništi
  8. proslijedio/la je Tweet
    4. lis 2019.

    The little boy looked at me with a haunted expression and said, I see anagrams. My face turned pale. You mean, like word jumbles, I asked. Yes, he said. He pointed to a sign and asked me what I saw. STOP I said. He said, I see POTS. Sometimes, POST, or OPTS or TOPS. +

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

    Introducing the Hippocratic License: a modified MIT license that specifically prohibits the use of open source software to harm others.

    Poništi
  10. proslijedio/la je Tweet

    This talk was a labor of love for me. This paper (Felleisen's "On the Expressive Power of Programming Languages") changed my life. I was delighted to revisit it 25 years after reading it. [thread»]

    Prikaži ovu nit
    Poništi
  11. proslijedio/la je Tweet
    18. ruj 2019.

    Imagine you're a designer or mathematician living in ancient Rome. Being a curious & imaginative sort, used to exploring wild ideas, you ask yourself: is there some way you can improve on the roman numeral system? Might it be possible to find a better way of representing number?

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

    What's in a name? "Formal verification" might be due for a change, says Nikhil Swamy in today's PL Perspectives post.

    Poništi
  13. proslijedio/la je Tweet

    1/n Since the launch of Chandrayaan-2 on July 22, 2019, India and the world watched its progress from one phase to the next with great expectation and excitement.

    Prikaži ovu nit
    Poništi
  14. proslijedio/la je Tweet
    31. kol 2019.

    [Thread] As promised, today I want to tell you of how I became friends with a Twitter troll called Angus Gallagher. Angus recently had a sex/ethnicity reassignment operation. He is now called Jasmine, but we'll come to that a bit later. First though, say hi to Angus

    Prikaži ovu nit
    Poništi
  15. proslijedio/la je Tweet
    28. kol 2019.

    Shout out to "The Power of Prolog", a relatively new YouTube channel who are regularly producing videos. Give them some encouragement and subscribe here:

    Poništi
  16. proslijedio/la je Tweet
    25. kol 2019.

    New blog post by Neel Krishnaswami: On the Relationship Between Static Analysis and Type Theory

    Poništi
  17. proslijedio/la je Tweet
    2. srp 2019.

    PL/Formal methods twitter: what are some examples of academic ideas from PL/FM from the last 25 years that have had demonstrable real-world impact? To start the list: 1) SAT-based model checking, applied to hardware.

    Poništi
  18. proslijedio/la je Tweet
    28. lip 2019.

    this is the worst sentence I have ever read

    Poništi
  19. proslijedio/la je Tweet
    28. lip 2019.

    Deep Learning from the Foundations course is here!!! 15 hours of videos, Jupyter notebooks, all free. Covers foundations of deep learning, state of the art research, & software engineering best practices. All new material!

    Deep Learning from the Foundations

Written: 28 Jun 2019 by Jeremy Howard

Today we are releasing a new course (taught by me), Deep Learning from the Foundations, which shows how to build a state of the art deep learning model from scratch. It takes you all the way from the foundations of implementing matrix multiplication and back-propogation, through to high performance mixed-precision training, to the latest neura
    Prikaži ovu nit
    Poništi
  20. proslijedio/la je Tweet

    Dark patterns are everywhere. In a year-long study we just released, we found dark patterns on over 1,200 sites, with about 200 sites being straight up deceptive. Paper and data: NYT article by based on our study:

    Prikaži ovu nit
    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:

    ·