Hila Peleg

Oh look what's coming up at the end of the week 💃

Oh look what's coming up at the end of the week 💃

This is why it's so important in your math classes to understand the difference between "if" and "iff." The comment below may be true as stated (if) but is obviously false as intended (iff).

Elsevier? Not paying?

Are you an undergrad, graduate student, or Post-doc in STEM? Want to switch to science writing? The AAAS Mass Media Fellowship places students in working newsrooms nationwide for 10 weeks in summer. It's PAID! 📝https://massmedia.secure-platform.com/a/page/About

Two summers ago, I was very lucky to be a member of a working group of 4 junior faculty that has a 100% success rate on our NSF CAREER Award proposals. I wrote a blog post about our process and the advice I received. www.kiragoldner.com/blog/career....

It was amusing to read that the current "AI makes lectures irrelevant" debate has echos from 1781 as related by Boswell.

The first annual Future of Property-Based Testing Workshop (FPBT'27) will be happening in Mexico City on January 12th (co-located with POPL'27)! Submissions are open now (deadline October 23rd); see popl27.sigplan.org/home/fpbt-2027 for details.

Do you know the story of the infinitesimally small pirate? He walked the Planck

🔥🔥🔥

A youtuber puts out a video with craft supplies thrifting places in Oakland? In time for SPLASH? I wonder how much another suitcase costs 😅

If you are or know someone looking to adopt a kitten in London, please get in touch. She's scared but nevertheless already very friendly and likes to sit on laps.

Optimist: The cup is half full. Pessimist: The cup is half empty. Computer Scientist: We developed a new three-value logic to allow us to correctly reason about the state of the cup.

Nice second sentence. arxiv.org/abs/2608.113...

It took us a while to work out the details, but our group finally formulated a detailed and consistent theory of quantum Pokémon! Also, please don't observe Psiduck, it stresses it out and it *will* collapse.

Highly informative!

My latest cartoon for @newscientist.com

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

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"

I love well-supported unsurprising results. Truly.

Also the first known LGBTQ+ astronaut. Happy Pride 🏳️‍🌈

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

Join the PC. Meet wonderful ideas. Strong reject them.

🚨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/

who decided to call it speculative execution and not cache me if you can

their vibecoded slop / our careful assisted coding

Riding my acoustic bicycle to the office to write my artisanal code like,