Kristopher Micinski
@krismicinski.bsky.social
kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
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
I’ve been reporting a lot of Nazi tweets on Twitter and they never do anything
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
it actually does make sense when you realize that Trump more than anything needs the appearance that he is loved broadly
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
in another place I wrote this. To give you a specific answer this is a superset of the talk.
I meant NYC since I go there semi often … :-)
October 15, 2025 at 1:44 PM
I meant NYC since I go there semi often … :-)
aside from cafes, let me know your favorite ramen place
October 15, 2025 at 5:41 AM
aside from cafes, let me know your favorite ramen place
yes, that sounds like an excellent model if costs can be kept steady.
October 2, 2025 at 9:25 PM
yes, that sounds like an excellent model if costs can be kept steady.
that's great to see. best wishes to them!
October 2, 2025 at 7:08 PM
that's great to see. best wishes to them!
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
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
one time a worker did this to me and we were just straight-up asleep
October 2, 2025 at 3:12 AM
one time a worker did this to me and we were just straight-up asleep
very good news regardless. Do you know anything about the prognosis as to whether this gets overturned?
October 1, 2025 at 3:32 AM
very good news regardless. Do you know anything about the prognosis as to whether this gets overturned?
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
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
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 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.)
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
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
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
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
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
i can see you’re eager to jump down someone’s throat here but we fundamentally agree, so i apologize
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
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
I saw this on a Reddit thread yesterday, will send a link if I find it
September 10, 2025 at 5:57 PM
I saw this on a Reddit thread yesterday, will send a link if I find it