Twitter | Pretraživanje | |
Dimitrios Vytiniotis
Our team at 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!
Reply Retweet Označi sa "sviđa mi se" More
OSS FPGA & EDA tools 31. sij
Odgovor korisniku/ci @dvytin @andreymokhov @DeepMind
How about better languages for programming FPGAs?
Reply Retweet Označi sa "sviđa mi se"
Torsten Scholak 31. sij
Odgovor korisniku/ci @dvytin @DeepMind
Sounds interesting, because I’m active in that space myself, working towards joint approaches to neural program synthesis, constraint solving, and type inference... but asking for compiler experts exclusively in C, C++, and Python doesn’t make sense IMO. Why not Haskell?
Reply Retweet Označi sa "sviđa mi se"
Torsten Scholak 31. sij
Odgovor korisniku/ci @dvytin @DeepMind @Lowert
especially since you invented Haskell’s outside-in constraint solving algorithm :D — coincidentally, I started reading on it yesterday after musing over ’s thesis on matchability and partially applied type families...
Reply Retweet Označi sa "sviđa mi se"
Mark Saroufim 31. sij
Odgovor korisniku/ci @dvytin @DeepMind @breandan
You should hire
Reply Retweet Označi sa "sviđa mi se"
breandan 2. velj
Odgovor korisniku/ci @formalsystem @dvytin @DeepMind
Thanks for the kind words, but I'm quite happy here in Montreal. You should visit sometime! :)
Reply Retweet Označi sa "sviđa mi se"
P. Merlin Drews, PhD 31. sij
Odgovor korisniku/ci @dvytin @DeepMind
This looks interesting! Very interested in ML and just finished my PhD in programming language research.
Reply Retweet Označi sa "sviđa mi se"
Janit Anjaria 31. sij
Odgovor korisniku/ci @dvytin @DeepMind @ngsankha
Reply Retweet Označi sa "sviđa mi se"
Hugo Venturini 1. velj
Odgovor korisniku/ci @dvytin @ahcohen @DeepMind
Nothing in Paris?
Reply Retweet Označi sa "sviđa mi se"
Mark Saroufim 31. sij
Odgovor korisniku/ci @dvytin @DeepMind
I'm very interested. I think we're still in baby phase when it comes to better languages for ML. All my info here
Reply Retweet Označi sa "sviđa mi se"