iiinova — where your digital self keeps evolving

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

Haha it's already in overdrive but livestream :(

100

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

Is splash not live streaming this year? Will my FOMO go into overdrive?

120

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

I actually know about both from watching @shadowtodd.bsky.social on @nebula.tv 🤷‍♀️

010

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

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

It made me so sad but my friends really wanted to ride it and... it's better? I mean they built the story onto the way the carriage moves in a way that's much smoother. I'm still sad but also I had a good time I want both.

000

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

Eeek, hope you're safely outta there by the time you read this

110

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

I can tell you but you'll find out yourself soon enough

110

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 · 13/09/2026

I always assumed a and c are for abstract and concrete and alpha and gamma are the corresponding indices

020

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

Whether it's PBT theory, practice, education, or philosophy, we would love to hear your talk!

000

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

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

Uh, I know Ms. Rachel exists because Lindsay Ellis made a video about her that I never got around to watching, and that's it. 👵👵👵

000

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

I feel personally attacked by that panel

110

Reposted by Hila Peleg

Bat 🦇 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

Also this, I urgently need this.

000

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

Only one thing to do now I guess

120

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

We've been there for a while now as far as I can tell

020

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

Ah yes "if you lose the envelope of filled in exams" and other professor nightmares

010

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

Is that like if the professor doesn't show up within 10min class is cancelled?

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

I have a pile of fantastic papers about how we generate software engineering knowledge, but what I don't have is one that's kind of introductory, that on the one hand teaches us something about programmers and how they work, and on the other hand can be discussed without deep-diving any theory

000

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

121023273

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

You can tell this is a lie because there's no way Dolly Parton isn't the bestest prof in the department

050

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 · 14/07/2026

The AI summaries fiasco should give us pause, I think. And that the feature will happen anyways is not a great reason to actively endorse it.

030

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

do you want to share the result with the rest of the class

000

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