Twitter | Pretraživanje | |
Saif Un Noor Prottoy
I work on the intersection of programming languages theory and reliable softwares .
610
Tweetovi
445
Pratim
55
Osobe koje vas prate
Tweetovi
Saif Un Noor Prottoy proslijedio/la je tweet
Andrey Mokhov 29. sij
This year the conference hosts the first Build Automation and Programming Languages workshop: If you are coming to PLDI or just happen to be in London on Saturday (20 June) morning, please attend and/or submit a talk!
Reply Retweet Označi sa "sviđa mi se"
Saif Un Noor Prottoy 5. velj
Reply Retweet Označi sa "sviđa mi se"
Saif Un Noor Prottoy proslijedio/la je tweet
blahblahblah 3. velj
❤️ On the Relationship Between Static Analysis and Type Theory ~ by Neel Krishnaswami.
Reply Retweet Označi sa "sviđa mi se"
Saif Un Noor Prottoy 5. velj
Reply Retweet Označi sa "sviđa mi se"
Saif Un Noor Prottoy proslijedio/la je tweet
Steven Pinker 5. velj
Third lecture in my Harvard course on Rationality, "Logic and Logical Thinking":
Reply Retweet Označi sa "sviđa mi se"
Saif Un Noor Prottoy proslijedio/la je tweet
Rust Language 4. velj
Why is building more and more with :
Reply Retweet Označi sa "sviđa mi se"
Saif Un Noor Prottoy proslijedio/la je tweet
MIT CSAIL 4. velj
Happy birthday to Ken Thompson, designer of Unix - the pioneering OS that Linux is based on:
Reply Retweet Označi sa "sviđa mi se"
Saif Un Noor Prottoy proslijedio/la je tweet
Vinod Grover 3. velj
NVIDIA is hiring PL and compiler researchers for deep learning and domain specific languages in Seattle. compiler-jobs@nvidia.com
Reply Retweet Označi sa "sviđa mi se"
Saif Un Noor Prottoy proslijedio/la je tweet
Jean Yang ⚡ 3. velj
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.
Reply Retweet Označi sa "sviđa mi se"
Saif Un Noor Prottoy 2. velj
Nominal & Structural Typing Differences between nominal and structural typing
Reply Retweet Označi sa "sviđa mi se"
Saif Un Noor Prottoy proslijedio/la je tweet
Zachary Lipton 1. velj
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.
Reply Retweet Označi sa "sviđa mi se"
Saif Un Noor Prottoy 2. velj
Reply Retweet Označi sa "sviđa mi se"
Saif Un Noor Prottoy proslijedio/la je tweet
Catalin Hritcu 1. velj
Why learn functional programming?
Reply Retweet Označi sa "sviđa mi se"
Saif Un Noor Prottoy proslijedio/la je tweet
ICOOOLPS Workshop 31. sij
The website for ICOOOLPS’20 is now live including our ! We look forward to a great workshop at ’20! ➡️
Reply Retweet Označi sa "sviđa mi se"
Saif Un Noor Prottoy proslijedio/la je tweet
ShriramKrishnamurthi 1. velj
First they came for Meta Language And I did not speak out Because I used OCaml...
Reply Retweet Označi sa "sviđa mi se"
Saif Un Noor Prottoy 31. sij
Odgovor korisniku/ci @zeeshanlakhani @justinesherry
I just printed the paper titled plankton!
Reply Retweet Označi sa "sviđa mi se"
Saif Un Noor Prottoy 31. sij
Odgovor korisniku/ci @justinesherry
NSDI 2020 papers on network verification 🙄
Reply Retweet Označi sa "sviđa mi se"
Saif Un Noor Prottoy 31. sij
Always an inspiration your papers from and now that tweet. Thanks!
Reply Retweet Označi sa "sviđa mi se"
Saif Un Noor Prottoy proslijedio/la je tweet
Dimitrios Vytiniotis 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!
Reply Retweet Označi sa "sviđa mi se"
Saif Un Noor Prottoy proslijedio/la je tweet
Tweag I/O 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”
Reply Retweet Označi sa "sviđa mi se"