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.
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.
Reposted by Kristopher Micinski
close enough, welcome back burning man attendee
September 1, 2025 at 2:01 AM
close enough, welcome back burning man attendee
Twitter in 2025 has become a lot of:
A: "these liberals are regards, vaccines are for horses"
B: "makes sense because they're all dirty jews"
A: "uh although I agree we should all just drink bleach I actually do *not* hate the jews FYI"
B: "u regarded cuck"
A: "these liberals are regards, vaccines are for horses"
B: "makes sense because they're all dirty jews"
A: "uh although I agree we should all just drink bleach I actually do *not* hate the jews FYI"
B: "u regarded cuck"
August 31, 2025 at 1:44 PM
Twitter in 2025 has become a lot of:
A: "these liberals are regards, vaccines are for horses"
B: "makes sense because they're all dirty jews"
A: "uh although I agree we should all just drink bleach I actually do *not* hate the jews FYI"
B: "u regarded cuck"
A: "these liberals are regards, vaccines are for horses"
B: "makes sense because they're all dirty jews"
A: "uh although I agree we should all just drink bleach I actually do *not* hate the jews FYI"
B: "u regarded cuck"
Reposted by Kristopher Micinski
New plan: we get Obama to demand the death certificate
August 31, 2025 at 2:43 AM
New plan: we get Obama to demand the death certificate
Reposted by Kristopher Micinski
Reposted by Kristopher Micinski
Huge congrats to Yann Herklotz (@ymherklotz) for successfully defending his PhD thesis today, all about his proven-in-Coq high-level synthesis tool. And enormous thanks to George Constantinides (@gconstantinides) and Xavier Leroy for their thoughtful and thorough examining.
November 16, 2024 at 9:57 AM
Huge congrats to Yann Herklotz (@ymherklotz) for successfully defending his PhD thesis today, all about his proven-in-Coq high-level synthesis tool. And enormous thanks to George Constantinides (@gconstantinides) and Xavier Leroy for their thoughtful and thorough examining.