Hila Peleg
@hilacodes.bsky.social
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
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 🦆
Okay, let's do this 🚊🛫
October 12, 2025 at 2:46 PM
Okay, let's do this 🚊🛫
Look @yotamfe.bsky.social they're tweeting about you
October 9, 2025 at 2:58 PM
Look @yotamfe.bsky.social they're tweeting about you
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 9, 2025 at 6:47 AM
Been revisiting American Idiot a lot lately. Today it's this:
Reposted by Hila Peleg
When you’re editing your draft for the 100th time and thinking “What will the reviewers think of my manuscript?”, remember that they’ll be reading it in this position.
October 8, 2025 at 5:30 PM
When you’re editing your draft for the 100th time and thinking “What will the reviewers think of my manuscript?”, remember that they’ll be reading it in this position.
Me: let me just open vscode to quickly check the correct syntax for this example in a small paragraph I'm writing
Lean: *rebuilds mathlib*
Lean: *rebuilds mathlib*
a woman is smiling with the words thanks i hate it below her
ALT: a woman is smiling with the words thanks i hate it below her
media.tenor.com
October 8, 2025 at 8:31 AM
Me: let me just open vscode to quickly check the correct syntax for this example in a small paragraph I'm writing
Lean: *rebuilds mathlib*
Lean: *rebuilds mathlib*
Reposted by Hila Peleg
Started marking things on the SPLASH program (ok ok and ICFP, I arrive on the 14th) last night. Tell me about your talk so I can put it on my list!
October 5, 2025 at 5:57 AM
Started marking things on the SPLASH program (ok ok and ICFP, I arrive on the 14th) last night. Tell me about your talk so I can put it on my list!
Started marking things on the SPLASH program (ok ok and ICFP, I arrive on the 14th) last night. Tell me about your talk so I can put it on my list!
October 5, 2025 at 5:57 AM
Started marking things on the SPLASH program (ok ok and ICFP, I arrive on the 14th) last night. Tell me about your talk so I can put it on my list!
Reposted by Hila Peleg
I’ll never forgive AI for stigmatizing my beloved em-dash
October 3, 2025 at 4:59 PM
I’ll never forgive AI for stigmatizing my beloved em-dash
Reposted by Hila Peleg
Can you still intern at places once you've graduated your phd?
2026 internships available in my team at The LEGO Group!
Internships in
Story,
Ideation,
Concept Model Design (ie, building with bricks),
Prototyping (3D printing etc),
Hardware (soldering and weird sensors!)
Physical (springs and spinny things)
Digital (code for doing stuff with bricks)
Internships in
Story,
Ideation,
Concept Model Design (ie, building with bricks),
Prototyping (3D printing etc),
Hardware (soldering and weird sensors!)
Physical (springs and spinny things)
Digital (code for doing stuff with bricks)
!!!* INTERNSHIP OPPORTUNITY *!!!
Hey everyone… great news! please share with your network of budding young students.
We have now opened applications for our internships in Story, Ideation, Concept…...
!!!* INTERNSHIP OPPORTUNITY *!!!
Hey everyone… great news! please share with your network of budding young students.
We have now opened applications for our internships in Story, Ideation, Concept ...
www.linkedin.com
September 29, 2025 at 7:26 PM
Can you still intern at places once you've graduated your phd?
Can I leave an editing note on someone's use of the word "burgeoning" that's just "no." and a link to the contrapoints video?
September 27, 2025 at 1:03 PM
Can I leave an editing note on someone's use of the word "burgeoning" that's just "no." and a link to the contrapoints video?
Reposted by Hila Peleg
First author Vs. Second author
September 25, 2025 at 1:08 PM
First author Vs. Second author
Reposted by Hila Peleg
failing the 'stop bringing up nazis' challenge in new and creative ways over here:
dyson spheres are a joke
YouTube video by Angela Collier
youtu.be
September 17, 2025 at 8:15 PM
failing the 'stop bringing up nazis' challenge in new and creative ways over here:
The unbelievable has happened: I've finished the Marktoberdorf summer school 2015 notebook. I think I need an invite for 2016 so I can replenish my supply...
September 14, 2025 at 2:18 PM
The unbelievable has happened: I've finished the Marktoberdorf summer school 2015 notebook. I think I need an invite for 2016 so I can replenish my supply...
Your country hasn't gone full cocaine bear this week? The rest, as they say, is bonus.
September 10, 2025 at 2:59 PM
Your country hasn't gone full cocaine bear this week? The rest, as they say, is bonus.