Ron Garcia

@rg9119

Transmogrifies coffee into LaTeX at University of British Columbia

Vrijeme pridruživanja: svibanj 2010.

Tweetovi

Blokirali ste korisnika/cu @rg9119

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

  1. proslijedio/la je Tweet
    prije 16 sati

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

    Poništi
  2. proslijedio/la je Tweet
    prije 17 sati

    New paper draft: Toward a Mechanized Compendium of Gradual Typing in which I use Agda and lots of proof reuse to get 9 proofs of type safety for the price of 2.

    Poništi
  3. proslijedio/la je Tweet
    2. velj
    Odgovor korisniku/ci
    Poništi
  4. 1. velj

    Today’s breakfast reading: Alan Bawden. Quasiquotation in Lisp

    Poništi
  5. proslijedio/la je Tweet
    1. velj
    Poništi
  6. proslijedio/la je Tweet
    27. sij

    The Source Tools team at Apple is hiring! Excited about making software development awesome? Come join us to help improve developer tools used by millions of developers!

    Prikaži ovu nit
    Poništi
  7. proslijedio/la je Tweet
    28. sij

    In particular, we're especially interested in giving people research opportunities who otherwise don't have access to fancy research So, underdogs especially are welcome!! ❤️

    Prikaži ovu nit
    Poništi
  8. proslijedio/la je Tweet
    28. sij

    Heya 👋 Want to get research experience at CMU? If you're interested in PL, distributed systems, software engineering, etc we have a program that pays you to come learn to do research with us over the summer! Happy to answer Qs about it! RTs welcome🤗

    Prikaži ovu nit
    Poništi
  9. proslijedio/la je Tweet
    20. sij

    Delft PL has open PhD student positions in dependently typed programming languages, web programming languages, static and dynamic semantics specification, and software restructurings.

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

    Come to Max's talk on Wednesday, in the Gradual Typing / Language Design session!

    Poništi
  11. 15. sij

    Much like this episode of Black Mirror, I want a clone, but responsible for fulfilling my service obligations….wait what do you mean I already have on…oh crap…

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

    During these nightmarish days, decides to fix everything by closing my account for being Iranian. Honestly it almost made me laugh. This will be great for my undergrad class, where students have to deliver everything on github.

    Prikaži ovu nit
    Poništi
  13. proslijedio/la je Tweet
    6. sij

    Georg Cantor (1845-1918) founded set theory and discovered cardinal numbers, died 6 Jan

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

    Apps for APS/IBM Research Internship for Ugrad Women & Underrepresented Minorities are due Jan 31. The goal is to encourage ugrads to pursue graduate studies in science & engineering.

    Poništi
  15. proslijedio/la je Tweet

    Been a tough old year, friends, but not near as tough as 1942. Here's Woody Guthrie's rulin's for putting hard times behind you, written 1st Jan 1943, drawn by Select a dozen to live by and put yourself on the right road for the new decade. Happy New Year to you all

    Poništi
  16. proslijedio/la je Tweet
    22. pro 2019.

    Want to live longer? Try flying first class. Studies have shown that people who fly first class live longer than people who fly economy class.

    Poništi
  17. proslijedio/la je Tweet
    20. pro 2019.

    We're hiring! at our Vancouver campus is seeking a tenure-track instructor with a CS focus, bringing strong technical and teaching aptitude. Apply by Jan. 31.

    Poništi
  18. proslijedio/la je Tweet
    17. pro 2019.

    student interested in societal aspects of climate change? A sociology course is being offered on this topic in the Jan-April 2020 term at . No pre-requisites. Some details are given below.

    Poništi
  19. proslijedio/la je Tweet

    Congrats to , who won a CRA honorable mention for their work on “Practical Sized Typing for Coq”

    Prikaži ovu nit
    Poništi
  20. proslijedio/la je Tweet
    16. pro 2019.

    Interested in a Master's or PhD in Programming Languages or Verification? Come to UBC!

    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:

    ·