welp, I got laid off. if anyone you know is looking for a slightly-used computational linguist -- remote or in #Syracuse, NY -- get in touch. I'm also open to "data science" positions if they're "languagey"
Kristopher Micinski
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
i read this and it's interesting but the horrifying overhang of this story is "mrna vaccines make it relatively easy to cure cancer actually, and the main obstacle is that the FDA just banned trials of them"
Mrs. Reach / Mrs. Curio@reachartwork.bsky.social · 5mo agowww.theaustralian.com.au/business/tec... hey. hold on. what the fuck??? (/pos)
Latest in my educational apps for learning programming languages: an interactive tutorial / visualizer for reduction in the untyped λ-calculus. Now live online at kmicinski.com/cis352-s26/l... (git repo at: github.com/kmicinski/la...).
Programming with Algebra (Course Notes) kmicinski.com/cis352-s26/a...
Programming with Algebra
Programming with Algebra
kmicinski.com
Given the fact that so many thoughtful people in the world are just insisting that AI can do everything and has no flaws, I think it is fair to say that finally all of the former adults in the room are tripping balls. I am a big AI fan myself of course.
New on my Modern Deduction blog: "Post 3: Data-Parallel Functional Programming in Datalog" kmicinski.com/modern-deduc...
Post 3: Data-Parallel Functional Programming in Datalog
In the early days of our PPoSS project, we built Slog, an untyped logic programming language that extended Datalog to be much closer to Scheme. In this post, I want to describe Slog informally, but al...
kmicinski.com
New on my blog: "Why Study CS? Thoughts on LLM-assisted software engineering" kmicinski.com/claude-code-...
Why Study CS? Thoughts on LLM-assisted software engineering
Dear students of Computer Science,
kmicinski.com
To be honest, I don't think any culture understands the concept of acceptable losses quite like the USA
ae@aelkus.bsky.social · 8mo ago"the optimal level of fraud is not zero" is, I think, really the answer here. it's not also politically correct to say since Americans hate any kind of cheating, no matter how minor it is
something about @krismicinski.bsky.social getting an f150 or the like
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
[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
youtube.com
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
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
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?...
The Documentary That Exposed a Genocide
YouTube video by Projectionist
youtu.be
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
Talk Tomorrow: "Scalable Static Analysis and High-Performance Logic Programming" (github.com/kmicinski/mi...)
github.com
a version of this book but it's all about humans
Olivia Guest · Ολίβια Γκεστ@olivia.science · 2y agoMarie 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
[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
youtube.com
[34min] New Video: "Continuation Passing Style (CPS) and CPS Conversion" youtu.be/1WXnSq5k790
Continuation Passing Style (CPS) and CPS Conversion
YouTube video by Kristopher Micinski
youtu.be
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
Zohran is seemingly the only person feared by the right, Bernie gets it correct here
Zohran Kwame Mamdani@zohrankmamdani.bsky.social · 11mo agoWe can set an example for the whole nation in this election.
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 ...
stochasticlifestyle.com
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
Paris Marx@parismarx.com · 11mo agoIn 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.
"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
theguardian.com
"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."
Jeff Lazarus@jlazarus.bsky.social · 11mo agoSelectively revoking constitutional rights for vulnerable minority groups is a GIGANTIC red flag. The reddest possible flag.