Peeyush Kushwaha

@PeeyFTW

PL and Verification. I'm a polyglot but best known for JavaScript.

Vrijeme pridruživanja: rujan 2011.

Tweetovi

Blokirali ste korisnika/cu @PeeyFTW

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

  1. Prikvačeni tweet
    29. lip 2018.
    Poništi
  2. proslijedio/la je Tweet
    28. pro 2019.

    This is still really, really good. Basically the future I want. "In Praise of Idleness" by Bertrand Russell, 1932.

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

    Definitely still relevant after 30 years😂

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

    The joy and motivating power of Ultimate.

    Poništi
  5. proslijedio/la je Tweet

    Thinking of the political landscape as left-center-right—a one-dimensional spectrum—is insufficient. Making it a square brings more nuance into our thinking and discussions.

    Poništi
  6. proslijedio/la je Tweet

    Building a project that hadn't been touched in a year. Updated NDK was causing a problem with the old gradle. Update that, and there were problems in the project gradle file, Fix that, and there were deprecations in VrApi. Build issues suck the joy out of programming for me.

    Poništi
  7. proslijedio/la je Tweet
    16. pro 2019.

    Why don't we have research bands? I want to be in a research band. We would drop singles (POPL/PLDI papers), B-sides (appendices with meta-theory), and albums (long series of follow-up work, only for devoted fans)

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

    (foldr f z), 2019, colorized.

    Poništi
  9. 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
  10. proslijedio/la je Tweet
    8. pro 2019.

    I finally got around to writing down some of those radical ideas for academic peer review. What do you think? Should we blow it all up and start over?

    Poništi
  11. proslijedio/la je Tweet
    29. srp 2019.

    Apparently ARMv8 added a new CPU instruction specifically for running Javascript faster.

    Poništi
  12. proslijedio/la je Tweet
    5. pro 2019.

    Architectural choices aren't the only thing that determines those abilities, but they surely contribute. A poorly factored, hard to test, spaghetti mess of a system might be easier to come up with at first, but will tank your productivity soon enough.

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

    Two important lessons I learned in my twenties: - If you think everyone hates you, you probably need to sleep. - If you think you hate everyone, you probably need to eat.

    Poništi
  14. proslijedio/la je Tweet
    4. pro 2019.

    If you must start with a group brainstorm, start by brainstorming questions rather than ideas. Your project will be 1000% more pleasant and successful.

    Prikaži ovu nit
    Poništi
  15. proslijedio/la je Tweet
    3. pro 2019.
    Prikaži ovu nit
    Poništi
  16. 27. stu 2019.
    Poništi
  17. proslijedio/la je Tweet
    26. stu 2019.

    This year, cooperates with to provide an alternative, optional route to artifact creation based on online notebooks. Authors are expected to profit from an easier artifact creation process and wider visibility of their artifact.

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

    normal people: hot topic? let's make money off of it PL researchers: hot topic? let's formally define its semantics

    Poništi
  19. proslijedio/la je Tweet
    15. stu 2019.

    I wrote about making my own PhD (and wrapping up my time in open source!):

    Poništi
  20. proslijedio/la je Tweet
    22. stu 2019.

    As a manager, you set the tone of your team & employees. Every day is an opportunity to either make ppl thrive or make them feel stress. A lot of how you operate your teams and people also affect their home lives. It’s a big responsibility that I think a lot of management forgets

    Poništi
  21. proslijedio/la je Tweet

    I have never ever ever seen a university statement like this. My god. Statements: Office of the Provost & Executive Vice President: Indiana University Bloomington

    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:

    ·