Saif Un Noor Prottoy

@saifnoorprottoy

I work on the intersection of programming languages theory and reliable softwares .

Vrijeme pridruživanja: lipanj 2015.

Tweetovi

Blokirali ste korisnika/cu @saifnoorprottoy

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

  1. Prikvačeni tweet
    Poništi
  2. proslijedio/la je Tweet
    prije 12 sati

    NVIDIA is hiring PL and compiler researchers for deep learning and domain specific languages in Seattle. compiler-jobs@nvidia.com

    Poništi
  3. proslijedio/la je Tweet
    prije 8 sati

    Had a good convo about how self-care enables, rather than detracts from, achievement. My personal self-care rules: 💆🏻 If you go hard, you need to rest hard. 📈 The longer you wait to take a break, the bigger of a break you'll need to take. ⏲️ Any rest is better than no rest.

    Poništi
  4. 2. velj

    Nominal & Structural Typing Differences between nominal and structural typing

    Poništi
  5. proslijedio/la je Tweet

    The field is already self-correcting. Good departments/labs are clearing their eyes, caring less about paper count, seeing through the noise. Don't worry so much about the ICML deadline. Slow down, relax, try to do work you're proud of, submit when it's ready.

    Poništi
  6. 2. velj
    Poništi
  7. proslijedio/la je Tweet
    1. velj

    Why learn functional programming?

    Poništi
  8. proslijedio/la je Tweet
    31. sij

    The website for ICOOOLPS’20 is now live including our ! We look forward to a great workshop at ’20! ➡️

    Poništi
  9. proslijedio/la je Tweet
    1. velj

    First they came for Meta Language And I did not speak out Because I used OCaml...

    Poništi
  10. 31. sij

    Always an inspiration your papers from and now that tweet. Thanks!

    Poništi
  11. proslijedio/la je Tweet
    30. sij

    Our team at is hiring engineers and researchers in PL, compilers, systems etc. Come work with us on challenging problems and help shape the next generation of AI infrastructure!

    Poništi
  12. proslijedio/la je Tweet
    30. sij

    A lot gets written about how to write Haskell code, but much less about how to successfully hunt down performance bugs using profiling. That makes our latest blog post all the more interesting: “Locating performance bottlenecks in large Haskell codebases”

    Poništi
  13. proslijedio/la je Tweet
    29. sij

    "For me, a programming language is an instrument of thought, and I’d like this instrument to be as versatile as possible." Read an interview with one of our GHC developers, :

    Poništi
  14. proslijedio/la je Tweet
    27. sij

    Hello all! Welcome to Coq's official Twitter! We will share exciting news and events related to Coq; see for the proper channels for bug reports or technical discussion. This account is community-managed by , , and . Have fun!

    Poništi
  15. proslijedio/la je Tweet
    30. sij

    Student: my Emacs doesn't highlight OCaml errors. Me: No worries, let me see (trying to open ~/.emacs with no success) S: Oh, in my keyboard layout Ctrl and Caps Lock are swapped. Me: Ok, now let's start the mode (no luck here either) S: ... and I also swapped Alt and Shift.

    Poništi
  16. proslijedio/la je Tweet
    29. sij

    Panelists: Brigitte Pientka, Scott Owens, Xavier Leroy, , Peter Sewell, and Benjamin Pierce. (I was the moderator.)

    Prikaži ovu nit
    Poništi
  17. proslijedio/la je Tweet
    29. sij

    The quest to mechanize proofs of programming language properties was spurred by the POPLmark Challenge, 15 years back. considers where we are now while recapping the distinguished panel she organized to discuss POPLmark's impact.

    Prikaži ovu nit
    Poništi
  18. proslijedio/la je Tweet
    29. sij

    Alexandra Silva does some of the coolest work in SDN + PL + Formal Methods. Excited to read this new paper from her and colleagues that popped up on arXiv today:

    Poništi
  19. proslijedio/la je Tweet
    27. sij

    We're moving from Palo Alto to downtown San Mateo at the end of the week. 📦🚛 If our relocation has suddenly made us more attractive as a place to work, we welcome you to visit our Careers page:

    Poništi
  20. 27. sij
    Poništi
  21. proslijedio/la je Tweet
    27. sij

    Just returned from and the CPP and PriSC talk recordings are already available online. Benjamin Chung and the other volunteers did an amazing job at recording the talks! The main conference coming soon too?

    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:

    ·