Hila Peleg
@hilacodes.bsky.social
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Haha I live under the assumption that frazzled professor life just pushes a brain to the edge of ADHD, which is why my attention span is meh and half the life hacks on tiktok work for me. Right? Right??
November 12, 2025 at 5:13 AM
Haha I live under the assumption that frazzled professor life just pushes a brain to the edge of ADHD, which is why my attention span is meh and half the life hacks on tiktok work for me. Right? Right??
Disability researchers constantly talk about tradeoffs and colliding accessibility solutions, hearing vs. ADHD re: captions is one of the ones that I actually hear come up the most often!
November 11, 2025 at 8:19 AM
Disability researchers constantly talk about tradeoffs and colliding accessibility solutions, hearing vs. ADHD re: captions is one of the ones that I actually hear come up the most often!
I had to set my watch manually! The burden!
November 2, 2025 at 8:35 AM
I had to set my watch manually! The burden!
It ships out with the fully self-driving cars
October 21, 2025 at 6:04 AM
It ships out with the fully self-driving cars
It's like waterboarding yourself
October 19, 2025 at 3:07 AM
It's like waterboarding yourself
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!
I'll do what I can
October 13, 2025 at 11:03 PM
I'll do what I can
Vaping guy from the lounge is seated in my row so let's adjust the odds
October 12, 2025 at 4:26 PM
Vaping guy from the lounge is seated in my row so let's adjust the odds
Let's start a running list of all the places on the way I had to sit in someone's vape cloud
- train to the airport
- airport lounge
taking bets about the flight itself
- train to the airport
- airport lounge
taking bets about the flight itself
October 12, 2025 at 3:32 PM
Let's start a running list of all the places on the way I had to sit in someone's vape cloud
- train to the airport
- airport lounge
taking bets about the flight itself
- train to the airport
- airport lounge
taking bets about the flight itself
Their "we're going to do in-depth critique of classic franchise episodes" starts in, like, episode 3. It's just suspended in some Family Guy humor for a while.
October 12, 2025 at 3:31 AM
Their "we're going to do in-depth critique of classic franchise episodes" starts in, like, episode 3. It's just suspended in some Family Guy humor for a while.
If so tell her I said welcome to the club
October 10, 2025 at 12:39 PM
If so tell her I said welcome to the club
Ceasefires don't speed up the rapture?
October 10, 2025 at 12:27 PM
Ceasefires don't speed up the rapture?
Last time I checked excel types were only for formatting so if it already exists I need a crash course in how to use it
October 9, 2025 at 3:09 PM
Last time I checked excel types were only for formatting so if it already exists I need a crash course in how to use it