Hila Peleg

@hilacodes.bsky.social

1174 Followers 229 Following

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

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.
A slide reading: Good rule of thumb: If most users of your computer use it to emulate a totally different computer, you might have built the wrong computer
A commit diff showing all 6347 lines of the IEEE class file as modified and also identical
A slide equating intuitive thinking to machine learning and deliberate thinking to symbolic algorithms
Alan Cumming as Wyatt from Josie and the Pussycats next to the Riverdale Welcomes You sign
Zucchini rounds in hot oil