misha cherepanov ยท a blog on logic

from somewhere between syntax and semantics, where nondeterministic creatures roam undecidable landscapes, i send you these postcards about static program analysis, computability, and other fun topics in logic and programming language theory. you can reach me via email ([email protected]), subscribe via rss, or follow me on twitter.