Hila Peleg
@hilacodes.bsky.social
1.1K followers 210 following 370 posts
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Posts Media Videos Starter Packs
hilacodes.bsky.social
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
hilacodes.bsky.social
Look @yotamfe.bsky.social they're tweeting about you
odedrechavi.bsky.social
Post docs who bring their own funding
hilacodes.bsky.social
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
odedrechavi.bsky.social
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.
hilacodes.bsky.social
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
hilacodes.bsky.social
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!
hilacodes.bsky.social
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
hilacodes.bsky.social
That depends, are you on the job site or at a party with the people who commissioned the building
hilacodes.bsky.social
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
deadparrot.dev
I’ll never forgive AI for stigmatizing my beloved em-dash
hilacodes.bsky.social
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
hilacodes.bsky.social
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.
Reposted by Hila Peleg
hilacodes.bsky.social
Can you say more about this last part? 😮
hilacodes.bsky.social
Can you still intern at places once you've graduated your phd?
hilacodes.bsky.social
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
odedrechavi.bsky.social
First author Vs. Second author
hilacodes.bsky.social
If we get this every time you complain, you should complain more