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,150 Followers  |  219 Following  |  435 Posts  |  Joined: 08.07.2023  |  1.7034

Latest posts by hilacodes.bsky.social on Bluesky


Still my impression as a total outsider so yeah

22.02.2026 11:45 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Also are you excluding OOPSLA or ICFP so I know if I'm insulted or amused 🀑

22.02.2026 10:51 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

I think the difference is starting to fade so it's a lot of the time luck of the draw re: reviewers; as long as your PL foundations are in there and your general idea fits the vague character of the conference (eg, PLDI=more practical), it's the usual coin toss, probably no worse.

22.02.2026 10:50 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Preview
a group of skeletons are dancing in a circle in a cemetery in a black and white cartoon . ALT: a group of skeletons are dancing in a circle in a cemetery in a black and white cartoon .
22.02.2026 07:20 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Also I'm just referencing this :P

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

I teach C++ to students who were not born when the last C++ compiler I used professionally in an adult job for money was released. Someone called Mean Girls, a movie that came out when I could drive, an old time movie. I'm standing in my grave here.

22.02.2026 07:11 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 2    πŸ“Œ 0

Someone on here, while reminding me I'm very old thank you, reminded me that Hurricane Sandy was the only time I ever saw the PLDI deadline postponed. And, if I may have a word with this upcoming blizzard, I could really use some extra time on this OOPSLA submission kthx

22.02.2026 07:04 β€” πŸ‘ 6    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Oh shit I missed archivists on the list,,, I want to see an LLM get a rusty staple out of a 50 year old letter

11.02.2026 19:38 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Historians 🀣🀣🀣🀣🀣
I wonder what they think a historian does

11.02.2026 19:29 β€” πŸ‘ 8    πŸ” 0    πŸ’¬ 6    πŸ“Œ 0
Preview
a group of people are standing in a tent and one of them is named " doctor " ALT: a group of people are standing in a tent and one of them is named " doctor "
10.02.2026 06:27 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Page from a book reading: FOREWORD
THERE exists a subculture of dedicated academics who view spending a decade masochistically overworked and under-appreciated as a laudable goal. They lead the lives of the impoverished, grade the exams of the whiny, and spend lonely nights in the library or laboratory pursuing a glowing truth that only six or seven people will ever care about. These people are grad students, and they are idiots.

Page from a book reading: FOREWORD THERE exists a subculture of dedicated academics who view spending a decade masochistically overworked and under-appreciated as a laudable goal. They lead the lives of the impoverished, grade the exams of the whiny, and spend lonely nights in the library or laboratory pursuing a glowing truth that only six or seven people will ever care about. These people are grad students, and they are idiots.

I feel so seen

26.01.2026 20:28 β€” πŸ‘ 8    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post image

Packages that arrive too late:

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

Did Deutsche Bahn spend a bunch of money to internationally post a letter (in German!) letting me know the request I submitted (online!) for compensation has been accepted and giving me a voucher number (on paper!) that I will definitely forget about or lose? They sure did!!!

25.01.2026 12:31 β€” πŸ‘ 4    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

lol

19.01.2026 17:34 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

They did say they'll release R1 rejections this week which I guess is the cause for the tingle?

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

I made it!!

09.01.2026 18:39 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Train 3/3 is a go! In my original plan this would have been the train I would have taken from much further north if delays had made the walk in the original connection too short, and being able to swap to it was the reason I sprung for a flex ticket. Lol, I guess?

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

πŸ’―πŸ’―πŸ’―

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

Almost at the end of leg 2, wish me a quick change in Baden

09.01.2026 14:36 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
dory and clown fish from the movie finding nemo ALT: dory and clown fish from the movie finding nemo

Moving south!

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

Train no. 2 is already on the board, we're considering this a success right?

09.01.2026 12:39 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Preview
a person giving a thumbs up on a train with a scoreboard that says claimed 2 3 and leader 1 ALT: a person giving a thumbs up on a train with a scoreboard that says claimed 2 3 and leader 1

You mean,

09.01.2026 12:30 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Leg 1/3 successfully completed, only 4.5 hours to go!

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

I'm attempting an alternate route that includes no trains coming from northern Germany. Fingers crossed!

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

I would say it's time for #MaryGoRound rules but I'm the one who needs to drink and I have nothing

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

My second train was coming from north Germany, trains to FRA and Saarbruken seem to still go

09.01.2026 09:27 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
a man wearing a white shirt and tie smiles in front of a window ALT: a man wearing a white shirt and tie smiles in front of a window

Who's got two thumbs but no train?

09.01.2026 09:21 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 6    πŸ“Œ 0
Post image

E-graphs Dagstuhl coming to an end, and we're all going to try getting places in this weather. Wish us all luck...

09.01.2026 08:34 β€” πŸ‘ 20    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
A cat dressed like a wizard with the caption, "Sorry for acting weird. I am weird and it will absolutely happen again."

A cat dressed like a wizard with the caption, "Sorry for acting weird. I am weird and it will absolutely happen again."

Good morning
Me heading into 2026

02.01.2026 16:32 β€” πŸ‘ 477    πŸ” 132    πŸ’¬ 3    πŸ“Œ 2

High art.

30.12.2025 15:12 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

@hilacodes is following 19 prominent accounts