Kristopher Micinski
krismicinski.bsky.social
Kristopher Micinski
@krismicinski.bsky.social
kmicinski.com

Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
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...
Build a Compiler in Five Projects
Class website here: https://kmicinski.com/cis531-f25
kmicinski.com
November 28, 2025 at 3:21 AM
Reposted by Kristopher Micinski
The creator of that darpa program was the pm of my previous program
November 16, 2025 at 2:14 AM
I’ve been reporting a lot of Nazi tweets on Twitter and they never do anything
November 2, 2025 at 3:04 PM
it actually does make sense when you realize that Trump more than anything needs the appearance that he is loved broadly
October 28, 2025 at 10:32 PM
in another place I wrote this. To give you a specific answer this is a superset of the talk.
October 28, 2025 at 8:24 PM
I meant NYC since I go there semi often … :-)
October 15, 2025 at 1:44 PM
aside from cafes, let me know your favorite ramen place
October 15, 2025 at 5:41 AM
yes, that sounds like an excellent model if costs can be kept steady.
October 2, 2025 at 9:25 PM
that's great to see. best wishes to them!
October 2, 2025 at 7:08 PM
no offense taken or anything--but come on, it is not really fair to assume someone will be up by 1PM, that's kind of on them imo
October 2, 2025 at 3:13 AM
one time a worker did this to me and we were just straight-up asleep
October 2, 2025 at 3:12 AM
very good news regardless. Do you know anything about the prognosis as to whether this gets overturned?
October 1, 2025 at 3:32 AM
Makes sense, colleges in the US (all academic institutions) are going to face a tough time soon, due to the enrollment cliff along with the obvious attacks on higher education, that’s the thing I worry about for every college
September 29, 2025 at 2:04 PM