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 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
I get the impression that it varies a lot depending on circumstance because TTI is a unique place as you say, I can imagine that for many folks it is fine or even growing in their estimations (but I don’t get how the finances are working out personally.)
September 29, 2025 at 5:36 AM
I have heard the opposite from some folks I know there, that there is little faith in finances, significant cuts, etc. but that’s all just what I hear from a small handful of acquaintances who left to go to other places
September 29, 2025 at 5:34 AM
many Americans these days are in the “putting on the clown face” phase just in case it becomes *really* acceptable to lay it all out
September 27, 2025 at 6:26 AM
i can see you’re eager to jump down someone’s throat here but we fundamentally agree, so i apologize
September 13, 2025 at 6:29 PM
Don’t think for a second that there will be first-amendment protections in a political climate that is embracing authoritarianism—and will do so even more after Kirk’s death. I do not support Kirk’s killing at all and one of the main reasons is that it will predictably backfire in exactly this way
September 13, 2025 at 1:28 PM
I saw this on a Reddit thread yesterday, will send a link if I find it
September 10, 2025 at 5:57 PM