iiinova — where your digital self keeps evolving

Reposted by Hila Peleg

Kira Goldner @kiragoldner.bsky.social · 14/05/2026

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....

kiragoldner.com

Applying for NSF CAREER

0124

Reposted by Hila Peleg

Laurence Tratt @ltratt.bsky.social · 21/09/2026

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

083

Reposted by Hila Peleg

Hila Peleg @hilacodes.bsky.social · 09/09/2026

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.

popl27.sigplan.org

FPBT 2027 - Future of Property-Based Testing - POPL 2027

Property-based testing has grown from a niche technique into a recognized discipline with a thriving research community and a considerable base of industrial practitioners. In fact, PBT is only increa...

178

Hila Peleg @hilacodes.bsky.social · 09/09/2026

popl27.sigplan.org

FPBT 2027 - Future of Property-Based Testing - POPL 2027

178

Reposted by Hila Peleg

Clément Canonne @ccanonne.github.io · 03/09/2026

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

3395

Reposted by Hila Peleg

Matthew Borus @matthewborus.bsky.social · 28/08/2026

This is the standard union-busting trope, “Our workplace is a family and a union would disrupt that.” A few words are swapped tomake it about mentorship, but that’s it. And as a former unionized grad student who now supervises unionized grad workers, let me state the obvious: It’s nonsense.

18619137

Hila Peleg @hilacodes.bsky.social · 29/08/2026

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

020

Hila Peleg @hilacodes.bsky.social · 26/08/2026

Only one thing to do now I guess

120

Reposted by Hila Peleg

Sophia McDougall @sophiamcdougall.bsky.social · 22/08/2026

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.

8225192

Hila Peleg @hilacodes.bsky.social · 22/08/2026

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.

080

Hila Peleg @hilacodes.bsky.social · 17/08/2026

Making a new grad class, or: so, what have @mcoblenz.bsky.social and @schasins.bsky.social been up to lately

100

Reposted by Hila Peleg

Clément Canonne @ccanonne.github.io · 13/08/2026

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

Disclosure of AI Use
The lower bound proof in Section 2 for domain {±1}n was AI assisted; see Remark 2.1 for details.
All text in this paper was handcrafted with love and care by humans, by the ancient traditional method of pushing buttons on keyboards and then arguing about it.

310519

Reposted by Hila Peleg

Clément Canonne @ccanonne.github.io · 10/08/2026

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.

$A \psi, with a duck as a subscript$

2592

Reposted by Hila Peleg

Tom Gauld @tomgauld.bsky.social · 01/08/2026

My latest cartoon for @newscientist.com

Panel one: a climber reaches the top of a towering cliff. There, among the clouds, a serene figure with a long beard, wearing a robe, sits crosslegged on the bare rock. He is "The Great Wise One of the Mountain"

Panels two, three and four: sitting serenely crosslegged on successively lower clifftops we see the Assistant Wise One of the Mountain, The Post-Doc Research Fellow of the Mountain and a group of PhD Students of the Mountain

121023274

Hila Peleg @hilacodes.bsky.social · 22/07/2026

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

150

Reposted by Hila Peleg

jonathan zong @jonathanzong.com · 14/07/2026

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

data-and-design.org

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.

02621

Hila Peleg @hilacodes.bsky.social · 28/06/2026

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"

050

Reposted by Hila Peleg

Jacey is a suitable combo of my actual name for privacy reasons @spacegrace.bsky.social · 21/06/2026

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.

191977538

Hila Peleg @hilacodes.bsky.social · 19/06/2026

I love well-supported unsurprising results. Truly.

0103

Reposted by Hila Peleg

Element115Art @element115.bsky.social · 18/06/2026

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

36315

Reposted by Hila Peleg

ionchy @ionchy.ca · 16/06/2026

how do you determine who gets to be first author on a marriage certificate

3141

Reposted by Hila Peleg

Max @bernsteinbear.com · 16/06/2026

Back in my day it was an Ocean of Nodes. Now because of global warming it's a Sea of Nodes

081

Hila Peleg @hilacodes.bsky.social · 15/06/2026

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?

010

Reposted by Hila Peleg

Carl Poppa 🛸 @poppacalypse.bsky.social · 02/03/2026

Stop blaming yourself and others whenever something fails. Learn Feng Shui and blame the furniture.

1105

Reposted by Hila Peleg

zeu @zeu.dev · 08/06/2026

i need this ide if im gonna do more live coding cause this shit is GORGEOUS

2472

Reposted by Hila Peleg

andrew blinn @disconcision.com · 08/06/2026

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

317338

Reposted by Hila Peleg

Rupak Majumdar @rupakmajumdar.bsky.social · 02/06/2026

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

192

Reposted by Hila Peleg

Jason Gorman @jasongorman.bsky.social · 31/05/2026

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?"

272

Reposted by Hila Peleg

PLDI @sigplan-pldi.bsky.social · 14/05/2026

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

011

Hila Peleg @hilacodes.bsky.social · 09/05/2026

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???

000

Reposted by Hila Peleg

Michael Homer @mwh.nz · 06/05/2026

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/

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.

12115

Reposted by Hila Peleg

austin @aparker.io · 03/05/2026

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

1043073

Reposted by Hila Peleg

Marco Z @ocramz.bsky.social · 29/04/2026

their vibecoded slop / our careful assisted coding

0708

Hila Peleg @hilacodes.bsky.social · 14/04/2026

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

160

Reposted by Hila Peleg

William Umboh @swumboh.bsky.social · 14/04/2026

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!

sites.research.unimelb.edu.au

McKenzie Postdoctoral Fellowships Scheme

Find information and resources for applicants and recipients of the McKenzie Postdoctoral Fellowships Scheme scheme.

0105

Reposted by Hila Peleg

Jingbo Wang @jingbow.bsky.social · 29/03/2026

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...

pldi26.sigplan.org

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...

0610

Reposted by Hila Peleg

Marisa Kabas @marisakabas.bsky.social · 25/03/2026

sorry i never responded to your email, i didn't want to and then i forgot

494706697

Reposted by Hila Peleg

Hila Peleg @hilacodes.bsky.social · 18/03/2026

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.

12121

Reposted by Hila Peleg

Rupak Majumdar @rupakmajumdar.bsky.social · 19/03/2026

Dear network, I am looking for a postdoc with experience in Lean (or some other theorem prover) and interest in systems.

197

Hila Peleg @hilacodes.bsky.social · 18/03/2026

12121

Hila Peleg @hilacodes.bsky.social · 06/03/2026

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

אפשר להתקלח?

030

Reposted by Hila Peleg

Andrew Head @andrewhead.bsky.social · 04/03/2026

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...

0114

Reposted by Hila Peleg

Anastasia Isychev @isychev.bsky.social · 03/03/2026

**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

forms.gle

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...

046

Reposted by Hila Peleg

Allison Gill @muellershewrote.com · 28/02/2026

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

309110993328