Sign in

Junrui Liu

@junrui-liu.bsky.social
188 followers 361 following 31 posts

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

PostsRepliesMedia
Reposted by Junrui Liu
Shriram Krishnamurthi @shriram.bsky.social · 12/09/2026
Fisler, Littman, & I have an upcoming CACM op-ed: "Teaching Novice Computing and Programming in the Agentic AI Era". Based on our experimental course+research. We argue that the «flaky compiler» is a useful metaphor for course design. Details in preprint: cs.brown.edu/people/sk/Pu...
cs.brown.edu
Teaching Novice Computing and Programming in the Agentic AI Era
1308
Junrui Liu @junrui-liu.bsky.social · 29/08/2026
Watching this and nodding along to so many things (as I'm procrastinating on prepping for my next lecture on design recipes in Racket)
082
Reposted by Junrui Liu
Lauren Leek @laurenleek.eu · 10/08/2026
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...
laurenleek.substack.com
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.
36120
Reposted by Junrui Liu
sorelle @friedler.net · 28/07/2026
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...
haverford.edu
Tenure-Track Assistant Professor of Computer Science
Haverford College invites applications for a Tenure-Track Assistant Professor of Computer Science to begin Fall 2027.
12716
Reposted by Junrui Liu
Shriram Krishnamurthi @shriram.bsky.social · 28/07/2026
0/ At the AIMCS (AI for Math and CS) workshop at FLoC 2026, @swarat.bsky.social ran a really fun panel on "How should the Formal Methods community respond to AI progress?" He put a lot of thought into very good questions, so here are my answers to them: ↵
1134
Junrui Liu @junrui-liu.bsky.social · 20/07/2026
👻👻
010
Reposted by Junrui Liu
Shriram Krishnamurthi @shriram.bsky.social · 29/05/2026
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...
james-iry.blogspot.com
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...
3308
Junrui Liu @junrui-liu.bsky.social · 11/05/2026
So honored to receive this year's Outstanding TA Award from the UCSB Academic Senate!
020
Reposted by Junrui Liu
Shriram Krishnamurthi @shriram.bsky.social · 10/04/2026
The best piece I've read lately on AI in science is @minaskar.bsky.social's "The machines are fine. I'm worried about us." I disagree w/ his take on evaluation, but the rest is thoughtful, trenchant, and has several fine turns of phrase and useful litmus tests. ergosphere.blog/posts/the-ma...
ergosphere.blog
The machines are fine. I'm worried about us.
On AI agents, grunt work, and the part of science that isn't replaceable.
0121
Reposted by Junrui Liu
Chris Peikert @chrispeikert.bsky.social · 23/03/2026
new Joy of Cryptography just dropped (feat. Post-Quantum Crypto)
Cover of “The Joy of Cryptography” by Mike RosulekPart of the table of contents including a chapter on post-quantum cryptography
1548
Junrui Liu @junrui-liu.bsky.social · 12/02/2026
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...
semantic-domain.blogspot.com
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 ...
140
Reposted by Junrui Liu
Kristopher Micinski @krismicinski.bsky.social · 07/01/2026
New on my blog: "Why Study CS? Thoughts on LLM-assisted software engineering" kmicinski.com/claude-code-...
kmicinski.com
Why Study CS? Thoughts on LLM-assisted software engineering
Dear students of Computer Science,
52911
Reposted by Junrui Liu
Shriram Krishnamurthi @shriram.bsky.social · 19/12/2025
Over the years I've been asked many times for advice on pedagogy, what to read to learn more, etc. I've finally put together a bunch of materials into one blog post: Key Advice • Readings • Neuromyths • For Computer Scientists • Classroom Tips. Enjoy! parentheticallyspeaking.org/articles/ped...
parentheticallyspeaking.org
Pedagogy Recommendations
Parenthetically Speaking: Articles by Shriram Krishnamurthi
13110
Junrui Liu @junrui-liu.bsky.social · 19/12/2025
Added to my holiday reading list. Looking forward!
010
Junrui Liu @junrui-liu.bsky.social · 25/11/2025
Excited to see if I can incorporate this text into a data structures (or even discrete maths) course!
020
Reposted by Junrui Liu
Kristopher Micinski @krismicinski.bsky.social · 24/11/2025
My five-project (along with slides, video lectures, etc.) compilers course has all projects now available online free: kmicinski.com/functional-p.... Five projects have you incrementally build a compiler for a substantial language, including functions, mutation, loops, vectors, etc.
kmicinski.com
Build a Compiler in Five Projects
Class website here: https://kmicinski.com/cis531-f25
02512
Junrui Liu @junrui-liu.bsky.social · 11/11/2025
"Proving termination and completeness... merely lets you sleep better."
000
Junrui Liu @junrui-liu.bsky.social · 07/11/2025
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
210
Reposted by Junrui Liu
Bozhidar Batsov (a.k.a. Bug) @batsov.net · 05/11/2025
A new book on the history of control structures by the creator of #OCaml himself @camlist.bsky.social xavierleroy.org/control-stru...
xavierleroy.org
Control structures in programming languages
Xavier Leroy
0155
Reposted by Junrui Liu
José A. Alonso @jalonso.eurosky.social · 13/10/2025
Interactive theorem provers for proof education. ~ Romina Mahinpei, Manoel Horta Ribeiro, Mae Milano. dl.acm.org/doi/abs/10.1... #ITP #CoqProver #Teaching
dl.acm.org
Interactive Theorem Provers for Proof Education | Proceedings of the 2025 ACM SIGPLAN International Symposium on SPLASH-E
022
Reposted by Junrui Liu
Tomas Petricek @tomasp.net · 07/10/2025
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...
youtube.com
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...
14918
Reposted by Junrui Liu
Shriram Krishnamurthi @shriram.bsky.social · 28/08/2025
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
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...
24910
Reposted by Junrui Liu
Jonathan Aldrich @jonathanaldrich.bsky.social · 08/08/2025
Released today: the second video in my Programming Language Pragmatics series, covering Compilation, Interpretation, and Environments! www.youtube.com/watch?v=mrmo... Going forward, I'll post a video 3 times a week. Please share the series with anyone who might benefit!
youtube.com
PLP 1.3-1.4: Compilation, interpretation, and environments
YouTube video by Jonathan Aldrich
1227
Reposted by Junrui Liu
Kristopher Micinski @krismicinski.bsky.social · 07/07/2025
May 25-27, 2025, I hosted an event, the "Minnowbrook Logic Programming Seminar," in Blue Mountain Lake, NY. I recorded 11 talks on Datalog-related interests, totaling over 9+ hours of video, which I have just now published on YouTube youtu.be/3ec9VfMUVa8
youtu.be
Minnowbrook Logic Programming Seminar (Supercut w/ Extras)
YouTube video by Kristopher Micinski
2185
Reposted by Junrui Liu
Conor Titania Mc Bride @pigworker.bsky.social · 28/06/2025
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.
4305
Reposted by Junrui Liu
sorelle @friedler.net · 25/06/2025
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-pui.github.io
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.
1198
Reposted by Junrui Liu
Yaron Minsky @yminsky.bsky.social · 13/06/2025
And here's a blog post, announcing the release! blog.janestreet.com/introducing-...
blog.janestreet.com
Introducing OxCaml
At Jane Street, we’ve been actively making improvements to OCaml for a long time. Over thelast few years, we’ve started to build some fairly ambitious extens...
05418
Junrui Liu @junrui-liu.bsky.social · 11/06/2025
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.
110
Reposted by Junrui Liu
Mark Mahoney @mark.playbackpress.com · 27/05/2025
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...
eventbrite.com
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.
172
Reposted by Junrui Liu
Sam Tobin-Hochstadt @samth.bsky.social · 08/05/2025
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.
1279
Junrui Liu @junrui-liu.bsky.social · 09/04/2025
Really excited to teach an undergrad course on programming languages this summer! Unfortunately, UCSB only gave me 6 weeks for a summer class, so will have to work under severe time constraints. Slowly working out the course design here (suggestions welcome!): junrui-liu.github.io/cs162/
junrui-liu.github.io
Syllabus 📝 - CS162 Programming Languages
010
Junrui Liu @junrui-liu.bsky.social · 03/04/2025
Random thought: teaching a PL course where students progressively build components of a language server for a simple language
120
Reposted by Junrui Liu
Dan Plyukhin @dplyukhin.bsky.social · 25/03/2025
This essay about feminism in PL asks some really tough questions! It’s making me wonder: what should the purpose of PL research be, anyway?? Are we trying to “solve problems”, “make the world a better place”, “expand knowledge”, or…? www.felienne.com/wp-content/u...
felienne.com
022