iiinova — where your digital self keeps evolving

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

Only one thing to do now I guess

120

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

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

160

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

Packages that arrive too late:

1110

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

E-graphs Dagstuhl coming to an end, and we're all going to try getting places in this weather. Wish us all luck...

1200

Hila Peleg @hilacodes.bsky.social · 05/12/2025

Wow are DB passengers really into computer science or what

151

Hila Peleg @hilacodes.bsky.social · 24/10/2025

To all the people at SPLASH who asked if I'm coming on the hike and were taken aback by my overly-emphatic "no!!!!!1", it's because I've fallen for this before:

0140

Hila Peleg @hilacodes.bsky.social · 18/10/2025

TecSE lab is still around for this last day of SPLASH, come chat with us!

091

Hila Peleg @hilacodes.bsky.social · 18/10/2025

My student Tomer talked about ScooPy, his tool for PBE from nested examples, yesterday! 🪏

170

Hila Peleg @hilacodes.bsky.social · 14/10/2025

First presentation from the TecSE group this week: Adi Harif optimizes JS programs with Ductape 🦆

160

Hila Peleg @hilacodes.bsky.social · 14/09/2025

The unbelievable has happened: I've finished the Marktoberdorf summer school 2015 notebook. I think I need an invite for 2016 so I can replenish my supply...

190

Hila Peleg @hilacodes.bsky.social · 21/07/2025

Looked around for a Rue de Cons but I don't know how to say recursion in French so I couldn't ask for directions

1110

Hila Peleg @hilacodes.bsky.social · 01/07/2025

Amir Shaikhha, getting behind some harsh statements😅

1121

Hila Peleg @hilacodes.bsky.social · 13/06/2025

Took you long enough to reach this conclusion...

060

Hila Peleg @hilacodes.bsky.social · 02/06/2025

Farewell, Lombardy, you've been fun

030

Hila Peleg @hilacodes.bsky.social · 27/05/2025

"The compiler and the hardware are conspiring to let you pretend it's a PDP-11."

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

0124

Hila Peleg @hilacodes.bsky.social · 27/05/2025

"... whereas GPUs say, 'branches, huh? Good luck with that.'"

140

Hila Peleg @hilacodes.bsky.social · 27/05/2025

"Every time someone utters the words 'general purpose' what they mean is 'I've optimized for a thing but I don't know what that thing is'." --David Chisnall