Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @saifnoorprottoy
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @saifnoorprottoy
-
Prikvačeni tweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Saif Un Noor Prottoy proslijedio/la je Tweet
NVIDIA is hiring PL and compiler researchers for deep learning and domain specific languages in Seattle. compiler-jobs@nvidia.com
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Saif Un Noor Prottoy proslijedio/la je Tweet
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.Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nominal & Structural Typing Differences between nominal and structural typing https://flow.org/en/docs/lang/nominal-structural/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Saif Un Noor Prottoy 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.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Saif Un Noor Prottoy proslijedio/la je Tweet
Why learn functional programming?https://www.youtube.com/watch?v=Fi83KOAqWb4 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Saif Un Noor Prottoy proslijedio/la je Tweet
The website for ICOOOLPS’20 is now live including our
#CallForPapers! We look forward to a great workshop at@ECOOPconf’20!
https://2020.ecoop.org/home/ICOOOLPS-2020#Call-for-Papers-ICOOOLPS-20 …pic.twitter.com/WYxCgWIfZJ
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Saif Un Noor Prottoy proslijedio/la je Tweet
First they came for Meta Language And I did not speak out Because I used OCaml...https://twitter.com/laurence_diver/status/1223179516417323008 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Always an inspiration
@bariskasikci your papers from@ICepfl and now that tweet. Thanks!https://twitter.com/bariskasikci/status/1222945141083656193 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Saif Un Noor Prottoy proslijedio/la je Tweet
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! https://deepmind.com/careers/jobs/1796254 … https://deepmind.com/careers/jobs/470166 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Saif Un Noor Prottoy proslijedio/la je Tweet
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”https://www.tweag.io/posts/2020-01-30-haskell-profiling.html …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Saif Un Noor Prottoy proslijedio/la je Tweet
"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,
@int_index:https://serokell.io/blog/developing-ghc-for-a-living?utm_source=twitter&utm_medium=social&utm_campaign=ghc_interview …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Saif Un Noor Prottoy proslijedio/la je Tweet
Hello all! Welcome to Coq's official Twitter! We will share exciting news and events related to Coq; see https://github.com/coq/coq for the proper channels for bug reports or technical discussion. This account is community-managed by
@ejgallego,@falsenov, and@Zimm_i48. Have fun!Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Saif Un Noor Prottoy proslijedio/la je Tweet
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.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Saif Un Noor Prottoy proslijedio/la je Tweet
Panelists: Brigitte Pientka, Scott Owens, Xavier Leroy,
@rfindler, Peter Sewell, and Benjamin Pierce. (I was the moderator.)Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Saif Un Noor Prottoy proslijedio/la je Tweet
The quest to mechanize proofs of programming language properties was spurred by the POPLmark Challenge, 15 years back.
@TaliaRinger considers where we are now while recapping the distinguished@poplconf panel she organized to discuss POPLmark's impact.https://blog.sigplan.org/2020/01/29/mechanized-proofs-for-pl-past-present-and-future/ …Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Saif Un Noor Prottoy proslijedio/la je Tweet
Alexandra Silva
@alexandra8silva 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: https://arxiv.org/abs/2001.10022Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Saif Un Noor Prottoy proslijedio/la je Tweet
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:https://www.akitasoftware.com/careers Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Saif Un Noor Prottoy proslijedio/la je Tweet
Just returned from
@poplconf 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?https://www.youtube.com/channel/UCwG9512Wm7jSS6Iqshz4Dpg/playlists …Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoniš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.