Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  github.com  rust  apple  health  trump  psychology  environment  show  arstechnica.com  theguardian.com  china  scimex.org  video  security  go  web  media  google  java 

Integer overflow and SMT-solvers

5 years ago yurichev.com

How RSA works

6 years ago yurichev.com rsa

Assembly Language for Beginners

6 years ago yurichev.com

Dennis Yurichev: Register allocation using graph coloring

6 years ago yurichev.com

SAT/SMT by Example

6 years ago yurichev.com

Solving pocket Rubik’s cube (2*2*2) using Z3 and SAT solver

7 years ago yurichev.com

Simplest SAT solver in ~120 lines

7 years ago yurichev.com

Quick introduction into SAT/SMT solvers and symbolic execution

7 years ago yurichev.com

Cracking Minesweeper with Z3 SMT Solver

7 years ago yurichev.com

Toy decompiler for x86-64 written in Python

7 years ago yurichev.com python

Quick introduction to SAT/SMT solvers and symbolic execution

8 years ago yurichev.com

Content-addressable storage: where object placement is defined by its contents

9 years ago yurichev.com

Encrypted database case #1

9 years ago yurichev.com database

Fuzzy string matching + simplest possible spellchecking + hunting for typos and misspellings in Wikipedia.

9 years ago yurichev.com

Modular arithmetic, division by multiplication, cracking LCG (PRNG) with Z3

9 years ago yurichev.com

Analyzing unknown binary files using information entropy

9 years ago yurichev.com

Using Z3 theorem prover to prove equivalence of some bizarre alternative to XOR operation

9 years ago blog.yurichev.com