|
Saif Un Noor Prottoy
@
saifnoorprottoy
|
|
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
@andreymokhov
|
29. sij |
|
This year the @PLDI conference hosts the first Build Automation and Programming Languages workshop: pldi20.sigplan.org/home/bapl-2020
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!
|
||
|
|
||
|
Saif Un Noor Prottoy
@saifnoorprottoy
|
5. velj |
|
|
||
| Saif Un Noor Prottoy proslijedio/la je tweet | ||
|
blahblahblah
@zeeshanlakhani
|
3. velj |
|
❤️ On the Relationship Between Static Analysis and Type Theory ~ semantic-domain.blogspot.com/2019/08/on-rel… by Neel Krishnaswami.
|
||
|
|
||
|
Saif Un Noor Prottoy
@saifnoorprottoy
|
5. velj |
|
|
||
| Saif Un Noor Prottoy proslijedio/la je tweet | ||
|
Steven Pinker
@sapinker
|
5. velj |
|
Third lecture in my Harvard course on Rationality, "Logic and Logical Thinking": harvard.hosted.panopto.com/Panopto/Pages/…
|
||
|
|
||
| Saif Un Noor Prottoy proslijedio/la je tweet | ||
|
Rust Language
@rustlang
|
4. velj |
|
|
||
|
|
||
| Saif Un Noor Prottoy proslijedio/la je tweet | ||
|
MIT CSAIL
@MIT_CSAIL
|
4. velj |
|
Happy birthday to Ken Thompson, designer of Unix - the pioneering OS that Linux is based on: ubm.io/2bP3s0m pic.twitter.com/vplpbxQPzv
|
||
|
|
||
| Saif Un Noor Prottoy proslijedio/la je tweet | ||
|
Vinod Grover
@vinodg
|
3. velj |
|
NVIDIA is hiring PL and compiler researchers for deep learning and domain specific languages in Seattle. compiler-jobs@nvidia.com
|
||
|
|
||
| Saif Un Noor Prottoy proslijedio/la je tweet | ||
|
Jean Yang ⚡
@jeanqasaur
|
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.
|
||
|
|
||
|
Saif Un Noor Prottoy
@saifnoorprottoy
|
2. velj |
|
Nominal & Structural Typing
Differences between nominal and structural typing
flow.org/en/docs/lang/n…
|
||
|
|
||
| Saif Un Noor Prottoy proslijedio/la je tweet | ||
|
Zachary Lipton
@zacharylipton
|
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.
|
||
|
|
||
|
Saif Un Noor Prottoy
@saifnoorprottoy
|
2. velj |
|
|
||
| Saif Un Noor Prottoy proslijedio/la je tweet | ||
|
Catalin Hritcu
@chritcu
|
1. velj |
|
Why learn functional programming?
youtube.com/watch?v=Fi83KO…
|
||
|
|
||
| Saif Un Noor Prottoy proslijedio/la je tweet | ||
|
ICOOOLPS Workshop
@ICOOOLPS
|
31. sij |
|
The website for ICOOOLPS’20 is now live including our #CallForPapers!
We look forward to a great workshop at @ECOOPconf’20!
➡️ 2020.ecoop.org/home/ICOOOLPS-… pic.twitter.com/WYxCgWIfZJ
|
||
|
|
||
| Saif Un Noor Prottoy proslijedio/la je tweet | ||
|
ShriramKrishnamurthi
@ShriramKMurthi
|
1. velj |
|
First they came for Meta Language
And I did not speak out
Because I used OCaml... twitter.com/laurence_diver…
|
||
|
|
||
|
Saif Un Noor Prottoy
@saifnoorprottoy
|
31. sij |
|
I just printed the paper titled plankton!
|
||
|
|
||
|
Saif Un Noor Prottoy
@saifnoorprottoy
|
31. sij |
|
NSDI 2020 papers on network verification 🙄
|
||
|
|
||
|
Saif Un Noor Prottoy
@saifnoorprottoy
|
31. sij |
|
Always an inspiration @bariskasikci your papers from @ICepfl and now that tweet. Thanks! twitter.com/bariskasikci/s…
|
||
|
|
||
| Saif Un Noor Prottoy proslijedio/la je tweet | ||
|
Dimitrios Vytiniotis
@dvytin
|
30. sij |
|
Our team at @DeepMind 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!
deepmind.com/careers/jobs/1…
deepmind.com/careers/jobs/4…
|
||
|
|
||
| Saif Un Noor Prottoy proslijedio/la je tweet | ||
|
Tweag I/O
@tweagio
|
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” tweag.io/posts/2020-01-…
|
||
|
|
||