Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @rg9119
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @rg9119
-
Ron Garcia 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 -
Ron Garcia proslijedio/la je Tweet
New paper draft: Toward a Mechanized Compendium of Gradual Typing http://arxiv.org/abs/2001.11560 in which I use Agda and lots of proof reuse to get 9 proofs of type safety for the price of 2.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ron Garcia proslijedio/la je Tweet
Cf. "Three comma programmer". https://www.cliki.net/Three%20Comma%20Programmer …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Today’s breakfast reading: Alan Bawden. Quasiquotation in Lisppic.twitter.com/iymzw6oQRO
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ron Garcia proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Ron Garcia proslijedio/la je Tweet
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! https://jobs.apple.com/en-us/details/200133011/source-tools-engineer …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ron Garcia proslijedio/la je Tweet
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 nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ron Garcia proslijedio/la je Tweet
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!
https://www.cmu.edu/scs/isr/reuse/
Happy to answer Qs about it!
RTs welcome
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ron Garcia proslijedio/la je Tweet
Delft PL has open PhD student positions in dependently typed programming languages, web programming languages, static and dynamic semantics specification, and software restructurings. https://pl.ewi.tudelft.nl/hiring/
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ron Garcia proslijedio/la je Tweet
Come to Max's talk on Wednesday, in the Gradual Typing / Language Design session!https://twitter.com/maxsnew/status/1218931182706024449 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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… https://en.wikipedia.org/wiki/White_Christmas_(Black_Mirror) …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ron Garcia proslijedio/la je Tweet
During these nightmarish days,
@github 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.pic.twitter.com/vnkgPpkpXY
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ron Garcia proslijedio/la je Tweet
Georg Cantor (1845-1918) founded set theory and discovered cardinal numbers, died 6 Jan http://www-history.mcs.st-and.ac.uk/Biographies/Cantor.html …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ron Garcia proslijedio/la je Tweet
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.https://www.aps.org/programs/women/scholarships/ibm/index.cfm …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ron Garcia 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
@scriberian Select a dozen to live by and put yourself on the right road for the new decade. Happy New Year to you allpic.twitter.com/JfGwA8K91x
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ron Garcia proslijedio/la je Tweet
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.https://twitter.com/NYTHealth/status/1208754010422939650 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ron Garcia proslijedio/la je Tweet
We're hiring!
@UBC_CS at our Vancouver campus is seeking a tenure-track instructor with a CS focus, bringing strong technical and teaching aptitude. Apply by Jan. 31. http://bit.ly/391v2QE pic.twitter.com/dC4GYkCn2H
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ron Garcia proslijedio/la je Tweet
#UBC student interested in societal aspects of climate change? A sociology course is being offered on this topic in the Jan-April 2020 term at#UBC. No pre-requisites. Some details are given below.pic.twitter.com/qyHZPQlDBu
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ron Garcia proslijedio/la je Tweet
Congrats to
@ionathanch, who won a CRA honorable mention for their work on “Practical Sized Typing for Coq”https://cra.org/about/awards/outstanding-undergraduate-researcher-award/ …Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ron Garcia proslijedio/la je Tweet
Interested in a Master's or PhD in Programming Languages or Verification? Come to UBC! http://lists.seas.upenn.edu/pipermail/types-announce/2019/008680.html …
Hvala. 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.
