Dennis Yurichev's blog

Main topics: CS, math, reverse engineering, SAT/SMT solvers, cryptography, tinkering with *NIX...

2024-Jul-24	[Math] Project Euler 166, solving it using Google OR-tools
2024-Jul-21	[Math] Project Euler 164: solving it using Google OR-tools
2024-Jul-19	[SAT] Parallel SAT solver Mallob used in DynexCoin cryptocurrency
2024-Jul-18	[Math][SAT] Project Euler 877 and 878: solving using SAT-solver
2024-Jul-17	[Math] Project Euler 108 and 110
2024-Jul-10	[Math] Calculus: derivatives of x^2 and x^3: visual demonstration
2024-Jul-04	[Math] Project Euler 142 and Google OR-tools
2024-Jun-27	Regexp pre-processing
2024-Jun-20	[Math] Using cube root in hiking
2024-May-29	[Crypto] Encrypt/decrypt with SSH keys
2024-May-29	[Crypto] SSH protocol dissected, part V: toy SSH client with ECC in ~2k SLOC of Python
2024-May-25	[Math] IEEE 754 exponent as binary logarithm
2024-May-25	[Math] Logarithmic scale in VirtualBox GUI
2024-May-23	SSH servers survey in spring 2024
2024-May-29	[Crypto] Using HTTPS certificates to sign/encrypt arbitrary data
2024-May-18	[Crypto] SSL/TLS, part 4: Toy TLS 1.2 client under ~2k SLOC of Python.
2024-May-14	[Python] Regex backreferences -- yet another use
2024-May-10	[Math][Pure C] Theory of pure equality
2024-May-10	[Crypto] SSL/TLS, part 3: Toy TLS 1.2 client in ~1600 SLOC of Python.

My old blogs: 1, 2, 3.