Maruth Goyal

@MaruthG

'22, Turing Scholar PL boi @ UToPiA

Vrijeme pridruživanja: siječanj 2020.

Tweetovi

Blokirali ste korisnika/cu @MaruthG

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

  1. proslijedio/la je Tweet
    1. velj

    "dress for the job you want" refers to typesetting all your homework with the LaTeX template of a journal you dream of being published in

    Prikaži ovu nit
    Poništi
  2. proslijedio/la je Tweet
    31. sij

    My student Denis wrote a formal semantics for the French tax code, complete with Coq proof of soundness and SMT queries to uncover unfair tax hikes. PL for fiscal justice!

    Prikaži ovu nit
    Poništi
  3. proslijedio/la je Tweet
    30. sij

    Why aren’t there more Country songs about neural nets? They are all about taking in loss, embracing that loss, making the loss flow through you until you become better

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

    confession: sometimes programming is so hard I sit at my desk for hours at a time doing nothing, before just forcing myself (very hard) to dive in and get in the zone. Ugh.

    Poništi
  5. proslijedio/la je Tweet
    28. sij

    My wife and I never talk to our kids. We ask them to submit all communications anonymously through rigorous and double-blind peer review. My daughter is 5 and has 21 publications in high-impact journals. My daughter can burn holes in furniture using only her eyes

    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:

    ·