Anastasia Isychev
banner
isychev.bsky.social
Anastasia Isychev
@isychev.bsky.social
postdoc @TU Wien, PhD from TU Munich. Fond of program synthesis and analysis, cleaning up finite-precision mess (old spelling Anastasiia Izycheva)

https://aisychev.github.io
Mine is October 16, 16:15, Neural Networks session :) I’ll talk about performance optimization for floats and how against all odds sound optimizers are doing great in direct comparison with unsound dynamic ones.
October 7, 2025 at 1:30 PM
I think it’s called sabbatical :)
September 30, 2025 at 11:26 AM
printf gone wrong :)
March 31, 2025 at 3:34 PM
I meant that I want to be able to finish reviews quickly, because I have a lot of other exciting things on my todo list (the institution doesn’t pressure me to do any of those)
March 6, 2025 at 4:10 PM
I see a big “LLL” here, happy that it’s not “LLM” 😁
December 2, 2024 at 3:46 PM