Kristopher Micinski
@krismicinski
@[email protected]. Interested in automated reasoning and program analysis. Tweets do not represent anyone's views, especially mine.
One of the most significant improvements I think is the new IL rewriting capabilities. I can’t wait to see what people come up with from just general understandability to deobfuscation this is a super powerful new capability that I really think is unparalleled.
At the start of this release, we really intended to focus on providing a whole bunch of quality of life improvements to our users, and I think we really nailed it on that front. But this team keeps on impressing me every release. Thread:
Binary Ninja 5.1 is now released: binary.ninja/2025/07/24/5.1… - New WARP function matching - Pseudo Objective-C - Binexport plugin built-in - IL Rewriting Examples, APIs, and Docs - Arch: PPC VLE, mips-r5900, x32 + Much more!
July 30 ACM-SIGSOFT Talk, Working with Non-Traditional Subjects; Lessons Learned from Using VR to Help Students with ADHD Focus" with David Shepherd bit.ly/4kXveV9
Just submitted to the NSF CAREER competition--expecting very tough competition this time, but attaching some relevant photos.
one of the worst possible programming mistakes you can make is one that stops people from spending money <3
Thrilled about this achievement by the Gemini Deep Think team! Over the last two years, we have seen extraordinary progress in both formal and informal math. For research-level problems that are out-of-distribution by definition, I suspect one would need to combine the two.
An advanced version of Gemini with Deep Think has officially achieved gold medal-level performance at the International Mathematical Olympiad. 🥇 It solved 5️⃣ out of 6️⃣ exceptionally difficult problems, involving algebra, combinatorics, geometry and number theory. Here’s how 🧵
Worried HR are a bit too close with your boss? Join a union.
in the remnants of the Fifth Generation Computing Systems project, DHH got Prolog to build Basecamp for us
That's HOW I got to work in that office! My career literally started in earnest once I went "hey you know what would be nice, dealing with an obscure Japanese programming language that barely has any web tooling at all" and built Basecamp with it 😄
When you were doing an undergrad, you wanted to do a masters. When you did a masters, you wanted to do a PhD. Now you’re doing a PhD, you want to be a cat.
MC2 faculty and students presented four papers @PET_Symposium tackling critical privacy challenges—from smart home repairs to Wi-Fi resale risks. Dave Levin (@DistributedDave) also delivered a keynote on internet censorship. Read more: go.umd.edu/20lg
ToB vs. Alex Aiken's PhD students
TOOL RELEASE: Detect plagiarized code even when variable names change and comments disappear. Vendetect uses semantic fingerprinting to catch copied code that traditional tools miss. blog.trailofbits.com/2025/07/21/det…
We have achieved gold medal performance at the International Mathematical Olympiad 🥇 🥳 This is the first general-purpose system to do so through official participation and grading, and I'm thrilled to have contributed a little to this milestone in mathematical reasoning 🌈🫶
An advanced version of Gemini with Deep Think has officially achieved gold medal-level performance at the International Mathematical Olympiad. 🥇 It solved 5️⃣ out of 6️⃣ exceptionally difficult problems, involving algebra, combinatorics, geometry and number theory. Here’s how 🧵
I had a similar dream but it ended with him saying "Please sir, OpenAI is *not interested in Datalog*."
I had a dream last night that I hung out with @sama all day and he offered me a job at OpenAI, what does this mean???
I got a dream job! This fall I’m joining NYU as a Data Science Assistant Professor and Faculty Fellow @NYUDataScience. What a year ahead! I’ll continue working on computational models that predict political behavior at scale, bringing new tools to political science.
Elena Sirotkina (@sirotkina_lene) will join CDS as a Faculty Fellow this fall. Sirotkina’s research develops computational methods in political science, using computer vision and behavioral latency to better understand political behavior at scale. nyudatascience.medium.com/meet-the-fello…