Oh my god, this made my evening
@lthms I forwarded the meme to formal methods researchers, they love it
@val I did the same, and chances are high we print it and ping it somewhere in our office :D
@lthms Ah yes I am so going to print it and stick it next to the local formal methods lab's coffee machine.
(Which currently has a photo of a snake biting its tail titled "python tail recursion")
@lthms "code like a monkey" 😂
@lthms This is perfection
@otini you perform some masto-necromancy on this toot :D had a lot of favorites/retoot since you resurrected it
@lthms I didn't see it when you posted it, but I couldn't not boost it :D
@otini glad you haven’t missed it after all
@otini btw, how is your research going? Too soon to ask or good news ahead?
@lthms I'm, uh, not sure. I just formalized a static analysis that I have been using for long, but I'm not sure that it is interesting outside of my very specific use cases.
Also I was supposed to publish a while ago but the work was longer to finish than expected.
@lthms and it's actually still not quite finished.
@otini Don’t hesitate to share your results when you can, I am curious :3
Best of luck!
@lthms I definitely will. :D Thank you!
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!