Still my impression as a total outsider so yeah
22.02.2026 11:45 β π 0 π 0 π¬ 0 π 0@hilacodes.bsky.social
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Still my impression as a total outsider so yeah
22.02.2026 11:45 β π 0 π 0 π¬ 0 π 0Also are you excluding OOPSLA or ICFP so I know if I'm insulted or amused π€‘
22.02.2026 10:51 β π 0 π 0 π¬ 1 π 0I think the difference is starting to fade so it's a lot of the time luck of the draw re: reviewers; as long as your PL foundations are in there and your general idea fits the vague character of the conference (eg, PLDI=more practical), it's the usual coin toss, probably no worse.
22.02.2026 10:50 β π 1 π 0 π¬ 1 π 0Also I'm just referencing this :P
22.02.2026 07:12 β π 1 π 0 π¬ 0 π 0I teach C++ to students who were not born when the last C++ compiler I used professionally in an adult job for money was released. Someone called Mean Girls, a movie that came out when I could drive, an old time movie. I'm standing in my grave here.
22.02.2026 07:11 β π 3 π 0 π¬ 2 π 0Someone on here, while reminding me I'm very old thank you, reminded me that Hurricane Sandy was the only time I ever saw the PLDI deadline postponed. And, if I may have a word with this upcoming blizzard, I could really use some extra time on this OOPSLA submission kthx
22.02.2026 07:04 β π 6 π 0 π¬ 1 π 0Oh shit I missed archivists on the list,,, I want to see an LLM get a rusty staple out of a 50 year old letter
11.02.2026 19:38 β π 3 π 0 π¬ 1 π 0Historians π€£π€£π€£π€£π€£
I wonder what they think a historian does
Page from a book reading: FOREWORD THERE exists a subculture of dedicated academics who view spending a decade masochistically overworked and under-appreciated as a laudable goal. They lead the lives of the impoverished, grade the exams of the whiny, and spend lonely nights in the library or laboratory pursuing a glowing truth that only six or seven people will ever care about. These people are grad students, and they are idiots.
I feel so seen
26.01.2026 20:28 β π 8 π 0 π¬ 0 π 0Packages that arrive too late:
26.01.2026 16:06 β π 11 π 0 π¬ 1 π 0Did Deutsche Bahn spend a bunch of money to internationally post a letter (in German!) letting me know the request I submitted (online!) for compensation has been accepted and giving me a voucher number (on paper!) that I will definitely forget about or lose? They sure did!!!
25.01.2026 12:31 β π 4 π 0 π¬ 0 π 0lol
19.01.2026 17:34 β π 1 π 0 π¬ 0 π 0They did say they'll release R1 rejections this week which I guess is the cause for the tingle?
19.01.2026 06:15 β π 1 π 0 π¬ 0 π 0I made it!!
09.01.2026 18:39 β π 3 π 0 π¬ 0 π 0Train 3/3 is a go! In my original plan this would have been the train I would have taken from much further north if delays had made the walk in the original connection too short, and being able to swap to it was the reason I sprung for a flex ticket. Lol, I guess?
09.01.2026 16:06 β π 0 π 0 π¬ 1 π 0π―π―π―
09.01.2026 15:16 β π 1 π 0 π¬ 0 π 0Almost at the end of leg 2, wish me a quick change in Baden
09.01.2026 14:36 β π 1 π 0 π¬ 1 π 0Train no. 2 is already on the board, we're considering this a success right?
09.01.2026 12:39 β π 3 π 0 π¬ 1 π 0Leg 1/3 successfully completed, only 4.5 hours to go!
09.01.2026 12:07 β π 0 π 0 π¬ 1 π 0I'm attempting an alternate route that includes no trains coming from northern Germany. Fingers crossed!
09.01.2026 11:15 β π 1 π 0 π¬ 1 π 0I would say it's time for #MaryGoRound rules but I'm the one who needs to drink and I have nothing
09.01.2026 10:45 β π 1 π 0 π¬ 1 π 0My second train was coming from north Germany, trains to FRA and Saarbruken seem to still go
09.01.2026 09:27 β π 0 π 0 π¬ 0 π 0E-graphs Dagstuhl coming to an end, and we're all going to try getting places in this weather. Wish us all luck...
09.01.2026 08:34 β π 20 π 0 π¬ 1 π 0A cat dressed like a wizard with the caption, "Sorry for acting weird. I am weird and it will absolutely happen again."
Good morning
Me heading into 2026
High art.
30.12.2025 15:12 β π 3 π 0 π¬ 0 π 0