10/10, no notes.

I am looking for 1-2 PhD students interested broadly in computer systems, compilers, and/or PL! If you would like to do your PhD in a vibrant city with great weather, next to the sea 🌊, and the mountains 🏔️, make sure to apply to UCLA and mark my name as a potential advisor!

#MULCIA: PhD position in Computing Science focusing on automated verification and debugging of numerical programs. tinyurl.com/25uu2uvk #PhD #PostDoc #CompSci

FP folks -- please encourage recently completed PhD students to publish their dissertation abstracts in the Journal of Functional Programming: simple process, no refereeing, open access, 200+ published to date, deadline 29th November 2024. Please share! tinyurl.com/jfp-phd-abstra…

It's interesting enough that I'd consider wholesale adopting NotebookLM if I trusted Google to keep it around for more than 6 months.

I'll be looking for work soon! Starting early next year, remote from SE. Autonomous testing, distsyst, web, data eng, PL, and probably more areas are of interest. (Retweets are highly appreciated. 🙌)

I'm really curious about a thing called "Quantum Prolog" but I can't make heads or tails of this quantumprolog.sgml.net.

Tee hee.

If you all are jumping ship, I'm down to leave.

Computing education by non-CS Ed folks: Ben Shapiro (the good one) and I are ready for the second run of CERAMICS (Computing Education Research Advancing Methods for Curricula and Systems). Please see and share the FAQ + app link: docs.google.com/document/d/e/2…

Yao Li Personally experienced and heard: - Bloomberg - AWS - MSR - Galois - Trail of Bits - A small number of teams at Meta and Google

A whole bevy of Seton Hall students and alumni hacking during the break at NJPLS. Fodder for talks at the next one!

As Mark Lewis probably says nowadays, "Hours of vibe coding can save minutes of thinking."

Lambda-join, a new streaming functional language [1], implemented using minikanren's search strategy(!), in 3 variations: gist.github.com/rntz/9f0785244 [1] "Functional Meaning for Parallel Streaming" Nick Rioux & Steve Zdancewic PLDI 2025 arxiv.org/abs/2504.02975

US halts student visa appointments and plans expanded social media vetting bbc.in/3FmWjSQ

Happy to share that our ICFP’25 paper “multi-stage programming with splice variables” with Tsung-Ju Chiang received a Distinguished Paper Award! See you in Singapore! icfp25.sigplan.org/details/icfp-2…

14. A fascinating vintage Swiss washing machine that uses punch cards to program the wash cycle