Hila Peleg's Avatar

Hila Peleg

@hilacodes

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

1,155
Followers
220
Following
443
Posts
08.07.2023
Joined
Posts Following

Latest posts by Hila Peleg @hilacodes

Augh yes

09.03.2026 10:53 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Wait you can turn reskeets off?

09.03.2026 10:01 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
ืืคืฉืจ ืœื”ืชืงืœื—?

Want to be peeved about cnn calling canishower.com and their predictive modeling "AI", but tbh it's worse that the headline question is "can AI predict missile strikes", instead of "how mentally broken does a person need to be for them to offload such decisions to what is basically astrology" (lots)

06.03.2026 08:01 ๐Ÿ‘ 3 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

HCI summer research opportunity ๐Ÿ“ฃ My group has two openings for research assistants this summer, both in scientific tools for thought. Applicants are welcome at any level. Please help me share the news! andrewhead.info/positions/20...

04.03.2026 22:50 ๐Ÿ‘ 11 ๐Ÿ” 4 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

I think it's a question of where you draw the "boilerplate" line, though? For "pure" boilerplate you can abstract things away with libraries/language features for a better result tbh. If it's "boring things I don't like implementing" the water is murkier.

04.03.2026 11:07 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
Preview
FLoC 2026 Mentoring Workshop - Application for Travel Scholarship A number of travel scholarship are available to sponsor the physical attendance of students at one of the FLoC 2026 conference blocks and the corresponding Mentoring Workshop day. Please fill this for...

**Call for Scholarship Applications**
Limited travel support available for students attending #FLoC26 Mentoring Workshop @floc2026.bsky.social.

Deadline: 13 April, 2026
Apply at: forms.gle/89q9AaNfZV3f...
Notification: 20 April, 2026

Help us spread the word!
More details: tinyurl.com/floc26mw

03.03.2026 16:38 ๐Ÿ‘ 4 ๐Ÿ” 5 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

I mean, I thought about taking a flight with a 12 hour connection where it makes sense to go out into the city, does that count

03.03.2026 13:26 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Greg Wilson (@gvwilson@mastodon.social) OH: "There are two hard problems in computer science. Please don't be a third."
03.03.2026 13:25 ๐Ÿ‘ 4 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 1

TIL that the Iran version predates the Iraq version I had an mp3 of as a kid

02.03.2026 06:09 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

The thing about the U.S. and Israel is that both of their leaders are trying to stay out of prison.

28.02.2026 23:12 ๐Ÿ‘ 11166 ๐Ÿ” 3347 ๐Ÿ’ฌ 314 ๐Ÿ“Œ 184
Post image

under pressure

09.12.2025 16:30 ๐Ÿ‘ 512 ๐Ÿ” 96 ๐Ÿ’ฌ 4 ๐Ÿ“Œ 19

This is the kind of stuff I'm on social for

24.02.2026 06:23 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

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 ๐Ÿ’ฌ 4 ๐Ÿ“Œ 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