Kristopher Micinski
@krismicinski.bsky.social
kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Reposted by Kristopher Micinski
@krismicinski's build a compiler in Five Projects
Build a Compiler in Five Projects
Class website here: https://kmicinski.com/cis531-f25
kmicinski.com
November 25, 2025 at 2:56 AM
@krismicinski's build a compiler in Five Projects
Reposted by Kristopher Micinski
Link to the blog post by @krismicinski.bsky.social: kmicinski.com/functional-p...
Build a Compiler in Five Projects
Class website here: https://kmicinski.com/cis531-f25
kmicinski.com
November 24, 2025 at 6:19 PM
Link to the blog post by @krismicinski.bsky.social: kmicinski.com/functional-p...
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.
Build a Compiler in Five Projects
Class website here: https://kmicinski.com/cis531-f25
kmicinski.com
November 24, 2025 at 3:26 AM
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.
[58min] "Closure Conversion: Examples and Implementation" I explain the intuition for closure conversion, show some examples, and then code up an implementation of bottom-up closure conversion in Racket meant to be used in my compilers' class. www.youtube.com/watch?v=zMta...
Closure Conversion: Examples and Implementation
YouTube video by Kristopher Micinski
www.youtube.com
November 18, 2025 at 5:59 AM
[58min] "Closure Conversion: Examples and Implementation" I explain the intuition for closure conversion, show some examples, and then code up an implementation of bottom-up closure conversion in Racket meant to be used in my compilers' class. www.youtube.com/watch?v=zMta...
Got ChatGPT to generate this rather large testcase for the compiler from my compilers' class this semester: gist.github.com/kmicinski/f4.... Pretty surprised by how well ChatGPT did at this task!!
Sudoku solver in Krischeme
Sudoku solver in Krischeme . GitHub Gist: instantly share code, notes, and snippets.
gist.github.com
November 17, 2025 at 5:25 AM
Got ChatGPT to generate this rather large testcase for the compiler from my compilers' class this semester: gist.github.com/kmicinski/f4.... Pretty surprised by how well ChatGPT did at this task!!
I have some new slides here for my class on compilers that cover types (kmicinski.com/cis531-f25/a...) and objects (kmicinski.com/cis531-f25/a...)
kmicinski.com
November 10, 2025 at 6:45 PM
I have some new slides here for my class on compilers that cover types (kmicinski.com/cis531-f25/a...) and objects (kmicinski.com/cis531-f25/a...)
Reposted by Kristopher Micinski
Wow. It’s not often a youtube video stops me in my tracks and leaves me stunned for a few minutes. To be fair, it’s the documentary that the youtube video is about that packs the punch, one I had heard about but thus far not seen – will rectify that asap
youtu.be/-pwT9arjasw?...
youtu.be/-pwT9arjasw?...
The Documentary That Exposed a Genocide
YouTube video by Projectionist
youtu.be
November 9, 2025 at 5:03 PM
Wow. It’s not often a youtube video stops me in my tracks and leaves me stunned for a few minutes. To be fair, it’s the documentary that the youtube video is about that packs the punch, one I had heard about but thus far not seen – will rectify that asap
youtu.be/-pwT9arjasw?...
youtu.be/-pwT9arjasw?...
Project 4 in my compilers class has us expand the compiler to include assignment (set!), vectors, and loops (while) kmicinski.com/cis531-f25/p...
Project 4: vectors, set!, and loops
Download the starter files here
kmicinski.com
October 30, 2025 at 10:33 PM
Project 4 in my compilers class has us expand the compiler to include assignment (set!), vectors, and loops (while) kmicinski.com/cis531-f25/p...
Talk Tomorrow: "Scalable Static Analysis and High-Performance Logic Programming" (github.com/kmicinski/mi...)
github.com
October 28, 2025 at 6:58 PM
Talk Tomorrow: "Scalable Static Analysis and High-Performance Logic Programming" (github.com/kmicinski/mi...)
a version of this book but it's all about humans
Marie Neurath is amazing, and her book on cognitive science for kids is wonderful: Machines which Seem to Think (1954). H/t @irisvanrooij.bsky.social youtu.be/XBWhdcD0r9I for this video about her. Book available for free online: www.fulltable.com/iso/mw.htm
October 12, 2025 at 3:43 PM
a version of this book but it's all about humans
[20min] New Video: "Static Single Assignment and ANF Introduction" www.youtube.com/watch?v=pI7s...
Static Single Assignment and ANF Introduction
YouTube video by Kristopher Micinski
www.youtube.com
October 5, 2025 at 7:34 PM
[20min] New Video: "Static Single Assignment and ANF Introduction" www.youtube.com/watch?v=pI7s...
[34min] New Video: "Continuation Passing Style (CPS) and CPS Conversion"
youtu.be/1WXnSq5k790
youtu.be/1WXnSq5k790
Continuation Passing Style (CPS) and CPS Conversion
YouTube video by Kristopher Micinski
youtu.be
October 4, 2025 at 1:02 AM
[34min] New Video: "Continuation Passing Style (CPS) and CPS Conversion"
youtu.be/1WXnSq5k790
youtu.be/1WXnSq5k790
Project 2 in my compilers class has students build a compiler from a tiny straight-line arithmetic language to x86-64--includes nice debugging server to help diagnose faults vs. instructor outputs kmicinski.com/cis531-f25/p...
Project 2: R1 → x86-64 Assembler
Starter code: Download the starter here!
kmicinski.com
September 22, 2025 at 3:19 PM
Project 2 in my compilers class has students build a compiler from a tiny straight-line arithmetic language to x86-64--includes nice debugging server to help diagnose faults vs. instructor outputs kmicinski.com/cis531-f25/p...
Zohran is seemingly the only person feared by the right, Bernie gets it correct here
We can set an example for the whole nation in this election.
September 8, 2025 at 1:37 PM
Zohran is seemingly the only person feared by the right, Bernie gets it correct here
Although I personally am conciliatory towards rather extreme leftist ideas for an American, I do *not* want the left version of whatever is going on right now. i feel i have to clarify this when so many folks‘ reasoning is “well they’d do it to us if they could too.” No, I wouldn’t be deporting you.
September 5, 2025 at 11:27 PM
Although I personally am conciliatory towards rather extreme leftist ideas for an American, I do *not* want the left version of whatever is going on right now. i feel i have to clarify this when so many folks‘ reasoning is “well they’d do it to us if they could too.” No, I wouldn’t be deporting you.
Someone I know posted this: www.stochasticlifestyle.com/a-guide-to-g...
A Guide to Gen AI / LLM Vibecoding for Expert Programmers - Stochastic Lifestyle
I get it, you’re too good to vibe code. You’re a senior developer who has been doing this for 20 years and knows the system like the back of your hand. Or maybe you’re the star individual contributor ...
www.stochasticlifestyle.com
September 5, 2025 at 9:59 PM
Someone I know posted this: www.stochasticlifestyle.com/a-guide-to-g...
you really can't make this shit up
September 5, 2025 at 2:12 PM
you really can't make this shit up
Reposted by Kristopher Micinski
Attn all ICE agents! Here’s an announcement from our front window: Chicago hates you, and you are not welcome here!
September 4, 2025 at 10:44 PM
Attn all ICE agents! Here’s an announcement from our front window: Chicago hates you, and you are not welcome here!
I guess we now know why they were pulling all that grant funding for misinformation eh
In another example that the US is doing the same things it accuses its enemies of doing: The Pentagon is planning to use AI-generated propaganda to “influence foreign target audiences” and “suppress dissenting arguments.”
In other words, it’s information warfare.
In other words, it’s information warfare.
Pentagon Document: U.S. Wants to “Suppress Dissenting Arguments” Using AI Propaganda
The U.S. is interested in acquiring machine-learning technology to carry out AI-generated propaganda campaigns overseas.
theintercept.com
September 4, 2025 at 8:31 PM
I guess we now know why they were pulling all that grant funding for misinformation eh
"Shut up and kiss the fist." Jesus universities really are becoming worthless these days www.theguardian.com/us-news/2025...
President of Northwestern University quits amid layoffs forced by Trump cuts
Michael H Schill led the institution for three years, during which Trump administration slashed nearly $800m
www.theguardian.com
September 4, 2025 at 8:13 PM
"Shut up and kiss the fist." Jesus universities really are becoming worthless these days www.theguardian.com/us-news/2025...
"That thing we said you were going to do for several decades and you never really did? Yeah turns out we're doing that now."
Selectively revoking constitutional rights for vulnerable minority groups is a GIGANTIC red flag. The reddest possible flag.
The "from my cold dead hands" crowd wants to ban people from owning guns
September 4, 2025 at 7:46 PM
"That thing we said you were going to do for several decades and you never really did? Yeah turns out we're doing that now."
Reposted by Kristopher Micinski
I’ve studied US drone strikes, I wrote a book called “Drones and Terrorism,” and this Caribbean strike is different.
Lethal fire at a non-threatening target in a non-hostile environment on purpose when other means, such as capture, were easily doable, and without even attempting a legal rationale.
Lethal fire at a non-threatening target in a non-hostile environment on purpose when other means, such as capture, were easily doable, and without even attempting a legal rationale.
September 4, 2025 at 4:03 AM
I’ve studied US drone strikes, I wrote a book called “Drones and Terrorism,” and this Caribbean strike is different.
Lethal fire at a non-threatening target in a non-hostile environment on purpose when other means, such as capture, were easily doable, and without even attempting a legal rationale.
Lethal fire at a non-threatening target in a non-hostile environment on purpose when other means, such as capture, were easily doable, and without even attempting a legal rationale.
There’s a worrying trend on Twitter where some woman posts something kinda cutesy for attention and instead of a bunch of guys making awkward comments to interact with her you have a bunch of gross incels trying to make her feel like shit.
Thanks but I prefer to skip the 30s this time
Thanks but I prefer to skip the 30s this time
September 4, 2025 at 2:49 AM
There’s a worrying trend on Twitter where some woman posts something kinda cutesy for attention and instead of a bunch of guys making awkward comments to interact with her you have a bunch of gross incels trying to make her feel like shit.
Thanks but I prefer to skip the 30s this time
Thanks but I prefer to skip the 30s this time
You could probably teach a whole class just on join algorithms from the past few years
September 4, 2025 at 2:15 AM
You could probably teach a whole class just on join algorithms from the past few years
Ah yes, Rust, a DARPA conspiracy to push "safe" software. You cannot make this shit up--no wonder the average programmer can't find a job.
September 3, 2025 at 6:07 AM
Ah yes, Rust, a DARPA conspiracy to push "safe" software. You cannot make this shit up--no wonder the average programmer can't find a job.