Hila Peleg
@hilacodes.bsky.social
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
E-graphs Dagstuhl coming to an end, and we're all going to try getting places in this weather. Wish us all luck...
January 9, 2026 at 8:34 AM
E-graphs Dagstuhl coming to an end, and we're all going to try getting places in this weather. Wish us all luck...
Reposted by Hila Peleg
Good morning
Me heading into 2026
Me heading into 2026
January 2, 2026 at 4:32 PM
Good morning
Me heading into 2026
Me heading into 2026
High art.
I had a dream about a musical called "Faculty Meeting" and weirdly it was good?
The first number is about someone objecting to approving the minutes without unanimous consent but not offering a correction. This is how we meet The Parliamentarian, our narrator.
The first number is about someone objecting to approving the minutes without unanimous consent but not offering a correction. This is how we meet The Parliamentarian, our narrator.
December 30, 2025 at 3:12 PM
High art.
Reposted by Hila Peleg
New favourite quote 😅
"Any sufficiently well explained mathematics is indistinguishable from being obvious" - Matt parker standupmaths
"Any sufficiently well explained mathematics is indistinguishable from being obvious" - Matt parker standupmaths
December 12, 2025 at 9:21 PM
New favourite quote 😅
"Any sufficiently well explained mathematics is indistinguishable from being obvious" - Matt parker standupmaths
"Any sufficiently well explained mathematics is indistinguishable from being obvious" - Matt parker standupmaths
Wait I have to hear about this from the youtube algorithm instead of on here???
youtu.be/PZ_ebxkNZmo
youtu.be/PZ_ebxkNZmo
Professor Answers Coding Questions | Tech Support | WIRED
YouTube video by WIRED
youtu.be
December 12, 2025 at 10:28 PM
Wait I have to hear about this from the youtube algorithm instead of on here???
youtu.be/PZ_ebxkNZmo
youtu.be/PZ_ebxkNZmo
Reposted by Hila Peleg
Computing @ Imperial are hiring four Ass. / Assoc. Profs! Priority areas:
- PL
- Systems
- Security
- Software Eng.
- Computer Architecture
- Theoretical Computer Science
Applications from individuals from underrepresented groups especially welcome!
www.imperial.ac.uk/jobs/search-...
- PL
- Systems
- Security
- Software Eng.
- Computer Architecture
- Theoretical Computer Science
Applications from individuals from underrepresented groups especially welcome!
www.imperial.ac.uk/jobs/search-...
Description
Please note that job descriptions are not exhaustive, and you may be asked to take on additional duties that align with the key responsibilities ment...
www.imperial.ac.uk
October 15, 2025 at 6:16 AM
Computing @ Imperial are hiring four Ass. / Assoc. Profs! Priority areas:
- PL
- Systems
- Security
- Software Eng.
- Computer Architecture
- Theoretical Computer Science
Applications from individuals from underrepresented groups especially welcome!
www.imperial.ac.uk/jobs/search-...
- PL
- Systems
- Security
- Software Eng.
- Computer Architecture
- Theoretical Computer Science
Applications from individuals from underrepresented groups especially welcome!
www.imperial.ac.uk/jobs/search-...
oh ffs so the RE 3 just never runs properly on Sundays anymore?
a man giving a thumbs up while sitting on a train with a scoreboard that says claimed 2 and 3
ALT: a man giving a thumbs up while sitting on a train with a scoreboard that says claimed 2 and 3
media.tenor.com
December 10, 2025 at 9:56 PM
oh ffs so the RE 3 just never runs properly on Sundays anymore?
Reposted by Hila Peleg
We're admitting PhD students! (Possible co-PIs include @zittrain.bsky.social or @ianarawjo.bsky.social if interests align.) We're excited about:
docs.google.com/document/d/1...
Interested? Fill out the linked form & apply to Harvard SEAS (listing me as faculty of interest) by Dec 15th!
docs.google.com/document/d/1...
Interested? Fill out the linked form & apply to Harvard SEAS (listing me as faculty of interest) by Dec 15th!
PhD advert
CS PhD openings @ Harvard HCI’s Variation Lab advised by Prof. Elena Glassman A little history Founded in the fall of 2018, our small group has been a home for some truly terrific interdisciplinary HC...
docs.google.com
December 8, 2025 at 8:57 PM
We're admitting PhD students! (Possible co-PIs include @zittrain.bsky.social or @ianarawjo.bsky.social if interests align.) We're excited about:
docs.google.com/document/d/1...
Interested? Fill out the linked form & apply to Harvard SEAS (listing me as faculty of interest) by Dec 15th!
docs.google.com/document/d/1...
Interested? Fill out the linked form & apply to Harvard SEAS (listing me as faculty of interest) by Dec 15th!
Overheard on this bus: "frankly I have no energy left, all I want to do is stay in bed and eat mashed potatoes"
Girl, same.
Girl, same.
December 8, 2025 at 3:48 PM
Overheard on this bus: "frankly I have no energy left, all I want to do is stay in bed and eat mashed potatoes"
Girl, same.
Girl, same.
I'm actually impressed with how committed to the winter wonderland bit Europe in December is
December 7, 2025 at 4:13 PM
I'm actually impressed with how committed to the winter wonderland bit Europe in December is
Wow are DB passengers really into computer science or what
December 5, 2025 at 1:36 PM
Wow are DB passengers really into computer science or what
Reposted by Hila Peleg
Closing tabs with papers I promised myself i'll read
December 3, 2025 at 7:17 PM
Closing tabs with papers I promised myself i'll read
it me
“I will do it tomorrow,” said Toad. “Today I will take life easy.”
November 23, 2025 at 8:26 AM
it me
Apparently someone put out bounties on top Israeli academics? What a good day to be exceptionally mid.
November 21, 2025 at 12:12 PM
Apparently someone put out bounties on top Israeli academics? What a good day to be exceptionally mid.
No joy like realizing one just spent 45 minutes debugging the wrong thing. At least the "nothing makes sense!!!" concerns can be dismissed
November 18, 2025 at 8:05 AM
No joy like realizing one just spent 45 minutes debugging the wrong thing. At least the "nothing makes sense!!!" concerns can be dismissed
Prepping to teach tomorrow like, oh yeahhhhhh, C++ has that! I forgot all about that! And also,
a man is wearing blue gloves and says that 's disgusting .
ALT: a man is wearing blue gloves and says that 's disgusting .
media.tenor.com
November 16, 2025 at 9:45 PM
Prepping to teach tomorrow like, oh yeahhhhhh, C++ has that! I forgot all about that! And also,
The last undergraduate class I taught was one that not only did I TA for two years twice a year, we were still using the project I made in 2017. Like, I could probably still tell people what bugs they'd made based on verbal descriptions of symptoms.
November 16, 2025 at 6:58 AM
The last undergraduate class I taught was one that not only did I TA for two years twice a year, we were still using the project I made in 2017. Like, I could probably still tell people what bugs they'd made based on verbal descriptions of symptoms.
Reposted by Hila Peleg
“The bad review will come from your list of suggested reviewers”
October 31, 2025 at 7:39 AM
“The bad review will come from your list of suggested reviewers”
Reposted by Hila Peleg
No one wants to do a postdoc anymore, they all want to rob the Louvre
October 27, 2025 at 2:50 AM
No one wants to do a postdoc anymore, they all want to rob the Louvre
To all the people at SPLASH who asked if I'm coming on the hike and were taken aback by my overly-emphatic "no!!!!!1", it's because I've fallen for this before:
October 24, 2025 at 5:53 AM
To all the people at SPLASH who asked if I'm coming on the hike and were taken aback by my overly-emphatic "no!!!!!1", it's because I've fallen for this before:
Wedding DJ that played the album from the start up to Boulevard was a ✨CHOICE✨.
Been revisiting American Idiot a lot lately. Today it's this:
Green Day - Wake Me Up When September Ends (Official Audio)
YouTube video by Green Day
youtu.be
October 23, 2025 at 9:21 PM
Wedding DJ that played the album from the start up to Boulevard was a ✨CHOICE✨.
Back home from SPLASH and suddenly in withdrawal from being fed lots of great food approx every two hours, halp
October 20, 2025 at 10:45 AM
Back home from SPLASH and suddenly in withdrawal from being fed lots of great food approx every two hours, halp
Reposted by Hila Peleg
@ilyasergey.bsky.social awarded The Most Bendable SPLASH/ICFP General Chair award for the largest and most successful combined SPLASH/OOPSLA/ICFP ever held over the past seven days in Singapore!
October 18, 2025 at 1:27 AM
@ilyasergey.bsky.social awarded The Most Bendable SPLASH/ICFP General Chair award for the largest and most successful combined SPLASH/OOPSLA/ICFP ever held over the past seven days in Singapore!
First presentation from the TecSE group this week: Adi Harif optimizes JS programs with Ductape 🦆
October 14, 2025 at 3:47 AM
First presentation from the TecSE group this week: Adi Harif optimizes JS programs with Ductape 🦆