iiinova — where your digital self keeps evolving

Steven Holtzen

@sholtzen.bsky.social

I like computers. assistant prof at northeastern www.khoury.northeastern.edu/home/sh…

Steven Holtzen @sholtzen.bsky.social · 27/09/2026

Curious how calibrated decision models like Jev interact with probabilistic programs. I've added some notes on this to my ongoing probabilistic programming course: sholtzen.dev/fall26-pwp/L...

sholtzen.dev

4 Language models

000

Steven Holtzen @sholtzen.bsky.social · 21/05/2026

Hi antonio

110

Steven Holtzen @sholtzen.bsky.social · 19/01/2026

Super excited to be lecturing at the 2026 edition of EPIT 11 – 15 May, 2026 at the French spring school in theoretical computer science! I will be lecturing on the mechanics of probabilistic inference. Other topics include probabilistic semantics and verification. conferences.cirm-math.fr/3489.html

010

Steven Holtzen @sholtzen.bsky.social · 19/01/2026

This is called "Algebra: Chapter 0". once they are adults they can get Chapter 1

000

Steven Holtzen @sholtzen.bsky.social · 19/01/2026

I would have if I could have

000

Steven Holtzen @sholtzen.bsky.social · 08/01/2026

We've extended the deadline for workshops at SPLASH/ISSTA 2026 to **January 17**! Please submit your proposals (it's just a small HotCRP form this year, easy!), and we're looking forward to seeing you in Oakland! Link: 2026.splashcon.org/track/splash... @rohan.padhye.org @issta.bsky.social

2026.splashcon.org

SPLASH/ISSTA 2026 - Workshops - SPLASH 2026

Welcome to the website of the SPLASH 2026 conference. We are working hard to fill the website with all related information. Please check back soon! In the meantime, please consider this overview of th...

031

Reposted by Steven Holtzen

Rohan Padhye @rohan.padhye.org · 03/12/2025

SPLASH and ISSTA are going to be co-located in 2026 at Oakland, CA! 🥳 If you would like to run a workshop in PL/SE/Testing, submit a proposal by Jan 10th: conf.researchr.org/track/splash... Contact @sholtzen.bsky.social or me for questions.

conf.researchr.org

SPLASH/ISSTA 2026 - Workshops - SPLASH/ISSTA 2026

Welcome to the website of the SPLASH/ISSTA 2026 conference. We are working hard to fill the website with all related information. Please check back soon! In the meantime, please consider this overview...

051

Steven Holtzen @sholtzen.bsky.social · 10/01/2025

If I can jump in, Racket does continue to be heavily used in our curriculum and will be for the foreseeable future. I'm using it to teach my class: pages.github.khoury.northeastern.edu/sholtzen/cs4... Also used in logic&comp: course.ccs.neu.edu/cs2800sp25/

pages.github.khoury.northeastern.edu

CS4400 Spring 2025 Course Notes

020