My latest blog posts

[dennis....@gmail.com]

Backward computation
https://yurichev.com/news/20210929_backward

Weird sort algorithm: verification using KLEE
https://yurichev.com/news/20211008_weird_sort

Simplest possible intro to finite state machines
https://yurichev.com/news/20211012_FSM

[RevEng] Processing multiple executables in IDA
https://yurichev.com/news/20211012_IDA

[Assembly] Position-independent code
https://yurichev.com/news/20211015_PIC

[Unix] Determining file versions using 'join' command
https://yurichev.com/news/20211016_join

Warning: IPv6 on my websites
https://yurichev.com/news/20211102_ipv6

SAT/SMT by Example: updates
https://yurichev.com/news/20211105_SSBE

[Russian] Как своевременно лочить ресурсы в Макдоналдсе
https://yurichev.com/news/20211107_mcd

Comments in my blog
https://yurichev.com/news/20211108_disqus

[Math] Variance and interpersonal relationships
https://yurichev.com/news/20211108_variance