Hila Peleg
@hilacodes.bsky.social
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
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 🦆
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?