Hila Peleg
@hilacodes.bsky.social
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
It's a little known fact but Jolene was written about that time that Dolly Parton found out her really promising student was offered a research project with the bestest prof in the department
Interested in accessibility, visualization, or data ethics? I'm looking for Ph.D. students to join @data-and-design.org in Fall 2027. I've updated this post with additional information about this year's focus area. data-and-design.org/recruiting/phd
Recruiting Ph.D. Students for Fall 2027
We are an interdisciplinary research group at the University of Colorado Boulder that uses design to understand and reimagine socio-technical systems.
data-and-design.org
Current POPL push has reached this phase earlier than usual
Real Genius. studying too much, goes crazy
YouTube video by marc kerger
youtu.be
I spent all these years ✨honing my intuition✨ and ✨developing taste✨ about good and bad plots and now I've fully circled back to "my 7th grade science teacher would hate this, where is the independent variable"
Fucking impressive to do an article about why HP is a negative for the country in 2026 and manage to completely avoid mentioning it funding the eradication of persecuted minority via billionaire conservative lawfare.
Harry Potter has ruined Britain ft.trib.al/zXZbDgz | opinion
I love well-supported unsurprising results. Truly.
More evidence, from a large-scale study in China, that using AI hurts learning if it undermines mental effort. When homework time drops due to AI use, so do test scores. Across studies, there is a clear theme: AI tutoring in support of classes is good, using AI to "help" with homework is bad.
how do you determine who gets to be first author on a marriage certificate
Back in my day it was an Ocean of Nodes. Now because of global warming it's a Sea of Nodes
I'm guessing I've been using reaearchr.org wrong this entire time but can someone tell me how to download the program ics file so that it has timezone info and I don't have to add my own VTIMEZONE block before importing it?
Stop blaming yourself and others whenever something fails. Learn Feng Shui and blame the furniture.
i need this ide if im gonna do more live coding cause this shit is GORGEOUS
We’re doing a user study to find out how adding always-on live values alongside code effects writing and debugging experiences for functional programming. See reply for sign-up details
We’re doing a user study to find out how adding always-on live values alongside code effects writing and debugging experiences for functional programming. See reply for sign-up details
Join the PC. Meet wonderful ideas. Strong reject them.
So many criticisms of Test-Driven Development have a kind of "Pull-ups don't work because the concrete gets frozen solid" energy to them, and I'm like "How exactly *have* you been doing it?"
🚨Time is running out for #PLDI2026 early rates!🚨 Early registration closes in two days on May 16 (UTC -6), and the room block at the Limelight Boulder expires TOMORROW, May 15 (UTC -6). Don't miss these savings! 🔗https://pldi26.sigplan.org/
When did it become a popular thing to list as an advantage of your technique that it doesn't require the code to compile? I see it more and more. Even in cases where that makes no sense like testing the code???
Are you working to make programming more direct, tangible, and alive? Share your work at LIVE, the world's premier gathering on live programming, held online this October! LIVE welcomes submissions from academia, industry, and individuals. Call for submissions and more details on liveprog.org/
Workshop on Live Programming (LIVE)
The 12th Workshop on Live Programming (LIVE 2026) will take place online. LIVE invites submissions of ideas for improving the immediacy, usability, and learnability of programming.
liveprog.org
Riding my acoustic bicycle to the office to write my artisanal code like,
If you will complete your PhD requirements by 7 May 2026, there are a couple of postdoc opportunities at Melbourne sites.research.unimelb.edu.au/research-fun... Feel free to email me for more info!
McKenzie Postdoctoral Fellowships Scheme
Find information and resources for applicants and recipients of the McKenzie Postdoctoral Fellowships Scheme scheme.
sites.research.unimelb.edu.au
We encourage undergraduate, master’s, and early-stage PhD students interested in programming languages to apply for PLMW at PLDI 2026. It is a great opportunity to learn from researchers, build connections, and explore future directions in PL. Apply here: pldi26.sigplan.org/home/PLMW-PL...
PLMW @ PLDI 2026 - Programming Languages Mentoring Workshop 2026 - PLDI 2026
The Programming Language Mentoring Workshop (PLMW) aims to broaden the exposure of late-stage undergraduate students and early-stage graduate students to research and career opportunities in programmi...
pldi26.sigplan.org
sorry i never responded to your email, i didn't want to and then i forgot
We're running a user study, maybe you can help! We're studying the effect of new ways to show code diffs to programmers, and looking for participants for a 1-1.5hr virtual user study. In the study you will be shown several diffs and asked questions about them.
Dear network, I am looking for a postdoc with experience in Lean (or some other theorem prover) and interest in systems.
We're running a user study, maybe you can help! We're studying the effect of new ways to show code diffs to programmers, and looking for participants for a 1-1.5hr virtual user study. In the study you will be shown several diffs and asked questions about them.
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)
אפשר להתקלח?
canishower.com
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...