Tessera
Folgen

Junrui Liu

@junrui-liu.bsky.social

Incoming Assistant Prof of CS @ Cal Poly. Interested in programming languages, synthesis and verification. https://junrui-liu.github.io/ Opinions are my own.

30 Posts187 Follower356 Folgt
Lauren Leek@laurenleek.eu · 5d ago

We have more data about ourselves than ever. So why is everything converging on the same? In my new post I use data on high streets, Billboard hits, a million films and my own AI personas to expose the algorithms behind the sameness and how to regulate them. laurenleek.substack.com/p/temperatur...

Temperature Zero for Culture: Why Everything Is Starting to Look the Same

What 640 London shopping streets, 4,000 Billboard hits, a million films and synthetic AI personas tell us about why everything is flattening into sameness and how to regulate the algorithms behind it.

laurenleek.substack.com

sorelle@friedler.net · 3w ago

My department is hiring tenure-track in computer science! Deadline: Oct 1, 2026. We care about and support both research and teaching. We're located in the suburbs of Philadelphia. It's a great place to work and live! I'm happy to answer any questions. www.haverford.edu/provost/news...

Tenure-Track Assistant Professor of Computer Science

Haverford College invites applications for a Tenure-Track Assistant Professor of Computer Science to begin Fall 2027.

haverford.edu

Shriram Krishnamurthi@shriram.bsky.social · 3mo ago

Startled to find out that there are young people who haven't read James Iry's magnificent "A Brief, Incomplete, and Mostly Wrong History of Programming Languages". Please drop what you're doing and head over. james-iry.blogspot.com/2009/05/brie...

A Brief, Incomplete, and Mostly Wrong History of Programming Languages

1801 - Joseph Marie Jacquard uses punch cards to instruct a loom to weave "hello, world" into a tapestry. Redditers of the time are not imp...

james-iry.blogspot.com

Junrui Liu@junrui-liu.bsky.social · 6mo ago

A while ago, I came across Neel Krishnaswami's bold idea of centering an intro compilers course on the bottom-up evaluation of least fixed-points. Since so many compiler passes and static analyses can be framed this way, it’s a powerful unifying theme. semantic-domain.blogspot.com/2020/02/thou...

Thought Experiment: An Introductory Compilers Class

Recently, I read a blog post in which Ben Karel summarized the reaction to a request John Regehr made about how to teach compilers , and as ...

semantic-domain.blogspot.com

Junrui Liu@junrui-liu.bsky.social · 9mo ago

been toying with the idea of teaching Theory of Computation by starting with TMs first, where students immediately grapple with important questions like (un)decidability and Rice's Theorem, which nicely motivate simpler computation models that show the expressivity <-> automation tradeoff

Tomas Petricek@tomasp.net · 10mo ago

I'm teaching 𝗪𝗿𝗶𝘁𝗲 𝘆𝗼𝘂𝗿 𝗼𝘄𝗻 𝘁𝗶𝗻𝘆 𝗽𝗿𝗼𝗴𝗿𝗮𝗺𝗺𝗶𝗻𝗴 𝘀𝘆𝘀𝘁𝗲𝗺(𝘀)! again. I'll be posting the videos & tasks on YouTube too. In the first lecture, I explain what's a tiny system, why write one and show plenty of demos! 🎞️ Playlist: www.youtube.com/playlist?lis... 👉 More info: d3s.mff.cuni.cz/teaching/npr...

Write your own tiny programming system(s)! - YouTube

The goal of this course is to teach how fundamental programming language techniques, algorithms and systems work by writing their miniature versions. The cou...

youtube.com

Shriram Krishnamurthi@shriram.bsky.social · 12mo ago

Super excited to release the latest version of "A Data-Centric Introduction to Computing" (DCIC). See release notes for 2025-08-27 for what's changed and new (a LOT!): dcic-world.org/2025-08-27/R.... dcic-world.org

A Data-Centric Introduction to Computing

This book is an introduction to computer science. It will teach you to program, and do so in ways that are of practical value and importance. However, it will also go beyond programming to computer sc...

dcic-world.org

Conor Titania Mc Bride@pigworker.bsky.social · last yr.

The joy of comp sci is that it applies scientific (mathematical, if you're lucky) thinking to a domain which is constructed entirely artificially. Things are the way we make them. Reality doesn't fling you around: you fling reality around. And you need to learn to do so with skill and consideration.

sorelle@friedler.net · last yr.

Specifically, if you're looking for a CS job at a small liberal arts college check this list (later this summer): cs-pui.github.io And warning: many of these jobs have early fall deadlines! #FAccT2025

CS Jobs at Undergrad Institutions (PUIs)

A site to compile more teaching-oriented positions in CS that are often a struggle to find for Ph.D. students new on the market.

cs-pui.github.io

Maria Antoniak@mariaa.bsky.social · last yr.

@friedler.net gives advice for current grad students that small liberal arts schools are excited to hire in this space. Don’t forget that there are lots of places to do good work! More options like policy, civil society. Your knowledge is important to the world right now.

Junrui Liu@junrui-liu.bsky.social · last yr.

This is such an important observation that I've been planning to delve into it in my intro PL class this summer. In this sense, non-determinism is just like type abstraction: if an over-approximation of actual behaviors is proven safe, then so are the actual behaviors.

Hillel is on Social Media Break@hillelwayne.com · last yr.

I think next week's Formal Methods talk is going to be almost entirely about system properties, which means I probably won't be getting a chance to talk about my favorite idea from FM: that "nondeterminism" is primarily a means of *abstracting* a system. Consider, for example, the humble `rand()`.

Mark Mahoney@mark.playbackpress.com · last yr.

UPDATE: I am going to offer some free online training this summer about how to create code playbacks and use them in a course. I'll show how I use code playbacks instead of textbooks and videos and share what my students think of them. www.eventbrite.com/e/beyond-tex...

Beyond Textbooks and Videos: Creating and Sharing Code Playbacks

Join CS professor, Mark Mahoney, to hear about how he uses code playbacks in his computer science courses.

eventbrite.com

Sam Tobin-Hochstadt@samth.bsky.social · last yr.

A few thoughts on AI and education, from someone who uses AI and also teaches many levels of student. 1. Most importantly, it's not possible to know what will happen because no one knows what skills AI will or will not replace in the next few years.