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

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

you really can't make this shit up

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

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

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.

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

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.

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"

New plan: we get Obama to demand the death certificate

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.

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

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

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

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

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

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.

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.

People are so excited that we might be on the verge of civil war. I’m not. I’m a basic bitch who likes basic things like pumpkin spice lattes and not getting shot at in the grocery store.

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

PL research be like

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

My current fun debate / stupid question on nerd twitter has been: is every non-monotonic logic simply monotonic under a more complex order (e.g., a frame that includes the trace of observations up until this point)

Please understand that I am not unilaterally endorsing Altman. But I will say: this point stands even *more* true for research. I always find it *so funny* when researchers guard their ideas like a hawk from me: I'm just gonna go work on my random Datalog shit, not whatever you are passionate about.

Stretching DuckDB w/ Common Crawl, ~1.7B rows, ~300 parquet files. ~2-3s for single-column aggregations, ~2-3 mins to SUMMARIZE the data, peaking at ~12-14GB memory usage. Not exactly real-time, but the fact you can do this on a laptop with no server setups or Spark pipelines is still amazing.

Why Lean 4 replaced OCaml as my Primary Language kirancodes.me/posts/...

So often I hear about a startup claiming amazing results but when I google them all I find is disgruntled former employees pissed they all got laid off abruptly

How about that? A victory for people who actually read.

"That Nazi Shithole is such a Fun place for Performance Art" -- Kristopher Micinski, on Twitter/X

> be jetbrains > announce fancy new next-gen IDE for OCaml > 4 months later > pivot to no-code ai platform

this month i'm gonna try to see if I can make money with LLMs by using ChatGPT o3 to try to get AWS to stop charging me $110/month on a complicated account my students set up but now we have torn down and still don't get why we're burning cash.

haha i wish.. but i kinda think not.

installing some cabinet doors I made--they still need another coat of paint and some adjusting

I am delighted to announce the v0.11 release of Logic for Programmers! The changelog is ENORMOUS: complete rewrites of databases, decision tables, contracts, and an *entirely new chapter* on proving code correct! Over 20% more content than v0.10, so check it out today! leanpub.com/logic/

A blog post summarizing our latest work: a static analyzer that leverages Rust in a non-trivial way! blog.brownplt.org/2025/08/03/p...

Breaking: Google will index practically everything except actual web pages these days www.fastcompany.com/91376687/goo...

imagine you're teaching a course on topology and the students are pissed that you're not teaching them how to use a calculator

anyone up for some easy listening: kmicinski.com/functional-p...

This administration's attack on science & health will be irreparable. The path to be an NIH-funded scientist has always been extraordinarily hard. With these attacks, the # of scientists that survive these cuts will be miniscule & the future is bleak for those who are interested. Our future is dark.

Submitted my annual NSF report--although I am gravely concerned about the future of science in the US, I am greatly thankful to NSF for supporting basic science--a critical necessity to ensure continued US prosperity, security, and collective wealth.

See here for the full message from the Brown president: www.brown.edu/news/2025-07... It's also important to read the actual agreement: www.brown.edu/sites/defaul...

In the following video essay I will argue that civilisation began its inexorable decline when animated movies starting casting A-list actors instead of voice actors

Making cabinet doors this week 🚪