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:
24.10.2025 05:53 β π 13 π 0 π¬ 0 π 0@hilacodes.bsky.social
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
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:
24.10.2025 05:53 β π 13 π 0 π¬ 0 π 0Wedding DJ that played the album from the start up to Boulevard was a β¨CHOICEβ¨.
23.10.2025 21:21 β π 3 π 0 π¬ 0 π 0It ships out with the fully self-driving cars
21.10.2025 06:04 β π 1 π 0 π¬ 0 π 0Back home from SPLASH and suddenly in withdrawal from being fed lots of great food approx every two hours, halp
20.10.2025 10:45 β π 7 π 0 π¬ 0 π 0It's like waterboarding yourself
19.10.2025 03:07 β π 2 π 0 π¬ 0 π 0TecSE lab is still around for this last day of SPLASH, come chat with us!
18.10.2025 03:54 β π 9 π 1 π¬ 0 π 0My student Tomer talked about ScooPy, his tool for PBE from nested examples, yesterday! πͺ
18.10.2025 03:52 β π 7 π 0 π¬ 1 π 0@ilyasergey.bsky.social awarded The Most Bendable SPLASH/ICFP General Chair award for the largest and most successful combined SPLASH/OOPSLA/ICFP ever held over the past seven days in Singapore!
18.10.2025 01:27 β π 11 π 2 π¬ 0 π 0First presentation from the TecSE group this week: Adi Harif optimizes JS programs with Ductape π¦
14.10.2025 03:47 β π 6 π 0 π¬ 1 π 0I'll do what I can
13.10.2025 23:03 β π 1 π 0 π¬ 0 π 0Vaping guy from the lounge is seated in my row so let's adjust the odds
12.10.2025 16:26 β π 0 π 0 π¬ 1 π 0Let's start a running list of all the places on the way I had to sit in someone's vape cloud
- train to the airport
- airport lounge
taking bets about the flight itself
β¨impactβ¨
12.10.2025 15:20 β π 2 π 0 π¬ 0 π 0Okay, let's do this ππ«
12.10.2025 14:46 β π 10 π 0 π¬ 2 π 0Their "we're going to do in-depth critique of classic franchise episodes" starts in, like, episode 3. It's just suspended in some Family Guy humor for a while.
12.10.2025 03:31 β π 1 π 0 π¬ 0 π 0If so tell her I said welcome to the club
10.10.2025 12:39 β π 1 π 0 π¬ 0 π 0Ceasefires don't speed up the rapture?
10.10.2025 12:27 β π 1 π 0 π¬ 1 π 0Last time I checked excel types were only for formatting so if it already exists I need a crash course in how to use it
09.10.2025 15:09 β π 1 π 0 π¬ 0 π 0Look @yotamfe.bsky.social they're tweeting about you
09.10.2025 14:58 β π 7 π 0 π¬ 1 π 0Been revisiting American Idiot a lot lately. Today it's this:
09.10.2025 06:47 β π 4 π 0 π¬ 0 π 1HARD SAME.
I have too much work to do or I'd just be drunk for like a week until they tell me it's ok to stop
When youβre editing your draft for the 100th time and thinking βWhat will the reviewers think of my manuscript?β, remember that theyβll be reading it in this position.
08.10.2025 17:30 β π 88 π 5 π¬ 4 π 1Me: let me just open vscode to quickly check the correct syntax for this example in a small paragraph I'm writing
Lean: *rebuilds mathlib*
Started marking things on the SPLASH program (ok ok and ICFP, I arrive on the 14th) last night. Tell me about your talk so I can put it on my list!
05.10.2025 05:57 β π 10 π 1 π¬ 2 π 0Great now I want someone to photoshop your face onto a mecha wearing a tux. Because I'm certain the mecha wearing a tux already exists
07.10.2025 11:33 β π 1 π 0 π¬ 0 π 0That depends, are you on the job site or at a party with the people who commissioned the building
07.10.2025 06:16 β π 3 π 0 π¬ 1 π 0Started marking things on the SPLASH program (ok ok and ICFP, I arrive on the 14th) last night. Tell me about your talk so I can put it on my list!
05.10.2025 05:57 β π 10 π 1 π¬ 2 π 0