iiinova — where your digital self keeps evolving

Reposted by Kristopher Micinski

Spooky Simonson @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

Kristopher Micinski @krismicinski.bsky.social · 16/05/2026

Come on, you lashed out at me like a total asshole. Don’t get snippy now

120

Kristopher Micinski @krismicinski.bsky.social · 15/05/2026

I'm totally cool with your post for what it is worth, but making generalizations and associations with supposed enemies by reductive understanding of my work is disingenuous, that was what made me frustrated

120

Kristopher Micinski @krismicinski.bsky.social · 15/05/2026

By the way, i do not control the cat, i randomly followed it once, super weird that you people are witch-hunting some random guy and then acting all ideological. Is this X!?

210

Kristopher Micinski @krismicinski.bsky.social · 15/05/2026

Alright well it sounds like you’re associating my research in databases with some ideological bullshit and then going off on me all sanctimonious-like without knowing anything about my work….

100

Kristopher Micinski @krismicinski.bsky.social · 15/05/2026

I don’t know why you luddites are tagging me here but all that stuff sounds fucking awesome

210

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

also, another thing I made which you might like is this: note-taking citation manager that allows you to build up a knowledge graph of all the papers / notes in your collection. I've been using this for my own benefit and found it has been genuinely helpful.....

000

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"

251304334

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

a few things I made with claude code: kmicinski.com/cis352-s26/p... kmicinski.com/cis352-s26/l... (Both use Rust compiled to WASM + JS)

kmicinski.com

Proof Tree Playground

CMSC352--Principles of Programming Languages (Spring '26) at Syracuse

221

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

I found Claude is not nearly as good on writing as it is on code but I definitely agree claude code is a kind of watershed moment along some axis and I encourage everyone to experiment with it and see what it can (and can’t) do

100

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

Great question. answer does not fit In a single post, I will write it up and answer soon.

010

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

this is for term-rewriting-based systems, which is sufficiently different than natural deduction proof trees that it's a different app. The other app is here: kmicinski.com/cis352-s26/p...

kmicinski.com

Proof Tree Playground

CMSC352--Principles of Programming Languages (Spring '26) at Syracuse

240

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

btw, I also have a visualizer for natural deduction proof trees (kmicinski.com/cis352-s26/p...) which do include type theory variants. Let me know if you think there's any potential harmony here.

kmicinski.com

Proof Tree Playground

CMSC352--Principles of Programming Languages (Spring '26) at Syracuse

133

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

yeah I think adding typed lambda calculi should be easy, but I think seeing reductions for those is perhaps not *as* relevant because it's the same thing as just erasing the types(?). Are there any cases of term rewriting systems for typed languages (maybe, say, CIC?) where you think this would help

110

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

thanks for the tip, will try it out!

010

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 · 07/03/2026

thanks Patrick, I also have some recent notes on this: kmicinski.com/cis352-s26/c..., this also links to a playground for natural deduction which I made the other night: kmicinski.com/cis352-s26/p...

kmicinski.com

Closure-Creating Interpreters

110

Kristopher Micinski @krismicinski.bsky.social · 04/02/2026

mostly i agree but I found having the LLM copy-edit my papers has been a huge time saver. I find some words that were not misspelled words but the wrong word

000

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

Also you won’t have the dean in your office complaining about you telling people to go fuck themselves

140

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

lmao no way in my case the students are just like "wow this class sucks and honestly the whole topic sucks why aren't we learning javascript"

080

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 · 07/01/2026

Good question, I think a bit of both but of course, I don’t have a better answer than you I expect

010

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

People never understand when I wear the ”I’m with stupid” shirt by myself 😭

020

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

A good friend of mine is now a research scientist at CrowdStrike after leaving a government-adjacent job (after whole team got fired). Occasionally I text him and I'm like "oh hey did you guys bring down the internet" and he writes "no no, you're thinking CloudFlare today--we were three weeks ago"

170

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

(very aggressively Bsky-style post): "where are these people when it comes to background checks!?"

000

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

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

Totally agreed with everything you said, but I also have a huge bank of exam questions so making a separate exam has not been too touch recently. In the case of a coding exam, I can see where time limitations would be an issue because debugging can just take forever.

010

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

OTOH, while I strongly support access to accommodations for the disabled, I am inclined to agree that 40% indicates something is going wrong. I just find the recent discourse about this to be .. groan.. because it just seems like more memes of the shitty fascism-embracing vibe configuration of 2025.

100

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

right, ok--I can believe that one. I can pretty confidently (I have intentionally studied this, but not in a scientific manner) say that accommodations have changed an outcome in literally zero instances of my class. I too felt annoyed by them in principle when I started teaching but it was nbd

100

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

Maybe my exams aren’t hard enough. I dunno. I find most students finish around the 1/2-2/3 time mark, and nobody is really limited by time in the sense that another hour would change B->B+ or something. I agree, exams shouldn’t be time-limited, in the presence of extra time it could be unfair.

100

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

Tbh I just haven’t had any issue implementing the thing Sam says is hard. I’ve had multiple classes of nearly 100 people and at the end, almost nobody is there. I asked a few why they stayed and it was universally just checking answers or contemplating more. Sam might be right but it’s not my exp.

200

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 · 02/12/2025

now Ford is paying *me*: notice the official Ford color palette being used in this shot.

030

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

I’ve got a new course I worked on, my first time running it! Looked at material from both of you. kmicinski.com/functional-p...

kmicinski.com

Build a Compiler in Five Projects

Class website here: https://kmicinski.com/cis531-f25

030

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 · 16/11/2025

The creator of that darpa program was the pm of my previous program

020

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