Hila Peleg's Avatar

Hila Peleg

@hilacodes.bsky.social

Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her

1,128 Followers  |  214 Following  |  386 Posts  |  Joined: 08.07.2023  |  2.5556

Latest posts by hilacodes.bsky.social on Bluesky

Post image

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:

24.10.2025 05:53 β€” πŸ‘ 13    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Wedding DJ that played the album from the start up to Boulevard was a ✨CHOICE✨.

23.10.2025 21:21 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

It ships out with the fully self-driving cars

21.10.2025 06:04 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Back home from SPLASH and suddenly in withdrawal from being fed lots of great food approx every two hours, halp

20.10.2025 10:45 β€” πŸ‘ 7    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

It's like waterboarding yourself

19.10.2025 03:07 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post image

TecSE lab is still around for this last day of SPLASH, come chat with us!

18.10.2025 03:54 β€” πŸ‘ 9    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0
Post image

My student Tomer talked about ScooPy, his tool for PBE from nested examples, yesterday! πŸͺ

18.10.2025 03:52 β€” πŸ‘ 7    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Video thumbnail

@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!

18.10.2025 01:27 β€” πŸ‘ 11    πŸ” 2    πŸ’¬ 0    πŸ“Œ 0
Post image

First presentation from the TecSE group this week: Adi Harif optimizes JS programs with Ductape πŸ¦†

14.10.2025 03:47 β€” πŸ‘ 6    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

I'll do what I can

13.10.2025 23:03 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
thomas the tank engine is on the tracks and says i think i can ! i think i can ! ALT: thomas the tank engine is on the tracks and says i think i can ! i think i can !
12.10.2025 20:20 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Vaping guy from the lounge is seated in my row so let's adjust the odds

12.10.2025 16:26 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

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

12.10.2025 15:32 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

✨impact✨

12.10.2025 15:20 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post image

Okay, let's do this πŸšŠπŸ›«

12.10.2025 14:46 β€” πŸ‘ 10    πŸ” 0    πŸ’¬ 2    πŸ“Œ 0

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.

12.10.2025 03:31 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

If so tell her I said welcome to the club

10.10.2025 12:39 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Ceasefires don't speed up the rapture?

10.10.2025 12:27 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

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

09.10.2025 15:09 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post image 09.10.2025 14:59 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Look @yotamfe.bsky.social they're tweeting about you

09.10.2025 14:58 β€” πŸ‘ 7    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Green Day - Wake Me Up When September Ends (Official Audio)
YouTube video by Green Day Green Day - Wake Me Up When September Ends (Official Audio)

Been revisiting American Idiot a lot lately. Today it's this:

09.10.2025 06:47 β€” πŸ‘ 4    πŸ” 0    πŸ’¬ 0    πŸ“Œ 1

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

09.10.2025 06:00 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post image

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.

08.10.2025 17:30 β€” πŸ‘ 88    πŸ” 5    πŸ’¬ 4    πŸ“Œ 1
Preview
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

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*

08.10.2025 08:31 β€” πŸ‘ 9    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0

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!

05.10.2025 05:57 β€” πŸ‘ 10    πŸ” 1    πŸ’¬ 2    πŸ“Œ 0
Preview
patrick star from spongebob squarepants holding a notepad and scissors ALT: patrick star from spongebob squarepants holding a notepad and scissors
07.10.2025 14:49 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

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

07.10.2025 11:33 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

That depends, are you on the job site or at a party with the people who commissioned the building

07.10.2025 06:16 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

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!

05.10.2025 05:57 β€” πŸ‘ 10    πŸ” 1    πŸ’¬ 2    πŸ“Œ 0

@hilacodes is following 20 prominent accounts