iiinova — where your digital self keeps evolving

Reposted by Kristopher Micinski

Люблю хлеб @thedansimonson.bsky.social · 28/05/2026

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"

297

Reposted by Kristopher Micinski

SE Gyges @segyges.bsky.social · 15/03/2026

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"

251305334

Kristopher Micinski @krismicinski.bsky.social · 07/03/2026

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...).

viz of reduction sequence in the tutorial

options menu with a huge lambda calculus term in the background being gradually reduced.

a self-loop for the omega combinator in the tutorial.

illustrating the church-rosser property.

2254

Kristopher Micinski @krismicinski.bsky.social · 27/01/2026

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.

050

Kristopher Micinski @krismicinski.bsky.social · 03/12/2025

To be honest, I don't think any culture understands the concept of acceptable losses quite like the USA

111

Reposted by Kristopher Micinski

Joe Cutler @alphaconvert.bsky.social · 02/12/2025

something about @krismicinski.bsky.social getting an f150 or the like

171

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

Kristopher Micinski @krismicinski.bsky.social · 18/11/2025

[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...

youtube.com

Closure Conversion: Examples and Implementation

YouTube video by Kristopher Micinski

041

Kristopher Micinski @krismicinski.bsky.social · 17/11/2025

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!!

gist.github.com

Sudoku solver in Krischeme

Sudoku solver in Krischeme . GitHub Gist: instantly share code, notes, and snippets.

050

Kristopher Micinski @krismicinski.bsky.social · 10/11/2025

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

050

Reposted by Kristopher Micinski

Medlife Crisis (Rohin) @medcrisis.bsky.social · 09/11/2025

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

The Documentary That Exposed a Genocide

YouTube video by Projectionist

4197

Kristopher Micinski @krismicinski.bsky.social · 30/10/2025

Project 4 in my compilers class has us expand the compiler to include assignment (set!), vectors, and loops (while) kmicinski.com/cis531-f25/p...

kmicinski.com

Project 4: vectors, set!, and loops

Download the starter files here

170

Kristopher Micinski @krismicinski.bsky.social · 28/10/2025

Talk Tomorrow: "Scalable Static Analysis and High-Performance Logic Programming" (github.com/kmicinski/mi...)

github.com

1177

Kristopher Micinski @krismicinski.bsky.social · 12/10/2025

a version of this book but it's all about humans

050

Kristopher Micinski @krismicinski.bsky.social · 22/09/2025

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...

kmicinski.com

Project 2: R1 → x86-64 Assembler

Starter code: Download the starter here!

1215

Kristopher Micinski @krismicinski.bsky.social · 08/09/2025

Zohran is seemingly the only person feared by the right, Bernie gets it correct here

160

Kristopher Micinski @krismicinski.bsky.social · 06/09/2025

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.

140

Reposted by Kristopher Micinski

Pilsen Community Books @pilsencommbooks.bsky.social · 04/09/2025

Attn all ICE agents! Here’s an announcement from our front window: Chicago hates you, and you are not welcome here!

An anti-ICE flyer hanging in the window of the bookstore.

11296422493

Kristopher Micinski @krismicinski.bsky.social · 04/09/2025

I guess we now know why they were pulling all that grant funding for misinformation eh

061

Kristopher Micinski @krismicinski.bsky.social · 04/09/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."

040

Reposted by Kristopher Micinski

Nicholas Grossman @nicholasgrossman.bsky.social · 04/09/2025

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.

38599132858

Kristopher Micinski @krismicinski.bsky.social · 04/09/2025

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

030

Kristopher Micinski @krismicinski.bsky.social · 04/09/2025

You could probably teach a whole class just on join algorithms from the past few years

060

Kristopher Micinski @krismicinski.bsky.social · 03/09/2025

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.

0100

Reposted by Kristopher Micinski

paris martineau @paris.nyc · 01/09/2025

close enough, welcome back burning man attendee

2989

Kristopher Micinski @krismicinski.bsky.social · 31/08/2025

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"

270

Reposted by Kristopher Micinski

Artologica aka Michele Banks @artologica.net · 31/08/2025

New plan: we get Obama to demand the death certificate

715328848

Reposted by Kristopher Micinski

John Wickerson @wicko3.bsky.social · 19/04/2024

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.

032

Reposted by Kristopher Micinski

Rohan Padhye @rohan.padhye.org · 28/08/2025

Excited to announce that the Fray paper has been accepted to OOPSLA'25! Work led by @aoli.al with a full pastalab.org collaboration. 📄: rohan.padhye.org/files/fray-o... 💻: github.com/cmu-pasta/fray 🎥: www.youtube.com/watch?v=AX6P...

Front page of a paper titled "Fray: An Efficient General-Purpose Concurrency Testing Platform for the JVM" by Ao Li et al. from Carnegie Mellon University.

3154

Reposted by Kristopher Micinski

Timmons Roberts @timmonsroberts.bsky.social · 25/08/2025

My lab's been attacked by an anti-wind group and their lawyers. They threatened the science funding of my whole university, to shut me and my undergraduate research assistants up. NYT just covered it. 1/n www.nytimes.com/2025/08/25/c...

nytimes.com

Law Firm Pressures Brown University to Erase Research on Anti-Wind Groups

2044212141

Kristopher Micinski @krismicinski.bsky.social · 23/08/2025

Channeling the recent South Park, I asked ChatGPT to rank my honeymoon photos this as the best one

immersive backdrop in hawaii, looking down into a crater--a hill features prominently in the foreground, with a mix of dolors in the background

170

Kristopher Micinski @krismicinski.bsky.social · 21/08/2025

There is literally a property developer in Colorado suing to establish a “whites only” neighborhood. We are already here, and it’s horrible

040

Reposted by Kristopher Micinski

Alice ✨ @welltypedwit.ch · 20/08/2025

made the mistake of checking what that apparent twitter discourse about inference rules was about and... as someone who literally started reading papers like this when she made her first programming language at 15 (like, exactly): it's seriously not that hard lol

imagine you're 15 and just wantto make your own programming language and then you get stunlocked by this <typing rules from the complete and easy paper>

9222

Reposted by Kristopher Micinski

Christian Wolf @chriswolfvision.bsky.social · 19/08/2025

This is an *insane* take for so many reasons, but it's also very wrong. First, the authors had PhDs, and second, it is factually wrong, since the paper was published at NIPS (NeurIPS) 2017.

8777

Kristopher Micinski @krismicinski.bsky.social · 20/08/2025

Wanting to bluster around about how great your country is without any nuance or dissent works out great--until you have to face the reality that it does not actually generate greatness by itself. The US can only gain strength by enabling deep dissent, which *is* a celebration of our heritage.

051

Reposted by Kristopher Micinski

Simon Willison @simonwillison.net · 19/08/2025

One of the quickest ways to start playing with a good local LLM on macOS (if you have ~12GB free disk/RAM) - using llama-server and gpt-oss-20b: brew install llama.cpp llama-server -hf ggml-org/gpt-oss-20b-GGUF \ --ctx-size 0 --jinja -ub 2048 -b 2048 -ngl 99 -fa simonwillison.net/2025/Aug/19/...

simonwillison.net

llama.cpp guide: running gpt-oss with llama.cpp

Really useful official guide to running the OpenAI gpt-oss models using llama-server from llama.cpp - which provides an OpenAI-compatible localhost API and a neat web interface for interacting with th...

411310

Reposted by Kristopher Micinski

Kiran @kirancodes.me · 17/08/2025

PL research be like

Modified edit of an xkcd comic. Two people are talking, one person walks on screen. One says "Our field has been struggling with this problem for years"

The person who walks on screen says "Struggle no More! I'm here to solve it with DEPENDENT TYPES!" holding up a computer.

The next panel shows them sitting down and watching the guy on a laptop

The final panel is 6 months later. The person on the laptop says "Wow, this problem is really hard."

The original speaker says "You don't say."

26916

Kristopher Micinski @krismicinski.bsky.social · 17/08/2025

I want the AI to figure out a way to make the stats look legitimate so that they support what I say. P-hack in real time baby

020