Hila Peleg
@hilacodes.bsky.social
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
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:
TecSE lab is still around for this last day of SPLASH, come chat with us!
October 18, 2025 at 3:54 AM
TecSE lab is still around for this last day of SPLASH, come chat with us!
My student Tomer talked about ScooPy, his tool for PBE from nested examples, yesterday!
October 18, 2025 at 3:52 AM
My student Tomer talked about ScooPy, his tool for PBE from nested examples, yesterday!
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 🚊🛫
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...
Looked around for a Rue de Cons but I don't know how to say recursion in French so I couldn't ask for directions
July 21, 2025 at 12:34 PM
Looked around for a Rue de Cons but I don't know how to say recursion in French so I couldn't ask for directions
Amir Shaikhha, getting behind some harsh statements😅
July 1, 2025 at 7:55 AM
Amir Shaikhha, getting behind some harsh statements😅
Surely you're kidding
July 1, 2025 at 6:01 AM
Surely you're kidding
Took you long enough to reach this conclusion...
June 13, 2025 at 7:39 PM
Took you long enough to reach this conclusion...
Farewell, Lombardy, you've been fun
June 2, 2025 at 5:52 PM
Farewell, Lombardy, you've been fun
Last day of talks at PLISS
May 31, 2025 at 8:32 AM
Last day of talks at PLISS
"The compiler and the hardware are conspiring to let you pretend it's a PDP-11."
May 27, 2025 at 9:56 AM
"The compiler and the hardware are conspiring to let you pretend it's a PDP-11."
"... whereas GPUs say, 'branches, huh? Good luck with that.'"
May 27, 2025 at 9:41 AM
"... whereas GPUs say, 'branches, huh? Good luck with that.'"
"Every time someone utters the words 'general purpose' what they mean is 'I've optimized for a thing but I don't know what that thing is'." --David Chisnall
May 27, 2025 at 9:25 AM
"Every time someone utters the words 'general purpose' what they mean is 'I've optimized for a thing but I don't know what that thing is'." --David Chisnall
I love this slide so much (go @shriram.bsky.social)
May 26, 2025 at 7:54 AM
I love this slide so much (go @shriram.bsky.social)
...and this becomes more tempting
April 2, 2025 at 6:17 PM
...and this becomes more tempting
With every passing year this shot hits harder
April 2, 2025 at 6:16 PM
With every passing year this shot hits harder
It's fine, they said. Overleaf has git integration, they said.
March 30, 2025 at 9:02 PM
It's fine, they said. Overleaf has git integration, they said.
Food for thought from Ziyang Li, over at NUS
March 11, 2025 at 2:46 AM
Food for thought from Ziyang Li, over at NUS
