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.
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.
you really can't make this shit up
September 5, 2025 at 2:12 PM
you really can't make this shit up
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.
September 3, 2025 at 6:07 AM
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.
Channeling the recent South Park, I asked ChatGPT to rank my honeymoon photos this as the best one
August 23, 2025 at 8:04 PM
Channeling the recent South Park, I asked ChatGPT to rank my honeymoon photos this as the best one
Finally done ❤️
August 7, 2025 at 12:44 AM
Finally done ❤️
installing some cabinet doors I made--they still need another coat of paint and some adjusting
August 6, 2025 at 8:51 PM
installing some cabinet doors I made--they still need another coat of paint and some adjusting
Making cabinet doors this week 🚪
July 31, 2025 at 4:22 PM
Making cabinet doors this week 🚪
sorry for being a downer everyone but this is a *real* tweet
July 10, 2025 at 3:25 PM
sorry for being a downer everyone but this is a *real* tweet
NSF expected funding rate: 4x less likely to get a grant, it seems :D
July 5, 2025 at 11:56 PM
NSF expected funding rate: 4x less likely to get a grant, it seems :D
spent the weekend taking some photos in upstate ny
June 29, 2025 at 7:14 PM
spent the weekend taking some photos in upstate ny
photos from the Minnowbrook Logic Programming Seminar
May 28, 2025 at 10:16 PM
photos from the Minnowbrook Logic Programming Seminar
"I just felt like the class was the instructor kind of showing off what he knows and not really teaching it" was my favorite student review. Someone finally gets it
May 22, 2025 at 1:49 PM
"I just felt like the class was the instructor kind of showing off what he knows and not really teaching it" was my favorite student review. Someone finally gets it
Multi-Node Multi-GPU Datalog at ICS '25 sidharthkumar.io/publications...
May 17, 2025 at 1:38 AM
Multi-Node Multi-GPU Datalog at ICS '25 sidharthkumar.io/publications...
Spent the evening making this poster about some of our recent work
May 14, 2025 at 7:56 AM
Spent the evening making this poster about some of our recent work
some photos of my dog from a recent trip (as in, yesterday)
May 13, 2025 at 6:56 AM
some photos of my dog from a recent trip (as in, yesterday)
when your work is truly groundbreaking
May 12, 2025 at 9:56 PM
when your work is truly groundbreaking
After years of flimsy plastic tripods from Amazon, I broke down and bought a professional video tripod. For $900, it really is like 20x more stable than the cheap Amazon ones I bought
May 6, 2025 at 2:03 PM
After years of flimsy plastic tripods from Amazon, I broke down and bought a professional video tripod. For $900, it really is like 20x more stable than the cheap Amazon ones I bought
went camping (for free!) in upstate ny last night
April 29, 2025 at 5:41 PM
went camping (for free!) in upstate ny last night
a beginning PhD student was asking me books I recommended they read as they begin their PhD (programming languages related, etc.) I recommended these four, but *only* Chapter 1/2 and the appendix of the last book.
April 27, 2025 at 5:37 PM
a beginning PhD student was asking me books I recommended they read as they begin their PhD (programming languages related, etc.) I recommended these four, but *only* Chapter 1/2 and the appendix of the last book.
it blows my mind you could design a form this bad.
April 14, 2025 at 6:44 PM
it blows my mind you could design a form this bad.
some relevant figures from this work
April 12, 2025 at 3:23 AM
some relevant figures from this work
For now I only have a screenshot I took, I can find the original later today
April 3, 2025 at 10:16 AM
For now I only have a screenshot I took, I can find the original later today
Got a pretty sweet Airbnb
March 31, 2025 at 5:32 PM
Got a pretty sweet Airbnb
My startup is getting cut off at the end of June so I decided to pay for business class to Amsterdam after all.
March 29, 2025 at 10:51 PM
My startup is getting cut off at the end of June so I decided to pay for business class to Amsterdam after all.