Hila Peleg @ SPLASH
@hilacodes.bsky.social
1.1K followers 210 following 380 posts
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Posts Media Videos Starter Packs
First presentation from the TecSE group this week: Adi Harif optimizes JS programs with Ductape 🦆
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
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
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
Look @yotamfe.bsky.social they're tweeting about you
Post docs who bring their own funding
HARD SAME.

I have too much work to do or I'd just be drunk for like a week until they tell me it's ok to stop
Reposted by Hila Peleg @ SPLASH
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*
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
Reposted by Hila Peleg @ SPLASH
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!
Great now I want someone to photoshop your face onto a mecha wearing a tux. Because I'm certain the mecha wearing a tux already exists
That depends, are you on the job site or at a party with the people who commissioned the building
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 @ SPLASH
I’ll never forgive AI for stigmatizing my beloved em-dash
Second grade can't be the worst bullied year of your life if you don't go to second grade
Tkt Smart GIF
ALT: Tkt Smart GIF
media.tenor.com
When I was little my parents thought gifted programs were dumb and I didn't get to go and was skipped ahead instead (let's make the emotional development gap worse yay). They finally broke down when my little sister was starting middle school and she's SO WELL ADJUSTED compared to me it's amazing.