@HilaCodes

Assistant Professor at @TechnionLive CS. Researches program synthesis and hopes to bring about the robot apocalypse. (she/her)

 Israel
cs.technion.ac.il/~hilap/
Joined November 2018
  • Tweets6K
  • Following368
  • Followers2K
722Media
Replying to @HilaCodes
Speaking of postdocs, I'm hiring! If you're either a SE person with experience managing observational studies and tool studies, or a PL person who's into synthesis....or both, both is good! and want to come postdoc where the winters are warm and the beaches are sandy, talk to me!
3
7
20
4,952
Hila Peleg is not here 🦋 retweeted
Joe@alpha_convert6 Oct 2023
Benjamin, describing Luca Cardelli's switch from PL to Computational biology: "He's putting the code in the bugs now, instead of the other way around"
2
24
184
15,466
VL/HCC keynote by @roboticwrestler 🤩
1
2
26
2,138
😂
1
4
713
"I'm not going to say people are lazy, they... conserve their cognitive effort." --@roboticwrestler
3
11
1,393
Hila Peleg is not here 🦋 retweeted
Ofra Amir@ofraam3 Oct 2023
I'm recruiting PhD students through the ELLIS PhD program this year to work on explainable AI and human-AI interaction. The application deadline is Nov 15. Feel free to reach out if interested
ELLIS@ELLISforEurope29 Sep 2023
The portal is open: Our #ELLISPhD Program is now accepting applications! Apply by November 15 to work with leading #AI labs across Europe and choose your advisors among 200 top #machinelearning researchers! #JoinELLISforEurope #PhD #PhDProgram #ML ellis.eu/news/ellis-phd-prog…

ELLIS PhD Program: Call for applications 2023

The call is closed. The ELLIS PhD program is a key pillar of the ELLIS initiative whose goal is to foster and educate the best talent in machine learning and related research areas by pairing...

ellis.eu
2
11
1
29
4,702
Now that the POPL decisions are out I'm just going to save everyone time and dedicate this to myself spotify.link/g8g3UxgmBDb

The Song For Phil Daoust

Tim Minchin · Song · 2009

spotify.link
3
634
Excuse me, sir, I'm here to see Mulder and Scully
2
15
1,783
Wait, coffee, lemonade AND seltzer?? Really?
1
1
646
I love that the concept of a tram is so new to Tel Aviv that all the ad screens are still running videos about how to ride the tram
1
1
12
959
To the people complaining about the lack of power outlets on the tram: it's... a tram.
3
347
Hila Peleg is not here 🦋 retweeted
Yotam Feldman@yotamfe28 Sep 2023
(Which reminds me that after one talk, I said in response to a question that I can show a bit more of the technical details if people want, eliciting the response "Please no, I confess!")
1
2
3
884
Hila Peleg is not here 🦋 retweeted
Yotam Feldman@yotamfe28 Sep 2023
My PhD thesis is officially approved! To celebrate, here is the annotated version of its best parts, starting with what is unequivocally my greatest contribution to the genre:
6
7
78
9,172
Due to an advertising mishap I'm arriving at VL/HCC a day early and will be hanging out around DC on Monday. Anyone already there in time for lunch or an early dinner?
3
557
Waiting for the last person on the text chain to graduate so we can finally do the scene from Spies Like Us.
2
444
Hila Peleg is not here 🦋 retweeted
Stephanie Insley Hershinow@S_Insley_H24 Sep 2023
Shel Silverstein on ChatGPT.
3
91
1
561
42,247
Gotta be either when Judy Dench sat in front of me during Company 2019 and I was too polite to say anything until the guys next to us did during the traffic jam for the exit, or two weeks later when Patty LuPone looked me in the eyes for about a third of Ladies Who Lunch.
Joey
@gothamhiphop21 Sep 2023
What’s your favorite interaction you’ve had with a celebrity?
1
3
1,487
Hey, PL folks! Are you coming to @splashcon? Are you there on Monday? If so, you should come mentor at PLMW! There will be a mentoring session at 4:30pm on Monday, and if you want to come hang out with the PLMW mentees, you can sign up here: forms.gle/ZG8zkdqwDDcrg5aEA

PLMW@SPLASH 2023 Mentor RSVP

Thanks for your interest in serving as a mentor for PLMW@SPLASH! Filling out this RSVP form really helps us get a sense of when mentors are available and to allow our students to plan who they may...

docs.google.com
6
5
1,875
Post a picture of yourself and the character you are in your head
Aya Yadlin@Tweeting_Aya15 Sep 2023
Post a picture of yourself and the character you are in your head
3
2
14
7,410
Typed into Google "Lisbon airport to cas" and it autocompleted "to Casablanca", and no, Google, other way around.
7
676
I just need Peter Falk to occasionally interrupt episodes of SNW and go "she doesn't get eaten by the gorn at this time". We already have Carol Kane, feels like a small ask.
1
1
483
Load more