|
@dvytin | |||||
|
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!
deepmind.com/careers/jobs/1…
deepmind.com/careers/jobs/4…
|
||||||
|
||||||
|
OSS FPGA & EDA tools
@ico_TC
|
31. sij |
|
How about better languages for programming FPGAs?
|
||
|
|
||
|
Torsten Scholak
@tscholak
|
31. sij |
|
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?
|
||
|
|
||
|
Torsten Scholak
@tscholak
|
31. sij |
|
especially since you invented Haskell’s outside-in constraint solving algorithm :D — coincidentally, I started reading on it yesterday after musing over @Lowert’s thesis on matchability and partially applied type families...
|
||
|
|
||
|
Mark Saroufim
@formalsystem
|
31. sij |
|
You should hire @breandan
|
||
|
|
||
|
breandan
@breandan
|
2. velj |
|
Thanks for the kind words, but I'm quite happy here in Montreal. You should visit sometime! :)
|
||
|
|
||
|
P. Merlin Drews, PhD
@the_data_wizard
|
31. sij |
|
This looks interesting! Very interested in ML and just finished my PhD in programming language research.
|
||
|
|
||
|
Janit Anjaria
@janit92
|
31. sij |
|
|
||
|
Hugo Venturini
@monsieurv
|
1. velj |
|
Nothing in Paris?
|
||
|
|
||
|
Mark Saroufim
@formalsystem
|
31. sij |
|
I'm very interested. I think we're still in baby phase when it comes to better languages for ML.
All my info here news.ycombinator.com/item?id=219364…
|
||
|
|
||